christoph/failnix
1
Fork 0
Code Releases Activity
Files
main
failnix/targets/wasm-tacle/sequential/petrinet/generated/default/petrinet.wat

1922 lines
40 KiB
Plaintext
Raw Permalink Blame History

(module $petrinet.wasm
(type (;0;) (func (param i32 i32)))
(type (;1;) (func))
(type (;2;) (func (result i32)))
(import "__pragma" "loopbound" (func $__pragma_loopbound (type 0)))
(func $__wasm_apply_data_relocs (type 1))
(func $petrinet_main (type 1)
(local i32 i32 i32)
i32.const 2
i32.const 2
call $__pragma_loopbound
i32.const 3
local.set 0
loop ;; label = @1
block ;; label = @2
i32.const 0
i32.load offset=1024
i32.const 3
i32.lt_s
br_if 0 (;@2;)
i32.const 0
i32.load offset=1028
i32.const 3
i32.gt_s
br_if 0 (;@2;)
i32.const 0
i32.load offset=1036
i32.const 0
i32.load offset=1040
i32.ne
br_if 0 (;@2;)
i32.const 0
i32.load offset=1032
local.tee 1
i32.const 0
i32.load offset=1036
local.tee 2
i32.ge_s
br_if 0 (;@2;)
i32.const 0
i32.const 0
i32.load offset=1024
i32.const -3
i32.add
i32.store offset=1024
i32.const 0
i32.load offset=1028
i32.const 2
i32.shl
i32.const 1056
i32.add
local.get 1
i32.store
i32.const 0
i32.load offset=1028
i32.const 2
i32.shl
i32.const 1060
i32.add
local.get 2
i32.store
i32.const 0
i32.load offset=1028
i32.const 2
i32.shl
i32.const 1064
i32.add
local.get 1
local.get 2
i32.sub
i32.store
i32.const 0
i32.const 0
i32.load offset=1028
i32.const 3
i32.add
i32.store offset=1028
end
block ;; label = @2
i32.const 0
i32.load offset=1024
i32.const 3
i32.lt_s
br_if 0 (;@2;)
i32.const 0
i32.load offset=1028
i32.const 3
i32.gt_s
br_if 0 (;@2;)
i32.const 0
i32.load offset=1040
i32.const 0
i32.load offset=1036
i32.ne
br_if 0 (;@2;)
i32.const 0
i32.load offset=1032
local.tee 1
i32.const 0
i32.load offset=1040
local.tee 2
i32.ge_s
br_if 0 (;@2;)
i32.const 0
i32.const 0
i32.load offset=1024
i32.const -3
i32.add
i32.store offset=1024
i32.const 0
i32.load offset=1028
i32.const 2
i32.shl
i32.const 1056
i32.add
local.get 1
i32.store
i32.const 0
i32.load offset=1028
i32.const 2
i32.shl
i32.const 1060
i32.add
local.get 2
i32.store
i32.const 0
i32.load offset=1028
i32.const 2
i32.shl
i32.const 1064
i32.add
local.get 1
local.get 2
i32.sub
i32.store
i32.const 0
i32.const 0
i32.load offset=1028
i32.const 3
i32.add
i32.store offset=1028
end
block ;; label = @2
i32.const 0
i32.load offset=1024
i32.const 3
i32.lt_s
br_if 0 (;@2;)
i32.const 0
i32.load offset=1028
i32.const 3
i32.gt_s
br_if 0 (;@2;)
i32.const 0
i32.load offset=1032
i32.const 0
i32.load offset=1040
i32.ne
br_if 0 (;@2;)
i32.const 0
i32.load offset=1036
local.tee 1
i32.const 0
i32.load offset=1032
local.tee 2
i32.ge_s
br_if 0 (;@2;)
i32.const 0
i32.const 0
i32.load offset=1024
i32.const -3
i32.add
i32.store offset=1024
i32.const 0
i32.load offset=1028
i32.const 2
i32.shl
i32.const 1056
i32.add
local.get 1
i32.store
i32.const 0
i32.load offset=1028
i32.const 2
i32.shl
i32.const 1060
i32.add
local.get 2
i32.store
i32.const 0
i32.load offset=1028
i32.const 2
i32.shl
i32.const 1064
i32.add
local.get 1
local.get 2
i32.sub
i32.store
i32.const 0
i32.const 0
i32.load offset=1028
i32.const 3
i32.add
i32.store offset=1028
end
block ;; label = @2
i32.const 0
i32.load offset=1024
i32.const 3
i32.lt_s
br_if 0 (;@2;)
i32.const 0
i32.load offset=1028
i32.const 3
i32.gt_s
br_if 0 (;@2;)
i32.const 0
i32.load offset=1040
i32.const 0
i32.load offset=1032
i32.ne
br_if 0 (;@2;)
i32.const 0
i32.load offset=1036
local.tee 1
i32.const 0
i32.load offset=1040
local.tee 2
i32.ge_s
br_if 0 (;@2;)
i32.const 0
i32.const 0
i32.load offset=1024
i32.const -3
i32.add
i32.store offset=1024
i32.const 0
i32.load offset=1028
i32.const 2
i32.shl
i32.const 1056
i32.add
local.get 1
i32.store
i32.const 0
i32.load offset=1028
i32.const 2
i32.shl
i32.const 1060
i32.add
local.get 2
i32.store
i32.const 0
i32.load offset=1028
i32.const 2
i32.shl
i32.const 1064
i32.add
local.get 1
local.get 2
i32.sub
i32.store
i32.const 0
i32.const 0
i32.load offset=1028
i32.const 3
i32.add
i32.store offset=1028
end
block ;; label = @2
i32.const 0
i32.load offset=1024
i32.const 3
i32.lt_s
br_if 0 (;@2;)
i32.const 0
i32.load offset=1028
i32.const 3
i32.gt_s
br_if 0 (;@2;)
i32.const 0
i32.load offset=1032
i32.const 0
i32.load offset=1036
i32.ne
br_if 0 (;@2;)
i32.const 0
i32.load offset=1040
local.tee 1
i32.const 0
i32.load offset=1032
local.tee 2
i32.ge_s
br_if 0 (;@2;)
i32.const 0
i32.const 0
i32.load offset=1024
i32.const -3
i32.add
i32.store offset=1024
i32.const 0
i32.load offset=1028
i32.const 2
i32.shl
i32.const 1056
i32.add
local.get 1
i32.store
i32.const 0
i32.load offset=1028
i32.const 2
i32.shl
i32.const 1060
i32.add
local.get 2
i32.store
i32.const 0
i32.load offset=1028
i32.const 2
i32.shl
i32.const 1064
i32.add
local.get 1
local.get 2
i32.sub
i32.store
i32.const 0
i32.const 0
i32.load offset=1028
i32.const 3
i32.add
i32.store offset=1028
end
block ;; label = @2
i32.const 0
i32.load offset=1024
i32.const 3
i32.lt_s
br_if 0 (;@2;)
i32.const 0
i32.load offset=1028
i32.const 3
i32.gt_s
br_if 0 (;@2;)
i32.const 0
i32.load offset=1036
i32.const 0
i32.load offset=1032
i32.ne
br_if 0 (;@2;)
i32.const 0
i32.load offset=1040
local.tee 1
i32.const 0
i32.load offset=1036
local.tee 2
i32.ge_s
br_if 0 (;@2;)
i32.const 0
i32.const 0
i32.load offset=1024
i32.const -3
i32.add
i32.store offset=1024
i32.const 0
i32.load offset=1028
i32.const 2
i32.shl
i32.const 1056
i32.add
local.get 1
i32.store
i32.const 0
i32.load offset=1028
i32.const 2
i32.shl
i32.const 1060
i32.add
local.get 2
i32.store
i32.const 0
i32.load offset=1028
i32.const 2
i32.shl
i32.const 1064
i32.add
local.get 1
local.get 2
i32.sub
i32.store
i32.const 0
i32.const 0
i32.load offset=1028
i32.const 3
i32.add
i32.store offset=1028
end
block ;; label = @2
i32.const 0
i32.load offset=1080
i32.const 4
i32.lt_s
br_if 0 (;@2;)
i32.const 0
i32.load offset=1028
i32.const 3
i32.gt_s
br_if 0 (;@2;)
i32.const 0
i32.load offset=1092
i32.const 0
i32.load offset=1096
i32.ne
br_if 0 (;@2;)
i32.const 0
i32.load offset=1092
i32.const 0
i32.load offset=1100
i32.ne
br_if 0 (;@2;)
i32.const 0
i32.load offset=1088
local.set 1
i32.const 0
i32.load offset=1092
local.tee 2
local.get 1
i32.le_s
br_if 0 (;@2;)
i32.const 0
i32.const 0
i32.load offset=1080
i32.const -4
i32.add
i32.store offset=1080
i32.const 0
i32.load offset=1028
i32.const 2
i32.shl
i32.const 1056
i32.add
local.get 1
i32.store
i32.const 0
i32.load offset=1028
i32.const 2
i32.shl
i32.const 1060
i32.add
local.get 2
i32.store
i32.const 0
i32.load offset=1028
i32.const 2
i32.shl
i32.const 1064
i32.add
local.get 2
local.get 1
i32.add
i32.store
i32.const 0
i32.const 0
i32.load offset=1028
i32.const 3
i32.add
i32.store offset=1028
end
block ;; label = @2
i32.const 0
i32.load offset=1080
i32.const 4
i32.lt_s
br_if 0 (;@2;)
i32.const 0
i32.load offset=1028
i32.const 3
i32.gt_s
br_if 0 (;@2;)
i32.const 0
i32.load offset=1092
i32.const 0
i32.load offset=1100
i32.ne
br_if 0 (;@2;)
i32.const 0
i32.load offset=1092
i32.const 0
i32.load offset=1096
i32.ne
br_if 0 (;@2;)
i32.const 0
i32.load offset=1088
local.set 1
i32.const 0
i32.load offset=1092
local.tee 2
local.get 1
i32.le_s
br_if 0 (;@2;)
i32.const 0
i32.const 0
i32.load offset=1080
i32.const -4
i32.add
i32.store offset=1080
i32.const 0
i32.load offset=1028
i32.const 2
i32.shl
i32.const 1056
i32.add
local.get 1
i32.store
i32.const 0
i32.load offset=1028
i32.const 2
i32.shl
i32.const 1060
i32.add
local.get 2
i32.store
i32.const 0
i32.load offset=1028
i32.const 2
i32.shl
i32.const 1064
i32.add
local.get 2
local.get 1
i32.add
i32.store
i32.const 0
i32.const 0
i32.load offset=1028
i32.const 3
i32.add
i32.store offset=1028
end
block ;; label = @2
i32.const 0
i32.load offset=1080
i32.const 4
i32.lt_s
br_if 0 (;@2;)
i32.const 0
i32.load offset=1028
i32.const 3
i32.gt_s
br_if 0 (;@2;)
i32.const 0
i32.load offset=1096
i32.const 0
i32.load offset=1092
i32.ne
br_if 0 (;@2;)
i32.const 0
i32.load offset=1096
i32.const 0
i32.load offset=1100
i32.ne
br_if 0 (;@2;)
i32.const 0
i32.load offset=1088
local.set 1
i32.const 0
i32.load offset=1096
local.tee 2
local.get 1
i32.le_s
br_if 0 (;@2;)
i32.const 0
i32.const 0
i32.load offset=1080
i32.const -4
i32.add
i32.store offset=1080
i32.const 0
i32.load offset=1028
i32.const 2
i32.shl
i32.const 1056
i32.add
local.get 1
i32.store
i32.const 0
i32.load offset=1028
i32.const 2
i32.shl
i32.const 1060
i32.add
local.get 2
i32.store
i32.const 0
i32.load offset=1028
i32.const 2
i32.shl
i32.const 1064
i32.add
local.get 2
local.get 1
i32.add
i32.store
i32.const 0
i32.const 0
i32.load offset=1028
i32.const 3
i32.add
i32.store offset=1028
end
block ;; label = @2
i32.const 0
i32.load offset=1080
i32.const 4
i32.lt_s
br_if 0 (;@2;)
i32.const 0
i32.load offset=1028
i32.const 3
i32.gt_s
br_if 0 (;@2;)
i32.const 0
i32.load offset=1096
i32.const 0
i32.load offset=1100
i32.ne
br_if 0 (;@2;)
i32.const 0
i32.load offset=1096
i32.const 0
i32.load offset=1092
i32.ne
br_if 0 (;@2;)
i32.const 0
i32.load offset=1088
local.set 1
i32.const 0
i32.load offset=1096
local.tee 2
local.get 1
i32.le_s
br_if 0 (;@2;)
i32.const 0
i32.const 0
i32.load offset=1080
i32.const -4
i32.add
i32.store offset=1080
i32.const 0
i32.load offset=1028
i32.const 2
i32.shl
i32.const 1056
i32.add
local.get 1
i32.store
i32.const 0
i32.load offset=1028
i32.const 2
i32.shl
i32.const 1060
i32.add
local.get 2
i32.store
i32.const 0
i32.load offset=1028
i32.const 2
i32.shl
i32.const 1064
i32.add
local.get 2
local.get 1
i32.add
i32.store
i32.const 0
i32.const 0
i32.load offset=1028
i32.const 3
i32.add
i32.store offset=1028
end
block ;; label = @2
i32.const 0
i32.load offset=1080
i32.const 4
i32.lt_s
br_if 0 (;@2;)
i32.const 0
i32.load offset=1028
i32.const 3
i32.gt_s
br_if 0 (;@2;)
i32.const 0
i32.load offset=1100
i32.const 0
i32.load offset=1092
i32.ne
br_if 0 (;@2;)
i32.const 0
i32.load offset=1100
i32.const 0
i32.load offset=1096
i32.ne
br_if 0 (;@2;)
i32.const 0
i32.load offset=1088
local.set 1
i32.const 0
i32.load offset=1100
local.tee 2
local.get 1
i32.le_s
br_if 0 (;@2;)
i32.const 0
i32.const 0
i32.load offset=1080
i32.const -4
i32.add
i32.store offset=1080
i32.const 0
i32.load offset=1028
i32.const 2
i32.shl
i32.const 1056
i32.add
local.get 1
i32.store
i32.const 0
i32.load offset=1028
i32.const 2
i32.shl
i32.const 1060
i32.add
local.get 2
i32.store
i32.const 0
i32.load offset=1028
i32.const 2
i32.shl
i32.const 1064
i32.add
local.get 2
local.get 1
i32.add
i32.store
i32.const 0
i32.const 0
i32.load offset=1028
i32.const 3
i32.add
i32.store offset=1028
end
block ;; label = @2
i32.const 0
i32.load offset=1080
i32.const 4
i32.lt_s
br_if 0 (;@2;)
i32.const 0
i32.load offset=1028
i32.const 3
i32.gt_s
br_if 0 (;@2;)
i32.const 0
i32.load offset=1100
i32.const 0
i32.load offset=1096
i32.ne
br_if 0 (;@2;)
i32.const 0
i32.load offset=1100
i32.const 0
i32.load offset=1092
i32.ne
br_if 0 (;@2;)
i32.const 0
i32.load offset=1088
local.set 1
i32.const 0
i32.load offset=1100
local.tee 2
local.get 1
i32.le_s
br_if 0 (;@2;)
i32.const 0
i32.const 0
i32.load offset=1080
i32.const -4
i32.add
i32.store offset=1080
i32.const 0
i32.load offset=1028
i32.const 2
i32.shl
i32.const 1056
i32.add
local.get 1
i32.store
i32.const 0
i32.load offset=1028
i32.const 2
i32.shl
i32.const 1060
i32.add
local.get 2
i32.store
i32.const 0
i32.load offset=1028
i32.const 2
i32.shl
i32.const 1064
i32.add
local.get 2
local.get 1
i32.add
i32.store
i32.const 0
i32.const 0
i32.load offset=1028
i32.const 3
i32.add
i32.store offset=1028
end
block ;; label = @2
i32.const 0
i32.load offset=1080
i32.const 4
i32.lt_s
br_if 0 (;@2;)
i32.const 0
i32.load offset=1028
i32.const 3
i32.gt_s
br_if 0 (;@2;)
i32.const 0
i32.load offset=1088
i32.const 0
i32.load offset=1096
i32.ne
br_if 0 (;@2;)
i32.const 0
i32.load offset=1088
i32.const 0
i32.load offset=1100
i32.ne
br_if 0 (;@2;)
i32.const 0
i32.load offset=1092
local.set 1
i32.const 0
i32.load offset=1088
local.tee 2
local.get 1
i32.le_s
br_if 0 (;@2;)
i32.const 0
i32.const 0
i32.load offset=1080
i32.const -4
i32.add
i32.store offset=1080
i32.const 0
i32.load offset=1028
i32.const 2
i32.shl
i32.const 1056
i32.add
local.get 1
i32.store
i32.const 0
i32.load offset=1028
i32.const 2
i32.shl
i32.const 1060
i32.add
local.get 2
i32.store
i32.const 0
i32.load offset=1028
i32.const 2
i32.shl
i32.const 1064
i32.add
local.get 2
local.get 1
i32.add
i32.store
i32.const 0
i32.const 0
i32.load offset=1028
i32.const 3
i32.add
i32.store offset=1028
end
block ;; label = @2
i32.const 0
i32.load offset=1080
i32.const 4
i32.lt_s
br_if 0 (;@2;)
i32.const 0
i32.load offset=1028
i32.const 3
i32.gt_s
br_if 0 (;@2;)
i32.const 0
i32.load offset=1088
i32.const 0
i32.load offset=1100
i32.ne
br_if 0 (;@2;)
i32.const 0
i32.load offset=1088
i32.const 0
i32.load offset=1096
i32.ne
br_if 0 (;@2;)
i32.const 0
i32.load offset=1092
local.set 1
i32.const 0
i32.load offset=1088
local.tee 2
local.get 1
i32.le_s
br_if 0 (;@2;)
i32.const 0
i32.const 0
i32.load offset=1080
i32.const -4
i32.add
i32.store offset=1080
i32.const 0
i32.load offset=1028
i32.const 2
i32.shl
i32.const 1056
i32.add
local.get 1
i32.store
i32.const 0
i32.load offset=1028
i32.const 2
i32.shl
i32.const 1060
i32.add
local.get 2
i32.store
i32.const 0
i32.load offset=1028
i32.const 2
i32.shl
i32.const 1064
i32.add
local.get 2
local.get 1
i32.add
i32.store
i32.const 0
i32.const 0
i32.load offset=1028
i32.const 3
i32.add
i32.store offset=1028
end
block ;; label = @2
i32.const 0
i32.load offset=1080
i32.const 4
i32.lt_s
br_if 0 (;@2;)
i32.const 0
i32.load offset=1028
i32.const 3
i32.gt_s
br_if 0 (;@2;)
i32.const 0
i32.load offset=1096
i32.const 0
i32.load offset=1088
i32.ne
br_if 0 (;@2;)
i32.const 0
i32.load offset=1096
i32.const 0
i32.load offset=1100
i32.ne
br_if 0 (;@2;)
i32.const 0
i32.load offset=1092
local.set 1
i32.const 0
i32.load offset=1096
local.tee 2
local.get 1
i32.le_s
br_if 0 (;@2;)
i32.const 0
i32.const 0
i32.load offset=1080
i32.const -4
i32.add
i32.store offset=1080
i32.const 0
i32.load offset=1028
i32.const 2
i32.shl
i32.const 1056
i32.add
local.get 1
i32.store
i32.const 0
i32.load offset=1028
i32.const 2
i32.shl
i32.const 1060
i32.add
local.get 2
i32.store
i32.const 0
i32.load offset=1028
i32.const 2
i32.shl
i32.const 1064
i32.add
local.get 2
local.get 1
i32.add
i32.store
i32.const 0
i32.const 0
i32.load offset=1028
i32.const 3
i32.add
i32.store offset=1028
end
block ;; label = @2
i32.const 0
i32.load offset=1080
i32.const 4
i32.lt_s
br_if 0 (;@2;)
i32.const 0
i32.load offset=1028
i32.const 3
i32.gt_s
br_if 0 (;@2;)
i32.const 0
i32.load offset=1096
i32.const 0
i32.load offset=1100
i32.ne
br_if 0 (;@2;)
i32.const 0
i32.load offset=1096
i32.const 0
i32.load offset=1088
i32.ne
br_if 0 (;@2;)
i32.const 0
i32.load offset=1092
local.set 1
i32.const 0
i32.load offset=1096
local.tee 2
local.get 1
i32.le_s
br_if 0 (;@2;)
i32.const 0
i32.const 0
i32.load offset=1080
i32.const -4
i32.add
i32.store offset=1080
i32.const 0
i32.load offset=1028
i32.const 2
i32.shl
i32.const 1056
i32.add
local.get 1
i32.store
i32.const 0
i32.load offset=1028
i32.const 2
i32.shl
i32.const 1060
i32.add
local.get 2
i32.store
i32.const 0
i32.load offset=1028
i32.const 2
i32.shl
i32.const 1064
i32.add
local.get 2
local.get 1
i32.add
i32.store
i32.const 0
i32.const 0
i32.load offset=1028
i32.const 3
i32.add
i32.store offset=1028
end
block ;; label = @2
i32.const 0
i32.load offset=1080
i32.const 4
i32.lt_s
br_if 0 (;@2;)
i32.const 0
i32.load offset=1028
i32.const 3
i32.gt_s
br_if 0 (;@2;)
i32.const 0
i32.load offset=1100
i32.const 0
i32.load offset=1088
i32.ne
br_if 0 (;@2;)
i32.const 0
i32.load offset=1100
i32.const 0
i32.load offset=1096
i32.ne
br_if 0 (;@2;)
i32.const 0
i32.load offset=1092
local.set 1
i32.const 0
i32.load offset=1100
local.tee 2
local.get 1
i32.le_s
br_if 0 (;@2;)
i32.const 0
i32.const 0
i32.load offset=1080
i32.const -4
i32.add
i32.store offset=1080
i32.const 0
i32.load offset=1028
i32.const 2
i32.shl
i32.const 1056
i32.add
local.get 1
i32.store
i32.const 0
i32.load offset=1028
i32.const 2
i32.shl
i32.const 1060
i32.add
local.get 2
i32.store
i32.const 0
i32.load offset=1028
i32.const 2
i32.shl
i32.const 1064
i32.add
local.get 2
local.get 1
i32.add
i32.store
i32.const 0
i32.const 0
i32.load offset=1028
i32.const 3
i32.add
i32.store offset=1028
end
block ;; label = @2
i32.const 0
i32.load offset=1080
i32.const 4
i32.lt_s
br_if 0 (;@2;)
i32.const 0
i32.load offset=1028
i32.const 3
i32.gt_s
br_if 0 (;@2;)
i32.const 0
i32.load offset=1100
i32.const 0
i32.load offset=1096
i32.ne
br_if 0 (;@2;)
i32.const 0
i32.load offset=1100
i32.const 0
i32.load offset=1088
i32.ne
br_if 0 (;@2;)
i32.const 0
i32.load offset=1092
local.set 1
i32.const 0
i32.load offset=1100
local.tee 2
local.get 1
i32.le_s
br_if 0 (;@2;)
i32.const 0
i32.const 0
i32.load offset=1080
i32.const -4
i32.add
i32.store offset=1080
i32.const 0
i32.load offset=1028
i32.const 2
i32.shl
i32.const 1056
i32.add
local.get 1
i32.store
i32.const 0
i32.load offset=1028
i32.const 2
i32.shl
i32.const 1060
i32.add
local.get 2
i32.store
i32.const 0
i32.load offset=1028
i32.const 2
i32.shl
i32.const 1064
i32.add
local.get 2
local.get 1
i32.add
i32.store
i32.const 0
i32.const 0
i32.load offset=1028
i32.const 3
i32.add
i32.store offset=1028
end
block ;; label = @2
i32.const 0
i32.load offset=1080
i32.const 4
i32.lt_s
br_if 0 (;@2;)
i32.const 0
i32.load offset=1028
i32.const 3
i32.gt_s
br_if 0 (;@2;)
i32.const 0
i32.load offset=1088
i32.const 0
i32.load offset=1092
i32.ne
br_if 0 (;@2;)
i32.const 0
i32.load offset=1088
i32.const 0
i32.load offset=1100
i32.ne
br_if 0 (;@2;)
i32.const 0
i32.load offset=1096
local.set 1
i32.const 0
i32.load offset=1088
local.tee 2
local.get 1
i32.le_s
br_if 0 (;@2;)
i32.const 0
i32.const 0
i32.load offset=1080
i32.const -4
i32.add
i32.store offset=1080
i32.const 0
i32.load offset=1028
i32.const 2
i32.shl
i32.const 1056
i32.add
local.get 1
i32.store
i32.const 0
i32.load offset=1028
i32.const 2
i32.shl
i32.const 1060
i32.add
local.get 2
i32.store
i32.const 0
i32.load offset=1028
i32.const 2
i32.shl
i32.const 1064
i32.add
local.get 2
local.get 1
i32.add
i32.store
i32.const 0
i32.const 0
i32.load offset=1028
i32.const 3
i32.add
i32.store offset=1028
end
block ;; label = @2
i32.const 0
i32.load offset=1080
i32.const 4
i32.lt_s
br_if 0 (;@2;)
i32.const 0
i32.load offset=1028
i32.const 3
i32.gt_s
br_if 0 (;@2;)
i32.const 0
i32.load offset=1088
i32.const 0
i32.load offset=1100
i32.ne
br_if 0 (;@2;)
i32.const 0
i32.load offset=1088
i32.const 0
i32.load offset=1092
i32.ne
br_if 0 (;@2;)
i32.const 0
i32.load offset=1096
local.set 1
i32.const 0
i32.load offset=1088
local.tee 2
local.get 1
i32.le_s
br_if 0 (;@2;)
i32.const 0
i32.const 0
i32.load offset=1080
i32.const -4
i32.add
i32.store offset=1080
i32.const 0
i32.load offset=1028
i32.const 2
i32.shl
i32.const 1056
i32.add
local.get 1
i32.store
i32.const 0
i32.load offset=1028
i32.const 2
i32.shl
i32.const 1060
i32.add
local.get 2
i32.store
i32.const 0
i32.load offset=1028
i32.const 2
i32.shl
i32.const 1064
i32.add
local.get 2
local.get 1
i32.add
i32.store
i32.const 0
i32.const 0
i32.load offset=1028
i32.const 3
i32.add
i32.store offset=1028
end
block ;; label = @2
i32.const 0
i32.load offset=1080
i32.const 4
i32.lt_s
br_if 0 (;@2;)
i32.const 0
i32.load offset=1028
i32.const 3
i32.gt_s
br_if 0 (;@2;)
i32.const 0
i32.load offset=1092
i32.const 0
i32.load offset=1088
i32.ne
br_if 0 (;@2;)
i32.const 0
i32.load offset=1092
i32.const 0
i32.load offset=1100
i32.ne
br_if 0 (;@2;)
i32.const 0
i32.load offset=1096
local.set 1
i32.const 0
i32.load offset=1092
local.tee 2
local.get 1
i32.le_s
br_if 0 (;@2;)
i32.const 0
i32.const 0
i32.load offset=1080
i32.const -4
i32.add
i32.store offset=1080
i32.const 0
i32.load offset=1028
i32.const 2
i32.shl
i32.const 1056
i32.add
local.get 1
i32.store
i32.const 0
i32.load offset=1028
i32.const 2
i32.shl
i32.const 1060
i32.add
local.get 2
i32.store
i32.const 0
i32.load offset=1028
i32.const 2
i32.shl
i32.const 1064
i32.add
local.get 2
local.get 1
i32.add
i32.store
i32.const 0
i32.const 0
i32.load offset=1028
i32.const 3
i32.add
i32.store offset=1028
end
block ;; label = @2
i32.const 0
i32.load offset=1080
i32.const 4
i32.lt_s
br_if 0 (;@2;)
i32.const 0
i32.load offset=1028
i32.const 3
i32.gt_s
br_if 0 (;@2;)
i32.const 0
i32.load offset=1092
i32.const 0
i32.load offset=1100
i32.ne
br_if 0 (;@2;)
i32.const 0
i32.load offset=1092
i32.const 0
i32.load offset=1088
i32.ne
br_if 0 (;@2;)
i32.const 0
i32.load offset=1096
local.set 1
i32.const 0
i32.load offset=1092
local.tee 2
local.get 1
i32.le_s
br_if 0 (;@2;)
i32.const 0
i32.const 0
i32.load offset=1080
i32.const -4
i32.add
i32.store offset=1080
i32.const 0
i32.load offset=1028
i32.const 2
i32.shl
i32.const 1056
i32.add
local.get 1
i32.store
i32.const 0
i32.load offset=1028
i32.const 2
i32.shl
i32.const 1060
i32.add
local.get 2
i32.store
i32.const 0
i32.load offset=1028
i32.const 2
i32.shl
i32.const 1064
i32.add
local.get 2
local.get 1
i32.add
i32.store
i32.const 0
i32.const 0
i32.load offset=1028
i32.const 3
i32.add
i32.store offset=1028
end
block ;; label = @2
i32.const 0
i32.load offset=1080
i32.const 4
i32.lt_s
br_if 0 (;@2;)
i32.const 0
i32.load offset=1028
i32.const 3
i32.gt_s
br_if 0 (;@2;)
i32.const 0
i32.load offset=1100
i32.const 0
i32.load offset=1088
i32.ne
br_if 0 (;@2;)
i32.const 0
i32.load offset=1100
i32.const 0
i32.load offset=1092
i32.ne
br_if 0 (;@2;)
i32.const 0
i32.load offset=1096
local.set 1
i32.const 0
i32.load offset=1100
local.tee 2
local.get 1
i32.le_s
br_if 0 (;@2;)
i32.const 0
i32.const 0
i32.load offset=1080
i32.const -4
i32.add
i32.store offset=1080
i32.const 0
i32.load offset=1028
i32.const 2
i32.shl
i32.const 1056
i32.add
local.get 1
i32.store
i32.const 0
i32.load offset=1028
i32.const 2
i32.shl
i32.const 1060
i32.add
local.get 2
i32.store
i32.const 0
i32.load offset=1028
i32.const 2
i32.shl
i32.const 1064
i32.add
local.get 2
local.get 1
i32.add
i32.store
i32.const 0
i32.const 0
i32.load offset=1028
i32.const 3
i32.add
i32.store offset=1028
end
block ;; label = @2
i32.const 0
i32.load offset=1080
i32.const 4
i32.lt_s
br_if 0 (;@2;)
i32.const 0
i32.load offset=1028
i32.const 3
i32.gt_s
br_if 0 (;@2;)
i32.const 0
i32.load offset=1100
i32.const 0
i32.load offset=1092
i32.ne
br_if 0 (;@2;)
i32.const 0
i32.load offset=1100
i32.const 0
i32.load offset=1088
i32.ne
br_if 0 (;@2;)
i32.const 0
i32.load offset=1096
local.set 1
i32.const 0
i32.load offset=1100
local.tee 2
local.get 1
i32.le_s
br_if 0 (;@2;)
i32.const 0
i32.const 0
i32.load offset=1080
i32.const -4
i32.add
i32.store offset=1080
i32.const 0
i32.load offset=1028
i32.const 2
i32.shl
i32.const 1056
i32.add
local.get 1
i32.store
i32.const 0
i32.load offset=1028
i32.const 2
i32.shl
i32.const 1060
i32.add
local.get 2
i32.store
i32.const 0
i32.load offset=1028
i32.const 2
i32.shl
i32.const 1064
i32.add
local.get 2
local.get 1
i32.add
i32.store
i32.const 0
i32.const 0
i32.load offset=1028
i32.const 3
i32.add
i32.store offset=1028
end
block ;; label = @2
i32.const 0
i32.load offset=1080
i32.const 4
i32.lt_s
br_if 0 (;@2;)
i32.const 0
i32.load offset=1028
i32.const 3
i32.gt_s
br_if 0 (;@2;)
i32.const 0
i32.load offset=1088
i32.const 0
i32.load offset=1092
i32.ne
br_if 0 (;@2;)
i32.const 0
i32.load offset=1088
i32.const 0
i32.load offset=1096
i32.ne
br_if 0 (;@2;)
i32.const 0
i32.load offset=1100
local.set 1
i32.const 0
i32.load offset=1088
local.tee 2
local.get 1
i32.le_s
br_if 0 (;@2;)
i32.const 0
i32.const 0
i32.load offset=1080
i32.const -4
i32.add
i32.store offset=1080
i32.const 0
i32.load offset=1028
i32.const 2
i32.shl
i32.const 1056
i32.add
local.get 1
i32.store
i32.const 0
i32.load offset=1028
i32.const 2
i32.shl
i32.const 1060
i32.add
local.get 2
i32.store
i32.const 0
i32.load offset=1028
i32.const 2
i32.shl
i32.const 1064
i32.add
local.get 2
local.get 1
i32.add
i32.store
i32.const 0
i32.const 0
i32.load offset=1028
i32.const 3
i32.add
i32.store offset=1028
end
block ;; label = @2
i32.const 0
i32.load offset=1080
i32.const 4
i32.lt_s
br_if 0 (;@2;)
i32.const 0
i32.load offset=1028
i32.const 3
i32.gt_s
br_if 0 (;@2;)
i32.const 0
i32.load offset=1088
i32.const 0
i32.load offset=1096
i32.ne
br_if 0 (;@2;)
i32.const 0
i32.load offset=1088
i32.const 0
i32.load offset=1092
i32.ne
br_if 0 (;@2;)
i32.const 0
i32.load offset=1100
local.set 1
i32.const 0
i32.load offset=1088
local.tee 2
local.get 1
i32.le_s
br_if 0 (;@2;)
i32.const 0
i32.const 0
i32.load offset=1080
i32.const -4
i32.add
i32.store offset=1080
i32.const 0
i32.load offset=1028
i32.const 2
i32.shl
i32.const 1056
i32.add
local.get 1
i32.store
i32.const 0
i32.load offset=1028
i32.const 2
i32.shl
i32.const 1060
i32.add
local.get 2
i32.store
i32.const 0
i32.load offset=1028
i32.const 2
i32.shl
i32.const 1064
i32.add
local.get 2
local.get 1
i32.add
i32.store
i32.const 0
i32.const 0
i32.load offset=1028
i32.const 3
i32.add
i32.store offset=1028
end
local.get 0
i32.const -1
i32.add
local.tee 0
i32.const 1
i32.gt_u
br_if 0 (;@1;)
end)
(func $__original_main (type 2) (result i32)
(local i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32)
call $petrinet_main
i32.const 3
i32.const 3
call $__pragma_loopbound
i32.const 0
i32.load offset=1032
local.set 0
i32.const 0
i32.load offset=1036
local.set 1
i32.const 0
i32.load offset=1040
local.set 2
i32.const 5
i32.const 5
call $__pragma_loopbound
i32.const 0
i32.load offset=1088
local.set 3
i32.const 0
i32.load offset=1092
local.set 4
i32.const 0
i32.load offset=1096
local.set 5
i32.const 0
i32.load offset=1100
local.set 6
i32.const 0
i32.load offset=1104
local.set 7
i32.const 6
i32.const 6
call $__pragma_loopbound
i32.const 0
i32.load offset=1056
local.set 8
i32.const 0
i32.load offset=1060
local.set 9
i32.const 0
i32.load offset=1064
local.set 10
i32.const 0
i32.load offset=1068
local.set 11
i32.const 0
i32.load offset=1072
local.set 12
i32.const -1
i32.const 0
i32.const 0
i32.load offset=1076
i32.const 0
local.get 12
local.get 11
local.get 10
local.get 9
local.get 8
local.get 7
local.get 6
local.get 5
local.get 4
local.get 3
local.get 2
local.get 0
local.get 1
i32.add
i32.add
i32.add
i32.add
i32.add
i32.add
i32.add
i32.add
i32.add
i32.add
i32.add
i32.add
i32.sub
i32.ne
select)
(table (;0;) 1 1 funcref)
(memory (;0;) 1)
(global $__stack_pointer (mut i32) (i32.const 5216))
(global (;1;) i32 (i32.const 1108))
(global (;2;) i32 (i32.const 5216))
(export "memory" (memory 0))
(export "__wasm_apply_data_relocs" (func $__wasm_apply_data_relocs))
(export "entrypoint" (func $petrinet_main))
(export "main" (func $__original_main))
(export "__data_end" (global 1))
(export "__heap_base" (global 2)))
View Git Blame Copy Permalink