Update expect tests (inc32)

This commit is contained in:
Fabian 2020-12-31 19:14:30 -06:00
parent 46671b5354
commit 8a0e31da16
4 changed files with 309 additions and 33 deletions

View file

@ -17,7 +17,6 @@
(type $t15 (func (param i32 i64 i64)))
(import "e" "safe_write32_slow_jit" (func $e.safe_write32_slow_jit (type $t2)))
(import "e" "instr_F4" (func $e.instr_F4 (type $t0)))
(import "e" "inc32" (func $e.inc32 (type $t5)))
(import "e" "safe_read32s_slow_jit" (func $e.safe_read32s_slow_jit (type $t5)))
(import "e" "trigger_pagefault_end_jit" (func $e.trigger_pagefault_end_jit (type $t0)))
(import "e" "m" (memory $e.m 256))
@ -272,9 +271,65 @@
(i32.load
(i32.const 664))
(i32.const 2)))
(i32.store
(i32.const 120)
(i32.or
(i32.and
(i32.load
(i32.const 120))
(i32.const -2))
(if $I9 (result i32)
(i32.and
(i32.load
(i32.const 116))
(i32.const 1))
(then
(i32.and
(i32.shr_u
(i32.xor
(i32.and
(i32.xor
(tee_local $l10
(i32.load
(i32.const 96)))
(tee_local $l11
(i32.load
(i32.const 100))))
(i32.xor
(get_local $l11)
(i32.load
(i32.const 108))))
(get_local $l10))
(i32.load
(i32.const 104)))
(i32.const 1)))
(else
(i32.and
(i32.load
(i32.const 120))
(i32.const 1))))))
(i32.store
(i32.const 96)
(get_local $l2))
(i32.store
(i32.const 100)
(i32.const 1))
(set_local $l2
(call $e.inc32
(get_local $l2)))
(i32.add
(get_local $l2)
(i32.const 1)))
(i32.store
(i32.const 108)
(get_local $l2))
(i32.store
(i32.const 112)
(get_local $l2))
(i32.store
(i32.const 104)
(i32.const 31))
(i32.store
(i32.const 116)
(i32.const 2260))
(i32.store
(i32.const 560)
(i32.add
@ -290,40 +345,40 @@
(i32.const 556)
(i32.load
(i32.const 740))
(set_local $l10
(set_local $l11
(i32.add
(get_local $l6)
(i32.load
(i32.const 744))))
(if $I9 (result i32)
(if $I10 (result i32)
(i32.and
(i32.eq
(i32.and
(tee_local $l11
(tee_local $l10
(i32.load offset=4194304
(i32.shl
(i32.shr_u
(get_local $l10)
(get_local $l11)
(i32.const 12))
(i32.const 2))))
(i32.const 4041))
(i32.const 1))
(i32.le_s
(i32.and
(get_local $l10)
(get_local $l11)
(i32.const 4095))
(i32.const 4092)))
(then
(i32.load offset={normalised output} align=1
(i32.xor
(i32.and
(get_local $l11)
(get_local $l10)
(i32.const -4096))
(get_local $l10))))
(get_local $l11))))
(else
(call $e.safe_read32s_slow_jit
(get_local $l10))
(if $I10
(get_local $l11))
(if $I11
(i32.load8_u
(i32.const 540))
(then

View file

@ -15,12 +15,11 @@
(type $t13 (func (param f64) (result i64)))
(type $t14 (func (param i32 i32 i32) (result i32)))
(type $t15 (func (param i32 i64 i64)))
(import "e" "inc32" (func $e.inc32 (type $t5)))
(import "e" "instr_F4" (func $e.instr_F4 (type $t0)))
(import "e" "trigger_pagefault_end_jit" (func $e.trigger_pagefault_end_jit (type $t0)))
(import "e" "m" (memory $e.m 256))
(func $f (export "f") (type $t1) (param $p0 i32)
(local $l0 i32) (local $l1 i32) (local $l2 i32) (local $l3 i32) (local $l4 i32) (local $l5 i32) (local $l6 i32) (local $l7 i32) (local $l8 i32) (local $l9 i32) (local $l10 i32)
(local $l0 i32) (local $l1 i32) (local $l2 i32) (local $l3 i32) (local $l4 i32) (local $l5 i32) (local $l6 i32) (local $l7 i32) (local $l8 i32) (local $l9 i32) (local $l10 i32) (local $l11 i32)
(set_local $l0
(get_local $p0))
(set_local $l1
@ -95,16 +94,72 @@
(i32.load
(i32.const 664))
(i32.const 3)))
(i32.store
(i32.const 120)
(i32.or
(i32.and
(i32.load
(i32.const 120))
(i32.const -2))
(if $I6 (result i32)
(i32.and
(i32.load
(i32.const 116))
(i32.const 1))
(then
(i32.and
(i32.shr_u
(i32.xor
(i32.and
(i32.xor
(tee_local $l10
(i32.load
(i32.const 96)))
(tee_local $l11
(i32.load
(i32.const 100))))
(i32.xor
(get_local $l11)
(i32.load
(i32.const 108))))
(get_local $l10))
(i32.load
(i32.const 104)))
(i32.const 1)))
(else
(i32.and
(i32.load
(i32.const 120))
(i32.const 1))))))
(i32.store
(i32.const 96)
(get_local $l5))
(i32.store
(i32.const 100)
(i32.const 1))
(set_local $l5
(call $e.inc32
(get_local $l5)))
(set_local $l10
(i32.add
(get_local $l5)
(i32.const 1)))
(i32.store
(i32.const 108)
(get_local $l5))
(i32.store
(i32.const 112)
(get_local $l5))
(i32.store
(i32.const 104)
(i32.const 31))
(i32.store
(i32.const 116)
(i32.const 2260))
(set_local $l11
(i32.sub
(get_local $l2)
(i32.const 10)))
(i32.store
(i32.const 96)
(get_local $l10))
(get_local $l11))
(i32.store
(i32.const 100)
(i32.const 10))
@ -113,7 +168,7 @@
(get_local $l2))
(i32.store
(i32.const 112)
(get_local $l10))
(get_local $l11))
(i32.store
(i32.const 104)
(i32.const 31))
@ -132,9 +187,9 @@
(i32.load
(i32.const 556))
(i32.const 6)))
(if $I7
(if $I8
(i32.eqz
(if $I6 (result i32)
(if $I7 (result i32)
(i32.and
(i32.load
(i32.const 116))
@ -144,12 +199,12 @@
(i32.shr_u
(i32.and
(i32.xor
(tee_local $l10
(tee_local $l11
(i32.load
(i32.const 112)))
(i32.const -1))
(i32.sub
(get_local $l10)
(get_local $l11)
(i32.const 1)))
(i32.load
(i32.const 104)))

View file

@ -16,12 +16,11 @@
(type $t14 (func (param i32 i32 i32) (result i32)))
(type $t15 (func (param i32 i64 i64)))
(import "e" "test_nle" (func $e.test_nle (type $t4)))
(import "e" "inc32" (func $e.inc32 (type $t5)))
(import "e" "instr_F4" (func $e.instr_F4 (type $t0)))
(import "e" "trigger_pagefault_end_jit" (func $e.trigger_pagefault_end_jit (type $t0)))
(import "e" "m" (memory $e.m 256))
(func $f (export "f") (type $t1) (param $p0 i32)
(local $l0 i32) (local $l1 i32) (local $l2 i32) (local $l3 i32) (local $l4 i32) (local $l5 i32) (local $l6 i32) (local $l7 i32) (local $l8 i32) (local $l9 i32) (local $l10 i32)
(local $l0 i32) (local $l1 i32) (local $l2 i32) (local $l3 i32) (local $l4 i32) (local $l5 i32) (local $l6 i32) (local $l7 i32) (local $l8 i32) (local $l9 i32) (local $l10 i32) (local $l11 i32)
(set_local $l0
(get_local $p0))
(set_local $l1
@ -159,18 +158,130 @@
(i32.load
(i32.const 556))
(i32.const 1)))
(i32.store
(i32.const 120)
(i32.or
(i32.and
(i32.load
(i32.const 120))
(i32.const -2))
(if $I8 (result i32)
(i32.and
(i32.load
(i32.const 116))
(i32.const 1))
(then
(i32.and
(i32.shr_u
(i32.xor
(i32.and
(i32.xor
(tee_local $l10
(i32.load
(i32.const 96)))
(tee_local $l11
(i32.load
(i32.const 100))))
(i32.xor
(get_local $l11)
(i32.load
(i32.const 108))))
(get_local $l10))
(i32.load
(i32.const 104)))
(i32.const 1)))
(else
(i32.and
(i32.load
(i32.const 120))
(i32.const 1))))))
(i32.store
(i32.const 96)
(get_local $l3))
(i32.store
(i32.const 100)
(i32.const 1))
(set_local $l3
(call $e.inc32
(get_local $l3))))
(i32.add
(get_local $l3)
(i32.const 1)))
(i32.store
(i32.const 108)
(get_local $l3))
(i32.store
(i32.const 112)
(get_local $l3))
(i32.store
(i32.const 104)
(i32.const 31))
(i32.store
(i32.const 116)
(i32.const 2260)))
(i32.store
(i32.const 664)
(i32.add
(i32.load
(i32.const 664))
(i32.const 2)))
(i32.store
(i32.const 120)
(i32.or
(i32.and
(i32.load
(i32.const 120))
(i32.const -2))
(if $I9 (result i32)
(i32.and
(i32.load
(i32.const 116))
(i32.const 1))
(then
(i32.and
(i32.shr_u
(i32.xor
(i32.and
(i32.xor
(tee_local $l11
(i32.load
(i32.const 96)))
(tee_local $l10
(i32.load
(i32.const 100))))
(i32.xor
(get_local $l10)
(i32.load
(i32.const 108))))
(get_local $l11))
(i32.load
(i32.const 104)))
(i32.const 1)))
(else
(i32.and
(i32.load
(i32.const 120))
(i32.const 1))))))
(i32.store
(i32.const 96)
(get_local $l5))
(i32.store
(i32.const 100)
(i32.const 1))
(set_local $l5
(call $e.inc32
(get_local $l5)))
(i32.add
(get_local $l5)
(i32.const 1)))
(i32.store
(i32.const 108)
(get_local $l5))
(i32.store
(i32.const 112)
(get_local $l5))
(i32.store
(i32.const 104)
(i32.const 31))
(i32.store
(i32.const 116)
(i32.const 2260))
(i32.store
(i32.const 560)
(i32.add

View file

@ -15,12 +15,11 @@
(type $t13 (func (param f64) (result i64)))
(type $t14 (func (param i32 i32 i32) (result i32)))
(type $t15 (func (param i32 i64 i64)))
(import "e" "inc32" (func $e.inc32 (type $t5)))
(import "e" "instr_F4" (func $e.instr_F4 (type $t0)))
(import "e" "trigger_pagefault_end_jit" (func $e.trigger_pagefault_end_jit (type $t0)))
(import "e" "m" (memory $e.m 256))
(func $f (export "f") (type $t1) (param $p0 i32)
(local $l0 i32) (local $l1 i32) (local $l2 i32) (local $l3 i32) (local $l4 i32) (local $l5 i32) (local $l6 i32) (local $l7 i32) (local $l8 i32) (local $l9 i32) (local $l10 i32)
(local $l0 i32) (local $l1 i32) (local $l2 i32) (local $l3 i32) (local $l4 i32) (local $l5 i32) (local $l6 i32) (local $l7 i32) (local $l8 i32) (local $l9 i32) (local $l10 i32) (local $l11 i32)
(set_local $l0
(get_local $p0))
(set_local $l1
@ -172,9 +171,65 @@
(i32.load
(i32.const 664))
(i32.const 2)))
(i32.store
(i32.const 120)
(i32.or
(i32.and
(i32.load
(i32.const 120))
(i32.const -2))
(if $I9 (result i32)
(i32.and
(i32.load
(i32.const 116))
(i32.const 1))
(then
(i32.and
(i32.shr_u
(i32.xor
(i32.and
(i32.xor
(tee_local $l10
(i32.load
(i32.const 96)))
(tee_local $l11
(i32.load
(i32.const 100))))
(i32.xor
(get_local $l11)
(i32.load
(i32.const 108))))
(get_local $l10))
(i32.load
(i32.const 104)))
(i32.const 1)))
(else
(i32.and
(i32.load
(i32.const 120))
(i32.const 1))))))
(i32.store
(i32.const 96)
(get_local $l5))
(i32.store
(i32.const 100)
(i32.const 1))
(set_local $l5
(call $e.inc32
(get_local $l5)))
(i32.add
(get_local $l5)
(i32.const 1)))
(i32.store
(i32.const 108)
(get_local $l5))
(i32.store
(i32.const 112)
(get_local $l5))
(i32.store
(i32.const 104)
(i32.const 31))
(i32.store
(i32.const 116)
(i32.const 2260))
(i32.store
(i32.const 560)
(i32.add