Files

1045 lines
20 KiB
Plaintext

(module $countnegative.wasm
(type (;0;) (func (param i32 i32)))
(type (;1;) (func))
(type (;2;) (func (param i32)))
(type (;3;) (func (result i32)))
(import "__pragma" "loopbound" (func $__pragma_loopbound (type 0)))
(func $__wasm_apply_data_relocs (type 1))
(func $countnegative_initialize (type 2) (param i32)
(local i32 i32 i32 i32)
i32.const 20
i32.const 20
call $__pragma_loopbound
i32.const 20
i32.const 20
call $__pragma_loopbound
i32.const 20
i32.const 20
call $__pragma_loopbound
i32.const 20
i32.const 20
call $__pragma_loopbound
i32.const 20
i32.const 20
call $__pragma_loopbound
i32.const 20
i32.const 20
call $__pragma_loopbound
i32.const 20
i32.const 20
call $__pragma_loopbound
i32.const 20
i32.const 20
call $__pragma_loopbound
i32.const 20
i32.const 20
call $__pragma_loopbound
i32.const 20
i32.const 20
call $__pragma_loopbound
i32.const 20
i32.const 20
call $__pragma_loopbound
i32.const 20
i32.const 20
call $__pragma_loopbound
i32.const 20
i32.const 20
call $__pragma_loopbound
i32.const 20
i32.const 20
call $__pragma_loopbound
i32.const 20
i32.const 20
call $__pragma_loopbound
i32.const 20
i32.const 20
call $__pragma_loopbound
i32.const 20
i32.const 20
call $__pragma_loopbound
i32.const 20
i32.const 20
call $__pragma_loopbound
i32.const 20
i32.const 20
call $__pragma_loopbound
i32.const 20
i32.const 20
call $__pragma_loopbound
i32.const 20
i32.const 20
call $__pragma_loopbound
i32.const 0
i32.const 0
i32.load offset=1024
i32.const 133
i32.mul
i32.const 81
i32.add
i32.const 8095
i32.rem_s
i32.store offset=1024
i32.const 0
i32.load offset=1024
local.set 1
i32.const 0
i32.const 0
i32.load offset=1024
i32.const 133
i32.mul
i32.const 81
i32.add
i32.const 8095
i32.rem_s
i32.store offset=1024
i32.const 0
i32.load offset=1024
local.set 2
i32.const 0
i32.const 0
i32.load offset=1024
i32.const 133
i32.mul
i32.const 81
i32.add
i32.const 8095
i32.rem_s
i32.store offset=1024
i32.const 0
i32.load offset=1024
local.set 3
i32.const 0
i32.const 0
i32.load offset=1024
i32.const 133
i32.mul
i32.const 81
i32.add
i32.const 8095
i32.rem_s
i32.store offset=1024
i32.const 0
i32.load offset=1024
local.set 4
i32.const 0
i32.const 0
i32.load offset=1024
i32.const 133
i32.mul
i32.const 81
i32.add
i32.const 8095
i32.rem_s
i32.store offset=1024
local.get 0
local.get 1
i32.store offset=1600
local.get 0
local.get 2
i32.store offset=1604
local.get 0
local.get 3
i32.store offset=1608
local.get 0
local.get 4
i32.store offset=1612
i32.const 0
i32.load offset=1024
local.set 1
i32.const 0
i32.const 0
i32.load offset=1024
i32.const 133
i32.mul
i32.const 81
i32.add
i32.const 8095
i32.rem_s
i32.store offset=1024
local.get 0
local.get 1
i32.store offset=1616
i32.const 0
i32.load offset=1024
local.set 1
i32.const 0
i32.const 0
i32.load offset=1024
i32.const 133
i32.mul
i32.const 81
i32.add
i32.const 8095
i32.rem_s
i32.store offset=1024
local.get 0
local.get 1
i32.store offset=1620
i32.const 0
i32.load offset=1024
local.set 1
i32.const 0
i32.const 0
i32.load offset=1024
i32.const 133
i32.mul
i32.const 81
i32.add
i32.const 8095
i32.rem_s
i32.store offset=1024
local.get 0
local.get 1
i32.store offset=1624
i32.const 0
i32.load offset=1024
local.set 1
i32.const 0
i32.const 0
i32.load offset=1024
i32.const 133
i32.mul
i32.const 81
i32.add
i32.const 8095
i32.rem_s
i32.store offset=1024
local.get 0
local.get 1
i32.store offset=1628
i32.const 0
i32.load offset=1024
local.set 1
i32.const 0
i32.const 0
i32.load offset=1024
i32.const 133
i32.mul
i32.const 81
i32.add
i32.const 8095
i32.rem_s
i32.store offset=1024
local.get 0
local.get 1
i32.store offset=1632
i32.const 0
i32.load offset=1024
local.set 1
i32.const 0
i32.const 0
i32.load offset=1024
i32.const 133
i32.mul
i32.const 81
i32.add
i32.const 8095
i32.rem_s
i32.store offset=1024
local.get 0
local.get 1
i32.store offset=1636
i32.const 0
i32.load offset=1024
local.set 1
i32.const 0
i32.const 0
i32.load offset=1024
i32.const 133
i32.mul
i32.const 81
i32.add
i32.const 8095
i32.rem_s
i32.store offset=1024
local.get 0
local.get 1
i32.store offset=1640
i32.const 0
i32.load offset=1024
local.set 1
i32.const 0
i32.const 0
i32.load offset=1024
i32.const 133
i32.mul
i32.const 81
i32.add
i32.const 8095
i32.rem_s
i32.store offset=1024
local.get 0
local.get 1
i32.store offset=1644
i32.const 0
i32.load offset=1024
local.set 1
i32.const 0
i32.const 0
i32.load offset=1024
i32.const 133
i32.mul
i32.const 81
i32.add
i32.const 8095
i32.rem_s
i32.store offset=1024
local.get 0
local.get 1
i32.store offset=1648
i32.const 0
i32.load offset=1024
local.set 1
i32.const 0
i32.const 0
i32.load offset=1024
i32.const 133
i32.mul
i32.const 81
i32.add
i32.const 8095
i32.rem_s
i32.store offset=1024
local.get 0
local.get 1
i32.store offset=1652
i32.const 0
i32.load offset=1024
local.set 1
i32.const 0
i32.const 0
i32.load offset=1024
i32.const 133
i32.mul
i32.const 81
i32.add
i32.const 8095
i32.rem_s
i32.store offset=1024
local.get 0
local.get 1
i32.store offset=1656
i32.const 0
i32.load offset=1024
local.set 1
i32.const 0
i32.const 0
i32.load offset=1024
i32.const 133
i32.mul
i32.const 81
i32.add
i32.const 8095
i32.rem_s
i32.store offset=1024
local.get 0
local.get 1
i32.store offset=1660
i32.const 0
i32.load offset=1024
local.set 1
i32.const 0
i32.const 0
i32.load offset=1024
i32.const 133
i32.mul
i32.const 81
i32.add
i32.const 8095
i32.rem_s
i32.store offset=1024
local.get 0
local.get 1
i32.store offset=1664
i32.const 0
i32.load offset=1024
local.set 1
i32.const 0
i32.const 0
i32.load offset=1024
i32.const 133
i32.mul
i32.const 81
i32.add
i32.const 8095
i32.rem_s
i32.store offset=1024
local.get 0
local.get 1
i32.store offset=1668
i32.const 0
i32.load offset=1024
local.set 1
i32.const 0
i32.const 0
i32.load offset=1024
i32.const 133
i32.mul
i32.const 81
i32.add
i32.const 8095
i32.rem_s
i32.store offset=1024
local.get 0
local.get 1
i32.store offset=1672
local.get 0
i32.const 0
i32.load offset=1024
i32.store offset=1676)
(func $countnegative_sum (type 2) (param i32)
(local i32 i32 i32 i32 i32 i32 i32)
i32.const 20
i32.const 20
call $__pragma_loopbound
i32.const -1600
local.set 1
i32.const 0
local.set 2
i32.const 0
local.set 3
i32.const 0
local.set 4
i32.const 0
local.set 5
loop ;; label = @1
block ;; label = @2
block ;; label = @3
local.get 0
local.get 1
i32.add
local.tee 6
i32.const 1600
i32.add
i32.load
local.tee 7
i32.const 0
i32.lt_s
br_if 0 (;@3;)
local.get 3
i32.const 1
i32.add
local.set 3
local.get 7
local.get 5
i32.add
local.set 5
br 1 (;@2;)
end
local.get 2
i32.const 1
i32.add
local.set 2
local.get 7
local.get 4
i32.add
local.set 4
end
block ;; label = @2
block ;; label = @3
local.get 6
i32.const 1604
i32.add
i32.load
local.tee 7
i32.const -1
i32.gt_s
br_if 0 (;@3;)
local.get 2
i32.const 1
i32.add
local.set 2
local.get 7
local.get 4
i32.add
local.set 4
br 1 (;@2;)
end
local.get 3
i32.const 1
i32.add
local.set 3
local.get 7
local.get 5
i32.add
local.set 5
end
block ;; label = @2
block ;; label = @3
local.get 6
i32.const 1608
i32.add
i32.load
local.tee 7
i32.const -1
i32.gt_s
br_if 0 (;@3;)
local.get 2
i32.const 1
i32.add
local.set 2
local.get 7
local.get 4
i32.add
local.set 4
br 1 (;@2;)
end
local.get 3
i32.const 1
i32.add
local.set 3
local.get 7
local.get 5
i32.add
local.set 5
end
block ;; label = @2
block ;; label = @3
local.get 6
i32.const 1612
i32.add
i32.load
local.tee 7
i32.const -1
i32.gt_s
br_if 0 (;@3;)
local.get 2
i32.const 1
i32.add
local.set 2
local.get 7
local.get 4
i32.add
local.set 4
br 1 (;@2;)
end
local.get 3
i32.const 1
i32.add
local.set 3
local.get 7
local.get 5
i32.add
local.set 5
end
block ;; label = @2
block ;; label = @3
local.get 6
i32.const 1616
i32.add
i32.load
local.tee 7
i32.const -1
i32.gt_s
br_if 0 (;@3;)
local.get 2
i32.const 1
i32.add
local.set 2
local.get 7
local.get 4
i32.add
local.set 4
br 1 (;@2;)
end
local.get 3
i32.const 1
i32.add
local.set 3
local.get 7
local.get 5
i32.add
local.set 5
end
block ;; label = @2
block ;; label = @3
local.get 6
i32.const 1620
i32.add
i32.load
local.tee 7
i32.const -1
i32.gt_s
br_if 0 (;@3;)
local.get 2
i32.const 1
i32.add
local.set 2
local.get 7
local.get 4
i32.add
local.set 4
br 1 (;@2;)
end
local.get 3
i32.const 1
i32.add
local.set 3
local.get 7
local.get 5
i32.add
local.set 5
end
block ;; label = @2
block ;; label = @3
local.get 6
i32.const 1624
i32.add
i32.load
local.tee 7
i32.const -1
i32.gt_s
br_if 0 (;@3;)
local.get 2
i32.const 1
i32.add
local.set 2
local.get 7
local.get 4
i32.add
local.set 4
br 1 (;@2;)
end
local.get 3
i32.const 1
i32.add
local.set 3
local.get 7
local.get 5
i32.add
local.set 5
end
block ;; label = @2
block ;; label = @3
local.get 6
i32.const 1628
i32.add
i32.load
local.tee 7
i32.const -1
i32.gt_s
br_if 0 (;@3;)
local.get 2
i32.const 1
i32.add
local.set 2
local.get 7
local.get 4
i32.add
local.set 4
br 1 (;@2;)
end
local.get 3
i32.const 1
i32.add
local.set 3
local.get 7
local.get 5
i32.add
local.set 5
end
block ;; label = @2
block ;; label = @3
local.get 6
i32.const 1632
i32.add
i32.load
local.tee 7
i32.const -1
i32.gt_s
br_if 0 (;@3;)
local.get 2
i32.const 1
i32.add
local.set 2
local.get 7
local.get 4
i32.add
local.set 4
br 1 (;@2;)
end
local.get 3
i32.const 1
i32.add
local.set 3
local.get 7
local.get 5
i32.add
local.set 5
end
block ;; label = @2
block ;; label = @3
local.get 6
i32.const 1636
i32.add
i32.load
local.tee 7
i32.const -1
i32.gt_s
br_if 0 (;@3;)
local.get 2
i32.const 1
i32.add
local.set 2
local.get 7
local.get 4
i32.add
local.set 4
br 1 (;@2;)
end
local.get 3
i32.const 1
i32.add
local.set 3
local.get 7
local.get 5
i32.add
local.set 5
end
block ;; label = @2
block ;; label = @3
local.get 6
i32.const 1640
i32.add
i32.load
local.tee 7
i32.const -1
i32.gt_s
br_if 0 (;@3;)
local.get 2
i32.const 1
i32.add
local.set 2
local.get 7
local.get 4
i32.add
local.set 4
br 1 (;@2;)
end
local.get 3
i32.const 1
i32.add
local.set 3
local.get 7
local.get 5
i32.add
local.set 5
end
block ;; label = @2
block ;; label = @3
local.get 6
i32.const 1644
i32.add
i32.load
local.tee 7
i32.const -1
i32.gt_s
br_if 0 (;@3;)
local.get 2
i32.const 1
i32.add
local.set 2
local.get 7
local.get 4
i32.add
local.set 4
br 1 (;@2;)
end
local.get 3
i32.const 1
i32.add
local.set 3
local.get 7
local.get 5
i32.add
local.set 5
end
block ;; label = @2
block ;; label = @3
local.get 6
i32.const 1648
i32.add
i32.load
local.tee 7
i32.const -1
i32.gt_s
br_if 0 (;@3;)
local.get 2
i32.const 1
i32.add
local.set 2
local.get 7
local.get 4
i32.add
local.set 4
br 1 (;@2;)
end
local.get 3
i32.const 1
i32.add
local.set 3
local.get 7
local.get 5
i32.add
local.set 5
end
block ;; label = @2
block ;; label = @3
local.get 6
i32.const 1652
i32.add
i32.load
local.tee 7
i32.const -1
i32.gt_s
br_if 0 (;@3;)
local.get 2
i32.const 1
i32.add
local.set 2
local.get 7
local.get 4
i32.add
local.set 4
br 1 (;@2;)
end
local.get 3
i32.const 1
i32.add
local.set 3
local.get 7
local.get 5
i32.add
local.set 5
end
block ;; label = @2
block ;; label = @3
local.get 6
i32.const 1656
i32.add
i32.load
local.tee 7
i32.const -1
i32.gt_s
br_if 0 (;@3;)
local.get 2
i32.const 1
i32.add
local.set 2
local.get 7
local.get 4
i32.add
local.set 4
br 1 (;@2;)
end
local.get 3
i32.const 1
i32.add
local.set 3
local.get 7
local.get 5
i32.add
local.set 5
end
block ;; label = @2
block ;; label = @3
local.get 6
i32.const 1660
i32.add
i32.load
local.tee 7
i32.const -1
i32.gt_s
br_if 0 (;@3;)
local.get 2
i32.const 1
i32.add
local.set 2
local.get 7
local.get 4
i32.add
local.set 4
br 1 (;@2;)
end
local.get 3
i32.const 1
i32.add
local.set 3
local.get 7
local.get 5
i32.add
local.set 5
end
block ;; label = @2
block ;; label = @3
local.get 6
i32.const 1664
i32.add
i32.load
local.tee 7
i32.const -1
i32.gt_s
br_if 0 (;@3;)
local.get 2
i32.const 1
i32.add
local.set 2
local.get 7
local.get 4
i32.add
local.set 4
br 1 (;@2;)
end
local.get 3
i32.const 1
i32.add
local.set 3
local.get 7
local.get 5
i32.add
local.set 5
end
block ;; label = @2
block ;; label = @3
local.get 6
i32.const 1668
i32.add
i32.load
local.tee 7
i32.const -1
i32.gt_s
br_if 0 (;@3;)
local.get 2
i32.const 1
i32.add
local.set 2
local.get 7
local.get 4
i32.add
local.set 4
br 1 (;@2;)
end
local.get 3
i32.const 1
i32.add
local.set 3
local.get 7
local.get 5
i32.add
local.set 5
end
block ;; label = @2
block ;; label = @3
local.get 6
i32.const 1672
i32.add
i32.load
local.tee 7
i32.const -1
i32.gt_s
br_if 0 (;@3;)
local.get 2
i32.const 1
i32.add
local.set 2
local.get 7
local.get 4
i32.add
local.set 4
br 1 (;@2;)
end
local.get 3
i32.const 1
i32.add
local.set 3
local.get 7
local.get 5
i32.add
local.set 5
end
block ;; label = @2
block ;; label = @3
local.get 6
i32.const 1676
i32.add
i32.load
local.tee 6
i32.const -1
i32.gt_s
br_if 0 (;@3;)
local.get 2
i32.const 1
i32.add
local.set 2
local.get 6
local.get 4
i32.add
local.set 4
br 1 (;@2;)
end
local.get 3
i32.const 1
i32.add
local.set 3
local.get 6
local.get 5
i32.add
local.set 5
end
local.get 1
i32.const 80
i32.add
local.tee 1
br_if 0 (;@1;)
end
i32.const 0
local.get 3
i32.store offset=2644
i32.const 0
local.get 5
i32.store offset=2640
i32.const 0
local.get 4
i32.store offset=2648
i32.const 0
local.get 2
i32.store offset=2652)
(func $countnegative_main (type 1)
i32.const 1040
call $countnegative_sum)
(func $__original_main (type 3) (result i32)
i32.const 0
i32.const 0
i32.store offset=1024
i32.const 1040
call $countnegative_initialize
call $countnegative_main
i32.const -1
i32.const 0
i32.const 0
i32.load offset=2644
i32.const 0
i32.load offset=2640
i32.add
i32.const 0
i32.load offset=2648
i32.add
i32.const 0
i32.load offset=2652
i32.add
i32.const 1538270
i32.ne
select)
(table (;0;) 1 1 funcref)
(memory (;0;) 1)
(global $__stack_pointer (mut i32) (i32.const 6752))
(global (;1;) i32 (i32.const 2656))
(global (;2;) i32 (i32.const 6752))
(export "memory" (memory 0))
(export "__wasm_apply_data_relocs" (func $__wasm_apply_data_relocs))
(export "entrypoint" (func $countnegative_main))
(export "main" (func $__original_main))
(export "__data_end" (global 1))
(export "__heap_base" (global 2)))