| ;; NOTE: Assertions have been generated by update_lit_checks.py --all-items and should not be edited. |
| |
| ;; RUN: wasm-opt %s -all -o %t.text.wat -g -S |
| ;; RUN: wasm-as %s -all -g -o %t.wasm |
| ;; RUN: wasm-dis %t.wasm -all -o %t.bin.wat |
| ;; RUN: wasm-as %s -all -o %t.nodebug.wasm |
| ;; RUN: wasm-dis %t.nodebug.wasm -all -o %t.bin.nodebug.wat |
| ;; RUN: cat %t.text.wat | filecheck %s --check-prefix=CHECK-TEXT |
| ;; RUN: cat %t.bin.wat | filecheck %s --check-prefix=CHECK-BIN |
| ;; RUN: cat %t.bin.nodebug.wat | filecheck %s --check-prefix=CHECK-BIN-NODEBUG |
| |
| (module |
| ;; CHECK-TEXT: (type $5 (func (result i32))) |
| |
| ;; CHECK-TEXT: (type $FUNCSIG$v (func)) |
| |
| ;; CHECK-TEXT: (type $FUNCSIG$vf (func (param f32))) |
| ;; CHECK-BIN: (type $5 (func (result i32))) |
| |
| ;; CHECK-BIN: (type $FUNCSIG$v (func)) |
| |
| ;; CHECK-BIN: (type $FUNCSIG$vf (func (param f32))) |
| (type $FUNCSIG$vf (func (param f32))) |
| (type $FUNCSIG$v (func)) |
| ;; CHECK-TEXT: (type $4 (func (result f64))) |
| |
| ;; CHECK-TEXT: (type $FUNCSIG$ddd (func (param f64 f64) (result f64))) |
| |
| ;; CHECK-TEXT: (type $FUNCSIG$id (func (param f64) (result i32))) |
| ;; CHECK-BIN: (type $4 (func (result f64))) |
| |
| ;; CHECK-BIN: (type $FUNCSIG$ddd (func (param f64 f64) (result f64))) |
| |
| ;; CHECK-BIN: (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))) |
| ;; CHECK-BIN-NODEBUG: (type $0 (func (result i32))) |
| |
| ;; CHECK-BIN-NODEBUG: (type $1 (func)) |
| |
| ;; CHECK-BIN-NODEBUG: (type $2 (func (param f32))) |
| |
| ;; CHECK-BIN-NODEBUG: (type $3 (func (result f64))) |
| |
| ;; CHECK-BIN-NODEBUG: (type $4 (func (param f64 f64) (result f64))) |
| (type $4 (func (result f64))) |
| ;; CHECK-BIN-NODEBUG: (type $5 (func (param f64) (result i32))) |
| (type $5 (func (result i32))) |
| ;; CHECK-TEXT: (type $6 (func (param i32) (result i32))) |
| ;; CHECK-BIN: (type $6 (func (param i32) (result i32))) |
| ;; CHECK-BIN-NODEBUG: (type $6 (func (param i32) (result i32))) |
| (type $6 (func (param i32) (result i32))) |
| ;; CHECK-TEXT: (type $7 (func (param f64) (result f64))) |
| ;; CHECK-BIN: (type $7 (func (param f64) (result f64))) |
| ;; CHECK-BIN-NODEBUG: (type $7 (func (param f64) (result f64))) |
| (type $7 (func (param f64) (result f64))) |
| ;; CHECK-TEXT: (type $8 (func (result i64))) |
| ;; CHECK-BIN: (type $8 (func (result i64))) |
| ;; CHECK-BIN-NODEBUG: (type $8 (func (result i64))) |
| (type $8 (func (result i64))) |
| ;; CHECK-TEXT: (type $9 (func (param i32 i64))) |
| ;; CHECK-BIN: (type $9 (func (param i32 i64))) |
| ;; CHECK-BIN-NODEBUG: (type $9 (func (param i32 i64))) |
| (type $9 (func (param i32 i64))) |
| ;; CHECK-TEXT: (import "env" "_emscripten_asm_const_vi" (func $_emscripten_asm_const_vi (type $FUNCSIG$v))) |
| ;; CHECK-BIN: (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-TEXT: (import "asm2wasm" "f64-to-int" (func $f64-to-int (type $FUNCSIG$id) (param f64) (result i32))) |
| ;; CHECK-BIN: (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-TEXT: (import "asm2wasm" "f64-rem" (func $f64-rem (type $FUNCSIG$ddd) (param f64 f64) (result f64))) |
| ;; CHECK-BIN: (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))) |
| (table 10 funcref) |
| (elem (i32.const 0) $z $big_negative $z $z $w $w $importedDoubles $w $z $cneg) |
| ;; CHECK-TEXT: (memory $0 4096 4096) |
| ;; CHECK-BIN: (memory $0 4096 4096) |
| ;; CHECK-BIN-NODEBUG: (import "env" "_emscripten_asm_const_vi" (func $fimport$0 (type $1))) |
| |
| ;; CHECK-BIN-NODEBUG: (import "asm2wasm" "f64-to-int" (func $fimport$1 (type $5) (param f64) (result i32))) |
| |
| ;; CHECK-BIN-NODEBUG: (import "asm2wasm" "f64-rem" (func $fimport$2 (type $4) (param f64 f64) (result f64))) |
| |
| ;; CHECK-BIN-NODEBUG: (memory $0 4096 4096) |
| (memory $0 4096 4096) |
| (data (i32.const 1026) "\14\00") |
| ;; CHECK-TEXT: (data $0 (i32.const 1026) "\14\00") |
| |
| ;; CHECK-TEXT: (table $0 10 funcref) |
| |
| ;; CHECK-TEXT: (elem $0 (i32.const 0) $z $big_negative $z $z $w $w $importedDoubles $w $z $cneg) |
| |
| ;; CHECK-TEXT: (export "big_negative" (func $big_negative)) |
| ;; CHECK-BIN: (data $0 (i32.const 1026) "\14\00") |
| |
| ;; CHECK-BIN: (table $0 10 funcref) |
| |
| ;; CHECK-BIN: (elem $0 (i32.const 0) $z $big_negative $z $z $w $w $importedDoubles $w $z $cneg) |
| |
| ;; CHECK-BIN: (export "big_negative" (func $big_negative)) |
| (export "big_negative" (func $big_negative)) |
| ;; CHECK-TEXT: (func $big_negative (type $FUNCSIG$v) |
| ;; CHECK-TEXT-NEXT: (local $temp f64) |
| ;; CHECK-TEXT-NEXT: (block $block0 |
| ;; CHECK-TEXT-NEXT: (local.set $temp |
| ;; CHECK-TEXT-NEXT: (f64.const -2147483648) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (local.set $temp |
| ;; CHECK-TEXT-NEXT: (f64.const -2147483648) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (local.set $temp |
| ;; CHECK-TEXT-NEXT: (f64.const -21474836480) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (local.set $temp |
| ;; CHECK-TEXT-NEXT: (f64.const 0.039625) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (local.set $temp |
| ;; CHECK-TEXT-NEXT: (f64.const -0.039625) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-BIN: (func $big_negative (type $FUNCSIG$v) |
| ;; CHECK-BIN-NEXT: (local $temp f64) |
| ;; CHECK-BIN-NEXT: (local.set $temp |
| ;; CHECK-BIN-NEXT: (f64.const -2147483648) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (local.set $temp |
| ;; CHECK-BIN-NEXT: (f64.const -2147483648) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (local.set $temp |
| ;; CHECK-BIN-NEXT: (f64.const -21474836480) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (local.set $temp |
| ;; CHECK-BIN-NEXT: (f64.const 0.039625) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (local.set $temp |
| ;; CHECK-BIN-NEXT: (f64.const -0.039625) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-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-TEXT: (func $importedDoubles (type $4) (result f64) |
| ;; CHECK-TEXT-NEXT: (local $temp f64) |
| ;; CHECK-TEXT-NEXT: (block $topmost (result f64) |
| ;; CHECK-TEXT-NEXT: (local.set $temp |
| ;; CHECK-TEXT-NEXT: (f64.add |
| ;; CHECK-TEXT-NEXT: (f64.add |
| ;; CHECK-TEXT-NEXT: (f64.add |
| ;; CHECK-TEXT-NEXT: (f64.load |
| ;; CHECK-TEXT-NEXT: (i32.const 8) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (f64.load |
| ;; CHECK-TEXT-NEXT: (i32.const 16) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (f64.neg |
| ;; CHECK-TEXT-NEXT: (f64.load |
| ;; CHECK-TEXT-NEXT: (i32.const 16) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (f64.neg |
| ;; CHECK-TEXT-NEXT: (f64.load |
| ;; CHECK-TEXT-NEXT: (i32.const 8) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (if |
| ;; CHECK-TEXT-NEXT: (i32.gt_s |
| ;; CHECK-TEXT-NEXT: (i32.load |
| ;; CHECK-TEXT-NEXT: (i32.const 24) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (i32.const 0) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (then |
| ;; CHECK-TEXT-NEXT: (br $topmost |
| ;; CHECK-TEXT-NEXT: (f64.const -3.4) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (if |
| ;; CHECK-TEXT-NEXT: (f64.gt |
| ;; CHECK-TEXT-NEXT: (f64.load |
| ;; CHECK-TEXT-NEXT: (i32.const 32) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (f64.const 0) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (then |
| ;; CHECK-TEXT-NEXT: (br $topmost |
| ;; CHECK-TEXT-NEXT: (f64.const 5.6) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (f64.const 1.2) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-BIN: (func $importedDoubles (type $4) (result f64) |
| ;; CHECK-BIN-NEXT: (local $temp f64) |
| ;; CHECK-BIN-NEXT: (block $label$1 (result f64) |
| ;; CHECK-BIN-NEXT: (local.set $temp |
| ;; CHECK-BIN-NEXT: (f64.add |
| ;; CHECK-BIN-NEXT: (f64.add |
| ;; CHECK-BIN-NEXT: (f64.add |
| ;; CHECK-BIN-NEXT: (f64.load |
| ;; CHECK-BIN-NEXT: (i32.const 8) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (f64.load |
| ;; CHECK-BIN-NEXT: (i32.const 16) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (f64.neg |
| ;; CHECK-BIN-NEXT: (f64.load |
| ;; CHECK-BIN-NEXT: (i32.const 16) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (f64.neg |
| ;; CHECK-BIN-NEXT: (f64.load |
| ;; CHECK-BIN-NEXT: (i32.const 8) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (if |
| ;; CHECK-BIN-NEXT: (i32.gt_s |
| ;; CHECK-BIN-NEXT: (i32.load |
| ;; CHECK-BIN-NEXT: (i32.const 24) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (i32.const 0) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (then |
| ;; CHECK-BIN-NEXT: (br $label$1 |
| ;; CHECK-BIN-NEXT: (f64.const -3.4) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (if |
| ;; CHECK-BIN-NEXT: (f64.gt |
| ;; CHECK-BIN-NEXT: (f64.load |
| ;; CHECK-BIN-NEXT: (i32.const 32) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (f64.const 0) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (then |
| ;; CHECK-BIN-NEXT: (br $label$1 |
| ;; CHECK-BIN-NEXT: (f64.const 5.6) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (f64.const 1.2) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-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-TEXT: (func $doubleCompares (type $FUNCSIG$ddd) (param $x f64) (param $y f64) (result f64) |
| ;; CHECK-TEXT-NEXT: (local $t f64) |
| ;; CHECK-TEXT-NEXT: (local $Int f64) |
| ;; CHECK-TEXT-NEXT: (local $Double i32) |
| ;; CHECK-TEXT-NEXT: (block $topmost (result f64) |
| ;; CHECK-TEXT-NEXT: (if |
| ;; CHECK-TEXT-NEXT: (f64.gt |
| ;; CHECK-TEXT-NEXT: (local.get $x) |
| ;; CHECK-TEXT-NEXT: (f64.const 0) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (then |
| ;; CHECK-TEXT-NEXT: (br $topmost |
| ;; CHECK-TEXT-NEXT: (f64.const 1.2) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (if |
| ;; CHECK-TEXT-NEXT: (f64.gt |
| ;; CHECK-TEXT-NEXT: (local.get $Int) |
| ;; CHECK-TEXT-NEXT: (f64.const 0) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (then |
| ;; CHECK-TEXT-NEXT: (br $topmost |
| ;; CHECK-TEXT-NEXT: (f64.const -3.4) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (if |
| ;; CHECK-TEXT-NEXT: (i32.gt_s |
| ;; CHECK-TEXT-NEXT: (local.get $Double) |
| ;; CHECK-TEXT-NEXT: (i32.const 0) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (then |
| ;; CHECK-TEXT-NEXT: (br $topmost |
| ;; CHECK-TEXT-NEXT: (f64.const 5.6) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (if |
| ;; CHECK-TEXT-NEXT: (f64.lt |
| ;; CHECK-TEXT-NEXT: (local.get $x) |
| ;; CHECK-TEXT-NEXT: (local.get $y) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (then |
| ;; CHECK-TEXT-NEXT: (br $topmost |
| ;; CHECK-TEXT-NEXT: (local.get $x) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (local.get $y) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-BIN: (func $doubleCompares (type $FUNCSIG$ddd) (param $x f64) (param $y f64) (result f64) |
| ;; CHECK-BIN-NEXT: (local $t f64) |
| ;; CHECK-BIN-NEXT: (local $Int f64) |
| ;; CHECK-BIN-NEXT: (local $Double i32) |
| ;; CHECK-BIN-NEXT: (block $label$1 (result f64) |
| ;; CHECK-BIN-NEXT: (if |
| ;; CHECK-BIN-NEXT: (f64.gt |
| ;; CHECK-BIN-NEXT: (local.get $x) |
| ;; CHECK-BIN-NEXT: (f64.const 0) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (then |
| ;; CHECK-BIN-NEXT: (br $label$1 |
| ;; CHECK-BIN-NEXT: (f64.const 1.2) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (if |
| ;; CHECK-BIN-NEXT: (f64.gt |
| ;; CHECK-BIN-NEXT: (local.get $Int) |
| ;; CHECK-BIN-NEXT: (f64.const 0) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (then |
| ;; CHECK-BIN-NEXT: (br $label$1 |
| ;; CHECK-BIN-NEXT: (f64.const -3.4) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (if |
| ;; CHECK-BIN-NEXT: (i32.gt_s |
| ;; CHECK-BIN-NEXT: (local.get $Double) |
| ;; CHECK-BIN-NEXT: (i32.const 0) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (then |
| ;; CHECK-BIN-NEXT: (br $label$1 |
| ;; CHECK-BIN-NEXT: (f64.const 5.6) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (if |
| ;; CHECK-BIN-NEXT: (f64.lt |
| ;; CHECK-BIN-NEXT: (local.get $x) |
| ;; CHECK-BIN-NEXT: (local.get $y) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (then |
| ;; CHECK-BIN-NEXT: (br $label$1 |
| ;; CHECK-BIN-NEXT: (local.get $x) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (local.get $y) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-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-TEXT: (func $intOps (type $5) (result i32) |
| ;; CHECK-TEXT-NEXT: (local $x i32) |
| ;; CHECK-TEXT-NEXT: (i32.eq |
| ;; CHECK-TEXT-NEXT: (local.get $x) |
| ;; CHECK-TEXT-NEXT: (i32.const 0) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-BIN: (func $intOps (type $5) (result i32) |
| ;; CHECK-BIN-NEXT: (local $x i32) |
| ;; CHECK-BIN-NEXT: (i32.eq |
| ;; CHECK-BIN-NEXT: (local.get $x) |
| ;; CHECK-BIN-NEXT: (i32.const 0) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| (func $intOps (type $5) (result i32) |
| (local $x i32) |
| (i32.eq |
| (local.get $x) |
| (i32.const 0) |
| ) |
| ) |
| ;; CHECK-TEXT: (func $hexLiterals (type $FUNCSIG$v) |
| ;; CHECK-TEXT-NEXT: (drop |
| ;; CHECK-TEXT-NEXT: (i32.add |
| ;; CHECK-TEXT-NEXT: (i32.add |
| ;; CHECK-TEXT-NEXT: (i32.const 0) |
| ;; CHECK-TEXT-NEXT: (i32.const 313249263) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (i32.const -19088752) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-BIN: (func $hexLiterals (type $FUNCSIG$v) |
| ;; CHECK-BIN-NEXT: (drop |
| ;; CHECK-BIN-NEXT: (i32.add |
| ;; CHECK-BIN-NEXT: (i32.add |
| ;; CHECK-BIN-NEXT: (i32.const 0) |
| ;; CHECK-BIN-NEXT: (i32.const 313249263) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (i32.const -19088752) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| (func $hexLiterals (type $FUNCSIG$v) |
| (drop |
| (i32.add |
| (i32.add |
| (i32.const 0) |
| (i32.const 313249263) |
| ) |
| (i32.const -19088752) |
| ) |
| ) |
| ) |
| ;; CHECK-TEXT: (func $conversions (type $FUNCSIG$v) |
| ;; CHECK-TEXT-NEXT: (local $i i32) |
| ;; CHECK-TEXT-NEXT: (local $d f64) |
| ;; CHECK-TEXT-NEXT: (block $block0 |
| ;; CHECK-TEXT-NEXT: (local.set $i |
| ;; CHECK-TEXT-NEXT: (call $f64-to-int |
| ;; CHECK-TEXT-NEXT: (local.get $d) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (local.set $d |
| ;; CHECK-TEXT-NEXT: (f64.convert_i32_s |
| ;; CHECK-TEXT-NEXT: (local.get $i) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (local.set $d |
| ;; CHECK-TEXT-NEXT: (f64.convert_i32_u |
| ;; CHECK-TEXT-NEXT: (i32.shr_u |
| ;; CHECK-TEXT-NEXT: (local.get $i) |
| ;; CHECK-TEXT-NEXT: (i32.const 0) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-BIN: (func $conversions (type $FUNCSIG$v) |
| ;; CHECK-BIN-NEXT: (local $i i32) |
| ;; CHECK-BIN-NEXT: (local $d f64) |
| ;; CHECK-BIN-NEXT: (local.set $i |
| ;; CHECK-BIN-NEXT: (call $f64-to-int |
| ;; CHECK-BIN-NEXT: (local.get $d) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (local.set $d |
| ;; CHECK-BIN-NEXT: (f64.convert_i32_s |
| ;; CHECK-BIN-NEXT: (local.get $i) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (local.set $d |
| ;; CHECK-BIN-NEXT: (f64.convert_i32_u |
| ;; CHECK-BIN-NEXT: (i32.shr_u |
| ;; CHECK-BIN-NEXT: (local.get $i) |
| ;; CHECK-BIN-NEXT: (i32.const 0) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-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-TEXT: (func $seq (type $FUNCSIG$v) |
| ;; CHECK-TEXT-NEXT: (local $J f64) |
| ;; CHECK-TEXT-NEXT: (local.set $J |
| ;; CHECK-TEXT-NEXT: (f64.sub |
| ;; CHECK-TEXT-NEXT: (block $block0 (result f64) |
| ;; CHECK-TEXT-NEXT: (drop |
| ;; CHECK-TEXT-NEXT: (f64.const 0.1) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (f64.const 5.1) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (block $block1 (result f64) |
| ;; CHECK-TEXT-NEXT: (drop |
| ;; CHECK-TEXT-NEXT: (f64.const 3.2) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (f64.const 4.2) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-BIN: (func $seq (type $FUNCSIG$v) |
| ;; CHECK-BIN-NEXT: (local $J f64) |
| ;; CHECK-BIN-NEXT: (local.set $J |
| ;; CHECK-BIN-NEXT: (f64.sub |
| ;; CHECK-BIN-NEXT: (block $label$1 (result f64) |
| ;; CHECK-BIN-NEXT: (drop |
| ;; CHECK-BIN-NEXT: (f64.const 0.1) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (f64.const 5.1) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (block $label$2 (result f64) |
| ;; CHECK-BIN-NEXT: (drop |
| ;; CHECK-BIN-NEXT: (f64.const 3.2) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (f64.const 4.2) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-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-TEXT: (func $switcher (type $6) (param $x i32) (result i32) |
| ;; CHECK-TEXT-NEXT: (block $topmost (result i32) |
| ;; CHECK-TEXT-NEXT: (block $switch$0 |
| ;; CHECK-TEXT-NEXT: (block $switch-default$3 |
| ;; CHECK-TEXT-NEXT: (block $switch-case$2 |
| ;; CHECK-TEXT-NEXT: (block $switch-case$1 |
| ;; CHECK-TEXT-NEXT: (br_table $switch-case$1 $switch-case$2 $switch-default$3 |
| ;; CHECK-TEXT-NEXT: (i32.sub |
| ;; CHECK-TEXT-NEXT: (local.get $x) |
| ;; CHECK-TEXT-NEXT: (i32.const 1) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (br $topmost |
| ;; CHECK-TEXT-NEXT: (i32.const 1) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (br $topmost |
| ;; CHECK-TEXT-NEXT: (i32.const 2) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (nop) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (block $switch$4 |
| ;; CHECK-TEXT-NEXT: (block $switch-default$7 |
| ;; CHECK-TEXT-NEXT: (block $switch-case$6 |
| ;; CHECK-TEXT-NEXT: (block $switch-case$5 |
| ;; CHECK-TEXT-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-TEXT-NEXT: (i32.sub |
| ;; CHECK-TEXT-NEXT: (local.get $x) |
| ;; CHECK-TEXT-NEXT: (i32.const 5) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (br $topmost |
| ;; CHECK-TEXT-NEXT: (i32.const 121) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (br $topmost |
| ;; CHECK-TEXT-NEXT: (i32.const 51) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (nop) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (block $label$break$Lout |
| ;; CHECK-TEXT-NEXT: (block $switch-default$16 |
| ;; CHECK-TEXT-NEXT: (block $switch-case$15 |
| ;; CHECK-TEXT-NEXT: (block $switch-case$12 |
| ;; CHECK-TEXT-NEXT: (block $switch-case$9 |
| ;; CHECK-TEXT-NEXT: (block $switch-case$8 |
| ;; CHECK-TEXT-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-TEXT-NEXT: (i32.sub |
| ;; CHECK-TEXT-NEXT: (local.get $x) |
| ;; CHECK-TEXT-NEXT: (i32.const 2) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (br $label$break$Lout) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (br $label$break$Lout) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (block $while-out$10 |
| ;; CHECK-TEXT-NEXT: (loop $while-in$11 |
| ;; CHECK-TEXT-NEXT: (block $block1 |
| ;; CHECK-TEXT-NEXT: (br $while-out$10) |
| ;; CHECK-TEXT-NEXT: (br $while-in$11) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (br $label$break$Lout) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (block $while-out$13 |
| ;; CHECK-TEXT-NEXT: (loop $while-in$14 |
| ;; CHECK-TEXT-NEXT: (block $block3 |
| ;; CHECK-TEXT-NEXT: (br $label$break$Lout) |
| ;; CHECK-TEXT-NEXT: (br $while-in$14) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (br $label$break$Lout) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (nop) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (i32.const 0) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-BIN: (func $switcher (type $6) (param $x i32) (result i32) |
| ;; CHECK-BIN-NEXT: (block $label$1 (result i32) |
| ;; CHECK-BIN-NEXT: (block $label$2 |
| ;; CHECK-BIN-NEXT: (block $label$3 |
| ;; CHECK-BIN-NEXT: (block $label$4 |
| ;; CHECK-BIN-NEXT: (block $label$5 |
| ;; CHECK-BIN-NEXT: (br_table $label$5 $label$4 $label$3 |
| ;; CHECK-BIN-NEXT: (i32.sub |
| ;; CHECK-BIN-NEXT: (local.get $x) |
| ;; CHECK-BIN-NEXT: (i32.const 1) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (br $label$1 |
| ;; CHECK-BIN-NEXT: (i32.const 1) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (br $label$1 |
| ;; CHECK-BIN-NEXT: (i32.const 2) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (nop) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (block $label$6 |
| ;; CHECK-BIN-NEXT: (block $label$7 |
| ;; CHECK-BIN-NEXT: (block $label$8 |
| ;; CHECK-BIN-NEXT: (block $label$9 |
| ;; CHECK-BIN-NEXT: (br_table $label$8 $label$7 $label$7 $label$7 $label$7 $label$7 $label$7 $label$9 $label$7 |
| ;; CHECK-BIN-NEXT: (i32.sub |
| ;; CHECK-BIN-NEXT: (local.get $x) |
| ;; CHECK-BIN-NEXT: (i32.const 5) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (br $label$1 |
| ;; CHECK-BIN-NEXT: (i32.const 121) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (br $label$1 |
| ;; CHECK-BIN-NEXT: (i32.const 51) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (nop) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (block $label$10 |
| ;; CHECK-BIN-NEXT: (block $label$11 |
| ;; CHECK-BIN-NEXT: (block $label$12 |
| ;; CHECK-BIN-NEXT: (block $label$13 |
| ;; CHECK-BIN-NEXT: (block $label$14 |
| ;; CHECK-BIN-NEXT: (block $label$15 |
| ;; CHECK-BIN-NEXT: (br_table $label$12 $label$11 $label$11 $label$13 $label$11 $label$11 $label$11 $label$11 $label$14 $label$11 $label$15 $label$11 |
| ;; CHECK-BIN-NEXT: (i32.sub |
| ;; CHECK-BIN-NEXT: (local.get $x) |
| ;; CHECK-BIN-NEXT: (i32.const 2) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (br $label$10) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (br $label$10) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (block $label$16 |
| ;; CHECK-BIN-NEXT: (loop $label$17 |
| ;; CHECK-BIN-NEXT: (br $label$16) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (block $label$18 |
| ;; CHECK-BIN-NEXT: (loop $label$19 |
| ;; CHECK-BIN-NEXT: (br $label$10) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (nop) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (i32.const 0) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-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-TEXT: (func $blocker (type $FUNCSIG$v) |
| ;; CHECK-TEXT-NEXT: (block $label$break$L |
| ;; CHECK-TEXT-NEXT: (br $label$break$L) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-BIN: (func $blocker (type $FUNCSIG$v) |
| ;; CHECK-BIN-NEXT: (block $label$1 |
| ;; CHECK-BIN-NEXT: (br $label$1) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| (func $blocker (type $FUNCSIG$v) |
| (block $label$break$L |
| (br $label$break$L) |
| ) |
| ) |
| ;; CHECK-TEXT: (func $frem (type $4) (result f64) |
| ;; CHECK-TEXT-NEXT: (call $f64-rem |
| ;; CHECK-TEXT-NEXT: (f64.const 5.5) |
| ;; CHECK-TEXT-NEXT: (f64.const 1.2) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-BIN: (func $frem (type $4) (result f64) |
| ;; CHECK-BIN-NEXT: (call $f64-rem |
| ;; CHECK-BIN-NEXT: (f64.const 5.5) |
| ;; CHECK-BIN-NEXT: (f64.const 1.2) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| (func $frem (type $4) (result f64) |
| (call $f64-rem |
| (f64.const 5.5) |
| (f64.const 1.2) |
| ) |
| ) |
| ;; CHECK-TEXT: (func $big_uint_div_u (type $5) (result i32) |
| ;; CHECK-TEXT-NEXT: (local $x i32) |
| ;; CHECK-TEXT-NEXT: (block $topmost (result i32) |
| ;; CHECK-TEXT-NEXT: (local.set $x |
| ;; CHECK-TEXT-NEXT: (i32.and |
| ;; CHECK-TEXT-NEXT: (i32.div_u |
| ;; CHECK-TEXT-NEXT: (i32.const -1) |
| ;; CHECK-TEXT-NEXT: (i32.const 2) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (i32.const -1) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (local.get $x) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-BIN: (func $big_uint_div_u (type $5) (result i32) |
| ;; CHECK-BIN-NEXT: (local $x i32) |
| ;; CHECK-BIN-NEXT: (local.set $x |
| ;; CHECK-BIN-NEXT: (i32.and |
| ;; CHECK-BIN-NEXT: (i32.div_u |
| ;; CHECK-BIN-NEXT: (i32.const -1) |
| ;; CHECK-BIN-NEXT: (i32.const 2) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (i32.const -1) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (local.get $x) |
| ;; CHECK-BIN-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-TEXT: (func $fr (type $FUNCSIG$vf) (param $x f32) |
| ;; CHECK-TEXT-NEXT: (local $y f32) |
| ;; CHECK-TEXT-NEXT: (local $z f64) |
| ;; CHECK-TEXT-NEXT: (block $block0 |
| ;; CHECK-TEXT-NEXT: (drop |
| ;; CHECK-TEXT-NEXT: (f32.demote_f64 |
| ;; CHECK-TEXT-NEXT: (local.get $z) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (drop |
| ;; CHECK-TEXT-NEXT: (local.get $y) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (drop |
| ;; CHECK-TEXT-NEXT: (f32.const 5) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (drop |
| ;; CHECK-TEXT-NEXT: (f32.const 0) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (drop |
| ;; CHECK-TEXT-NEXT: (f32.const 5) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (drop |
| ;; CHECK-TEXT-NEXT: (f32.const 0) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-BIN: (func $fr (type $FUNCSIG$vf) (param $x f32) |
| ;; CHECK-BIN-NEXT: (local $y f32) |
| ;; CHECK-BIN-NEXT: (local $z f64) |
| ;; CHECK-BIN-NEXT: (drop |
| ;; CHECK-BIN-NEXT: (f32.demote_f64 |
| ;; CHECK-BIN-NEXT: (local.get $z) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (drop |
| ;; CHECK-BIN-NEXT: (local.get $y) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (drop |
| ;; CHECK-BIN-NEXT: (f32.const 5) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (drop |
| ;; CHECK-BIN-NEXT: (f32.const 0) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (drop |
| ;; CHECK-BIN-NEXT: (f32.const 5) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (drop |
| ;; CHECK-BIN-NEXT: (f32.const 0) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-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-TEXT: (func $negZero (type $4) (result f64) |
| ;; CHECK-TEXT-NEXT: (f64.const -0) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-BIN: (func $negZero (type $4) (result f64) |
| ;; CHECK-BIN-NEXT: (f64.const -0) |
| ;; CHECK-BIN-NEXT: ) |
| (func $negZero (type $4) (result f64) |
| (f64.const -0) |
| ) |
| ;; CHECK-TEXT: (func $abs (type $FUNCSIG$v) |
| ;; CHECK-TEXT-NEXT: (local $x i32) |
| ;; CHECK-TEXT-NEXT: (local $y f64) |
| ;; CHECK-TEXT-NEXT: (local $z f32) |
| ;; CHECK-TEXT-NEXT: (local $asm2wasm_i32_temp i32) |
| ;; CHECK-TEXT-NEXT: (block $block0 |
| ;; CHECK-TEXT-NEXT: (local.set $x |
| ;; CHECK-TEXT-NEXT: (block $block1 (result i32) |
| ;; CHECK-TEXT-NEXT: (local.set $asm2wasm_i32_temp |
| ;; CHECK-TEXT-NEXT: (i32.const 0) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (select |
| ;; CHECK-TEXT-NEXT: (i32.sub |
| ;; CHECK-TEXT-NEXT: (i32.const 0) |
| ;; CHECK-TEXT-NEXT: (local.get $asm2wasm_i32_temp) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (local.get $asm2wasm_i32_temp) |
| ;; CHECK-TEXT-NEXT: (i32.lt_s |
| ;; CHECK-TEXT-NEXT: (local.get $asm2wasm_i32_temp) |
| ;; CHECK-TEXT-NEXT: (i32.const 0) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (local.set $y |
| ;; CHECK-TEXT-NEXT: (f64.abs |
| ;; CHECK-TEXT-NEXT: (f64.const 0) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (local.set $z |
| ;; CHECK-TEXT-NEXT: (f32.abs |
| ;; CHECK-TEXT-NEXT: (f32.const 0) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-BIN: (func $abs (type $FUNCSIG$v) |
| ;; CHECK-BIN-NEXT: (local $x i32) |
| ;; CHECK-BIN-NEXT: (local $asm2wasm_i32_temp i32) |
| ;; CHECK-BIN-NEXT: (local $y f64) |
| ;; CHECK-BIN-NEXT: (local $z f32) |
| ;; CHECK-BIN-NEXT: (local.set $x |
| ;; CHECK-BIN-NEXT: (block $label$1 (result i32) |
| ;; CHECK-BIN-NEXT: (local.set $asm2wasm_i32_temp |
| ;; CHECK-BIN-NEXT: (i32.const 0) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (select |
| ;; CHECK-BIN-NEXT: (i32.sub |
| ;; CHECK-BIN-NEXT: (i32.const 0) |
| ;; CHECK-BIN-NEXT: (local.get $asm2wasm_i32_temp) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (local.get $asm2wasm_i32_temp) |
| ;; CHECK-BIN-NEXT: (i32.lt_s |
| ;; CHECK-BIN-NEXT: (local.get $asm2wasm_i32_temp) |
| ;; CHECK-BIN-NEXT: (i32.const 0) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (local.set $y |
| ;; CHECK-BIN-NEXT: (f64.abs |
| ;; CHECK-BIN-NEXT: (f64.const 0) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (local.set $z |
| ;; CHECK-BIN-NEXT: (f32.abs |
| ;; CHECK-BIN-NEXT: (f32.const 0) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-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-TEXT: (func $neg (type $FUNCSIG$v) |
| ;; CHECK-TEXT-NEXT: (local $x f32) |
| ;; CHECK-TEXT-NEXT: (block $block0 |
| ;; CHECK-TEXT-NEXT: (local.set $x |
| ;; CHECK-TEXT-NEXT: (f32.neg |
| ;; CHECK-TEXT-NEXT: (local.get $x) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (call_indirect $0 (type $FUNCSIG$vf) |
| ;; CHECK-TEXT-NEXT: (local.get $x) |
| ;; CHECK-TEXT-NEXT: (i32.add |
| ;; CHECK-TEXT-NEXT: (i32.and |
| ;; CHECK-TEXT-NEXT: (i32.const 1) |
| ;; CHECK-TEXT-NEXT: (i32.const 7) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (i32.const 8) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-BIN: (func $neg (type $FUNCSIG$v) |
| ;; CHECK-BIN-NEXT: (local $x f32) |
| ;; CHECK-BIN-NEXT: (local.set $x |
| ;; CHECK-BIN-NEXT: (f32.neg |
| ;; CHECK-BIN-NEXT: (local.get $x) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (call_indirect $0 (type $FUNCSIG$vf) |
| ;; CHECK-BIN-NEXT: (local.get $x) |
| ;; CHECK-BIN-NEXT: (i32.add |
| ;; CHECK-BIN-NEXT: (i32.and |
| ;; CHECK-BIN-NEXT: (i32.const 1) |
| ;; CHECK-BIN-NEXT: (i32.const 7) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (i32.const 8) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-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-TEXT: (func $cneg (type $FUNCSIG$vf) (param $x f32) |
| ;; CHECK-TEXT-NEXT: (call_indirect $0 (type $FUNCSIG$vf) |
| ;; CHECK-TEXT-NEXT: (local.get $x) |
| ;; CHECK-TEXT-NEXT: (i32.add |
| ;; CHECK-TEXT-NEXT: (i32.and |
| ;; CHECK-TEXT-NEXT: (i32.const 1) |
| ;; CHECK-TEXT-NEXT: (i32.const 7) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (i32.const 8) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-BIN: (func $cneg (type $FUNCSIG$vf) (param $x f32) |
| ;; CHECK-BIN-NEXT: (call_indirect $0 (type $FUNCSIG$vf) |
| ;; CHECK-BIN-NEXT: (local.get $x) |
| ;; CHECK-BIN-NEXT: (i32.add |
| ;; CHECK-BIN-NEXT: (i32.and |
| ;; CHECK-BIN-NEXT: (i32.const 1) |
| ;; CHECK-BIN-NEXT: (i32.const 7) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (i32.const 8) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-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-TEXT: (func $___syscall_ret (type $FUNCSIG$v) |
| ;; CHECK-TEXT-NEXT: (local $$0 i32) |
| ;; CHECK-TEXT-NEXT: (drop |
| ;; CHECK-TEXT-NEXT: (i32.gt_u |
| ;; CHECK-TEXT-NEXT: (i32.shr_u |
| ;; CHECK-TEXT-NEXT: (local.get $$0) |
| ;; CHECK-TEXT-NEXT: (i32.const 0) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (i32.const -4096) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-BIN: (func $___syscall_ret (type $FUNCSIG$v) |
| ;; CHECK-BIN-NEXT: (local $$0 i32) |
| ;; CHECK-BIN-NEXT: (drop |
| ;; CHECK-BIN-NEXT: (i32.gt_u |
| ;; CHECK-BIN-NEXT: (i32.shr_u |
| ;; CHECK-BIN-NEXT: (local.get $$0) |
| ;; CHECK-BIN-NEXT: (i32.const 0) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (i32.const -4096) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-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-TEXT: (func $z (type $FUNCSIG$v) |
| ;; CHECK-TEXT-NEXT: (nop) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-BIN: (func $z (type $FUNCSIG$v) |
| ;; CHECK-BIN-NEXT: (nop) |
| ;; CHECK-BIN-NEXT: ) |
| (func $z (type $FUNCSIG$v) |
| (nop) |
| ) |
| ;; CHECK-TEXT: (func $w (type $FUNCSIG$v) |
| ;; CHECK-TEXT-NEXT: (nop) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-BIN: (func $w (type $FUNCSIG$v) |
| ;; CHECK-BIN-NEXT: (nop) |
| ;; CHECK-BIN-NEXT: ) |
| (func $w (type $FUNCSIG$v) |
| (nop) |
| ) |
| ;; CHECK-TEXT: (func $block_and_after (type $5) (result i32) |
| ;; CHECK-TEXT-NEXT: (block $waka |
| ;; CHECK-TEXT-NEXT: (drop |
| ;; CHECK-TEXT-NEXT: (i32.const 1) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (br $waka) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (i32.const 0) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-BIN: (func $block_and_after (type $5) (result i32) |
| ;; CHECK-BIN-NEXT: (block $label$1 |
| ;; CHECK-BIN-NEXT: (drop |
| ;; CHECK-BIN-NEXT: (i32.const 1) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (br $label$1) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (i32.const 0) |
| ;; CHECK-BIN-NEXT: ) |
| (func $block_and_after (type $5) (result i32) |
| (block $waka |
| (drop |
| (i32.const 1) |
| ) |
| (br $waka) |
| ) |
| (i32.const 0) |
| ) |
| ;; CHECK-TEXT: (func $loop-roundtrip (type $7) (param $0 f64) (result f64) |
| ;; CHECK-TEXT-NEXT: (loop $loop-in1 (result f64) |
| ;; CHECK-TEXT-NEXT: (drop |
| ;; CHECK-TEXT-NEXT: (local.get $0) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (local.get $0) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-BIN: (func $loop-roundtrip (type $7) (param $0 f64) (result f64) |
| ;; CHECK-BIN-NEXT: (loop $label$1 (result f64) |
| ;; CHECK-BIN-NEXT: (drop |
| ;; CHECK-BIN-NEXT: (local.get $0) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (local.get $0) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| (func $loop-roundtrip (type $7) (param $0 f64) (result f64) |
| (loop $loop-in1 (result f64) |
| (drop |
| (local.get $0) |
| ) |
| (local.get $0) |
| ) |
| ) |
| ;; CHECK-TEXT: (func $big-i64 (type $8) (result i64) |
| ;; CHECK-TEXT-NEXT: (i64.const -9218868437227405313) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-BIN: (func $big-i64 (type $8) (result i64) |
| ;; CHECK-BIN-NEXT: (i64.const -9218868437227405313) |
| ;; CHECK-BIN-NEXT: ) |
| (func $big-i64 (type $8) (result i64) |
| (i64.const -9218868437227405313) |
| ) |
| ;; CHECK-TEXT: (func $i64-store32 (type $9) (param $0 i32) (param $1 i64) |
| ;; CHECK-TEXT-NEXT: (i64.store32 |
| ;; CHECK-TEXT-NEXT: (local.get $0) |
| ;; CHECK-TEXT-NEXT: (local.get $1) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-BIN: (func $i64-store32 (type $9) (param $0 i32) (param $1 i64) |
| ;; CHECK-BIN-NEXT: (i64.store32 |
| ;; CHECK-BIN-NEXT: (local.get $0) |
| ;; CHECK-BIN-NEXT: (local.get $1) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| (func $i64-store32 (type $9) (param $0 i32) (param $1 i64) |
| (i64.store32 |
| (local.get $0) |
| (local.get $1) |
| ) |
| ) |
| ;; CHECK-TEXT: (func $return-unreachable (type $5) (result i32) |
| ;; CHECK-TEXT-NEXT: (return |
| ;; CHECK-TEXT-NEXT: (i32.const 1) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-BIN: (func $return-unreachable (type $5) (result i32) |
| ;; CHECK-BIN-NEXT: (return |
| ;; CHECK-BIN-NEXT: (i32.const 1) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| (func $return-unreachable (result i32) |
| (return (i32.const 1)) |
| ) |
| ;; CHECK-TEXT: (func $unreachable-block (type $5) (result i32) |
| ;; CHECK-TEXT-NEXT: (f64.abs |
| ;; CHECK-TEXT-NEXT: (block |
| ;; CHECK-TEXT-NEXT: (drop |
| ;; CHECK-TEXT-NEXT: (i32.const 1) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (return |
| ;; CHECK-TEXT-NEXT: (i32.const 2) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-BIN: (func $unreachable-block (type $5) (result i32) |
| ;; CHECK-BIN-NEXT: (drop |
| ;; CHECK-BIN-NEXT: (i32.const 1) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (return |
| ;; CHECK-BIN-NEXT: (i32.const 2) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-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-TEXT: (func $unreachable-block-toplevel (type $5) (result i32) |
| ;; CHECK-TEXT-NEXT: (drop |
| ;; CHECK-TEXT-NEXT: (i32.const 1) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (return |
| ;; CHECK-TEXT-NEXT: (i32.const 2) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-BIN: (func $unreachable-block-toplevel (type $5) (result i32) |
| ;; CHECK-BIN-NEXT: (drop |
| ;; CHECK-BIN-NEXT: (i32.const 1) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (return |
| ;; CHECK-BIN-NEXT: (i32.const 2) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-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-TEXT: (func $unreachable-block0 (type $5) (result i32) |
| ;; CHECK-TEXT-NEXT: (f64.abs |
| ;; CHECK-TEXT-NEXT: (block |
| ;; CHECK-TEXT-NEXT: (return |
| ;; CHECK-TEXT-NEXT: (i32.const 2) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-BIN: (func $unreachable-block0 (type $5) (result i32) |
| ;; CHECK-BIN-NEXT: (return |
| ;; CHECK-BIN-NEXT: (i32.const 2) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-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-TEXT: (func $unreachable-block0-toplevel (type $5) (result i32) |
| ;; CHECK-TEXT-NEXT: (return |
| ;; CHECK-TEXT-NEXT: (i32.const 2) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-BIN: (func $unreachable-block0-toplevel (type $5) (result i32) |
| ;; CHECK-BIN-NEXT: (return |
| ;; CHECK-BIN-NEXT: (i32.const 2) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-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-TEXT: (func $unreachable-block-with-br (type $5) (result i32) |
| ;; CHECK-TEXT-NEXT: (block $block |
| ;; CHECK-TEXT-NEXT: (drop |
| ;; CHECK-TEXT-NEXT: (i32.const 1) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (br $block) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (i32.const 1) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-BIN: (func $unreachable-block-with-br (type $5) (result i32) |
| ;; CHECK-BIN-NEXT: (block $label$1 |
| ;; CHECK-BIN-NEXT: (drop |
| ;; CHECK-BIN-NEXT: (i32.const 1) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (br $label$1) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (i32.const 1) |
| ;; CHECK-BIN-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-TEXT: (func $unreachable-if (type $5) (result i32) |
| ;; CHECK-TEXT-NEXT: (f64.abs |
| ;; CHECK-TEXT-NEXT: (if |
| ;; CHECK-TEXT-NEXT: (i32.const 3) |
| ;; CHECK-TEXT-NEXT: (then |
| ;; CHECK-TEXT-NEXT: (return |
| ;; CHECK-TEXT-NEXT: (i32.const 2) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (else |
| ;; CHECK-TEXT-NEXT: (return |
| ;; CHECK-TEXT-NEXT: (i32.const 1) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-BIN: (func $unreachable-if (type $5) (result i32) |
| ;; CHECK-BIN-NEXT: (if |
| ;; CHECK-BIN-NEXT: (i32.const 3) |
| ;; CHECK-BIN-NEXT: (then |
| ;; CHECK-BIN-NEXT: (return |
| ;; CHECK-BIN-NEXT: (i32.const 2) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (else |
| ;; CHECK-BIN-NEXT: (return |
| ;; CHECK-BIN-NEXT: (i32.const 1) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-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-TEXT: (func $unreachable-if-toplevel (type $5) (result i32) |
| ;; CHECK-TEXT-NEXT: (if |
| ;; CHECK-TEXT-NEXT: (i32.const 3) |
| ;; CHECK-TEXT-NEXT: (then |
| ;; CHECK-TEXT-NEXT: (return |
| ;; CHECK-TEXT-NEXT: (i32.const 2) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (else |
| ;; CHECK-TEXT-NEXT: (return |
| ;; CHECK-TEXT-NEXT: (i32.const 1) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-BIN: (func $unreachable-if-toplevel (type $5) (result i32) |
| ;; CHECK-BIN-NEXT: (if |
| ;; CHECK-BIN-NEXT: (i32.const 3) |
| ;; CHECK-BIN-NEXT: (then |
| ;; CHECK-BIN-NEXT: (return |
| ;; CHECK-BIN-NEXT: (i32.const 2) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (else |
| ;; CHECK-BIN-NEXT: (return |
| ;; CHECK-BIN-NEXT: (i32.const 1) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-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-TEXT: (func $unreachable-loop (type $5) (result i32) |
| ;; CHECK-TEXT-NEXT: (f64.abs |
| ;; CHECK-TEXT-NEXT: (loop |
| ;; CHECK-TEXT-NEXT: (nop) |
| ;; CHECK-TEXT-NEXT: (return |
| ;; CHECK-TEXT-NEXT: (i32.const 1) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-BIN: (func $unreachable-loop (type $5) (result i32) |
| ;; CHECK-BIN-NEXT: (loop $label$1 |
| ;; CHECK-BIN-NEXT: (nop) |
| ;; CHECK-BIN-NEXT: (return |
| ;; CHECK-BIN-NEXT: (i32.const 1) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-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-TEXT: (func $unreachable-loop0 (type $5) (result i32) |
| ;; CHECK-TEXT-NEXT: (f64.abs |
| ;; CHECK-TEXT-NEXT: (loop |
| ;; CHECK-TEXT-NEXT: (return |
| ;; CHECK-TEXT-NEXT: (i32.const 1) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-BIN: (func $unreachable-loop0 (type $5) (result i32) |
| ;; CHECK-BIN-NEXT: (loop $label$1 |
| ;; CHECK-BIN-NEXT: (return |
| ;; CHECK-BIN-NEXT: (i32.const 1) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-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-TEXT: (func $unreachable-loop-toplevel (type $5) (result i32) |
| ;; CHECK-TEXT-NEXT: (loop |
| ;; CHECK-TEXT-NEXT: (nop) |
| ;; CHECK-TEXT-NEXT: (return |
| ;; CHECK-TEXT-NEXT: (i32.const 1) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-BIN: (func $unreachable-loop-toplevel (type $5) (result i32) |
| ;; CHECK-BIN-NEXT: (loop $label$1 |
| ;; CHECK-BIN-NEXT: (nop) |
| ;; CHECK-BIN-NEXT: (return |
| ;; CHECK-BIN-NEXT: (i32.const 1) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-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-TEXT: (func $unreachable-loop0-toplevel (type $5) (result i32) |
| ;; CHECK-TEXT-NEXT: (loop |
| ;; CHECK-TEXT-NEXT: (return |
| ;; CHECK-TEXT-NEXT: (i32.const 1) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-BIN: (func $unreachable-loop0-toplevel (type $5) (result i32) |
| ;; CHECK-BIN-NEXT: (loop $label$1 |
| ;; CHECK-BIN-NEXT: (return |
| ;; CHECK-BIN-NEXT: (i32.const 1) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-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-TEXT: (func $unreachable-ifs (type $FUNCSIG$v) |
| ;; CHECK-TEXT-NEXT: (if |
| ;; CHECK-TEXT-NEXT: (unreachable) |
| ;; CHECK-TEXT-NEXT: (then |
| ;; CHECK-TEXT-NEXT: (nop) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (if |
| ;; CHECK-TEXT-NEXT: (unreachable) |
| ;; CHECK-TEXT-NEXT: (then |
| ;; CHECK-TEXT-NEXT: (unreachable) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (if |
| ;; CHECK-TEXT-NEXT: (unreachable) |
| ;; CHECK-TEXT-NEXT: (then |
| ;; CHECK-TEXT-NEXT: (nop) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (else |
| ;; CHECK-TEXT-NEXT: (nop) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (if |
| ;; CHECK-TEXT-NEXT: (unreachable) |
| ;; CHECK-TEXT-NEXT: (then |
| ;; CHECK-TEXT-NEXT: (unreachable) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (else |
| ;; CHECK-TEXT-NEXT: (nop) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (if |
| ;; CHECK-TEXT-NEXT: (unreachable) |
| ;; CHECK-TEXT-NEXT: (then |
| ;; CHECK-TEXT-NEXT: (nop) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (else |
| ;; CHECK-TEXT-NEXT: (unreachable) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (if |
| ;; CHECK-TEXT-NEXT: (unreachable) |
| ;; CHECK-TEXT-NEXT: (then |
| ;; CHECK-TEXT-NEXT: (unreachable) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (else |
| ;; CHECK-TEXT-NEXT: (unreachable) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (if |
| ;; CHECK-TEXT-NEXT: (i32.const 1) |
| ;; CHECK-TEXT-NEXT: (then |
| ;; CHECK-TEXT-NEXT: (unreachable) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (else |
| ;; CHECK-TEXT-NEXT: (nop) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (if |
| ;; CHECK-TEXT-NEXT: (i32.const 1) |
| ;; CHECK-TEXT-NEXT: (then |
| ;; CHECK-TEXT-NEXT: (nop) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (else |
| ;; CHECK-TEXT-NEXT: (unreachable) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (if |
| ;; CHECK-TEXT-NEXT: (i32.const 1) |
| ;; CHECK-TEXT-NEXT: (then |
| ;; CHECK-TEXT-NEXT: (unreachable) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (else |
| ;; CHECK-TEXT-NEXT: (unreachable) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-BIN: (func $unreachable-ifs (type $FUNCSIG$v) |
| ;; CHECK-BIN-NEXT: (unreachable) |
| ;; CHECK-BIN-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-TEXT: (func $unreachable-if-arm (type $FUNCSIG$v) |
| ;; CHECK-TEXT-NEXT: (if |
| ;; CHECK-TEXT-NEXT: (i32.const 1) |
| ;; CHECK-TEXT-NEXT: (then |
| ;; CHECK-TEXT-NEXT: (nop) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (else |
| ;; CHECK-TEXT-NEXT: (unreachable) |
| ;; CHECK-TEXT-NEXT: (drop |
| ;; CHECK-TEXT-NEXT: (i32.const 1) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-BIN: (func $unreachable-if-arm (type $FUNCSIG$v) |
| ;; CHECK-BIN-NEXT: (if |
| ;; CHECK-BIN-NEXT: (i32.const 1) |
| ;; CHECK-BIN-NEXT: (then |
| ;; CHECK-BIN-NEXT: (nop) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (else |
| ;; CHECK-BIN-NEXT: (unreachable) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| (func $unreachable-if-arm |
| (if |
| (i32.const 1) |
| (then |
| (block |
| (nop) |
| ) |
| ) |
| (else |
| (block |
| (unreachable) |
| (drop |
| (i32.const 1) |
| ) |
| ) |
| ) |
| ) |
| ) |
| ) |
| ;; CHECK-BIN-NODEBUG: (data $0 (i32.const 1026) "\14\00") |
| |
| ;; CHECK-BIN-NODEBUG: (table $0 10 funcref) |
| |
| ;; CHECK-BIN-NODEBUG: (elem $0 (i32.const 0) $17 $0 $17 $17 $18 $18 $1 $18 $17 $15) |
| |
| ;; CHECK-BIN-NODEBUG: (export "big_negative" (func $0)) |
| |
| ;; CHECK-BIN-NODEBUG: (func $0 (type $1) |
| ;; CHECK-BIN-NODEBUG-NEXT: (local $0 f64) |
| ;; CHECK-BIN-NODEBUG-NEXT: (local.set $0 |
| ;; CHECK-BIN-NODEBUG-NEXT: (f64.const -2147483648) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: (local.set $0 |
| ;; CHECK-BIN-NODEBUG-NEXT: (f64.const -2147483648) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: (local.set $0 |
| ;; CHECK-BIN-NODEBUG-NEXT: (f64.const -21474836480) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: (local.set $0 |
| ;; CHECK-BIN-NODEBUG-NEXT: (f64.const 0.039625) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: (local.set $0 |
| ;; CHECK-BIN-NODEBUG-NEXT: (f64.const -0.039625) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| |
| ;; CHECK-BIN-NODEBUG: (func $1 (type $3) (result f64) |
| ;; CHECK-BIN-NODEBUG-NEXT: (local $0 f64) |
| ;; CHECK-BIN-NODEBUG-NEXT: (block $label$1 (result f64) |
| ;; CHECK-BIN-NODEBUG-NEXT: (local.set $0 |
| ;; CHECK-BIN-NODEBUG-NEXT: (f64.add |
| ;; CHECK-BIN-NODEBUG-NEXT: (f64.add |
| ;; CHECK-BIN-NODEBUG-NEXT: (f64.add |
| ;; CHECK-BIN-NODEBUG-NEXT: (f64.load |
| ;; CHECK-BIN-NODEBUG-NEXT: (i32.const 8) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: (f64.load |
| ;; CHECK-BIN-NODEBUG-NEXT: (i32.const 16) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: (f64.neg |
| ;; CHECK-BIN-NODEBUG-NEXT: (f64.load |
| ;; CHECK-BIN-NODEBUG-NEXT: (i32.const 16) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: (f64.neg |
| ;; CHECK-BIN-NODEBUG-NEXT: (f64.load |
| ;; CHECK-BIN-NODEBUG-NEXT: (i32.const 8) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: (if |
| ;; CHECK-BIN-NODEBUG-NEXT: (i32.gt_s |
| ;; CHECK-BIN-NODEBUG-NEXT: (i32.load |
| ;; CHECK-BIN-NODEBUG-NEXT: (i32.const 24) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: (i32.const 0) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: (then |
| ;; CHECK-BIN-NODEBUG-NEXT: (br $label$1 |
| ;; CHECK-BIN-NODEBUG-NEXT: (f64.const -3.4) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: (if |
| ;; CHECK-BIN-NODEBUG-NEXT: (f64.gt |
| ;; CHECK-BIN-NODEBUG-NEXT: (f64.load |
| ;; CHECK-BIN-NODEBUG-NEXT: (i32.const 32) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: (f64.const 0) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: (then |
| ;; CHECK-BIN-NODEBUG-NEXT: (br $label$1 |
| ;; CHECK-BIN-NODEBUG-NEXT: (f64.const 5.6) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: (f64.const 1.2) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| |
| ;; CHECK-BIN-NODEBUG: (func $2 (type $4) (param $0 f64) (param $1 f64) (result f64) |
| ;; CHECK-BIN-NODEBUG-NEXT: (local $2 f64) |
| ;; CHECK-BIN-NODEBUG-NEXT: (local $3 f64) |
| ;; CHECK-BIN-NODEBUG-NEXT: (local $4 i32) |
| ;; CHECK-BIN-NODEBUG-NEXT: (block $label$1 (result f64) |
| ;; CHECK-BIN-NODEBUG-NEXT: (if |
| ;; CHECK-BIN-NODEBUG-NEXT: (f64.gt |
| ;; CHECK-BIN-NODEBUG-NEXT: (local.get $0) |
| ;; CHECK-BIN-NODEBUG-NEXT: (f64.const 0) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: (then |
| ;; CHECK-BIN-NODEBUG-NEXT: (br $label$1 |
| ;; CHECK-BIN-NODEBUG-NEXT: (f64.const 1.2) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: (if |
| ;; CHECK-BIN-NODEBUG-NEXT: (f64.gt |
| ;; CHECK-BIN-NODEBUG-NEXT: (local.get $3) |
| ;; CHECK-BIN-NODEBUG-NEXT: (f64.const 0) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: (then |
| ;; CHECK-BIN-NODEBUG-NEXT: (br $label$1 |
| ;; CHECK-BIN-NODEBUG-NEXT: (f64.const -3.4) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: (if |
| ;; CHECK-BIN-NODEBUG-NEXT: (i32.gt_s |
| ;; CHECK-BIN-NODEBUG-NEXT: (local.get $4) |
| ;; CHECK-BIN-NODEBUG-NEXT: (i32.const 0) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: (then |
| ;; CHECK-BIN-NODEBUG-NEXT: (br $label$1 |
| ;; CHECK-BIN-NODEBUG-NEXT: (f64.const 5.6) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: (if |
| ;; CHECK-BIN-NODEBUG-NEXT: (f64.lt |
| ;; CHECK-BIN-NODEBUG-NEXT: (local.get $0) |
| ;; CHECK-BIN-NODEBUG-NEXT: (local.get $1) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: (then |
| ;; CHECK-BIN-NODEBUG-NEXT: (br $label$1 |
| ;; CHECK-BIN-NODEBUG-NEXT: (local.get $0) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: (local.get $1) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| |
| ;; CHECK-BIN-NODEBUG: (func $3 (type $0) (result i32) |
| ;; CHECK-BIN-NODEBUG-NEXT: (local $0 i32) |
| ;; CHECK-BIN-NODEBUG-NEXT: (i32.eq |
| ;; CHECK-BIN-NODEBUG-NEXT: (local.get $0) |
| ;; CHECK-BIN-NODEBUG-NEXT: (i32.const 0) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| |
| ;; CHECK-BIN-NODEBUG: (func $4 (type $1) |
| ;; CHECK-BIN-NODEBUG-NEXT: (drop |
| ;; CHECK-BIN-NODEBUG-NEXT: (i32.add |
| ;; CHECK-BIN-NODEBUG-NEXT: (i32.add |
| ;; CHECK-BIN-NODEBUG-NEXT: (i32.const 0) |
| ;; CHECK-BIN-NODEBUG-NEXT: (i32.const 313249263) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: (i32.const -19088752) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| |
| ;; CHECK-BIN-NODEBUG: (func $5 (type $1) |
| ;; CHECK-BIN-NODEBUG-NEXT: (local $0 i32) |
| ;; CHECK-BIN-NODEBUG-NEXT: (local $1 f64) |
| ;; CHECK-BIN-NODEBUG-NEXT: (local.set $0 |
| ;; CHECK-BIN-NODEBUG-NEXT: (call $fimport$1 |
| ;; CHECK-BIN-NODEBUG-NEXT: (local.get $1) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: (local.set $1 |
| ;; CHECK-BIN-NODEBUG-NEXT: (f64.convert_i32_s |
| ;; CHECK-BIN-NODEBUG-NEXT: (local.get $0) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: (local.set $1 |
| ;; CHECK-BIN-NODEBUG-NEXT: (f64.convert_i32_u |
| ;; CHECK-BIN-NODEBUG-NEXT: (i32.shr_u |
| ;; CHECK-BIN-NODEBUG-NEXT: (local.get $0) |
| ;; CHECK-BIN-NODEBUG-NEXT: (i32.const 0) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| |
| ;; CHECK-BIN-NODEBUG: (func $6 (type $1) |
| ;; CHECK-BIN-NODEBUG-NEXT: (local $0 f64) |
| ;; CHECK-BIN-NODEBUG-NEXT: (local.set $0 |
| ;; CHECK-BIN-NODEBUG-NEXT: (f64.sub |
| ;; CHECK-BIN-NODEBUG-NEXT: (block $label$1 (result f64) |
| ;; CHECK-BIN-NODEBUG-NEXT: (drop |
| ;; CHECK-BIN-NODEBUG-NEXT: (f64.const 0.1) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: (f64.const 5.1) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: (block $label$2 (result f64) |
| ;; CHECK-BIN-NODEBUG-NEXT: (drop |
| ;; CHECK-BIN-NODEBUG-NEXT: (f64.const 3.2) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: (f64.const 4.2) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| |
| ;; CHECK-BIN-NODEBUG: (func $7 (type $6) (param $0 i32) (result i32) |
| ;; CHECK-BIN-NODEBUG-NEXT: (block $label$1 (result i32) |
| ;; CHECK-BIN-NODEBUG-NEXT: (block $label$2 |
| ;; CHECK-BIN-NODEBUG-NEXT: (block $label$3 |
| ;; CHECK-BIN-NODEBUG-NEXT: (block $label$4 |
| ;; CHECK-BIN-NODEBUG-NEXT: (block $label$5 |
| ;; CHECK-BIN-NODEBUG-NEXT: (br_table $label$5 $label$4 $label$3 |
| ;; CHECK-BIN-NODEBUG-NEXT: (i32.sub |
| ;; CHECK-BIN-NODEBUG-NEXT: (local.get $0) |
| ;; CHECK-BIN-NODEBUG-NEXT: (i32.const 1) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: (br $label$1 |
| ;; CHECK-BIN-NODEBUG-NEXT: (i32.const 1) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: (br $label$1 |
| ;; CHECK-BIN-NODEBUG-NEXT: (i32.const 2) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: (nop) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: (block $label$6 |
| ;; CHECK-BIN-NODEBUG-NEXT: (block $label$7 |
| ;; CHECK-BIN-NODEBUG-NEXT: (block $label$8 |
| ;; CHECK-BIN-NODEBUG-NEXT: (block $label$9 |
| ;; CHECK-BIN-NODEBUG-NEXT: (br_table $label$8 $label$7 $label$7 $label$7 $label$7 $label$7 $label$7 $label$9 $label$7 |
| ;; CHECK-BIN-NODEBUG-NEXT: (i32.sub |
| ;; CHECK-BIN-NODEBUG-NEXT: (local.get $0) |
| ;; CHECK-BIN-NODEBUG-NEXT: (i32.const 5) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: (br $label$1 |
| ;; CHECK-BIN-NODEBUG-NEXT: (i32.const 121) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: (br $label$1 |
| ;; CHECK-BIN-NODEBUG-NEXT: (i32.const 51) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: (nop) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: (block $label$10 |
| ;; CHECK-BIN-NODEBUG-NEXT: (block $label$11 |
| ;; CHECK-BIN-NODEBUG-NEXT: (block $label$12 |
| ;; CHECK-BIN-NODEBUG-NEXT: (block $label$13 |
| ;; CHECK-BIN-NODEBUG-NEXT: (block $label$14 |
| ;; CHECK-BIN-NODEBUG-NEXT: (block $label$15 |
| ;; CHECK-BIN-NODEBUG-NEXT: (br_table $label$12 $label$11 $label$11 $label$13 $label$11 $label$11 $label$11 $label$11 $label$14 $label$11 $label$15 $label$11 |
| ;; CHECK-BIN-NODEBUG-NEXT: (i32.sub |
| ;; CHECK-BIN-NODEBUG-NEXT: (local.get $0) |
| ;; CHECK-BIN-NODEBUG-NEXT: (i32.const 2) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: (br $label$10) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: (br $label$10) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: (block $label$16 |
| ;; CHECK-BIN-NODEBUG-NEXT: (loop $label$17 |
| ;; CHECK-BIN-NODEBUG-NEXT: (br $label$16) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: (block $label$18 |
| ;; CHECK-BIN-NODEBUG-NEXT: (loop $label$19 |
| ;; CHECK-BIN-NODEBUG-NEXT: (br $label$10) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: (nop) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: (i32.const 0) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| |
| ;; CHECK-BIN-NODEBUG: (func $8 (type $1) |
| ;; CHECK-BIN-NODEBUG-NEXT: (block $label$1 |
| ;; CHECK-BIN-NODEBUG-NEXT: (br $label$1) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| |
| ;; CHECK-BIN-NODEBUG: (func $9 (type $3) (result f64) |
| ;; CHECK-BIN-NODEBUG-NEXT: (call $fimport$2 |
| ;; CHECK-BIN-NODEBUG-NEXT: (f64.const 5.5) |
| ;; CHECK-BIN-NODEBUG-NEXT: (f64.const 1.2) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| |
| ;; CHECK-BIN-NODEBUG: (func $10 (type $0) (result i32) |
| ;; CHECK-BIN-NODEBUG-NEXT: (local $0 i32) |
| ;; CHECK-BIN-NODEBUG-NEXT: (local.set $0 |
| ;; CHECK-BIN-NODEBUG-NEXT: (i32.and |
| ;; CHECK-BIN-NODEBUG-NEXT: (i32.div_u |
| ;; CHECK-BIN-NODEBUG-NEXT: (i32.const -1) |
| ;; CHECK-BIN-NODEBUG-NEXT: (i32.const 2) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: (i32.const -1) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: (local.get $0) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| |
| ;; CHECK-BIN-NODEBUG: (func $11 (type $2) (param $0 f32) |
| ;; CHECK-BIN-NODEBUG-NEXT: (local $1 f32) |
| ;; CHECK-BIN-NODEBUG-NEXT: (local $2 f64) |
| ;; CHECK-BIN-NODEBUG-NEXT: (drop |
| ;; CHECK-BIN-NODEBUG-NEXT: (f32.demote_f64 |
| ;; CHECK-BIN-NODEBUG-NEXT: (local.get $2) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: (drop |
| ;; CHECK-BIN-NODEBUG-NEXT: (local.get $1) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: (drop |
| ;; CHECK-BIN-NODEBUG-NEXT: (f32.const 5) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: (drop |
| ;; CHECK-BIN-NODEBUG-NEXT: (f32.const 0) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: (drop |
| ;; CHECK-BIN-NODEBUG-NEXT: (f32.const 5) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: (drop |
| ;; CHECK-BIN-NODEBUG-NEXT: (f32.const 0) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| |
| ;; CHECK-BIN-NODEBUG: (func $12 (type $3) (result f64) |
| ;; CHECK-BIN-NODEBUG-NEXT: (f64.const -0) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| |
| ;; CHECK-BIN-NODEBUG: (func $13 (type $1) |
| ;; CHECK-BIN-NODEBUG-NEXT: (local $0 i32) |
| ;; CHECK-BIN-NODEBUG-NEXT: (local $1 i32) |
| ;; CHECK-BIN-NODEBUG-NEXT: (local $2 f64) |
| ;; CHECK-BIN-NODEBUG-NEXT: (local $3 f32) |
| ;; CHECK-BIN-NODEBUG-NEXT: (local.set $0 |
| ;; CHECK-BIN-NODEBUG-NEXT: (block $label$1 (result i32) |
| ;; CHECK-BIN-NODEBUG-NEXT: (local.set $1 |
| ;; CHECK-BIN-NODEBUG-NEXT: (i32.const 0) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: (select |
| ;; CHECK-BIN-NODEBUG-NEXT: (i32.sub |
| ;; CHECK-BIN-NODEBUG-NEXT: (i32.const 0) |
| ;; CHECK-BIN-NODEBUG-NEXT: (local.get $1) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: (local.get $1) |
| ;; CHECK-BIN-NODEBUG-NEXT: (i32.lt_s |
| ;; CHECK-BIN-NODEBUG-NEXT: (local.get $1) |
| ;; CHECK-BIN-NODEBUG-NEXT: (i32.const 0) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: (local.set $2 |
| ;; CHECK-BIN-NODEBUG-NEXT: (f64.abs |
| ;; CHECK-BIN-NODEBUG-NEXT: (f64.const 0) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: (local.set $3 |
| ;; CHECK-BIN-NODEBUG-NEXT: (f32.abs |
| ;; CHECK-BIN-NODEBUG-NEXT: (f32.const 0) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| |
| ;; CHECK-BIN-NODEBUG: (func $14 (type $1) |
| ;; CHECK-BIN-NODEBUG-NEXT: (local $0 f32) |
| ;; CHECK-BIN-NODEBUG-NEXT: (local.set $0 |
| ;; CHECK-BIN-NODEBUG-NEXT: (f32.neg |
| ;; CHECK-BIN-NODEBUG-NEXT: (local.get $0) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: (call_indirect $0 (type $2) |
| ;; CHECK-BIN-NODEBUG-NEXT: (local.get $0) |
| ;; CHECK-BIN-NODEBUG-NEXT: (i32.add |
| ;; CHECK-BIN-NODEBUG-NEXT: (i32.and |
| ;; CHECK-BIN-NODEBUG-NEXT: (i32.const 1) |
| ;; CHECK-BIN-NODEBUG-NEXT: (i32.const 7) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: (i32.const 8) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| |
| ;; CHECK-BIN-NODEBUG: (func $15 (type $2) (param $0 f32) |
| ;; CHECK-BIN-NODEBUG-NEXT: (call_indirect $0 (type $2) |
| ;; CHECK-BIN-NODEBUG-NEXT: (local.get $0) |
| ;; CHECK-BIN-NODEBUG-NEXT: (i32.add |
| ;; CHECK-BIN-NODEBUG-NEXT: (i32.and |
| ;; CHECK-BIN-NODEBUG-NEXT: (i32.const 1) |
| ;; CHECK-BIN-NODEBUG-NEXT: (i32.const 7) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: (i32.const 8) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| |
| ;; CHECK-BIN-NODEBUG: (func $16 (type $1) |
| ;; CHECK-BIN-NODEBUG-NEXT: (local $0 i32) |
| ;; CHECK-BIN-NODEBUG-NEXT: (drop |
| ;; CHECK-BIN-NODEBUG-NEXT: (i32.gt_u |
| ;; CHECK-BIN-NODEBUG-NEXT: (i32.shr_u |
| ;; CHECK-BIN-NODEBUG-NEXT: (local.get $0) |
| ;; CHECK-BIN-NODEBUG-NEXT: (i32.const 0) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: (i32.const -4096) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| |
| ;; CHECK-BIN-NODEBUG: (func $17 (type $1) |
| ;; CHECK-BIN-NODEBUG-NEXT: (nop) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| |
| ;; CHECK-BIN-NODEBUG: (func $18 (type $1) |
| ;; CHECK-BIN-NODEBUG-NEXT: (nop) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| |
| ;; CHECK-BIN-NODEBUG: (func $19 (type $0) (result i32) |
| ;; CHECK-BIN-NODEBUG-NEXT: (block $label$1 |
| ;; CHECK-BIN-NODEBUG-NEXT: (drop |
| ;; CHECK-BIN-NODEBUG-NEXT: (i32.const 1) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: (br $label$1) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: (i32.const 0) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| |
| ;; CHECK-BIN-NODEBUG: (func $20 (type $7) (param $0 f64) (result f64) |
| ;; CHECK-BIN-NODEBUG-NEXT: (loop $label$1 (result f64) |
| ;; CHECK-BIN-NODEBUG-NEXT: (drop |
| ;; CHECK-BIN-NODEBUG-NEXT: (local.get $0) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: (local.get $0) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| |
| ;; CHECK-BIN-NODEBUG: (func $21 (type $8) (result i64) |
| ;; CHECK-BIN-NODEBUG-NEXT: (i64.const -9218868437227405313) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| |
| ;; CHECK-BIN-NODEBUG: (func $22 (type $9) (param $0 i32) (param $1 i64) |
| ;; CHECK-BIN-NODEBUG-NEXT: (i64.store32 |
| ;; CHECK-BIN-NODEBUG-NEXT: (local.get $0) |
| ;; CHECK-BIN-NODEBUG-NEXT: (local.get $1) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| |
| ;; CHECK-BIN-NODEBUG: (func $23 (type $0) (result i32) |
| ;; CHECK-BIN-NODEBUG-NEXT: (return |
| ;; CHECK-BIN-NODEBUG-NEXT: (i32.const 1) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| |
| ;; CHECK-BIN-NODEBUG: (func $24 (type $0) (result i32) |
| ;; CHECK-BIN-NODEBUG-NEXT: (drop |
| ;; CHECK-BIN-NODEBUG-NEXT: (i32.const 1) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: (return |
| ;; CHECK-BIN-NODEBUG-NEXT: (i32.const 2) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| |
| ;; CHECK-BIN-NODEBUG: (func $25 (type $0) (result i32) |
| ;; CHECK-BIN-NODEBUG-NEXT: (drop |
| ;; CHECK-BIN-NODEBUG-NEXT: (i32.const 1) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: (return |
| ;; CHECK-BIN-NODEBUG-NEXT: (i32.const 2) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| |
| ;; CHECK-BIN-NODEBUG: (func $26 (type $0) (result i32) |
| ;; CHECK-BIN-NODEBUG-NEXT: (return |
| ;; CHECK-BIN-NODEBUG-NEXT: (i32.const 2) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| |
| ;; CHECK-BIN-NODEBUG: (func $27 (type $0) (result i32) |
| ;; CHECK-BIN-NODEBUG-NEXT: (return |
| ;; CHECK-BIN-NODEBUG-NEXT: (i32.const 2) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| |
| ;; CHECK-BIN-NODEBUG: (func $28 (type $0) (result i32) |
| ;; CHECK-BIN-NODEBUG-NEXT: (block $label$1 |
| ;; CHECK-BIN-NODEBUG-NEXT: (drop |
| ;; CHECK-BIN-NODEBUG-NEXT: (i32.const 1) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: (br $label$1) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: (i32.const 1) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| |
| ;; CHECK-BIN-NODEBUG: (func $29 (type $0) (result i32) |
| ;; CHECK-BIN-NODEBUG-NEXT: (if |
| ;; CHECK-BIN-NODEBUG-NEXT: (i32.const 3) |
| ;; CHECK-BIN-NODEBUG-NEXT: (then |
| ;; CHECK-BIN-NODEBUG-NEXT: (return |
| ;; CHECK-BIN-NODEBUG-NEXT: (i32.const 2) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: (else |
| ;; CHECK-BIN-NODEBUG-NEXT: (return |
| ;; CHECK-BIN-NODEBUG-NEXT: (i32.const 1) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| |
| ;; CHECK-BIN-NODEBUG: (func $30 (type $0) (result i32) |
| ;; CHECK-BIN-NODEBUG-NEXT: (if |
| ;; CHECK-BIN-NODEBUG-NEXT: (i32.const 3) |
| ;; CHECK-BIN-NODEBUG-NEXT: (then |
| ;; CHECK-BIN-NODEBUG-NEXT: (return |
| ;; CHECK-BIN-NODEBUG-NEXT: (i32.const 2) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: (else |
| ;; CHECK-BIN-NODEBUG-NEXT: (return |
| ;; CHECK-BIN-NODEBUG-NEXT: (i32.const 1) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| |
| ;; CHECK-BIN-NODEBUG: (func $31 (type $0) (result i32) |
| ;; CHECK-BIN-NODEBUG-NEXT: (loop $label$1 |
| ;; CHECK-BIN-NODEBUG-NEXT: (nop) |
| ;; CHECK-BIN-NODEBUG-NEXT: (return |
| ;; CHECK-BIN-NODEBUG-NEXT: (i32.const 1) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| |
| ;; CHECK-BIN-NODEBUG: (func $32 (type $0) (result i32) |
| ;; CHECK-BIN-NODEBUG-NEXT: (loop $label$1 |
| ;; CHECK-BIN-NODEBUG-NEXT: (return |
| ;; CHECK-BIN-NODEBUG-NEXT: (i32.const 1) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| |
| ;; CHECK-BIN-NODEBUG: (func $33 (type $0) (result i32) |
| ;; CHECK-BIN-NODEBUG-NEXT: (loop $label$1 |
| ;; CHECK-BIN-NODEBUG-NEXT: (nop) |
| ;; CHECK-BIN-NODEBUG-NEXT: (return |
| ;; CHECK-BIN-NODEBUG-NEXT: (i32.const 1) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| |
| ;; CHECK-BIN-NODEBUG: (func $34 (type $0) (result i32) |
| ;; CHECK-BIN-NODEBUG-NEXT: (loop $label$1 |
| ;; CHECK-BIN-NODEBUG-NEXT: (return |
| ;; CHECK-BIN-NODEBUG-NEXT: (i32.const 1) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| |
| ;; CHECK-BIN-NODEBUG: (func $35 (type $1) |
| ;; CHECK-BIN-NODEBUG-NEXT: (unreachable) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| |
| ;; CHECK-BIN-NODEBUG: (func $36 (type $1) |
| ;; CHECK-BIN-NODEBUG-NEXT: (if |
| ;; CHECK-BIN-NODEBUG-NEXT: (i32.const 1) |
| ;; CHECK-BIN-NODEBUG-NEXT: (then |
| ;; CHECK-BIN-NODEBUG-NEXT: (nop) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: (else |
| ;; CHECK-BIN-NODEBUG-NEXT: (unreachable) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
