Google Git
Sign in
chromium / external / github.com / WebAssembly / binaryen / refs/heads/validations / . / test / lit / passes / optimize-stack-ir.wast
blob: 123be3afb8aa18af35536bdf4c83d8a036512521 [file] [log] [blame] [edit]
;; NOTE: Assertions have been generated by update_lit_checks.py --all-items and should not be edited.
;; RUN: wasm-opt %s -all --optimize-level=3 --generate-stack-ir --optimize-stack-ir --print-stack-ir | filecheck %s
(module
;; CHECK: (type $FUNCSIG$v (func))
(type $FUNCSIG$v (func))
;; CHECK: (type $5 (func (result i32)))
;; CHECK: (type $6 (func (param i32) (result i32)))
;; CHECK: (type $FUNCSIG$vf (func (param f32)))
(type $FUNCSIG$vf (func (param f32)))
;; CHECK: (type $4 (func (result f64)))
;; CHECK: (type $FUNCSIG$ddd (func (param f64 f64) (result f64)))
;; CHECK: (type $FUNCSIG$id (func (param f64) (result i32)))
(type $FUNCSIG$id (func (param f64) (result i32)))
(type $FUNCSIG$ddd (func (param f64 f64) (result f64)))
(type $4 (func (result f64)))
(type $5 (func (result i32)))
(type $6 (func (param i32) (result i32)))
;; CHECK: (type $7 (func (param f64) (result f64)))
(type $7 (func (param f64) (result f64)))
;; CHECK: (type $8 (func (result i64)))
(type $8 (func (result i64)))
;; CHECK: (type $9 (func (param i32 i64)))
(type $9 (func (param i32 i64)))
;; CHECK: (import "env" "_emscripten_asm_const_vi" (func $_emscripten_asm_const_vi (type $FUNCSIG$v)))
(import "env" "_emscripten_asm_const_vi" (func $_emscripten_asm_const_vi))
;; CHECK: (import "asm2wasm" "f64-to-int" (func $f64-to-int (type $FUNCSIG$id) (param f64) (result i32)))
(import "asm2wasm" "f64-to-int" (func $f64-to-int (param f64) (result i32)))
;; CHECK: (import "asm2wasm" "f64-rem" (func $f64-rem (type $FUNCSIG$ddd) (param f64 f64) (result f64)))
(import "asm2wasm" "f64-rem" (func $f64-rem (param f64 f64) (result f64)))
;; CHECK: (memory $mem 4096 4096)
;; CHECK: (data $data (i32.const 1026) "\14\00")
;; CHECK: (table $table 10 funcref)
(table $table 10 funcref)
;; CHECK: (elem $elem (i32.const 0) $z $big_negative $z $z $w $w $importedDoubles $w $z $cneg)
(elem $elem (i32.const 0) $z $big_negative $z $z $w $w $importedDoubles $w $z $cneg)
(memory $mem 4096 4096)
(data $data (i32.const 1026) "\14\00")
;; CHECK: (export "big_negative" (func $big_negative))
(export "big_negative" (func $big_negative))
;; CHECK: (func $big_negative (type $FUNCSIG$v)
;; CHECK-NEXT: (local $temp f64)
;; CHECK-NEXT: f64.const -2147483648
;; CHECK-NEXT: local.set $temp
;; CHECK-NEXT: f64.const -2147483648
;; CHECK-NEXT: local.set $temp
;; CHECK-NEXT: f64.const -21474836480
;; CHECK-NEXT: local.set $temp
;; CHECK-NEXT: f64.const 0.039625
;; CHECK-NEXT: local.set $temp
;; CHECK-NEXT: f64.const -0.039625
;; CHECK-NEXT: local.set $temp
;; CHECK-NEXT: )
(func $big_negative (type $FUNCSIG$v)
(local $temp f64)
(block $block0
(local.set $temp
(f64.const -2147483648)
)
(local.set $temp
(f64.const -2147483648)
)
(local.set $temp
(f64.const -21474836480)
)
(local.set $temp
(f64.const 0.039625)
)
(local.set $temp
(f64.const -0.039625)
)
)
)
;; CHECK: (func $importedDoubles (type $4) (result f64)
;; CHECK-NEXT: (local $temp f64)
;; CHECK-NEXT: block $topmost (result f64)
;; CHECK-NEXT: i32.const 8
;; CHECK-NEXT: f64.load
;; CHECK-NEXT: i32.const 16
;; CHECK-NEXT: f64.load
;; CHECK-NEXT: f64.add
;; CHECK-NEXT: i32.const 16
;; CHECK-NEXT: f64.load
;; CHECK-NEXT: f64.neg
;; CHECK-NEXT: f64.add
;; CHECK-NEXT: i32.const 8
;; CHECK-NEXT: f64.load
;; CHECK-NEXT: f64.neg
;; CHECK-NEXT: f64.add
;; CHECK-NEXT: local.set $temp
;; CHECK-NEXT: i32.const 24
;; CHECK-NEXT: i32.load
;; CHECK-NEXT: i32.const 0
;; CHECK-NEXT: i32.gt_s
;; CHECK-NEXT: if
;; CHECK-NEXT: f64.const -3.4
;; CHECK-NEXT: br $topmost
;; CHECK-NEXT: end
;; CHECK-NEXT: i32.const 32
;; CHECK-NEXT: f64.load
;; CHECK-NEXT: f64.const 0
;; CHECK-NEXT: f64.gt
;; CHECK-NEXT: if
;; CHECK-NEXT: f64.const 5.6
;; CHECK-NEXT: br $topmost
;; CHECK-NEXT: end
;; CHECK-NEXT: f64.const 1.2
;; CHECK-NEXT: end
;; CHECK-NEXT: )
(func $importedDoubles (type $4) (result f64)
(local $temp f64)
(block $topmost (result f64)
(local.set $temp
(f64.add
(f64.add
(f64.add
(f64.load
(i32.const 8)
)
(f64.load
(i32.const 16)
)
)
(f64.neg
(f64.load
(i32.const 16)
)
)
)
(f64.neg
(f64.load
(i32.const 8)
)
)
)
)
(if
(i32.gt_s
(i32.load
(i32.const 24)
)
(i32.const 0)
)
(then
(br $topmost
(f64.const -3.4)
)
)
)
(if
(f64.gt
(f64.load
(i32.const 32)
)
(f64.const 0)
)
(then
(br $topmost
(f64.const 5.6)
)
)
)
(f64.const 1.2)
)
)
;; CHECK: (func $doubleCompares (type $FUNCSIG$ddd) (param $x f64) (param $y f64) (result f64)
;; CHECK-NEXT: (local $t f64)
;; CHECK-NEXT: (local $Int f64)
;; CHECK-NEXT: (local $Double i32)
;; CHECK-NEXT: block $topmost (result f64)
;; CHECK-NEXT: local.get $x
;; CHECK-NEXT: f64.const 0
;; CHECK-NEXT: f64.gt
;; CHECK-NEXT: if
;; CHECK-NEXT: f64.const 1.2
;; CHECK-NEXT: br $topmost
;; CHECK-NEXT: end
;; CHECK-NEXT: local.get $Int
;; CHECK-NEXT: f64.const 0
;; CHECK-NEXT: f64.gt
;; CHECK-NEXT: if
;; CHECK-NEXT: f64.const -3.4
;; CHECK-NEXT: br $topmost
;; CHECK-NEXT: end
;; CHECK-NEXT: local.get $Double
;; CHECK-NEXT: i32.const 0
;; CHECK-NEXT: i32.gt_s
;; CHECK-NEXT: if
;; CHECK-NEXT: f64.const 5.6
;; CHECK-NEXT: br $topmost
;; CHECK-NEXT: end
;; CHECK-NEXT: local.get $x
;; CHECK-NEXT: local.get $y
;; CHECK-NEXT: f64.lt
;; CHECK-NEXT: if
;; CHECK-NEXT: local.get $x
;; CHECK-NEXT: br $topmost
;; CHECK-NEXT: end
;; CHECK-NEXT: local.get $y
;; CHECK-NEXT: end
;; CHECK-NEXT: )
(func $doubleCompares (type $FUNCSIG$ddd) (param $x f64) (param $y f64) (result f64)
(local $t f64)
(local $Int f64)
(local $Double i32)
(block $topmost (result f64)
(if
(f64.gt
(local.get $x)
(f64.const 0)
)
(then
(br $topmost
(f64.const 1.2)
)
)
)
(if
(f64.gt
(local.get $Int)
(f64.const 0)
)
(then
(br $topmost
(f64.const -3.4)
)
)
)
(if
(i32.gt_s
(local.get $Double)
(i32.const 0)
)
(then
(br $topmost
(f64.const 5.6)
)
)
)
(if
(f64.lt
(local.get $x)
(local.get $y)
)
(then
(br $topmost
(local.get $x)
)
)
)
(local.get $y)
)
)
;; CHECK: (func $intOps (type $5) (result i32)
;; CHECK-NEXT: (local $x i32)
;; CHECK-NEXT: local.get $x
;; CHECK-NEXT: i32.const 0
;; CHECK-NEXT: i32.eq
;; CHECK-NEXT: )
(func $intOps (type $5) (result i32)
(local $x i32)
(i32.eq
(local.get $x)
(i32.const 0)
)
)
;; CHECK: (func $hexLiterals (type $FUNCSIG$v)
;; CHECK-NEXT: i32.const 0
;; CHECK-NEXT: i32.const 313249263
;; CHECK-NEXT: i32.add
;; CHECK-NEXT: i32.const -19088752
;; CHECK-NEXT: i32.add
;; CHECK-NEXT: drop
;; CHECK-NEXT: )
(func $hexLiterals (type $FUNCSIG$v)
(drop
(i32.add
(i32.add
(i32.const 0)
(i32.const 313249263)
)
(i32.const -19088752)
)
)
)
;; CHECK: (func $conversions (type $FUNCSIG$v)
;; CHECK-NEXT: (local $i i32)
;; CHECK-NEXT: (local $d f64)
;; CHECK-NEXT: local.get $d
;; CHECK-NEXT: call $f64-to-int
;; CHECK-NEXT: local.set $i
;; CHECK-NEXT: local.get $i
;; CHECK-NEXT: f64.convert_i32_s
;; CHECK-NEXT: local.set $d
;; CHECK-NEXT: local.get $i
;; CHECK-NEXT: i32.const 0
;; CHECK-NEXT: i32.shr_u
;; CHECK-NEXT: f64.convert_i32_u
;; CHECK-NEXT: local.set $d
;; CHECK-NEXT: )
(func $conversions (type $FUNCSIG$v)
(local $i i32)
(local $d f64)
(block $block0
(local.set $i
(call $f64-to-int
(local.get $d)
)
)
(local.set $d
(f64.convert_i32_s
(local.get $i)
)
)
(local.set $d
(f64.convert_i32_u
(i32.shr_u
(local.get $i)
(i32.const 0)
)
)
)
)
)
;; CHECK: (func $seq (type $FUNCSIG$v)
;; CHECK-NEXT: (local $J f64)
;; CHECK-NEXT: f64.const 0.1
;; CHECK-NEXT: drop
;; CHECK-NEXT: f64.const 5.1
;; CHECK-NEXT: f64.const 3.2
;; CHECK-NEXT: drop
;; CHECK-NEXT: f64.const 4.2
;; CHECK-NEXT: f64.sub
;; CHECK-NEXT: local.set $J
;; CHECK-NEXT: )
(func $seq (type $FUNCSIG$v)
(local $J f64)
(local.set $J
(f64.sub
(block $block0 (result f64)
(drop
(f64.const 0.1)
)
(f64.const 5.1)
)
(block $block1 (result f64)
(drop
(f64.const 3.2)
)
(f64.const 4.2)
)
)
)
)
;; CHECK: (func $switcher (type $6) (param $x i32) (result i32)
;; CHECK-NEXT: block $topmost (result i32)
;; CHECK-NEXT: block $switch-default$3
;; CHECK-NEXT: block $switch-case$2
;; CHECK-NEXT: block $switch-case$1
;; CHECK-NEXT: local.get $x
;; CHECK-NEXT: i32.const 1
;; CHECK-NEXT: i32.sub
;; CHECK-NEXT: br_table $switch-case$1 $switch-case$2 $switch-default$3
;; CHECK-NEXT: end
;; CHECK-NEXT: i32.const 1
;; CHECK-NEXT: br $topmost
;; CHECK-NEXT: end
;; CHECK-NEXT: i32.const 2
;; CHECK-NEXT: br $topmost
;; CHECK-NEXT: end
;; CHECK-NEXT: block $switch-default$7
;; CHECK-NEXT: block $switch-case$6
;; CHECK-NEXT: block $switch-case$5
;; CHECK-NEXT: local.get $x
;; CHECK-NEXT: i32.const 5
;; CHECK-NEXT: i32.sub
;; CHECK-NEXT: br_table $switch-case$6 $switch-default$7 $switch-default$7 $switch-default$7 $switch-default$7 $switch-default$7 $switch-default$7 $switch-case$5 $switch-default$7
;; CHECK-NEXT: end
;; CHECK-NEXT: i32.const 121
;; CHECK-NEXT: br $topmost
;; CHECK-NEXT: end
;; CHECK-NEXT: i32.const 51
;; CHECK-NEXT: br $topmost
;; CHECK-NEXT: end
;; CHECK-NEXT: block $label$break$Lout
;; CHECK-NEXT: block $switch-default$16
;; CHECK-NEXT: block $switch-case$15
;; CHECK-NEXT: block $switch-case$12
;; CHECK-NEXT: block $switch-case$9
;; CHECK-NEXT: block $switch-case$8
;; CHECK-NEXT: local.get $x
;; CHECK-NEXT: i32.const 2
;; CHECK-NEXT: i32.sub
;; CHECK-NEXT: br_table $switch-case$15 $switch-default$16 $switch-default$16 $switch-case$12 $switch-default$16 $switch-default$16 $switch-default$16 $switch-default$16 $switch-case$9 $switch-default$16 $switch-case$8 $switch-default$16
;; CHECK-NEXT: end
;; CHECK-NEXT: br $label$break$Lout
;; CHECK-NEXT: end
;; CHECK-NEXT: br $label$break$Lout
;; CHECK-NEXT: end
;; CHECK-NEXT: block $while-out$10
;; CHECK-NEXT: loop $while-in$11
;; CHECK-NEXT: br $while-out$10
;; CHECK-NEXT: end
;; CHECK-NEXT: unreachable
;; CHECK-NEXT: end
;; CHECK-NEXT: end
;; CHECK-NEXT: loop $while-in$14
;; CHECK-NEXT: br $label$break$Lout
;; CHECK-NEXT: end
;; CHECK-NEXT: unreachable
;; CHECK-NEXT: end
;; CHECK-NEXT: end
;; CHECK-NEXT: i32.const 0
;; CHECK-NEXT: end
;; CHECK-NEXT: )
(func $switcher (type $6) (param $x i32) (result i32)
(block $topmost (result i32)
(block $switch$0
(block $switch-default$3
(block $switch-case$2
(block $switch-case$1
(br_table $switch-case$1 $switch-case$2 $switch-default$3
(i32.sub
(local.get $x)
(i32.const 1)
)
)
)
(br $topmost
(i32.const 1)
)
)
(br $topmost
(i32.const 2)
)
)
(nop)
)
(block $switch$4
(block $switch-default$7
(block $switch-case$6
(block $switch-case$5
(br_table $switch-case$6 $switch-default$7 $switch-default$7 $switch-default$7 $switch-default$7 $switch-default$7 $switch-default$7 $switch-case$5 $switch-default$7
(i32.sub
(local.get $x)
(i32.const 5)
)
)
)
(br $topmost
(i32.const 121)
)
)
(br $topmost
(i32.const 51)
)
)
(nop)
)
(block $label$break$Lout
(block $switch-default$16
(block $switch-case$15
(block $switch-case$12
(block $switch-case$9
(block $switch-case$8
(br_table $switch-case$15 $switch-default$16 $switch-default$16 $switch-case$12 $switch-default$16 $switch-default$16 $switch-default$16 $switch-default$16 $switch-case$9 $switch-default$16 $switch-case$8 $switch-default$16
(i32.sub
(local.get $x)
(i32.const 2)
)
)
)
(br $label$break$Lout)
)
(br $label$break$Lout)
)
(block $while-out$10
(loop $while-in$11
(block $block1
(br $while-out$10)
(br $while-in$11)
)
)
(br $label$break$Lout)
)
)
(block $while-out$13
(loop $while-in$14
(block $block3
(br $label$break$Lout)
(br $while-in$14)
)
)
(br $label$break$Lout)
)
)
(nop)
)
(i32.const 0)
)
)
;; CHECK: (func $blocker (type $FUNCSIG$v)
;; CHECK-NEXT: block $label$break$L
;; CHECK-NEXT: br $label$break$L
;; CHECK-NEXT: end
;; CHECK-NEXT: )
(func $blocker (type $FUNCSIG$v)
(block $label$break$L
(br $label$break$L)
)
)
;; CHECK: (func $frem (type $4) (result f64)
;; CHECK-NEXT: f64.const 5.5
;; CHECK-NEXT: f64.const 1.2
;; CHECK-NEXT: call $f64-rem
;; CHECK-NEXT: )
(func $frem (type $4) (result f64)
(call $f64-rem
(f64.const 5.5)
(f64.const 1.2)
)
)
;; CHECK: (func $big_uint_div_u (type $5) (result i32)
;; CHECK-NEXT: (local $x i32)
;; CHECK-NEXT: i32.const -1
;; CHECK-NEXT: i32.const 2
;; CHECK-NEXT: i32.div_u
;; CHECK-NEXT: i32.const -1
;; CHECK-NEXT: i32.and
;; CHECK-NEXT: )
(func $big_uint_div_u (type $5) (result i32)
(local $x i32)
(block $topmost (result i32)
(local.set $x
(i32.and
(i32.div_u
(i32.const -1)
(i32.const 2)
)
(i32.const -1)
)
)
(local.get $x)
)
)
;; CHECK: (func $fr (type $FUNCSIG$vf) (param $x f32)
;; CHECK-NEXT: (local $y f32)
;; CHECK-NEXT: (local $z f64)
;; CHECK-NEXT: local.get $z
;; CHECK-NEXT: f32.demote_f64
;; CHECK-NEXT: drop
;; CHECK-NEXT: local.get $y
;; CHECK-NEXT: drop
;; CHECK-NEXT: f32.const 5
;; CHECK-NEXT: drop
;; CHECK-NEXT: f32.const 0
;; CHECK-NEXT: drop
;; CHECK-NEXT: f32.const 5
;; CHECK-NEXT: drop
;; CHECK-NEXT: f32.const 0
;; CHECK-NEXT: drop
;; CHECK-NEXT: )
(func $fr (type $FUNCSIG$vf) (param $x f32)
(local $y f32)
(local $z f64)
(block $block0
(drop
(f32.demote_f64
(local.get $z)
)
)
(drop
(local.get $y)
)
(drop
(f32.const 5)
)
(drop
(f32.const 0)
)
(drop
(f32.const 5)
)
(drop
(f32.const 0)
)
)
)
;; CHECK: (func $negZero (type $4) (result f64)
;; CHECK-NEXT: f64.const -0
;; CHECK-NEXT: )
(func $negZero (type $4) (result f64)
(f64.const -0)
)
;; CHECK: (func $abs (type $FUNCSIG$v)
;; CHECK-NEXT: (local $x i32)
;; CHECK-NEXT: (local $y f64)
;; CHECK-NEXT: (local $z f32)
;; CHECK-NEXT: (local $asm2wasm_i32_temp i32)
;; CHECK-NEXT: i32.const 0
;; CHECK-NEXT: local.set $asm2wasm_i32_temp
;; CHECK-NEXT: i32.const 0
;; CHECK-NEXT: local.get $asm2wasm_i32_temp
;; CHECK-NEXT: i32.sub
;; CHECK-NEXT: local.get $asm2wasm_i32_temp
;; CHECK-NEXT: local.get $asm2wasm_i32_temp
;; CHECK-NEXT: i32.const 0
;; CHECK-NEXT: i32.lt_s
;; CHECK-NEXT: select
;; CHECK-NEXT: local.set $x
;; CHECK-NEXT: f64.const 0
;; CHECK-NEXT: f64.abs
;; CHECK-NEXT: local.set $y
;; CHECK-NEXT: f32.const 0
;; CHECK-NEXT: f32.abs
;; CHECK-NEXT: local.set $z
;; CHECK-NEXT: )
(func $abs (type $FUNCSIG$v)
(local $x i32)
(local $y f64)
(local $z f32)
(local $asm2wasm_i32_temp i32)
(block $block0
(local.set $x
(block $block1 (result i32)
(local.set $asm2wasm_i32_temp
(i32.const 0)
)
(select
(i32.sub
(i32.const 0)
(local.get $asm2wasm_i32_temp)
)
(local.get $asm2wasm_i32_temp)
(i32.lt_s
(local.get $asm2wasm_i32_temp)
(i32.const 0)
)
)
)
)
(local.set $y
(f64.abs
(f64.const 0)
)
)
(local.set $z
(f32.abs
(f32.const 0)
)
)
)
)
;; CHECK: (func $neg (type $FUNCSIG$v)
;; CHECK-NEXT: (local $x f32)
;; CHECK-NEXT: local.get $x
;; CHECK-NEXT: f32.neg
;; CHECK-NEXT: i32.const 1
;; CHECK-NEXT: i32.const 7
;; CHECK-NEXT: i32.and
;; CHECK-NEXT: i32.const 8
;; CHECK-NEXT: i32.add
;; CHECK-NEXT: call_indirect $table (type $FUNCSIG$vf)
;; CHECK-NEXT: )
(func $neg (type $FUNCSIG$v)
(local $x f32)
(block $block0
(local.set $x
(f32.neg
(local.get $x)
)
)
(call_indirect (type $FUNCSIG$vf)
(local.get $x)
(i32.add
(i32.and
(i32.const 1)
(i32.const 7)
)
(i32.const 8)
)
)
)
)
;; CHECK: (func $cneg (type $FUNCSIG$vf) (param $x f32)
;; CHECK-NEXT: local.get $x
;; CHECK-NEXT: i32.const 1
;; CHECK-NEXT: i32.const 7
;; CHECK-NEXT: i32.and
;; CHECK-NEXT: i32.const 8
;; CHECK-NEXT: i32.add
;; CHECK-NEXT: call_indirect $table (type $FUNCSIG$vf)
;; CHECK-NEXT: )
(func $cneg (type $FUNCSIG$vf) (param $x f32)
(call_indirect (type $FUNCSIG$vf)
(local.get $x)
(i32.add
(i32.and
(i32.const 1)
(i32.const 7)
)
(i32.const 8)
)
)
)
;; CHECK: (func $___syscall_ret (type $FUNCSIG$v)
;; CHECK-NEXT: (local $$0 i32)
;; CHECK-NEXT: local.get $$0
;; CHECK-NEXT: i32.const 0
;; CHECK-NEXT: i32.shr_u
;; CHECK-NEXT: i32.const -4096
;; CHECK-NEXT: i32.gt_u
;; CHECK-NEXT: drop
;; CHECK-NEXT: )
(func $___syscall_ret (type $FUNCSIG$v)
(local $$0 i32)
(drop
(i32.gt_u
(i32.shr_u
(local.get $$0)
(i32.const 0)
)
(i32.const -4096)
)
)
)
;; CHECK: (func $z (type $FUNCSIG$v)
;; CHECK-NEXT: )
(func $z (type $FUNCSIG$v)
(nop)
)
;; CHECK: (func $w (type $FUNCSIG$v)
;; CHECK-NEXT: )
(func $w (type $FUNCSIG$v)
(nop)
)
;; CHECK: (func $block_and_after (type $5) (result i32)
;; CHECK-NEXT: block $waka
;; CHECK-NEXT: i32.const 1
;; CHECK-NEXT: drop
;; CHECK-NEXT: br $waka
;; CHECK-NEXT: end
;; CHECK-NEXT: i32.const 0
;; CHECK-NEXT: )
(func $block_and_after (type $5) (result i32)
(block $waka
(drop
(i32.const 1)
)
(br $waka)
)
(i32.const 0)
)
;; CHECK: (func $loop-roundtrip (type $7) (param $0 f64) (result f64)
;; CHECK-NEXT: loop $loop-in1 (result f64)
;; CHECK-NEXT: local.get $0
;; CHECK-NEXT: drop
;; CHECK-NEXT: local.get $0
;; CHECK-NEXT: end
;; CHECK-NEXT: )
(func $loop-roundtrip (type $7) (param $0 f64) (result f64)
(loop $loop-in1 (result f64)
(drop
(local.get $0)
)
(local.get $0)
)
)
;; CHECK: (func $big-i64 (type $8) (result i64)
;; CHECK-NEXT: i64.const -9218868437227405313
;; CHECK-NEXT: )
(func $big-i64 (type $8) (result i64)
(i64.const -9218868437227405313)
)
;; CHECK: (func $i64-store32 (type $9) (param $0 i32) (param $1 i64)
;; CHECK-NEXT: local.get $0
;; CHECK-NEXT: local.get $1
;; CHECK-NEXT: i64.store32
;; CHECK-NEXT: )
(func $i64-store32 (type $9) (param $0 i32) (param $1 i64)
(i64.store32
(local.get $0)
(local.get $1)
)
)
;; CHECK: (func $return-unreachable (type $5) (result i32)
;; CHECK-NEXT: i32.const 1
;; CHECK-NEXT: return
;; CHECK-NEXT: )
(func $return-unreachable (result i32)
(return (i32.const 1))
)
;; CHECK: (func $unreachable-block (type $5) (result i32)
;; CHECK-NEXT: i32.const 1
;; CHECK-NEXT: drop
;; CHECK-NEXT: i32.const 2
;; CHECK-NEXT: return
;; CHECK-NEXT: )
(func $unreachable-block (result i32)
(f64.abs
(block ;; note no type - valid in binaryen IR, in wasm must be i32
(drop (i32.const 1))
(return (i32.const 2))
)
)
)
;; CHECK: (func $unreachable-block-toplevel (type $5) (result i32)
;; CHECK-NEXT: i32.const 1
;; CHECK-NEXT: drop
;; CHECK-NEXT: i32.const 2
;; CHECK-NEXT: return
;; CHECK-NEXT: )
(func $unreachable-block-toplevel (result i32)
(block ;; note no type - valid in binaryen IR, in wasm must be i32
(drop (i32.const 1))
(return (i32.const 2))
)
)
;; CHECK: (func $unreachable-block0 (type $5) (result i32)
;; CHECK-NEXT: i32.const 2
;; CHECK-NEXT: return
;; CHECK-NEXT: )
(func $unreachable-block0 (result i32)
(f64.abs
(block ;; note no type - valid in binaryen IR, in wasm must be i32
(return (i32.const 2))
)
)
)
;; CHECK: (func $unreachable-block0-toplevel (type $5) (result i32)
;; CHECK-NEXT: i32.const 2
;; CHECK-NEXT: return
;; CHECK-NEXT: )
(func $unreachable-block0-toplevel (result i32)
(block ;; note no type - valid in binaryen IR, in wasm must be i32
(return (i32.const 2))
)
)
;; CHECK: (func $unreachable-block-with-br (type $5) (result i32)
;; CHECK-NEXT: block $block
;; CHECK-NEXT: i32.const 1
;; CHECK-NEXT: drop
;; CHECK-NEXT: br $block
;; CHECK-NEXT: end
;; CHECK-NEXT: i32.const 1
;; CHECK-NEXT: )
(func $unreachable-block-with-br (result i32)
(block $block ;; unreachable type due to last element having that type, but the block is exitable
(drop (i32.const 1))
(br $block)
)
(i32.const 1)
)
;; CHECK: (func $unreachable-if (type $5) (result i32)
;; CHECK-NEXT: i32.const 3
;; CHECK-NEXT: if
;; CHECK-NEXT: i32.const 2
;; CHECK-NEXT: return
;; CHECK-NEXT: else
;; CHECK-NEXT: i32.const 1
;; CHECK-NEXT: return
;; CHECK-NEXT: end
;; CHECK-NEXT: unreachable
;; CHECK-NEXT: )
(func $unreachable-if (result i32)
(f64.abs
(if ;; note no type - valid in binaryen IR, in wasm must be i32
(i32.const 3)
(then
(return (i32.const 2))
)
(else
(return (i32.const 1))
)
)
)
)
;; CHECK: (func $unreachable-if-toplevel (type $5) (result i32)
;; CHECK-NEXT: i32.const 3
;; CHECK-NEXT: if
;; CHECK-NEXT: i32.const 2
;; CHECK-NEXT: return
;; CHECK-NEXT: else
;; CHECK-NEXT: i32.const 1
;; CHECK-NEXT: return
;; CHECK-NEXT: end
;; CHECK-NEXT: unreachable
;; CHECK-NEXT: )
(func $unreachable-if-toplevel (result i32)
(if ;; note no type - valid in binaryen IR, in wasm must be i32
(i32.const 3)
(then
(return (i32.const 2))
)
(else
(return (i32.const 1))
)
)
)
;; CHECK: (func $unreachable-loop (type $5) (result i32)
;; CHECK-NEXT: loop
;; CHECK-NEXT: i32.const 1
;; CHECK-NEXT: return
;; CHECK-NEXT: end
;; CHECK-NEXT: unreachable
;; CHECK-NEXT: )
(func $unreachable-loop (result i32)
(f64.abs
(loop ;; note no type - valid in binaryen IR, in wasm must be i32
(nop)
(return (i32.const 1))
)
)
)
;; CHECK: (func $unreachable-loop0 (type $5) (result i32)
;; CHECK-NEXT: loop
;; CHECK-NEXT: i32.const 1
;; CHECK-NEXT: return
;; CHECK-NEXT: end
;; CHECK-NEXT: unreachable
;; CHECK-NEXT: )
(func $unreachable-loop0 (result i32)
(f64.abs
(loop ;; note no type - valid in binaryen IR, in wasm must be i32
(return (i32.const 1))
)
)
)
;; CHECK: (func $unreachable-loop-toplevel (type $5) (result i32)
;; CHECK-NEXT: loop
;; CHECK-NEXT: i32.const 1
;; CHECK-NEXT: return
;; CHECK-NEXT: end
;; CHECK-NEXT: unreachable
;; CHECK-NEXT: )
(func $unreachable-loop-toplevel (result i32)
(loop ;; note no type - valid in binaryen IR, in wasm must be i32
(nop)
(return (i32.const 1))
)
)
;; CHECK: (func $unreachable-loop0-toplevel (type $5) (result i32)
;; CHECK-NEXT: loop
;; CHECK-NEXT: i32.const 1
;; CHECK-NEXT: return
;; CHECK-NEXT: end
;; CHECK-NEXT: unreachable
;; CHECK-NEXT: )
(func $unreachable-loop0-toplevel (result i32)
(loop ;; note no type - valid in binaryen IR, in wasm must be i32
(return (i32.const 1))
)
)
;; CHECK: (func $unreachable-ifs (type $FUNCSIG$v)
;; CHECK-NEXT: unreachable
;; CHECK-NEXT: )
(func $unreachable-ifs
(if (unreachable) (then (nop)))
(if (unreachable) (then (unreachable)))
(if (unreachable) (then (nop) )(else (nop)))
(if (unreachable) (then (unreachable) )(else (nop)))
(if (unreachable) (then (nop) )(else (unreachable)))
(if (unreachable) (then (unreachable) )(else (unreachable)))
;;
(if (i32.const 1) (then (unreachable) )(else (nop)))
(if (i32.const 1) (then (nop) )(else (unreachable)))
(if (i32.const 1) (then (unreachable) )(else (unreachable)))
)
;; CHECK: (func $unreachable-if-arm (type $FUNCSIG$v)
;; CHECK-NEXT: i32.const 1
;; CHECK-NEXT: if
;; CHECK-NEXT: else
;; CHECK-NEXT: unreachable
;; CHECK-NEXT: end
;; CHECK-NEXT: )
(func $unreachable-if-arm
(if
(i32.const 1)
(then
(block
(nop)
)
)
(else
(block
(unreachable)
(drop
(i32.const 1)
)
)
)
)
)
;; CHECK: (func $local-to-stack (type $6) (param $x i32) (result i32)
;; CHECK-NEXT: (local $temp i32)
;; CHECK-NEXT: i32.const 1
;; CHECK-NEXT: call $local-to-stack
;; CHECK-NEXT: i32.const 2
;; CHECK-NEXT: call $local-to-stack
;; CHECK-NEXT: drop
;; CHECK-NEXT: )
(func $local-to-stack (param $x i32) (result i32)
(local $temp i32)
(local.set $temp (call $local-to-stack (i32.const 1))) ;; this set could just be on the stack
(drop (call $local-to-stack (i32.const 2)))
(local.get $temp)
)
;; CHECK: (func $local-to-stack-1 (type $6) (param $x i32) (result i32)
;; CHECK-NEXT: (local $temp i32)
;; CHECK-NEXT: i32.const 1
;; CHECK-NEXT: call $local-to-stack
;; CHECK-NEXT: i32.const 2
;; CHECK-NEXT: call $local-to-stack
;; CHECK-NEXT: drop
;; CHECK-NEXT: i32.eqz
;; CHECK-NEXT: )
(func $local-to-stack-1 (param $x i32) (result i32)
(local $temp i32)
(local.set $temp (call $local-to-stack (i32.const 1)))
(drop (call $local-to-stack (i32.const 2)))
(i32.eqz
(local.get $temp)
)
)
;; CHECK: (func $local-to-stack-1b (type $6) (param $x i32) (result i32)
;; CHECK-NEXT: (local $temp i32)
;; CHECK-NEXT: i32.const 1
;; CHECK-NEXT: call $local-to-stack
;; CHECK-NEXT: i32.const 2
;; CHECK-NEXT: call $local-to-stack
;; CHECK-NEXT: drop
;; CHECK-NEXT: i32.const 3
;; CHECK-NEXT: i32.add
;; CHECK-NEXT: )
(func $local-to-stack-1b (param $x i32) (result i32)
(local $temp i32)
(local.set $temp (call $local-to-stack (i32.const 1)))
(drop (call $local-to-stack (i32.const 2)))
(i32.add
(local.get $temp)
(i32.const 3)
)
)
;; CHECK: (func $local-to-stack-1c-no (type $6) (param $x i32) (result i32)
;; CHECK-NEXT: (local $temp i32)
;; CHECK-NEXT: i32.const 1
;; CHECK-NEXT: call $local-to-stack
;; CHECK-NEXT: local.set $temp
;; CHECK-NEXT: i32.const 2
;; CHECK-NEXT: call $local-to-stack
;; CHECK-NEXT: drop
;; CHECK-NEXT: i32.const 3
;; CHECK-NEXT: local.get $temp
;; CHECK-NEXT: i32.add
;; CHECK-NEXT: )
(func $local-to-stack-1c-no (param $x i32) (result i32)
(local $temp i32)
(local.set $temp (call $local-to-stack (i32.const 1)))
(drop (call $local-to-stack (i32.const 2)))
(i32.add
(i32.const 3) ;; this is in the way
(local.get $temp)
)
)
;; CHECK: (func $local-to-stack-2-no (type $6) (param $x i32) (result i32)
;; CHECK-NEXT: (local $temp i32)
;; CHECK-NEXT: i32.const 1
;; CHECK-NEXT: call $local-to-stack
;; CHECK-NEXT: local.set $temp
;; CHECK-NEXT: i32.const 2
;; CHECK-NEXT: call $local-to-stack
;; CHECK-NEXT: drop
;; CHECK-NEXT: local.get $temp
;; CHECK-NEXT: local.get $temp
;; CHECK-NEXT: i32.add
;; CHECK-NEXT: )
(func $local-to-stack-2-no (param $x i32) (result i32)
(local $temp i32)
(local.set $temp (call $local-to-stack (i32.const 1)))
(drop (call $local-to-stack (i32.const 2)))
(i32.add
(local.get $temp)
(local.get $temp) ;; a second use - so cannot stack it
)
)
;; CHECK: (func $local-to-stack-3-no (type $6) (param $x i32) (result i32)
;; CHECK-NEXT: (local $temp i32)
;; CHECK-NEXT: i32.const 1
;; CHECK-NEXT: if
;; CHECK-NEXT: i32.const 1
;; CHECK-NEXT: call $local-to-stack
;; CHECK-NEXT: local.set $temp
;; CHECK-NEXT: else
;; CHECK-NEXT: i32.const 2
;; CHECK-NEXT: call $local-to-stack
;; CHECK-NEXT: local.set $temp
;; CHECK-NEXT: end
;; CHECK-NEXT: i32.const 3
;; CHECK-NEXT: call $local-to-stack
;; CHECK-NEXT: drop
;; CHECK-NEXT: local.get $temp
;; CHECK-NEXT: )
(func $local-to-stack-3-no (param $x i32) (result i32)
(local $temp i32)
(if (i32.const 1)
(then
(local.set $temp (call $local-to-stack (i32.const 1)))
)
(else
(local.set $temp (call $local-to-stack (i32.const 2))) ;; two sets for that get
)
)
(drop (call $local-to-stack (i32.const 3)))
(local.get $temp)
)
;; CHECK: (func $local-to-stack-multi-4 (type $6) (param $x i32) (result i32)
;; CHECK-NEXT: (local $temp1 i32)
;; CHECK-NEXT: (local $temp2 i32)
;; CHECK-NEXT: i32.const 1
;; CHECK-NEXT: call $local-to-stack-multi-4
;; CHECK-NEXT: i32.const 2
;; CHECK-NEXT: call $local-to-stack-multi-4
;; CHECK-NEXT: drop
;; CHECK-NEXT: drop
;; CHECK-NEXT: i32.const 3
;; CHECK-NEXT: call $local-to-stack-multi-4
;; CHECK-NEXT: i32.const 4
;; CHECK-NEXT: call $local-to-stack-multi-4
;; CHECK-NEXT: drop
;; CHECK-NEXT: )
(func $local-to-stack-multi-4 (param $x i32) (result i32)
(local $temp1 i32)
(local $temp2 i32)
(local.set $temp1 (call $local-to-stack-multi-4 (i32.const 1)))
(drop (call $local-to-stack-multi-4 (i32.const 2)))
(drop (local.get $temp1))
(local.set $temp1 (call $local-to-stack-multi-4 (i32.const 3))) ;; same local, used later
(drop (call $local-to-stack-multi-4 (i32.const 4)))
(local.get $temp1)
)
;; CHECK: (func $local-to-stack-multi-5 (type $6) (param $x i32) (result i32)
;; CHECK-NEXT: (local $temp1 i32)
;; CHECK-NEXT: (local $temp2 i32)
;; CHECK-NEXT: i32.const 1
;; CHECK-NEXT: call $local-to-stack-multi-4
;; CHECK-NEXT: i32.const 2
;; CHECK-NEXT: call $local-to-stack-multi-4
;; CHECK-NEXT: drop
;; CHECK-NEXT: drop
;; CHECK-NEXT: i32.const 3
;; CHECK-NEXT: call $local-to-stack-multi-4
;; CHECK-NEXT: i32.const 4
;; CHECK-NEXT: call $local-to-stack-multi-4
;; CHECK-NEXT: drop
;; CHECK-NEXT: )
(func $local-to-stack-multi-5 (param $x i32) (result i32)
(local $temp1 i32)
(local $temp2 i32)
(local.set $temp1 (call $local-to-stack-multi-4 (i32.const 1)))
(drop (call $local-to-stack-multi-4 (i32.const 2)))
(drop (local.get $temp1))
(local.set $temp2 (call $local-to-stack-multi-4 (i32.const 3))) ;; different local, used later
(drop (call $local-to-stack-multi-4 (i32.const 4)))
(local.get $temp2)
)
;; CHECK: (func $local-to-stack-multi-6-justone (type $6) (param $x i32) (result i32)
;; CHECK-NEXT: (local $temp1 i32)
;; CHECK-NEXT: (local $temp2 i32)
;; CHECK-NEXT: i32.const 1
;; CHECK-NEXT: call $local-to-stack-multi-4
;; CHECK-NEXT: i32.const 2
;; CHECK-NEXT: call $local-to-stack-multi-4
;; CHECK-NEXT: drop
;; CHECK-NEXT: drop
;; CHECK-NEXT: i32.const 3
;; CHECK-NEXT: call $local-to-stack-multi-4
;; CHECK-NEXT: local.set $temp2
;; CHECK-NEXT: i32.const 4
;; CHECK-NEXT: call $local-to-stack-multi-4
;; CHECK-NEXT: drop
;; CHECK-NEXT: local.get $temp2
;; CHECK-NEXT: local.get $temp2
;; CHECK-NEXT: i32.add
;; CHECK-NEXT: )
(func $local-to-stack-multi-6-justone (param $x i32) (result i32)
(local $temp1 i32)
(local $temp2 i32)
(local.set $temp1 (call $local-to-stack-multi-4 (i32.const 1)))
(drop (call $local-to-stack-multi-4 (i32.const 2)))
(drop (local.get $temp1))
(local.set $temp2 (call $local-to-stack-multi-4 (i32.const 3))) ;; different local, used later
(drop (call $local-to-stack-multi-4 (i32.const 4)))
(i32.add
(local.get $temp2)
(local.get $temp2)
)
)
;; CHECK: (func $local-to-stack-multi-7-justone (type $6) (param $x i32) (result i32)
;; CHECK-NEXT: (local $temp1 i32)
;; CHECK-NEXT: (local $temp2 i32)
;; CHECK-NEXT: i32.const 1
;; CHECK-NEXT: call $local-to-stack-multi-4
;; CHECK-NEXT: local.set $temp1
;; CHECK-NEXT: i32.const 2
;; CHECK-NEXT: call $local-to-stack-multi-4
;; CHECK-NEXT: drop
;; CHECK-NEXT: local.get $temp1
;; CHECK-NEXT: local.get $temp1
;; CHECK-NEXT: i32.add
;; CHECK-NEXT: drop
;; CHECK-NEXT: i32.const 3
;; CHECK-NEXT: call $local-to-stack-multi-4
;; CHECK-NEXT: i32.const 4
;; CHECK-NEXT: call $local-to-stack-multi-4
;; CHECK-NEXT: drop
;; CHECK-NEXT: )
(func $local-to-stack-multi-7-justone (param $x i32) (result i32)
(local $temp1 i32)
(local $temp2 i32)
(local.set $temp1 (call $local-to-stack-multi-4 (i32.const 1)))
(drop (call $local-to-stack-multi-4 (i32.const 2)))
(drop
(i32.add
(local.get $temp1)
(local.get $temp1)
)
)
(local.set $temp2 (call $local-to-stack-multi-4 (i32.const 3))) ;; different local, used later
(drop (call $local-to-stack-multi-4 (i32.const 4)))
(local.get $temp2)
)
;; CHECK: (func $local-to-stack-overlapping-multi-8-no (type $6) (param $x i32) (result i32)
;; CHECK-NEXT: (local $temp1 i32)
;; CHECK-NEXT: (local $temp2 i32)
;; CHECK-NEXT: i32.const 1
;; CHECK-NEXT: call $local-to-stack-multi-4
;; CHECK-NEXT: local.set $temp1
;; CHECK-NEXT: i32.const 1
;; CHECK-NEXT: call $local-to-stack-multi-4
;; CHECK-NEXT: i32.const 3
;; CHECK-NEXT: call $local-to-stack-multi-4
;; CHECK-NEXT: drop
;; CHECK-NEXT: local.get $temp1
;; CHECK-NEXT: i32.add
;; CHECK-NEXT: )
(func $local-to-stack-overlapping-multi-8-no (param $x i32) (result i32)
(local $temp1 i32)
(local $temp2 i32)
(local.set $temp1 (call $local-to-stack-multi-4 (i32.const 1)))
(local.set $temp2 (call $local-to-stack-multi-4 (i32.const 1)))
(drop (call $local-to-stack-multi-4 (i32.const 3)))
(i32.add
(local.get $temp2) ;; the timing
(local.get $temp1) ;; it sucks
)
)
;; CHECK: (func $local-to-stack-overlapping-multi-9-yes (type $6) (param $x i32) (result i32)
;; CHECK-NEXT: (local $temp1 i32)
;; CHECK-NEXT: (local $temp2 i32)
;; CHECK-NEXT: i32.const 1
;; CHECK-NEXT: call $local-to-stack-multi-4
;; CHECK-NEXT: i32.const 1
;; CHECK-NEXT: call $local-to-stack-multi-4
;; CHECK-NEXT: i32.const 3
;; CHECK-NEXT: call $local-to-stack-multi-4
;; CHECK-NEXT: drop
;; CHECK-NEXT: i32.add
;; CHECK-NEXT: )
(func $local-to-stack-overlapping-multi-9-yes (param $x i32) (result i32)
(local $temp1 i32)
(local $temp2 i32)
(local.set $temp1 (call $local-to-stack-multi-4 (i32.const 1)))
(local.set $temp2 (call $local-to-stack-multi-4 (i32.const 1)))
(drop (call $local-to-stack-multi-4 (i32.const 3)))
(i32.add
(local.get $temp1) ;; the stars align
(local.get $temp2) ;; and a time presents itself
)
)
;; CHECK: (func $local-to-stack-through-control-flow (type $FUNCSIG$v)
;; CHECK-NEXT: (local $temp1 i32)
;; CHECK-NEXT: (local $temp2 i32)
;; CHECK-NEXT: i32.const 0
;; CHECK-NEXT: call $local-to-stack-multi-4
;; CHECK-NEXT: i32.const 1
;; CHECK-NEXT: call $local-to-stack-multi-4
;; CHECK-NEXT: i32.const 0
;; CHECK-NEXT: if
;; CHECK-NEXT: end
;; CHECK-NEXT: drop
;; CHECK-NEXT: i32.const 2
;; CHECK-NEXT: call $local-to-stack-multi-4
;; CHECK-NEXT: block $block
;; CHECK-NEXT: br $block
;; CHECK-NEXT: end
;; CHECK-NEXT: drop
;; CHECK-NEXT: drop
;; CHECK-NEXT: )
(func $local-to-stack-through-control-flow
(local $temp1 i32)
(local $temp2 i32)
(local.set $temp2 (call $local-to-stack-multi-4 (i32.const 0)))
(local.set $temp1 (call $local-to-stack-multi-4 (i32.const 1)))
(if (i32.const 0) (then (nop)))
(drop (local.get $temp1))
(local.set $temp1 (call $local-to-stack-multi-4 (i32.const 2)))
(block $block (br $block))
(drop (local.get $temp1))
(drop (local.get $temp2))
)
;; CHECK: (func $local-to-stack-in-control-flow (type $FUNCSIG$v)
;; CHECK-NEXT: (local $temp1 i32)
;; CHECK-NEXT: i32.const 0
;; CHECK-NEXT: if
;; CHECK-NEXT: i32.const 0
;; CHECK-NEXT: call $local-to-stack-multi-4
;; CHECK-NEXT: drop
;; CHECK-NEXT: else
;; CHECK-NEXT: i32.const 1
;; CHECK-NEXT: call $local-to-stack-multi-4
;; CHECK-NEXT: drop
;; CHECK-NEXT: end
;; CHECK-NEXT: )
(func $local-to-stack-in-control-flow
(local $temp1 i32)
(if (i32.const 0)
(then
(block
(local.set $temp1 (call $local-to-stack-multi-4 (i32.const 0)))
(drop (local.get $temp1))
)
)
(else
(block
(local.set $temp1 (call $local-to-stack-multi-4 (i32.const 1)))
(drop (local.get $temp1))
)
)
)
)
;; CHECK: (func $remove-block (type $6) (param $x i32) (result i32)
;; CHECK-NEXT: (local $temp i32)
;; CHECK-NEXT: i32.const 0
;; CHECK-NEXT: call $remove-block
;; CHECK-NEXT: i32.const 1
;; CHECK-NEXT: call $remove-block
;; CHECK-NEXT: i32.const 2
;; CHECK-NEXT: call $remove-block
;; CHECK-NEXT: drop
;; CHECK-NEXT: i32.eqz
;; CHECK-NEXT: i32.add
;; CHECK-NEXT: )
(func $remove-block (param $x i32) (result i32)
(local $temp i32)
(i32.add
(call $remove-block (i32.const 0))
(i32.eqz
(block (result i32) ;; after we use the stack instead of the local, we can remove this block
(local.set $temp (call $remove-block (i32.const 1)))
(drop (call $remove-block (i32.const 2)))
(local.get $temp)
)
)
)
)
;; CHECK: (func $tuple-local2stack (type $FUNCSIG$v)
;; CHECK-NEXT: (local $pair (tuple f32 i32))
;; CHECK-NEXT: (local $f32 f32)
;; CHECK-NEXT: f32.const 0
;; CHECK-NEXT: i32.const 0
;; CHECK-NEXT: tuple.make 2
;; CHECK-NEXT: local.set $pair
;; CHECK-NEXT: local.get $pair
;; CHECK-NEXT: tuple.extract 2 0
;; CHECK-NEXT: local.set $f32
;; CHECK-NEXT: )
(func $tuple-local2stack
(local $pair (tuple f32 i32))
(local $f32 f32)
;; We should not optimize out this get-set pair in Stack IR since we can do
;; better in the binary writer.
(local.set $pair
(tuple.make 2
(f32.const 0)
(i32.const 0)
)
)
(local.set $f32
(tuple.extract 2 0
(local.get $pair)
)
)
)
)