| (module |
| (memory 0) |
| (type $0 (func (param i32 i64))) |
| (func $f (type $0) (param $i1 i32) (param $i2 i64) |
| (if |
| (i32.eqz |
| (get_local $i1) |
| ) |
| (drop |
| (i32.const 10) |
| ) |
| ) |
| (if |
| (i32.eqz |
| (get_local $i1) |
| ) |
| (drop |
| (i32.const 11) |
| ) |
| (drop |
| (i32.const 12) |
| ) |
| ) |
| (if |
| (i64.eqz |
| (get_local $i2) |
| ) |
| (drop |
| (i32.const 11) |
| ) |
| (drop |
| (i32.const 12) |
| ) |
| ) |
| (drop |
| (i32.eqz |
| (i32.gt_s |
| (i32.const 1) |
| (i32.const 2) |
| ) |
| ) |
| ) |
| (drop |
| (i32.eqz |
| (i32.ge_s |
| (i32.const 1) |
| (i32.const 2) |
| ) |
| ) |
| ) |
| (drop |
| (i32.eqz |
| (i32.lt_s |
| (i32.const 1) |
| (i32.const 2) |
| ) |
| ) |
| ) |
| (drop |
| (i32.eqz |
| (i32.le_s |
| (i32.const 1) |
| (i32.const 2) |
| ) |
| ) |
| ) |
| (drop |
| (i32.eqz |
| (i32.gt_u |
| (i32.const 1) |
| (i32.const 2) |
| ) |
| ) |
| ) |
| (drop |
| (i32.eqz |
| (i32.ge_u |
| (i32.const 1) |
| (i32.const 2) |
| ) |
| ) |
| ) |
| (drop |
| (i32.eqz |
| (i32.lt_u |
| (i32.const 1) |
| (i32.const 2) |
| ) |
| ) |
| ) |
| (drop |
| (i32.eqz |
| (i32.le_u |
| (i32.const 1) |
| (i32.const 2) |
| ) |
| ) |
| ) |
| (drop |
| (i32.eqz |
| (f32.gt |
| (f32.const 1) |
| (f32.const 2) |
| ) |
| ) |
| ) |
| (drop |
| (i32.eqz |
| (f32.ge |
| (f32.const 1) |
| (f32.const 2) |
| ) |
| ) |
| ) |
| (drop |
| (i32.eqz |
| (f32.lt |
| (f32.const 1) |
| (f32.const 2) |
| ) |
| ) |
| ) |
| (drop |
| (i32.eqz |
| (f32.le |
| (f32.const 1) |
| (f32.const 2) |
| ) |
| ) |
| ) |
| (drop |
| (i32.eqz |
| (f64.gt |
| (f64.const 1) |
| (f64.const 2) |
| ) |
| ) |
| ) |
| (drop |
| (i32.eqz |
| (f64.ge |
| (f64.const 1) |
| (f64.const 2) |
| ) |
| ) |
| ) |
| (drop |
| (i32.eqz |
| (f64.lt |
| (f64.const 1) |
| (f64.const 2) |
| ) |
| ) |
| ) |
| (drop |
| (i32.eqz |
| (f64.le |
| (f64.const 1) |
| (f64.const 2) |
| ) |
| ) |
| ) |
| (drop |
| (i32.eqz |
| (f32.eq |
| (f32.const 1) |
| (f32.const 2) |
| ) |
| ) |
| ) |
| (drop |
| (i32.eqz |
| (f32.ne |
| (f32.const 1) |
| (f32.const 2) |
| ) |
| ) |
| ) |
| (drop |
| (i32.eqz |
| (f64.eq |
| (f64.const 1) |
| (f64.const 2) |
| ) |
| ) |
| ) |
| (drop |
| (i32.eqz |
| (f64.ne |
| (f64.const 1) |
| (f64.const 2) |
| ) |
| ) |
| ) |
| ;; we handle only 0 in the right position, as we assume a const is there, and don't care about if |
| ;; both are consts here (precompute does that, so no need) |
| (drop |
| (i32.eq |
| (i32.const 100) |
| (i32.const 0) |
| ) |
| ) |
| (drop |
| (i32.eq |
| (i32.const 0) |
| (i32.const 100) |
| ) |
| ) |
| (drop |
| (i32.eq |
| (i32.const 0) |
| (i32.const 0) |
| ) |
| ) |
| (if |
| (i32.eqz |
| (i32.eqz |
| (i32.const 123) |
| ) |
| ) |
| (nop) |
| ) |
| (drop |
| (select |
| (i32.const 101) |
| (i32.const 102) |
| (i32.eqz |
| (get_local $i1) |
| ) |
| ) |
| ) |
| (drop |
| (select |
| (tee_local $i1 |
| (i32.const 103) |
| ) ;; these conflict |
| (tee_local $i1 |
| (i32.const 104) |
| ) |
| (i32.eqz |
| (get_local $i1) |
| ) |
| ) |
| ) |
| (drop |
| (select |
| (i32.const 0) |
| (i32.const 1) |
| (i32.eqz |
| (i32.eqz |
| (i32.const 2) |
| ) |
| ) |
| ) |
| ) |
| ) |
| (func $load-store |
| (drop (i32.and (i32.load8_s (i32.const 0)) (i32.const 255))) |
| (drop (i32.and (i32.load8_u (i32.const 1)) (i32.const 255))) |
| (drop (i32.and (i32.load8_s (i32.const 2)) (i32.const 254))) |
| (drop (i32.and (i32.load8_u (i32.const 3)) (i32.const 1))) |
| (drop (i32.and (i32.load16_s (i32.const 4)) (i32.const 65535))) |
| (drop (i32.and (i32.load16_u (i32.const 5)) (i32.const 65535))) |
| (drop (i32.and (i32.load16_s (i32.const 6)) (i32.const 65534))) |
| (drop (i32.and (i32.load16_u (i32.const 7)) (i32.const 1))) |
| ;; |
| (i32.store8 (i32.const 8) (i32.and (i32.const -1) (i32.const 255))) |
| (i32.store8 (i32.const 9) (i32.and (i32.const -2) (i32.const 254))) |
| (i32.store16 (i32.const 10) (i32.and (i32.const -3) (i32.const 65535))) |
| (i32.store16 (i32.const 11) (i32.and (i32.const -4) (i32.const 65534))) |
| ;; |
| (i32.store8 (i32.const 11) (i32.wrap/i64 (i64.const 1))) |
| (i32.store16 (i32.const 11) (i32.wrap/i64 (i64.const 2))) |
| (i32.store (i32.const 11) (i32.wrap/i64 (i64.const 3))) |
| ) |
| (func $and-neg1 |
| (drop (i32.and (i32.const 100) (i32.const -1))) |
| (drop (i32.and (i32.const 100) (i32.const 1))) |
| ) |
| (func $and-pos1 |
| (drop (i32.and (i32.eqz (i32.const 1000)) (i32.const 1))) |
| (drop (i32.and (i32.const 1) (i32.eqz (i32.const 1000)))) |
| (drop (i32.and (i32.const 100) (i32.const 1))) |
| (drop (i32.and (i32.lt_s (i32.const 2000) (i32.const 3000)) (i32.const 1))) |
| ) |
| (func $canonicalize-binary |
| (drop (i32.and (unreachable) (i32.const 1))) ;; ok to reorder |
| (drop (i32.and (i32.const 1) (unreachable))) |
| (drop (i32.div_s (unreachable) (i32.const 1))) ;; not ok |
| (drop (i32.div_s (i32.const 1) (unreachable))) |
| ) |
| (func $ne0 (result i32) |
| (if (i32.ne (call $ne0) (i32.const 0)) |
| (nop) |
| ) |
| (if (i32.ne (i32.const 0) (call $ne0)) |
| (nop) |
| ) |
| ;; through an or |
| (if |
| (i32.or |
| (i32.ne (i32.const 0) (call $ne0)) |
| (i32.ne (i32.const 0) (call $ne0)) |
| ) |
| (nop) |
| ) |
| ;; but not an and |
| (if |
| (i32.and |
| (i32.ne (i32.const 0) (call $ne0)) |
| (i32.ne (i32.const 0) (call $ne0)) |
| ) |
| (nop) |
| ) |
| (i32.const 1) |
| ) |
| (func $recurse-bool |
| (if |
| (if (result i32) |
| (i32.const 1) |
| (i32.ne (call $ne0) (i32.const 0)) |
| (i32.ne (call $ne1) (i32.const 0)) |
| ) |
| (nop) |
| ) |
| (if |
| (block (result i32) |
| (nop) |
| (i32.ne (call $ne0) (i32.const 0)) |
| ) |
| (nop) |
| ) |
| ) |
| (func $ne1 (result i32) |
| (unreachable) |
| ) |
| (func $load-off-2 "load-off-2" (param $0 i32) (result i32) |
| (i32.store offset=2 |
| (i32.add |
| (i32.const 1) |
| (i32.const 3) |
| ) |
| (get_local $0) |
| ) |
| (i32.store offset=2 |
| (i32.add |
| (i32.const 3) |
| (i32.const 1) |
| ) |
| (get_local $0) |
| ) |
| (i32.store offset=2 |
| (i32.add |
| (get_local $0) |
| (i32.const 5) |
| ) |
| (get_local $0) |
| ) |
| (i32.store offset=2 |
| (i32.add |
| (i32.const 7) |
| (get_local $0) |
| ) |
| (get_local $0) |
| ) |
| (i32.store offset=2 |
| (i32.add |
| (i32.const -11) ;; do not fold this! |
| (get_local $0) |
| ) |
| (get_local $0) |
| ) |
| (i32.store offset=2 |
| (i32.add |
| (get_local $0) |
| (i32.const -13) ;; do not fold this! |
| ) |
| (get_local $0) |
| ) |
| (i32.store offset=2 |
| (i32.add |
| (i32.const -15) |
| (i32.const 17) |
| ) |
| (get_local $0) |
| ) |
| (i32.store offset=2 |
| (i32.add |
| (i32.const -21) |
| (i32.const 19) |
| ) |
| (get_local $0) |
| ) |
| (i32.store offset=2 |
| (i32.const 23) |
| (get_local $0) |
| ) |
| (i32.store offset=2 |
| (i32.const -25) |
| (get_local $0) |
| ) |
| (drop |
| (i32.load offset=2 |
| (i32.add |
| (i32.const 2) |
| (i32.const 4) |
| ) |
| ) |
| ) |
| (drop |
| (i32.load offset=2 |
| (i32.add |
| (i32.const 4) |
| (i32.const 2) |
| ) |
| ) |
| ) |
| (drop |
| (i32.load offset=2 |
| (i32.add |
| (get_local $0) |
| (i32.const 6) |
| ) |
| ) |
| ) |
| (drop |
| (i32.load offset=2 |
| (i32.const 8) |
| ) |
| ) |
| (i32.load offset=2 |
| (i32.add |
| (i32.const 10) |
| (get_local $0) |
| ) |
| ) |
| ) |
| (func $sign-ext (param $0 i32) (param $1 i32) |
| ;; eq of sign-ext to const, can be a zext |
| (drop |
| (i32.eq |
| (i32.shr_s |
| (i32.shl |
| (get_local $0) |
| (i32.const 24) |
| ) |
| (i32.const 24) |
| ) |
| (i32.const 0) |
| ) |
| ) |
| (drop |
| (i32.eq |
| (i32.shr_s |
| (i32.shl |
| (get_local $0) |
| (i32.const 16) |
| ) |
| (i32.const 16) |
| ) |
| (i32.const 0) |
| ) |
| ) |
| (drop |
| (i32.eq |
| (i32.shr_s |
| (i32.shl |
| (get_local $0) |
| (i32.const 5) ;; weird size, but still valid |
| ) |
| (i32.const 5) |
| ) |
| (i32.const 0) |
| ) |
| ) |
| (drop |
| (i32.eq |
| (i32.shr_s |
| (i32.shl |
| (get_local $0) |
| (i32.const 24) |
| ) |
| (i32.const 24) |
| ) |
| (i32.const 100) ;; non-zero |
| ) |
| ) |
| (drop |
| (i32.eq |
| (i32.shr_s |
| (i32.shl |
| (get_local $0) |
| (i32.const 24) |
| ) |
| (i32.const 24) |
| ) |
| (i32.const 32767) ;; non-zero and bigger than the mask, with sign bit |
| ) |
| ) |
| (drop |
| (i32.eq |
| (i32.shr_s |
| (i32.shl |
| (get_local $0) |
| (i32.const 24) |
| ) |
| (i32.const 24) |
| ) |
| (i32.const -149) ;; non-zero and bigger than the mask, without sign bit |
| ) |
| ) |
| ;; eq of two sign-ext, can both be a zext |
| (drop |
| (i32.eq |
| (i32.shr_s |
| (i32.shl |
| (get_local $0) |
| (i32.const 24) |
| ) |
| (i32.const 24) |
| ) |
| (i32.shr_s |
| (i32.shl |
| (get_local $1) |
| (i32.const 24) |
| ) |
| (i32.const 24) |
| ) |
| ) |
| ) |
| (drop |
| (i32.eq |
| (i32.shr_s |
| (i32.shl |
| (get_local $0) |
| (i32.const 16) |
| ) |
| (i32.const 16) |
| ) |
| (i32.shr_s |
| (i32.shl |
| (get_local $1) |
| (i32.const 16) |
| ) |
| (i32.const 16) |
| ) |
| ) |
| ) |
| ;; corner cases we should not opt |
| (drop |
| (i32.eq |
| (i32.shr_s |
| (i32.shl |
| (get_local $0) |
| (i32.const 24) |
| ) |
| (i32.const 23) ;; different shift, smaller |
| ) |
| (i32.const 0) |
| ) |
| ) |
| (drop |
| (i32.eq |
| (i32.shr_u ;; unsigned |
| (i32.shl |
| (get_local $0) |
| (i32.const 24) |
| ) |
| (i32.const 24) |
| ) |
| (i32.const 0) |
| ) |
| ) |
| (drop |
| (i32.lt_s ;; non-eq |
| (i32.shr_s |
| (i32.shl |
| (get_local $0) |
| (i32.const 24) |
| ) |
| (i32.const 24) |
| ) |
| (i32.const 0) |
| ) |
| ) |
| ) |
| (func $sign-ext-input (param $0 i32) (param $1 i32) |
| (drop |
| (i32.shr_s |
| (i32.shl |
| (i32.const 100) ;; small! |
| (i32.const 24) |
| ) |
| (i32.const 24) |
| ) |
| ) |
| (drop |
| (i32.shr_s |
| (i32.shl |
| (i32.const 127) ;; just small enough |
| (i32.const 24) |
| ) |
| (i32.const 24) |
| ) |
| ) |
| (drop |
| (i32.shr_s |
| (i32.shl |
| (i32.const 128) ;; just too big |
| (i32.const 24) |
| ) |
| (i32.const 24) |
| ) |
| ) |
| (drop |
| (i32.shr_s |
| (i32.shl |
| (get-local $0) ;; who knows... |
| (i32.const 24) |
| ) |
| (i32.const 24) |
| ) |
| ) |
| (drop |
| (i32.shr_s |
| (i32.shl |
| (unreachable) ;; ignore |
| (i32.const 24) |
| ) |
| (i32.const 24) |
| ) |
| ) |
| (drop |
| (i32.shr_s |
| (i32.shl |
| (i32.div_s ;; this could be optimizable in theory, but currently we don't look into adds etc. |
| (i32.const 1) |
| (i32.const 2) |
| ) |
| (i32.const 24) |
| ) |
| (i32.const 24) |
| ) |
| ) |
| (drop |
| (i32.shr_s |
| (i32.shl |
| (i32.and ;; takes the min, here it is ok |
| (i32.const 127) |
| (i32.const 128) |
| ) |
| (i32.const 24) |
| ) |
| (i32.const 24) |
| ) |
| ) |
| (drop |
| (i32.shr_s |
| (i32.shl |
| (i32.and ;; takes the min, here it is not |
| (i32.const 128) |
| (i32.const 129) |
| ) |
| (i32.const 24) |
| ) |
| (i32.const 24) |
| ) |
| ) |
| (drop |
| (i32.shr_s |
| (i32.shl |
| (i32.xor ;; takes the max, here it is ok |
| (i32.const 127) |
| (i32.const 126) |
| ) |
| (i32.const 24) |
| ) |
| (i32.const 24) |
| ) |
| ) |
| (drop |
| (i32.shr_s |
| (i32.shl |
| (i32.xor ;; takes the max, here it is not |
| (i32.const 127) |
| (i32.const 128) |
| ) |
| (i32.const 24) |
| ) |
| (i32.const 24) |
| ) |
| ) |
| (drop |
| (i32.shr_s |
| (i32.shl |
| (i32.or ;; takes the max, here it is ok |
| (i32.const 127) |
| (i32.const 126) |
| ) |
| (i32.const 24) |
| ) |
| (i32.const 24) |
| ) |
| ) |
| (drop |
| (i32.shr_s |
| (i32.shl |
| (i32.or ;; takes the max, here it is not |
| (i32.const 127) |
| (i32.const 128) |
| ) |
| (i32.const 24) |
| ) |
| (i32.const 24) |
| ) |
| ) |
| (drop |
| (i32.shr_s |
| (i32.shl |
| (i32.shl ;; adds, here it is too much |
| (i32.const 32) |
| (i32.const 2) |
| ) |
| (i32.const 24) |
| ) |
| (i32.const 24) |
| ) |
| ) |
| (drop |
| (i32.shr_s |
| (i32.shl |
| (i32.shl ;; adds, here it is ok |
| (i32.const 32) |
| (i32.const 1) |
| ) |
| (i32.const 24) |
| ) |
| (i32.const 24) |
| ) |
| ) |
| (drop |
| (i32.shr_s |
| (i32.shl |
| (i32.shl ;; adds, here it is too much and "overflows" |
| (i32.const 32) |
| (i32.const 35) |
| ) |
| (i32.const 24) |
| ) |
| (i32.const 24) |
| ) |
| ) |
| (drop |
| (i32.shr_s |
| (i32.shl |
| (i32.shr_u ;; subtracts, here it is still too much |
| (i32.const 256) |
| (i32.const 1) |
| ) |
| (i32.const 24) |
| ) |
| (i32.const 24) |
| ) |
| ) |
| (drop |
| (i32.shr_s |
| (i32.shl |
| (i32.shr_u ;; subtracts, here it is ok |
| (i32.const 256) |
| (i32.const 2) |
| ) |
| (i32.const 24) |
| ) |
| (i32.const 24) |
| ) |
| ) |
| (drop |
| (i32.shr_s |
| (i32.shl |
| (i32.shr_u ;; subtracts, here it "overflows" |
| (i32.const 128) |
| (i32.const 35) |
| ) |
| (i32.const 24) |
| ) |
| (i32.const 24) |
| ) |
| ) |
| (drop |
| (i32.shr_s |
| (i32.shl |
| (i32.shr_s ;; subtracts, here it is still too much |
| (i32.const 256) |
| (i32.const 1) |
| ) |
| (i32.const 24) |
| ) |
| (i32.const 24) |
| ) |
| ) |
| (drop |
| (i32.shr_s |
| (i32.shl |
| (i32.shr_s ;; subtracts, here it is ok |
| (i32.const 256) |
| (i32.const 2) |
| ) |
| (i32.const 24) |
| ) |
| (i32.const 24) |
| ) |
| ) |
| (drop |
| (i32.shr_s |
| (i32.shl |
| (i32.shr_s ;; subtracts, here it "overflows" |
| (i32.const 128) |
| (i32.const 35) |
| ) |
| (i32.const 24) |
| ) |
| (i32.const 24) |
| ) |
| ) |
| (drop |
| (i32.shr_s |
| (i32.shl |
| (i32.shr_s ;; subtracts, here there is a sign bit, so it stays 32 bits no matter how much we shift |
| (i32.const -1) |
| (i32.const 32) |
| ) |
| (i32.const 24) |
| ) |
| (i32.const 24) |
| ) |
| ) |
| (drop |
| (i32.shr_s |
| (i32.shl |
| (i32.shr_s ;; subtracts, here we mask out that sign bit |
| (i32.and |
| (i32.const -1) |
| (i32.const 2147483647) |
| ) |
| (i32.const 31) ;; adjusted after we fixed shift computation to just look at lower 5 bits |
| ) |
| (i32.const 24) |
| ) |
| (i32.const 24) |
| ) |
| ) |
| (drop |
| (i32.shr_s |
| (i32.shl |
| (i32.ne ;; 1 bit |
| (i32.const -1) |
| (i32.const -1) |
| ) |
| (i32.const 24) |
| ) |
| (i32.const 24) |
| ) |
| ) |
| (drop |
| (i32.shr_s |
| (i32.shl |
| (f32.le |
| (f32.const -1) |
| (f32.const -1) |
| ) |
| (i32.const 24) |
| ) |
| (i32.const 24) |
| ) |
| ) |
| (drop |
| (i32.shr_s |
| (i32.shl |
| (i32.clz ;; assumed 5 bits |
| (i32.const 0) |
| ) |
| (i32.const 24) |
| ) |
| (i32.const 24) |
| ) |
| ) |
| (drop |
| (i32.shr_s |
| (i32.shl |
| (i32.shl |
| (i32.clz ;; assumed 5 bits |
| (i32.const 0) |
| ) |
| (i32.const 2) ;; + 2, so 7 |
| ) |
| (i32.const 24) |
| ) |
| (i32.const 24) |
| ) |
| ) |
| (drop |
| (i32.shr_s |
| (i32.shl |
| (i32.shl |
| (i32.clz ;; assumed 5 bits |
| (i32.const 0) |
| ) |
| (i32.const 3) ;; + 3, so 8, too much |
| ) |
| (i32.const 24) |
| ) |
| (i32.const 24) |
| ) |
| ) |
| (drop |
| (i32.shr_s |
| (i32.shl |
| (i32.wrap/i64 ;; preserves 6 |
| (i64.clz ;; assumed 6 bits |
| (i64.const 0) |
| ) |
| ) |
| (i32.const 24) |
| ) |
| (i32.const 24) |
| ) |
| ) |
| (drop |
| (i32.shr_s |
| (i32.shl |
| (i32.shl |
| (i32.wrap/i64 ;; preserves 6 |
| (i64.clz ;; assumed 6 bits |
| (i64.const 0) |
| ) |
| ) |
| (i32.const 1) ;; + 1, so 7 |
| ) |
| (i32.const 24) |
| ) |
| (i32.const 24) |
| ) |
| ) |
| (drop |
| (i32.shr_s |
| (i32.shl |
| (i32.shl |
| (i32.wrap/i64 ;; preserves 6 |
| (i64.clz ;; assumed 6 bits |
| (i64.const 0) |
| ) |
| ) |
| (i32.const 2) ;; + 2, so 8, too much |
| ) |
| (i32.const 24) |
| ) |
| (i32.const 24) |
| ) |
| ) |
| (drop |
| (i32.shr_s |
| (i32.shl |
| (i32.eqz ;; 1 bit |
| (i32.const -1) |
| ) |
| (i32.const 24) |
| ) |
| (i32.const 24) |
| ) |
| ) |
| (drop |
| (i32.shr_s |
| (i32.shl |
| (i32.shr_u |
| (i32.wrap/i64 ;; down to 32 |
| (i64.const -1) ;; 64 |
| ) |
| (i32.const 24) ;; 32 - 24 = 8 |
| ) |
| (i32.const 24) |
| ) |
| (i32.const 24) |
| ) |
| ) |
| (drop |
| (i32.shr_s |
| (i32.shl |
| (i32.shr_u |
| (i32.wrap/i64 ;; down to 32 |
| (i64.const -1) ;; 64 |
| ) |
| (i32.const 25) ;; 32 - 25 = 7, ok |
| ) |
| (i32.const 24) |
| ) |
| (i32.const 24) |
| ) |
| ) |
| (drop |
| (i32.shr_s |
| (i32.shl |
| (i32.shr_u |
| (i32.wrap/i64 ;; stay 32 |
| (i64.extend_s/i32 |
| (i32.const -1) |
| ) |
| ) |
| (i32.const 24) ;; 32 - 24 = 8 |
| ) |
| (i32.const 24) |
| ) |
| (i32.const 24) |
| ) |
| ) |
| (drop |
| (i32.shr_s |
| (i32.shl |
| (i32.shr_u |
| (i32.wrap/i64 ;; stay 32 |
| (i64.extend_s/i32 |
| (i32.const -1) |
| ) |
| ) |
| (i32.const 25) ;; 32 - 25 = 7, ok |
| ) |
| (i32.const 24) |
| ) |
| (i32.const 24) |
| ) |
| ) |
| (drop ;; fuzz testcase |
| (i32.shr_s |
| (i32.shl |
| (i32.xor ;; should be 32 bits |
| (i32.le_u ;; 1 bit |
| (get_local $0) |
| (i32.const 2) |
| ) |
| (get_local $0) ;; unknown, so 32 bits |
| ) |
| (i32.const 24) |
| ) |
| (i32.const 24) |
| ) |
| ) |
| ) |
| (func $linear-sums (param $0 i32) (param $1 i32) |
| (drop |
| (i32.add |
| (i32.add |
| (get_local $1) |
| (i32.const 16) |
| ) |
| (i32.shl |
| (i32.add |
| (get_local $0) |
| (i32.const -1) ;; -16, so cancels out! |
| ) |
| (i32.const 4) |
| ) |
| ) |
| ) |
| (drop |
| (i32.add |
| (i32.add |
| (get_local $1) |
| (i32.const 20) |
| ) |
| (i32.shl |
| (i32.add |
| (get_local $0) |
| (i32.const -1) ;; -8, so sum is +12 |
| ) |
| (i32.const 3) |
| ) |
| ) |
| ) |
| (drop |
| (i32.add ;; simple sum |
| (i32.const 1) |
| (i32.const 3) |
| ) |
| ) |
| (drop |
| (i32.add ;; nested sum |
| (i32.add |
| (i32.const 1) |
| (i32.const 3) |
| ) |
| (i32.add |
| (i32.const 5) |
| (i32.const 9) |
| ) |
| ) |
| ) |
| (drop |
| (i32.add |
| (i32.add |
| (i32.const 1) |
| (i32.const 3) |
| ) |
| (i32.sub ;; internal sub |
| (i32.const 5) |
| (i32.const 3) |
| ) |
| ) |
| ) |
| (drop |
| (i32.sub ;; external sub |
| (i32.add |
| (i32.const 1) |
| (i32.const 3) |
| ) |
| (i32.add |
| (i32.const 5) |
| (i32.const 3) |
| ) |
| ) |
| ) |
| (drop |
| (i32.sub ;; external sub |
| (i32.add |
| (i32.const 1) |
| (i32.const 3) |
| ) |
| (i32.sub ;; and also internal sub |
| (i32.const 5) |
| (i32.const 3) |
| ) |
| ) |
| ) |
| (drop |
| (i32.add |
| (i32.add |
| (i32.const 1) |
| (i32.const 3) |
| ) |
| (i32.sub ;; negating sub |
| (i32.const 0) |
| (i32.const 3) |
| ) |
| ) |
| ) |
| (drop |
| (i32.add |
| (i32.sub |
| (i32.const 0) |
| (i32.sub ;; two negating subs |
| (i32.const 0) |
| (i32.add |
| (i32.const 3) |
| (i32.const 20) |
| ) |
| ) |
| ) |
| (i32.add |
| (i32.const 1) |
| (i32.const 2) |
| ) |
| ) |
| ) |
| (drop |
| (i32.add |
| (i32.add |
| (i32.const 0) |
| (i32.sub ;; one negating sub |
| (i32.const 0) |
| (i32.add |
| (i32.const 3) |
| (i32.const 20) |
| ) |
| ) |
| ) |
| (i32.add |
| (i32.const 1) |
| (i32.const 2) |
| ) |
| ) |
| ) |
| (drop |
| (i32.add |
| (i32.shl ;; shifted value |
| (i32.const 1) |
| (i32.const 3) |
| ) |
| (i32.add |
| (i32.const 5) |
| (i32.const 9) |
| ) |
| ) |
| ) |
| (drop |
| (i32.add |
| (i32.shl ;; shifted value |
| (i32.const 1) |
| (get_local $0) ;; but not by const |
| ) |
| (i32.add |
| (i32.const 5) |
| (i32.const 9) |
| ) |
| ) |
| ) |
| (drop |
| (i32.add |
| (i32.shl ;; shifted nested value |
| (i32.sub |
| (get_local $1) |
| (i32.const 10) |
| ) |
| (i32.const 3) |
| ) |
| (i32.add |
| (i32.const 5) |
| (i32.const 9) |
| ) |
| ) |
| ) |
| (drop |
| (i32.add |
| (i32.mul ;; multiplied |
| (i32.const 10) |
| (i32.const 3) |
| ) |
| (i32.add |
| (i32.const 5) |
| (i32.const 9) |
| ) |
| ) |
| ) |
| (drop |
| (i32.add |
| (i32.mul ;; multiplied by nonconstant - can't recurse |
| (i32.const 10) |
| (get_local $0) |
| ) |
| (i32.add |
| (i32.const 5) |
| (i32.const 9) |
| ) |
| ) |
| ) |
| (drop |
| (i32.add |
| (i32.mul ;; nested mul |
| (i32.add |
| (i32.const 10) |
| (get_local $0) |
| ) |
| (i32.const 2) |
| ) |
| (i32.add |
| (i32.const 5) |
| (i32.const 9) |
| ) |
| ) |
| ) |
| (drop |
| (i32.add |
| (i32.add |
| (get_local $0) |
| (i32.const 10) ;; cancelled out with the below |
| ) |
| (i32.sub |
| (i32.const -5) |
| (i32.const 5) |
| ) |
| ) |
| ) |
| ) |
| (func $almost-sign-ext (param $0 i32) (param $0 i32) |
| (drop |
| (i32.shr_s |
| (i32.shl |
| (i32.const 100) ;; too big, there is a sign bit, due to the extra shift |
| (i32.const 25) |
| ) |
| (i32.const 24) ;; different shift, but larger, so ok to opt if we leave a shift, in theory |
| ) |
| ) |
| (drop |
| (i32.shr_s |
| (i32.shl |
| (i32.const 50) ;; small enough, no sign bit |
| (i32.const 25) |
| ) |
| (i32.const 24) ;; different shift, but larger, so ok to opt if we leave a shift |
| ) |
| ) |
| ) |
| (func $squaring (param $0 i32) (param $1 i32) |
| (drop |
| (i32.and |
| (i32.and |
| (get_local $0) |
| (i32.const 11) |
| ) |
| (i32.const 200) |
| ) |
| ) |
| (drop |
| (i32.and |
| (i32.and |
| (get_local $0) |
| (i32.const 11) |
| ) |
| (get_local $0) ;; non-const, cannot optimize this! |
| ) |
| ) |
| (drop |
| (i32.and |
| (i32.and |
| (i32.const 11) ;; flipped order |
| (get_local $0) |
| ) |
| (i32.const 200) |
| ) |
| ) |
| (drop |
| (i32.or |
| (i32.or |
| (get_local $0) |
| (i32.const 11) |
| ) |
| (i32.const 200) |
| ) |
| ) |
| (drop |
| (i32.shl |
| (i32.shl |
| (get_local $0) |
| (i32.const 11) |
| ) |
| (i32.const 200) |
| ) |
| ) |
| (drop |
| (i32.shr_s |
| (i32.shr_s |
| (get_local $0) |
| (i32.const 11) |
| ) |
| (i32.const 200) |
| ) |
| ) |
| (drop |
| (i32.shr_u |
| (i32.shr_u |
| (get_local $0) |
| (i32.const 11) |
| ) |
| (i32.const 200) |
| ) |
| ) |
| (drop |
| (i32.shr_u |
| (i32.shr_s ;; but do not optimize a mixture or different shifts! |
| (get_local $0) |
| (i32.const 11) |
| ) |
| (i32.const 200) |
| ) |
| ) |
| ) |
| (func $sign-ext-ne (param $0 i32) (param $1 i32) |
| ;; ne of sign-ext to const, can be a zext |
| (drop |
| (i32.ne |
| (i32.shr_s |
| (i32.shl |
| (get_local $0) |
| (i32.const 24) |
| ) |
| (i32.const 24) |
| ) |
| (i32.const 65000) |
| ) |
| ) |
| (drop |
| (i32.ne |
| (i32.shr_s |
| (i32.shl |
| (get_local $0) |
| (i32.const 24) |
| ) |
| (i32.const 24) |
| ) |
| (i32.const 64872) ;; no sign bit |
| ) |
| ) |
| (drop |
| (i32.ne |
| (i32.shr_s |
| (i32.shl |
| (get_local $0) |
| (i32.const 24) |
| ) |
| (i32.const 24) |
| ) |
| (i32.const -149) ;; no sign bit, not all ones |
| ) |
| ) |
| (drop |
| (i32.ne |
| (i32.shr_s |
| (i32.shl |
| (get_local $0) |
| (i32.const 24) |
| ) |
| (i32.const 24) |
| ) |
| (i32.const 111) |
| ) |
| ) |
| (drop |
| (i32.ne |
| (i32.shr_s |
| (i32.shl |
| (get_local $0) |
| (i32.const 24) |
| ) |
| (i32.const 24) |
| ) |
| (i32.shr_s |
| (i32.shl |
| (get_local $1) |
| (i32.const 24) |
| ) |
| (i32.const 24) |
| ) |
| ) |
| ) |
| ) |
| (func $sign-ext-eqz (param $0 i32) (param $1 i32) |
| (drop |
| (i32.eqz |
| (i32.shr_s |
| (i32.shl |
| (get_local $0) |
| (i32.const 24) |
| ) |
| (i32.const 24) |
| ) |
| ) |
| ) |
| ) |
| (func $sign-ext-boolean (param $0 i32) (param $1 i32) |
| (drop |
| (if (result i32) |
| (i32.shr_s |
| (i32.shl |
| (get_local $0) |
| (i32.const 24) |
| ) |
| (i32.const 24) |
| ) |
| (i32.const 100) |
| (i32.const 200) |
| ) |
| ) |
| ) |
| (func $add-sub-zero (param $0 i32) (param $1 i32) |
| (drop |
| (i32.add |
| (get_local $0) |
| (i32.const 0) |
| ) |
| ) |
| (drop |
| (i32.sub |
| (get_local $0) |
| (i32.const 0) |
| ) |
| ) |
| ) |
| (func $store-signext (param $0 i32) |
| (i32.store8 |
| (i32.const 8) |
| (i32.shr_s |
| (i32.shl |
| (get_local $0) |
| (i32.const 24) ;; exact size we store, sign-ext of 8 bits |
| ) |
| (i32.const 24) |
| ) |
| ) |
| (i32.store8 |
| (i32.const 8) |
| (i32.shr_s |
| (i32.shl |
| (get_local $0) |
| (i32.const 25) ;; 7 bits. so the ext can alter a bit we store, do not optimize |
| ) |
| (i32.const 25) |
| ) |
| ) |
| (i32.store8 |
| (i32.const 8) |
| (i32.shr_s |
| (i32.shl |
| (get_local $0) |
| (i32.const 23) ;; 9 bits, this is good to optimize |
| ) |
| (i32.const 23) |
| ) |
| ) |
| (i32.store16 |
| (i32.const 8) |
| (i32.shr_s |
| (i32.shl |
| (get_local $0) |
| (i32.const 16) ;; exact size we store, sign-ext of 16 bits |
| ) |
| (i32.const 16) |
| ) |
| ) |
| (i32.store16 |
| (i32.const 8) |
| (i32.shr_s |
| (i32.shl |
| (get_local $0) |
| (i32.const 17) ;; 15 bits. so the ext can alter a bit we store, do not optimize |
| ) |
| (i32.const 17) |
| ) |
| ) |
| (i32.store16 |
| (i32.const 8) |
| (i32.shr_s |
| (i32.shl |
| (get_local $0) |
| (i32.const 14) ;; 17 bits, this is good to optimize |
| ) |
| (i32.const 14) |
| ) |
| ) |
| (i32.store |
| (i32.const 8) |
| (i32.shr_s |
| (i32.shl |
| (get_local $0) |
| (i32.const 16) ;; 4 bytes stored, do nothing |
| ) |
| (i32.const 16) |
| ) |
| ) |
| (i32.store |
| (i32.const 8) |
| (i32.shr_s |
| (i32.shl |
| (get_local $0) |
| (i32.const 8) ;; 4 bytes stored, do nothing |
| ) |
| (i32.const 8) |
| ) |
| ) |
| ) |
| (func $sign-ext-tee (param $0 i32) (param $1 i32) |
| (drop |
| (i32.shr_s |
| (i32.shl |
| (tee_local $0 |
| (i32.const 128) ;; too big |
| ) |
| (i32.const 24) |
| ) |
| (i32.const 24) |
| ) |
| ) |
| (drop |
| (i32.shr_s |
| (i32.shl |
| (tee_local $0 |
| (i32.const 127) ;; just right |
| ) |
| (i32.const 24) |
| ) |
| (i32.const 24) |
| ) |
| ) |
| ) |
| (func $sign-ext-load (param $0 i32) (param $1 i32) |
| (drop |
| (i32.shr_s |
| (i32.shl |
| (i32.load8_s ;; one byte, so perfect |
| (i32.const 256) |
| ) |
| (i32.const 24) |
| ) |
| (i32.const 24) |
| ) |
| ) |
| (drop |
| (i32.shr_s |
| (i32.shl |
| (i32.shr_u |
| (i32.load8_s ;; one byte, but sexted to 32 |
| (i32.const 256) |
| ) |
| (i32.const 1) |
| ) |
| (i32.const 24) |
| ) |
| (i32.const 24) |
| ) |
| ) |
| (drop |
| (i32.shr_s |
| (i32.shl |
| (i32.shr_u |
| (i32.load8_u ;; one byte, but reduced to 7 |
| (i32.const 256) |
| ) |
| (i32.const 1) |
| ) |
| (i32.const 24) |
| ) |
| (i32.const 24) |
| ) |
| ) |
| (drop |
| (i32.shr_s |
| (i32.shl |
| (i32.load16_s ;; two, so perfect |
| (i32.const 256) |
| ) |
| (i32.const 16) |
| ) |
| (i32.const 16) |
| ) |
| ) |
| ;; through tees, we cannot alter the load sign |
| (drop |
| (i32.shr_s |
| (i32.shl |
| (tee_local $1 |
| (i32.load8_s |
| (i32.const 1) |
| ) |
| ) |
| (i32.const 24) |
| ) |
| (i32.const 24) |
| ) |
| ) |
| (drop |
| (i32.shr_s |
| (i32.shl |
| (tee_local $1 |
| (i32.load8_u |
| (i32.const 1) |
| ) |
| ) |
| (i32.const 24) |
| ) |
| (i32.const 24) |
| ) |
| ) |
| (drop |
| (i32.and |
| (tee_local $1 |
| (i32.load8_s |
| (i32.const 1) |
| ) |
| ) |
| (i32.const 255) |
| ) |
| ) |
| (drop |
| (i32.and |
| (tee_local $1 |
| (i32.load8_u |
| (i32.const 1) |
| ) |
| ) |
| (i32.const 255) |
| ) |
| ) |
| ) |
| (func $mask-bits (param $0 i32) (param $1 i32) |
| (drop |
| (i32.and |
| (tee_local $0 |
| (i32.const 127) ;; 7 bits |
| ) |
| (i32.const 255) ;; mask 8, so we don't need this |
| ) |
| ) |
| (drop |
| (i32.and |
| (tee_local $0 |
| (i32.const 128) ;; 8 bits |
| ) |
| (i32.const 255) ;; mask 8, so we don't need this |
| ) |
| ) |
| (drop |
| (i32.and |
| (tee_local $0 |
| (i32.const 128) |
| ) |
| (i32.const 254) ;; improper mask, small |
| ) |
| ) |
| (drop |
| (i32.and |
| (tee_local $0 |
| (i32.const 128) |
| ) |
| (i32.const 1279) ;; improper mask, large |
| ) |
| ) |
| (drop |
| (i32.and |
| (tee_local $0 |
| (i32.const 128) |
| ) |
| (i32.const 1290) ;; improper mask, large |
| ) |
| ) |
| (drop |
| (i32.and |
| (tee_local $0 |
| (i32.const 128) |
| ) |
| (i32.const 4095) ;; proper mask, huge |
| ) |
| ) |
| (drop |
| (i32.and |
| (tee_local $0 |
| (i32.const 128) |
| ) |
| (i32.const 511) ;; proper mask, large |
| ) |
| ) |
| (drop |
| (i32.and |
| (tee_local $0 |
| (i32.const 128) |
| ) |
| (i32.const 127) ;; proper mask, just too small |
| ) |
| ) |
| ) |
| (func $local-info-zero-ext (param $0 i32) (param $1 i32) |
| (local $x i32) |
| (local $y i32) |
| (local $z i32) |
| (local $w i32) |
| (set_local $x |
| (i32.const 212) ;; mask is unneeded, we are small |
| ) |
| (drop |
| (i32.and |
| (get_local $x) |
| (i32.const 255) |
| ) |
| ) |
| (set_local $y |
| (i32.const 500) ;; mask is needed, we are too big |
| ) |
| (drop |
| (i32.and |
| (get_local $y) |
| (i32.const 255) |
| ) |
| ) |
| (set_local $0 |
| (i32.const 212) ;; mask is unneeded, but we are a param, not a var, so no |
| ) |
| (drop |
| (i32.and |
| (get_local $0) |
| (i32.const 255) |
| ) |
| ) |
| (set_local $z |
| (i32.const 212) ;; mask is unneeded, we are small |
| ) |
| (set_local $z |
| (i32.const 220) ;; mask is still unneeded even with 2 uses |
| ) |
| (drop |
| (i32.and |
| (get_local $z) |
| (i32.const 255) |
| ) |
| ) |
| (set_local $w |
| (i32.const 212) ;; mask is unneeded, we are small |
| ) |
| (set_local $w |
| (i32.const 1000) ;; mask is needed, one use is too big |
| ) |
| (drop |
| (i32.and |
| (get_local $w) |
| (i32.const 255) |
| ) |
| ) |
| ) |
| (func $local-info-sign-ext-bitsize (param $0 i32) (param $1 i32) |
| (local $x i32) |
| (local $y i32) |
| (local $z i32) |
| (local $w i32) |
| (set_local $x |
| (i32.const 127) ;; mask is unneeded, we are small |
| ) |
| (drop |
| (i32.shr_s |
| (i32.shl |
| (get_local $x) |
| (i32.const 24) |
| ) |
| (i32.const 24) |
| ) |
| ) |
| (set_local $y |
| (i32.const 128) ;; mask is needed, we are too big |
| ) |
| (drop |
| (i32.shr_s |
| (i32.shl |
| (get_local $y) |
| (i32.const 24) |
| ) |
| (i32.const 24) |
| ) |
| ) |
| (set_local $0 |
| (i32.const 127) ;; mask is unneeded, but we are a param, not a var, so no |
| ) |
| (drop |
| (i32.shr_s |
| (i32.shl |
| (get_local $0) |
| (i32.const 24) |
| ) |
| (i32.const 24) |
| ) |
| ) |
| (set_local $z |
| (i32.const 127) ;; mask is unneeded, we are small |
| ) |
| (set_local $z |
| (i32.const 100) ;; mask is still unneeded even with 2 uses |
| ) |
| (drop |
| (i32.shr_s |
| (i32.shl |
| (get_local $z) |
| (i32.const 24) |
| ) |
| (i32.const 24) |
| ) |
| ) |
| (set_local $w |
| (i32.const 127) ;; mask is unneeded, we are small |
| ) |
| (set_local $w |
| (i32.const 150) ;; mask is needed, one use is too big |
| ) |
| (drop |
| (i32.shr_s |
| (i32.shl |
| (get_local $w) |
| (i32.const 24) |
| ) |
| (i32.const 24) |
| ) |
| ) |
| ) |
| (func $local-info-sign-ext-already-exted (param $0 i32) (param $1 i32) |
| (local $x i32) |
| (local $y i32) |
| (local $z i32) |
| (local $w i32) |
| (set_local $x |
| (i32.shr_s |
| (i32.shl |
| (get_local $0) ;; already sign-exted here, so no need later |
| (i32.const 24) |
| ) |
| (i32.const 24) |
| ) |
| ) |
| (drop |
| (i32.shr_s |
| (i32.shl |
| (get_local $x) |
| (i32.const 24) |
| ) |
| (i32.const 24) |
| ) |
| ) |
| (set_local $y |
| (i32.shr_s |
| (i32.shl |
| (get_local $0) ;; already sign-exted here, but wrong bit size |
| (i32.const 16) |
| ) |
| (i32.const 16) |
| ) |
| ) |
| (drop |
| (i32.shr_s |
| (i32.shl |
| (get_local $y) |
| (i32.const 24) |
| ) |
| (i32.const 24) |
| ) |
| ) |
| (set_local $0 |
| (i32.shr_s |
| (i32.shl |
| (get_local $0) ;; already sign-exted here, so no need later, but we are a param |
| (i32.const 24) |
| ) |
| (i32.const 24) |
| ) |
| ) |
| (drop |
| (i32.shr_s |
| (i32.shl |
| (get_local $0) |
| (i32.const 24) |
| ) |
| (i32.const 24) |
| ) |
| ) |
| (set_local $z |
| (i32.shr_s |
| (i32.shl |
| (get_local $0) ;; already sign-exted here, so no need later |
| (i32.const 24) |
| ) |
| (i32.const 24) |
| ) |
| ) |
| (set_local $z |
| (i32.shr_s |
| (i32.shl |
| (get_local $1) ;; already sign-exted here, so no need later |
| (i32.const 24) |
| ) |
| (i32.const 24) |
| ) |
| ) |
| (drop |
| (i32.shr_s |
| (i32.shl |
| (get_local $z) |
| (i32.const 24) |
| ) |
| (i32.const 24) |
| ) |
| ) |
| (set_local $w |
| (i32.shr_s |
| (i32.shl |
| (get_local $0) ;; already sign-exted here, so no need later |
| (i32.const 24) |
| ) |
| (i32.const 24) |
| ) |
| ) |
| (set_local $w |
| (i32.shr_s |
| (i32.shl |
| (get_local $0) ;; not quite a sign-ext |
| (i32.const 23) |
| ) |
| (i32.const 24) |
| ) |
| ) |
| (drop |
| (i32.shr_s |
| (i32.shl |
| (get_local $w) |
| (i32.const 24) |
| ) |
| (i32.const 24) |
| ) |
| ) |
| (drop ;; odd corner case |
| (i32.shr_s |
| (i32.shl |
| (get_local $0) ;; param, so we should know nothing |
| (i32.const 24) |
| ) |
| (i32.const 23) ;; different shift, smaller |
| ) |
| ) |
| ) |
| (func $signed-loads-fill-the-bits (param $$e i32) (result i32) |
| (local $$0 i32) |
| (local $$conv i32) |
| (set_local $$0 |
| (i32.load8_s ;; one byte, but 32 bits due to sign-extend |
| (i32.const 1024) |
| ) |
| ) |
| (set_local $$conv |
| (i32.and |
| (get_local $$0) |
| (i32.const 255) ;; so we need this zexting! |
| ) |
| ) |
| (return |
| (i32.eq |
| (get_local $$conv) |
| (get_local $$e) |
| ) |
| ) |
| ) |
| (func $local-info-sign-ext-already-exted-by-load (param $0 i32) (param $1 i32) |
| (local $x i32) |
| (local $y i32) |
| (local $z i32) |
| (local $w i32) |
| (set_local $x |
| (i32.load8_s (i32.const 1024)) ;; 8 bits, sign extended, no need to do it again |
| ) |
| (drop |
| (i32.shr_s |
| (i32.shl |
| (get_local $x) |
| (i32.const 24) |
| ) |
| (i32.const 24) |
| ) |
| ) |
| (set_local $y |
| (i32.load8_u (i32.const 1024)) ;; 8 bits, zext, so bad |
| ) |
| (drop |
| (i32.shr_s |
| (i32.shl |
| (get_local $y) |
| (i32.const 24) |
| ) |
| (i32.const 24) |
| ) |
| ) |
| (set_local $z |
| (i32.load16_s (i32.const 1024)) ;; 16 bits sign-extended, wrong size |
| ) |
| (drop |
| (i32.shr_s |
| (i32.shl |
| (get_local $z) |
| (i32.const 24) |
| ) |
| (i32.const 24) |
| ) |
| ) |
| ) |
| (func $compare-load-s-sign-extend (param $0 i32) (param $1 i32) |
| (drop |
| (i32.eq |
| (i32.load8_s |
| (get_local $0) |
| ) |
| (i32.shr_s |
| (i32.shl |
| (get_local $1) |
| (i32.const 24) |
| ) |
| (i32.const 24) |
| ) |
| ) |
| ) |
| (drop |
| (i32.eq |
| (i32.shr_s |
| (i32.shl |
| (get_local $1) |
| (i32.const 24) |
| ) |
| (i32.const 24) |
| ) |
| (i32.load8_s |
| (get_local $0) ;; flip order, we should canonicalize |
| ) |
| ) |
| ) |
| (drop |
| (i32.eq |
| (i32.load8_u ;; unsigned, bad |
| (get_local $0) |
| ) |
| (i32.shr_s |
| (i32.shl |
| (get_local $1) |
| (i32.const 24) |
| ) |
| (i32.const 24) |
| ) |
| ) |
| ) |
| (drop |
| (i32.eq |
| (i32.load8_s |
| (get_local $0) |
| ) |
| (i32.shr_s |
| (i32.shl |
| (get_local $1) |
| (i32.const 16) ;; wrong size |
| ) |
| (i32.const 16) |
| ) |
| ) |
| ) |
| (drop |
| (i32.eq |
| (i32.shr_s |
| (i32.shl |
| (get_local $1) |
| (i32.const 24) |
| ) |
| (i32.const 24) |
| ) |
| (i32.load8_u ;; unsigned, bad |
| (get_local $0) |
| ) |
| ) |
| ) |
| (drop |
| (i32.eq |
| (i32.shr_s |
| (i32.shl |
| (get_local $1) |
| (i32.const 16) ;; wrong size |
| ) |
| (i32.const 16) |
| ) |
| (i32.load8_s |
| (get_local $0) |
| ) |
| ) |
| ) |
| ) |
| (func $unsign-diff-sizes (param $x i32) (param $y i32) (result i32) |
| (i32.ne |
| (i32.shr_s |
| (i32.shl |
| (call $unsign-diff-sizes |
| (i32.const -1) |
| (i32.const 5) |
| ) |
| (i32.const 24) |
| ) |
| (i32.const 24) |
| ) |
| (i32.shr_s |
| (i32.shl |
| (call $unsign-diff-sizes |
| (i32.const 1) |
| (i32.const 2006) |
| ) |
| (i32.const 16) |
| ) |
| (i32.const 16) |
| ) |
| ) |
| ) |
| (func $unsign-same-sizes (param $x i32) (param $y i32) (result i32) |
| (i32.ne |
| (i32.shr_s |
| (i32.shl |
| (call $unsign-same-sizes |
| (i32.const -1) |
| (i32.const 5) |
| ) |
| (i32.const 24) |
| ) |
| (i32.const 24) |
| ) |
| (i32.shr_s |
| (i32.shl |
| (call $unsign-same-sizes |
| (i32.const 1) |
| (i32.const 2006) |
| ) |
| (i32.const 24) |
| ) |
| (i32.const 24) |
| ) |
| ) |
| ) |
| (func $fuzz-almost-sign-ext |
| (drop |
| (i32.shr_s |
| (i32.shl |
| (i32.load16_u |
| (i32.const 2278) |
| ) |
| (i32.const 17) |
| ) |
| (i32.const 16) |
| ) |
| ) |
| (drop |
| (i32.shr_s |
| (i32.shl |
| (i32.shl |
| (i32.load16_u |
| (i32.const 2278) |
| ) |
| (i32.const 1) |
| ) |
| (i32.const 16) |
| ) |
| (i32.const 16) |
| ) |
| ) |
| ) |
| (func $fuzz-comp-impossible (param $x i32) |
| (drop |
| (i32.eq |
| (i32.shr_s |
| (i32.shl |
| (get_local $x) |
| (i32.const 16) |
| ) |
| (i32.const 16) |
| ) |
| (i32.const 65535) ;; impossible to be equal, the effective sign bit is set, but not the higher bits, which the sign-ext will set on the non-const value |
| ) |
| ) |
| (drop |
| (i32.eq |
| (i32.shr_s |
| (i32.shl |
| (get_local $x) |
| (i32.const 24) |
| ) |
| (i32.const 24) |
| ) |
| (i32.const 255) |
| ) |
| ) |
| (drop |
| (i32.eq |
| (i32.shr_s |
| (i32.shl |
| (get_local $x) |
| (i32.const 24) |
| ) |
| (i32.const 24) |
| ) |
| (i32.const 127) ;; safe |
| ) |
| ) |
| (drop |
| (i32.eq |
| (i32.shr_s |
| (i32.shl |
| (get_local $x) |
| (i32.const 24) |
| ) |
| (i32.const 24) |
| ) |
| (i32.const 128) ;; unsafe again |
| ) |
| ) |
| (drop |
| (i32.eq |
| (i32.shr_s |
| (i32.shl |
| (get_local $x) |
| (i32.const 24) |
| ) |
| (i32.const 24) |
| ) |
| (i32.const 4223) ;; more big bits, so sign bit though |
| ) |
| ) |
| (drop |
| (i32.eq |
| (i32.shr_s |
| (i32.shl |
| (get_local $x) |
| (i32.const 24) |
| ) |
| (i32.const 24) |
| ) |
| (i32.const 4224) ;; more big bits |
| ) |
| ) |
| (drop |
| (i32.eq |
| (i32.shr_s |
| (i32.shl |
| (get_local $x) |
| (i32.const 24) |
| ) |
| (i32.const 24) |
| ) |
| (i32.const -4) ;; safe even with more big bits, as they are all 1s |
| ) |
| ) |
| ) |
| (func $if-parallel (param $0 i32) (param $1 i32) |
| (drop |
| (if (result i32) |
| (get_local $0) |
| (i32.add (get_local $1) (i32.const 1)) |
| (i32.add (get_local $1) (i32.const 1)) |
| ) |
| ) |
| (drop |
| (if (result i32) |
| (tee_local $0 (get_local $1)) ;; side effects! |
| (i32.add (get_local $1) (i32.const 1)) |
| (i32.add (get_local $1) (i32.const 1)) |
| ) |
| ) |
| (drop |
| (if (result i32) |
| (get_local $0) |
| (i32.add (get_local $1) (unreachable)) ;; folding them would change the type of the if |
| (i32.add (get_local $1) (unreachable)) |
| ) |
| ) |
| (drop |
| (if (result i32) |
| (tee_local $0 (get_local $1)) ;; side effects! |
| (i32.add (get_local $1) (unreachable)) ;; folding them would change the type of the if |
| (i32.add (get_local $1) (unreachable)) |
| ) |
| ) |
| (drop |
| (if (result i32) |
| (unreachable) ;; !!! |
| (i32.add (get_local $1) (unreachable)) ;; folding them would change the type of the if |
| (i32.add (get_local $1) (unreachable)) |
| ) |
| ) |
| ) |
| (func $select-parallel (param $0 i32) (param $1 i32) |
| (drop |
| (select |
| (i32.add (get_local $1) (i32.const 1)) |
| (i32.add (get_local $1) (i32.const 1)) |
| (get_local $0) |
| ) |
| ) |
| (drop |
| (select |
| (tee_local $0 (get_local $1)) ;; side effects! |
| (tee_local $0 (get_local $1)) ;; side effects! |
| (get_local $0) |
| ) |
| ) |
| (drop |
| (select |
| (i32.add (get_local $1) (i32.const 1)) |
| (i32.add (get_local $1) (i32.const 1)) |
| (tee_local $0 (get_local $1)) ;; side effects! (but no interference with values) |
| ) |
| ) |
| (drop |
| (select |
| (tee_local $0 (get_local $1)) ;; side effects! interference! |
| (tee_local $0 (get_local $1)) ;; side effects! interference! |
| (tee_local $0 (get_local $1)) ;; side effects! interference! |
| ) |
| ) |
| (drop |
| (select |
| (tee_local $0 (get_local $1)) ;; side effects! |
| (tee_local $0 (get_local $1)) ;; side effects! |
| (unreachable) ;; side effects! (but no interference with values) |
| ) |
| ) |
| ) |
| (func $zero-shifts-is-not-sign-ext |
| (drop |
| (i32.eq |
| (i32.const -5431187) |
| (i32.add |
| (i32.const 0) |
| (i32.shr_s |
| (i32.shl |
| (i32.load16_s align=1 |
| (i32.const 790656516) |
| ) |
| (i32.const 0) |
| ) |
| (i32.const 0) |
| ) |
| ) |
| ) |
| ) |
| (drop |
| (i32.eq |
| (i32.const -5431187) |
| (i32.add |
| (i32.const 0) |
| (i32.shr_s |
| (i32.shl |
| (i32.load16_s align=1 |
| (i32.const 790656516) |
| ) |
| (i32.const 1) |
| ) |
| (i32.const 0) |
| ) |
| ) |
| ) |
| ) |
| ) |
| (func $zero-ops (result i32) |
| (return |
| (i32.eq |
| (i32.const -1337) |
| (i32.shr_u |
| (i32.add |
| (i32.const 0) |
| (i32.shr_s |
| (i32.shl |
| (i32.load16_s align=1 |
| (i32.const 790656516) |
| ) |
| (i32.const 0) |
| ) |
| (i32.const 0) |
| ) |
| ) |
| (i32.const 0) |
| ) |
| ) |
| ) |
| ) |
| (func $sign-ext-1-and-ne (result i32) |
| (select |
| (i32.ne |
| (i32.const 1333788672) |
| (i32.shr_s |
| (i32.shl |
| (call $sign-ext-1-and-ne) |
| (i32.const 1) |
| ) |
| (i32.const 1) |
| ) |
| ) |
| (i32.const 2) |
| (i32.const 1) |
| ) |
| ) |
| (func $neg-shifts-and-255 (result i32) |
| (i32.and |
| (i32.shr_u |
| (i32.const -99) |
| (i32.const -32) ;; this shift does nothing |
| ) |
| (i32.const 255) |
| ) |
| ) |
| (func $neg-shifts-and-255-b (result i32) |
| (i32.and |
| (i32.shl |
| (i32.const -2349025) |
| (i32.const -32) ;; this shift does nothing |
| ) |
| (i32.const 255) |
| ) |
| ) |
| (func $shifts-square-overflow (param $x i32) (result i32) |
| (i32.shr_u |
| (i32.shr_u |
| (get_local $x) |
| (i32.const 65535) ;; 31 bits effectively |
| ) |
| (i32.const 32767) ;; also 31 bits, so two shifts that force the value into nothing for sure |
| ) |
| ) |
| (func $shifts-square-no-overflow-small (param $x i32) (result i32) |
| (i32.shr_u |
| (i32.shr_u |
| (get_local $x) |
| (i32.const 1031) ;; 7 bits effectively |
| ) |
| (i32.const 4098) ;; 2 bits effectively |
| ) |
| ) |
| (func $shifts-square-overflow-64 (param $x i64) (result i64) |
| (i64.shr_u |
| (i64.shr_u |
| (get_local $x) |
| (i64.const 65535) ;; 63 bits effectively |
| ) |
| (i64.const 64767) ;; also 63 bits, so two shifts that force the value into nothing for sure |
| ) |
| ) |
| (func $shifts-square-no-overflow-small-64 (param $x i64) (result i64) |
| (i64.shr_u |
| (i64.shr_u |
| (get_local $x) |
| (i64.const 1031) ;; 7 bits effectively |
| ) |
| (i64.const 4098) ;; 2 bits effectively |
| ) |
| ) |
| (func $shifts-square-unreachable (param $x i32) (result i32) |
| (i32.shr_u |
| (i32.shr_u |
| (unreachable) |
| (i32.const 1031) ;; 7 bits effectively |
| ) |
| (i32.const 4098) ;; 2 bits effectively |
| ) |
| ) |
| (func $mix-shifts (result i32) |
| (i32.shr_s |
| (i32.shl |
| (i32.const 23) |
| (i32.const -61) |
| ) |
| (i32.const 168) |
| ) |
| ) |
| (func $actually-no-shifts (result i32) |
| (i32.add |
| (i32.shl |
| (i32.const 23) |
| (i32.const 32) ;; really 0 |
| ) |
| (i32.const 10) |
| ) |
| ) |
| (func $less-shifts-than-it-seems (param $x i32) (result i32) |
| (i32.add |
| (i32.shl |
| (i32.const 200) |
| (i32.const 36) ;; really 4 |
| ) |
| (i32.shl |
| (i32.const 100) |
| (i32.const 4) |
| ) |
| ) |
| ) |
| (func $and-popcount32 (result i32) |
| (i32.and |
| (i32.popcnt |
| (i32.const -1) |
| ) |
| (i32.const 31) |
| ) |
| ) |
| (func $and-popcount32-big (result i32) |
| (i32.and |
| (i32.popcnt |
| (i32.const -1) |
| ) |
| (i32.const 63) |
| ) |
| ) |
| (func $and-popcount64 (result i64) ;; these are TODOs |
| (i64.and |
| (i64.popcnt |
| (i64.const -1) |
| ) |
| (i64.const 63) |
| ) |
| ) |
| (func $and-popcount64-big (result i64) |
| (i64.and |
| (i64.popcnt |
| (i64.const -1) |
| ) |
| (i64.const 127) |
| ) |
| ) |
| (func $and-popcount64-bigger (result i64) |
| (i64.and |
| (i64.popcnt |
| (i64.const -1) |
| ) |
| (i64.const 255) |
| ) |
| ) |
| (func $optimizeAddedConstants-filters-through-nonzero (result i32) |
| (i32.sub |
| (i32.add |
| (i32.shl |
| (i32.const -536870912) |
| (i32.wrap/i64 |
| (i64.const 0) |
| ) |
| ) |
| (i32.const -32768) |
| ) |
| (i32.const -1024) |
| ) |
| ) |
| (func $optimizeAddedConstants-filters-through-nonzero-b (result i32) |
| (i32.sub |
| (i32.add |
| (i32.shl |
| (i32.const -536870912) |
| (i32.wrap/i64 |
| (i64.const -1) |
| ) |
| ) |
| (i32.const -32768) |
| ) |
| (i32.const -1024) |
| ) |
| ) |
| (func $return-proper-value-from-shift-left-by-zero (result i32) |
| (if (result i32) |
| (i32.sub |
| (i32.add |
| (loop $label$0 (result i32) |
| (block $label$1 |
| (br_if $label$1 |
| (i32.shl |
| (i32.load |
| (i32.const 0) |
| ) |
| (i32.const -31904) ;; really 0 shifts |
| ) |
| ) |
| ) |
| (i32.const -62) |
| ) |
| (i32.const 38) |
| ) |
| (i32.const -2) |
| ) |
| (i32.const 1) |
| (i32.const 0) |
| ) |
| ) |
| (func $de-morgan-2 (param $x i32) (param $y i32) |
| (drop |
| (i32.and (i32.eqz (get_local $x)) (i32.eqz (get_local $y))) |
| ) |
| (drop |
| (i32.or (i32.eqz (get_local $x)) (i32.eqz (get_local $y))) |
| ) |
| (drop |
| (i32.xor (i32.eqz (get_local $x)) (i32.eqz (get_local $y))) |
| ) |
| (drop |
| (i32.and (i32.eqz (get_local $x)) (get_local $y)) |
| ) |
| (drop |
| (i32.and (get_local $x) (i32.eqz (get_local $y))) |
| ) |
| (drop |
| (i32.and (i32.eqz (get_local $x)) (i32.wrap/i64 (i64.const 2))) |
| ) |
| (drop |
| (i32.and (i32.wrap/i64 (i64.const 1)) (i32.eqz (get_local $y))) |
| ) |
| ) |
| (func $subzero1 (param $0 i32) (result i32) |
| (i32.add |
| (i32.sub |
| (i32.const 1) |
| (i32.clz |
| (get_local $0) |
| ) |
| ) |
| (i32.const 31) |
| ) |
| ) |
| (func $subzero2 (param $0 i32) (result i32) |
| (i32.add |
| (i32.const 31) |
| (i32.sub |
| (i32.const 1) |
| (i32.clz |
| (get_local $0) |
| ) |
| ) |
| ) |
| ) |
| (func $subzero3 (param $0 i32) (param $1 i32) (result i32) |
| (i32.add |
| (i32.sub |
| (i32.const 0) |
| (i32.clz |
| (get_local $0) |
| ) |
| ) |
| (get_local $1) |
| ) |
| ) |
| (func $subzero4 (param $0 i32) (param $1 i32) (result i32) |
| (i32.add |
| (get_local $0) |
| (i32.sub |
| (i32.const 0) |
| (i32.clz |
| (get_local $1) |
| ) |
| ) |
| ) |
| ) |
| (func $mul-power-2 (param $x i32) (result i32) |
| (drop |
| (call $mul-power-2 |
| (i32.mul |
| (get_local $x) |
| (i32.const 4) |
| ) |
| ) |
| ) |
| (drop |
| (call $mul-power-2 |
| (i32.mul |
| (get_local $x) |
| (i32.const 5) |
| ) |
| ) |
| ) |
| (drop |
| (call $mul-power-2 |
| (i32.mul |
| (get_local $x) |
| (i32.const 1) |
| ) |
| ) |
| ) |
| (drop |
| (call $mul-power-2 |
| (i32.mul |
| (get_local $x) |
| (i32.const 0) |
| ) |
| ) |
| ) |
| (drop |
| (call $mul-power-2 |
| (i32.mul |
| (call $mul-power-2 (i32.const 123)) ;; side effects |
| (i32.const 0) |
| ) |
| ) |
| ) |
| (drop |
| (call $mul-power-2 |
| (i32.mul |
| (get_local $x) |
| (i32.const 0xffffffff) |
| ) |
| ) |
| ) |
| (drop |
| (call $mul-power-2 |
| (i32.mul |
| (get_local $x) |
| (i32.const 0x80000000) |
| ) |
| ) |
| ) |
| (unreachable) |
| ) |
| (func $urem-power-2 (param $x i32) (result i32) |
| (drop |
| (call $urem-power-2 |
| (i32.rem_u |
| (get_local $x) |
| (i32.const 4) |
| ) |
| ) |
| ) |
| (drop |
| (call $urem-power-2 |
| (i32.rem_u |
| (get_local $x) |
| (i32.const 5) |
| ) |
| ) |
| ) |
| (drop |
| (call $urem-power-2 |
| (i32.rem_u |
| (get_local $x) |
| (i32.const 1) |
| ) |
| ) |
| ) |
| (drop |
| (call $urem-power-2 |
| (i32.rem_u |
| (get_local $x) |
| (i32.const 0) |
| ) |
| ) |
| ) |
| (drop |
| (call $urem-power-2 |
| (i32.rem_u |
| (get_local $x) |
| (i32.const 0xffffffff) |
| ) |
| ) |
| ) |
| (drop |
| (call $urem-power-2 |
| (i32.rem_u |
| (get_local $x) |
| (i32.const 0x80000000) |
| ) |
| ) |
| ) |
| (unreachable) |
| ) |
| (func $orZero (param $0 i32) (result i32) |
| (i32.or |
| (get_local $0) |
| (i32.const 0) |
| ) |
| ) |
| (func $andZero (param $0 i32) (result i32) |
| (drop |
| (i32.and |
| (get_local $0) |
| (i32.const 0) |
| ) |
| ) |
| (drop |
| (i32.and |
| (call $andZero (i32.const 1234)) ;; side effects |
| (i32.const 0) |
| ) |
| ) |
| (unreachable) |
| ) |
| (func $abstract-additions (param $x32 i32) (param $x64 i64) (param $y32 f32) (param $y64 f64) |
| (drop |
| (i32.or |
| (i32.const 0) |
| (get_local $x32) |
| ) |
| ) |
| (drop |
| (i32.shl |
| (get_local $x32) |
| (i32.const 0) |
| ) |
| ) |
| (drop |
| (i32.shr_u |
| (get_local $x32) |
| (i32.const 0) |
| ) |
| ) |
| (drop |
| (i32.shr_s |
| (get_local $x32) |
| (i32.const 0) |
| ) |
| ) |
| (drop |
| (i64.or |
| (i64.const 0) |
| (get_local $x64) |
| ) |
| ) |
| (drop |
| (i64.shl |
| (get_local $x64) |
| (i64.const 0) |
| ) |
| ) |
| (drop |
| (i64.shr_u |
| (get_local $x64) |
| (i64.const 0) |
| ) |
| ) |
| (drop |
| (i64.shr_s |
| (get_local $x64) |
| (i64.const 0) |
| ) |
| ) |
| (drop |
| (i32.mul |
| (get_local $x32) |
| (i32.const 0) |
| ) |
| ) |
| (drop |
| (i64.mul |
| (get_local $x64) |
| (i64.const 0) |
| ) |
| ) |
| (drop |
| (f32.mul |
| (get_local $y32) |
| (f32.const 0) |
| ) |
| ) |
| (drop |
| (f64.mul |
| (get_local $y64) |
| (f64.const 0) |
| ) |
| ) |
| (drop |
| (i32.mul |
| (get_local $x32) |
| (i32.const 1) |
| ) |
| ) |
| (drop |
| (i64.mul |
| (get_local $x64) |
| (i64.const 1) |
| ) |
| ) |
| (drop |
| (f32.mul |
| (get_local $y32) |
| (f32.const 1) |
| ) |
| ) |
| (drop |
| (f64.mul |
| (get_local $y64) |
| (f64.const 1) |
| ) |
| ) |
| (drop |
| (i32.and |
| (get_local $x32) |
| (i32.const 0) |
| ) |
| ) |
| (drop |
| (i64.and |
| (get_local $x64) |
| (i64.const 0) |
| ) |
| ) |
| (drop |
| (i32.and |
| (unreachable) |
| (i32.const 0) |
| ) |
| ) |
| (drop |
| (i64.and |
| (unreachable) |
| (i64.const 0) |
| ) |
| ) |
| (drop |
| (i32.div_s |
| (get_local $x32) |
| (i32.const 1) |
| ) |
| ) |
| (drop |
| (i32.div_u |
| (get_local $x32) |
| (i32.const 1) |
| ) |
| ) |
| (drop |
| (i64.div_s |
| (get_local $x64) |
| (i64.const 1) |
| ) |
| ) |
| (drop |
| (i64.div_u |
| (get_local $x64) |
| (i64.const 1) |
| ) |
| ) |
| (drop |
| (f32.div |
| (get_local $y32) |
| (f32.const 1) |
| ) |
| ) |
| (drop |
| (f64.div |
| (get_local $y64) |
| (f64.const 1) |
| ) |
| ) |
| (drop |
| (f32.div |
| (get_local $y32) |
| (f32.const 1.2) |
| ) |
| ) |
| (drop |
| (i32.mul |
| (get_local $x32) |
| (i32.const -1) |
| ) |
| ) |
| (drop |
| (i64.mul |
| (get_local $x64) |
| (i64.const -1) |
| ) |
| ) |
| (drop |
| (f32.mul |
| (get_local $y32) |
| (f32.const -1) |
| ) |
| ) |
| (drop |
| (f64.mul |
| (get_local $y64) |
| (f64.const -1) |
| ) |
| ) |
| (drop |
| (i32.eq |
| (i32.add |
| (get_local $x32) |
| (i32.const 10) |
| ) |
| (i32.const 20) |
| ) |
| ) |
| (drop |
| (i32.le_u |
| (i32.add |
| (get_local $x32) |
| (i32.const 10) |
| ) |
| (i32.const 20) |
| ) |
| ) |
| (drop |
| (i32.eq |
| (i32.sub |
| (get_local $x32) |
| (i32.const 10) |
| ) |
| (i32.const 20) |
| ) |
| ) |
| (drop |
| (i64.eq |
| (i64.add |
| (get_local $x64) |
| (i64.const 10) |
| ) |
| (i64.const 20) |
| ) |
| ) |
| (drop |
| (i32.eq |
| (i32.const 20) |
| (i32.add |
| (get_local $x32) |
| (i32.const 10) |
| ) |
| ) |
| ) |
| (drop |
| (i32.eq |
| (i32.add |
| (get_local $x32) |
| (i32.const 10) |
| ) |
| (i32.add |
| (get_local $x32) |
| (i32.const 20) |
| ) |
| ) |
| ) |
| (drop |
| (i32.eq |
| (i32.sub |
| (get_local $x32) |
| (i32.const 10) |
| ) |
| (i32.const 20) |
| ) |
| ) |
| (drop |
| (i32.eq |
| (i32.add |
| (get_local $x32) |
| (i32.const 10) |
| ) |
| (i32.sub |
| (get_local $x32) |
| (i32.const 20) |
| ) |
| ) |
| ) |
| (drop |
| (i32.eq |
| (i32.sub |
| (get_local $x32) |
| (i32.const 10) |
| ) |
| (i32.add |
| (get_local $x32) |
| (i32.const 20) |
| ) |
| ) |
| ) |
| (drop |
| (i32.eq |
| (i32.sub |
| (get_local $x32) |
| (i32.const 10) |
| ) |
| (i32.sub |
| (get_local $x32) |
| (i32.const 20) |
| ) |
| ) |
| ) |
| (drop |
| (i64.le_s |
| (i64.sub |
| (get_local $x64) |
| (i64.const 288230376151711744) |
| ) |
| (i64.const 9223372036854775807) |
| ) |
| ) |
| ) |
| (func $negatives-are-sometimes-better (param $x i32) (param $y i64) (param $z f32) |
| (drop (i32.add (get_local $x) (i32.const 0x40))) |
| (drop (i32.sub (get_local $x) (i32.const 0x40))) |
| (drop (i32.add (get_local $x) (i32.const 0x2000))) |
| (drop (i32.add (get_local $x) (i32.const 0x100000))) |
| (drop (i32.add (get_local $x) (i32.const 0x8000000))) |
| |
| (drop (i64.add (get_local $y) (i64.const 0x40))) |
| (drop (i64.sub (get_local $y) (i64.const 0x40))) |
| (drop (i64.add (get_local $y) (i64.const 0x2000))) |
| (drop (i64.add (get_local $y) (i64.const 0x100000))) |
| (drop (i64.add (get_local $y) (i64.const 0x8000000))) |
| |
| (drop (i64.add (get_local $y) (i64.const 0x400000000))) |
| (drop (i64.add (get_local $y) (i64.const 0x20000000000))) |
| (drop (i64.add (get_local $y) (i64.const 0x1000000000000))) |
| (drop (i64.add (get_local $y) (i64.const 0x80000000000000))) |
| (drop (i64.add (get_local $y) (i64.const 0x4000000000000000))) |
| |
| (drop (f32.add (get_local $z) (f32.const 0x40))) |
| ) |
| (func $shift-a-zero (param $x i32) (param $y i64) (param $z f32) |
| (drop |
| (i32.shl |
| (i32.const 0) |
| (get_local $x) |
| ) |
| ) |
| (drop |
| (i32.shr_u |
| (i32.const 0) |
| (get_local $x) |
| ) |
| ) |
| (drop |
| (i32.shr_s |
| (i32.const 0) |
| (get_local $x) |
| ) |
| ) |
| (drop |
| (i64.shl |
| (i64.const 0) |
| (get_local $y) |
| ) |
| ) |
| (drop |
| (i32.shl |
| (i32.const 0) |
| (unreachable) |
| ) |
| ) |
| ) |
| (func $identical-siblings (param $x i32) (param $y i64) (param $z f64) (param $xx i32) |
| (drop |
| (i32.sub |
| (get_local $x) |
| (get_local $x) |
| ) |
| ) |
| (drop |
| (i64.sub |
| (get_local $y) |
| (get_local $y) |
| ) |
| ) |
| (drop |
| (f64.sub |
| (get_local $z) |
| (get_local $z) |
| ) |
| ) |
| (drop |
| (i32.sub |
| (get_local $x) |
| (get_local $xx) |
| ) |
| ) |
| (drop |
| (i32.sub |
| (unreachable) |
| (unreachable) |
| ) |
| ) |
| (drop |
| (i32.add |
| (get_local $x) |
| (get_local $x) |
| ) |
| ) |
| ;; more ops |
| (drop |
| (i32.xor |
| (get_local $x) |
| (get_local $x) |
| ) |
| ) |
| (drop |
| (i32.ne |
| (get_local $x) |
| (get_local $x) |
| ) |
| ) |
| (drop |
| (i32.lt_s |
| (get_local $x) |
| (get_local $x) |
| ) |
| ) |
| (drop |
| (i32.lt_u |
| (get_local $x) |
| (get_local $x) |
| ) |
| ) |
| (drop |
| (i32.gt_s |
| (get_local $x) |
| (get_local $x) |
| ) |
| ) |
| (drop |
| (i32.gt_u |
| (get_local $x) |
| (get_local $x) |
| ) |
| ) |
| (drop |
| (i32.and |
| (get_local $x) |
| (get_local $x) |
| ) |
| ) |
| (drop |
| (i32.or |
| (get_local $x) |
| (get_local $x) |
| ) |
| ) |
| (drop |
| (i32.eq |
| (get_local $x) |
| (get_local $x) |
| ) |
| ) |
| (drop |
| (i32.le_s |
| (get_local $x) |
| (get_local $x) |
| ) |
| ) |
| (drop |
| (i32.le_u |
| (get_local $x) |
| (get_local $x) |
| ) |
| ) |
| (drop |
| (i32.ge_s |
| (get_local $x) |
| (get_local $x) |
| ) |
| ) |
| (drop |
| (i32.ge_u |
| (get_local $x) |
| (get_local $x) |
| ) |
| ) |
| (drop |
| (i64.xor |
| (get_local $y) |
| (get_local $y) |
| ) |
| ) |
| (drop |
| (i64.ne |
| (get_local $y) |
| (get_local $y) |
| ) |
| ) |
| (drop |
| (i64.lt_s |
| (get_local $y) |
| (get_local $y) |
| ) |
| ) |
| (drop |
| (i64.lt_u |
| (get_local $y) |
| (get_local $y) |
| ) |
| ) |
| (drop |
| (i64.gt_s |
| (get_local $y) |
| (get_local $y) |
| ) |
| ) |
| (drop |
| (i64.gt_u |
| (get_local $y) |
| (get_local $y) |
| ) |
| ) |
| (drop |
| (i64.and |
| (get_local $y) |
| (get_local $y) |
| ) |
| ) |
| (drop |
| (i64.or |
| (get_local $y) |
| (get_local $y) |
| ) |
| ) |
| (drop |
| (i64.eq |
| (get_local $y) |
| (get_local $y) |
| ) |
| ) |
| (drop |
| (i64.le_s |
| (get_local $y) |
| (get_local $y) |
| ) |
| ) |
| (drop |
| (i64.le_u |
| (get_local $y) |
| (get_local $y) |
| ) |
| ) |
| (drop |
| (i64.ge_s |
| (get_local $y) |
| (get_local $y) |
| ) |
| ) |
| (drop |
| (i64.ge_u |
| (get_local $y) |
| (get_local $y) |
| ) |
| ) |
| ) |
| (func $all_ones (param $x i32) (param $y i64) |
| (drop |
| (i32.and |
| (get_local $x) |
| (i32.const -1) |
| ) |
| ) |
| (drop |
| (i32.or |
| (get_local $x) |
| (i32.const -1) |
| ) |
| ) |
| (drop |
| (i32.or |
| (tee_local $x |
| (i32.const 1337) |
| ) |
| (i32.const -1) |
| ) |
| ) |
| (drop |
| (i64.and |
| (get_local $y) |
| (i64.const -1) |
| ) |
| ) |
| (drop |
| (i64.or |
| (get_local $y) |
| (i64.const -1) |
| ) |
| ) |
| ) |
| (func $xor (param $x i32) (param $y i64) |
| (drop |
| (i32.xor |
| (get_local $x) |
| (i32.const 0) |
| ) |
| ) |
| ) |
| (func $select-on-const (param $x i32) (param $y i32) |
| (drop |
| (select |
| (i32.const 2) |
| (get_local $x) |
| (i32.const 0) |
| ) |
| ) |
| (drop |
| (select |
| (i32.const 3) |
| (get_local $x) |
| (i32.const 1) |
| ) |
| ) |
| (drop |
| (select |
| (i32.const 4) |
| (tee_local $x |
| (i32.const 5) |
| ) |
| (i32.const 0) |
| ) |
| ) |
| (drop |
| (select |
| (tee_local $x |
| (i32.const 6) |
| ) |
| (i32.const 7) |
| (i32.const 0) |
| ) |
| ) |
| (drop |
| (select |
| (i32.const 4) |
| (tee_local $x |
| (i32.const 5) |
| ) |
| (i32.const 1) |
| ) |
| ) |
| (drop |
| (select |
| (tee_local $x |
| (i32.const 6) |
| ) |
| (i32.const 7) |
| (i32.const 1) |
| ) |
| ) |
| ) |
| ) |
| (module |
| (import "env" "memory" (memory $0 (shared 256 256))) |
| (func $x |
| (drop |
| (i32.shr_s |
| (i32.shl |
| (i32.atomic.load8_u ;; can't be signed |
| (i32.const 100) |
| ) |
| (i32.const 24) |
| ) |
| (i32.const 24) |
| ) |
| ) |
| ) |
| ) |
| |
