test/unit.wast.fromBinary

(module
  (memory 4096 4096
    (segment 1026 "\14\00")
  )
  (type $0 (func (param f32)))
  (type $1 (func))
  (type $2 (func (param f64) (result i32)))
  (type $3 (func (param f64 f64) (result f64)))
  (type $4 (func (result f64)))
  (type $5 (func (result i32)))
  (type $6 (func (param i32) (result i32)))
  (type $7 (func (param f64) (result f64)))
  (import $import$0 "env" "_emscripten_asm_const_vi")
  (import $import$1 "asm2wasm" "f64-to-int" (param f64) (result i32))
  (import $import$2 "asm2wasm" "f64-rem" (param f64 f64) (result f64))
  (export "big_negative" $big_negative)
  (table $z $big_negative $z $z $w $w $importedDoubles $w $z $cneg)
  (func $big_negative (type $1)
    (local $var$0 f64)
    (block $label$0
      (set_local $var$0
        (f64.const -2147483648)
      )
      (set_local $var$0
        (f64.const -2147483648)
      )
      (set_local $var$0
        (f64.const -21474836480)
      )
      (set_local $var$0
        (f64.const 0.039625)
      )
      (set_local $var$0
        (f64.const -0.039625)
      )
    )
  )
  (func $importedDoubles (type $4) (result f64)
    (local $var$0 f64)
    (block $label$0
      (set_local $var$0
        (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)
        )
        (block $label$1
          (br $label$0
            (f64.const -3.4)
          )
        )
      )
      (if
        (f64.gt
          (f64.load
            (i32.const 32)
          )
          (f64.const 0)
        )
        (block $label$2
          (br $label$0
            (f64.const 5.6)
          )
        )
      )
      (f64.const 1.2)
    )
  )
  (func $doubleCompares (type $3) (param $var$0 f64) (param $var$1 f64) (result f64)
    (local $var$2 i32)
    (local $var$3 f64)
    (local $var$4 f64)
    (block $label$0
      (if
        (f64.gt
          (get_local $var$0)
          (f64.const 0)
        )
        (block $label$1
          (br $label$0
            (f64.const 1.2)
          )
        )
      )
      (if
        (f64.gt
          (get_local $var$4)
          (f64.const 0)
        )
        (block $label$2
          (br $label$0
            (f64.const -3.4)
          )
        )
      )
      (if
        (i32.gt_s
          (get_local $var$2)
          (i32.const 0)
        )
        (block $label$3
          (br $label$0
            (f64.const 5.6)
          )
        )
      )
      (if
        (f64.lt
          (get_local $var$0)
          (get_local $var$1)
        )
        (block $label$4
          (br $label$0
            (get_local $var$0)
          )
        )
      )
      (get_local $var$1)
    )
  )
  (func $intOps (type $5) (result i32)
    (local $var$0 i32)
    (i32.eq
      (get_local $var$0)
      (i32.const 0)
    )
  )
  (func $hexLiterals (type $1)
    (i32.add
      (i32.add
        (i32.const 0)
        (i32.const 313249263)
      )
      (i32.const -19088752)
    )
  )
  (func $conversions (type $1)
    (local $var$0 i32)
    (local $var$1 f64)
    (block $label$0
      (set_local $var$0
        (call_import $import$1
          (get_local $var$1)
        )
      )
      (set_local $var$1
        (f64.convert_s/i32
          (get_local $var$0)
        )
      )
      (set_local $var$1
        (f64.convert_u/i32
          (i32.shr_u
            (get_local $var$0)
            (i32.const 0)
          )
        )
      )
    )
  )
  (func $seq (type $1)
    (local $var$0 f64)
    (set_local $var$0
      (f64.sub
        (block $label$0
          (f64.const 0.1)
          (f64.const 5.1)
        )
        (block $label$1
          (f64.const 3.2)
          (f64.const 4.2)
        )
      )
    )
  )
  (func $switcher (type $6) (param $var$0 i32) (result i32)
    (block $label$0
      (block $label$1
        (block $label$2
          (block $label$3
            (block $label$4
              (br_table $label$4 $label$3 $label$2
                (i32.sub
                  (get_local $var$0)
                  (i32.const 1)
                )
              )
            )
            (br $label$0
              (i32.const 1)
            )
          )
          (br $label$0
            (i32.const 2)
          )
        )
        (nop)
      )
      (block $label$5
        (block $label$6
          (block $label$7
            (block $label$8
              (br_table $label$7 $label$6 $label$6 $label$6 $label$6 $label$6 $label$6 $label$8 $label$6
                (i32.sub
                  (get_local $var$0)
                  (i32.const 5)
                )
              )
            )
            (br $label$0
              (i32.const 121)
            )
          )
          (br $label$0
            (i32.const 51)
          )
        )
        (nop)
      )
      (block $label$9
        (block $label$10
          (block $label$11
            (block $label$12
              (block $label$13
                (block $label$14
                  (br_table $label$11 $label$10 $label$10 $label$12 $label$10 $label$10 $label$10 $label$10 $label$13 $label$10 $label$14 $label$10
                    (i32.sub
                      (get_local $var$0)
                      (i32.const 2)
                    )
                  )
                )
                (br $label$9)
              )
              (br $label$9)
            )
            (block $label$15
              (loop $label$16 $label$17
                (br $label$16)
                (br $label$17)
              )
              (br $label$9)
            )
          )
          (block $label$18
            (loop $label$19 $label$20
              (br $label$9)
              (br $label$20)
            )
            (br $label$9)
          )
        )
        (nop)
      )
      (i32.const 0)
    )
  )
  (func $blocker (type $1)
    (block $label$0
      (br $label$0)
    )
  )
  (func $frem (type $4) (result f64)
    (call_import $import$2
      (f64.const 5.5)
      (f64.const 1.2)
    )
  )
  (func $big_uint_div_u (type $5) (result i32)
    (local $var$0 i32)
    (block $label$0
      (set_local $var$0
        (i32.and
          (i32.div_u
            (i32.const -1)
            (i32.const 2)
          )
          (i32.const -1)
        )
      )
      (get_local $var$0)
    )
  )
  (func $fr (type $0) (param $var$0 f32)
    (local $var$1 f32)
    (local $var$2 f64)
    (block $label$0
      (f32.demote/f64
        (get_local $var$2)
      )
      (get_local $var$1)
      (f32.const 5)
      (f32.const 0)
      (f32.const 5)
      (f32.const 0)
    )
  )
  (func $negZero (type $4) (result f64)
    (f64.const -0)
  )
  (func $abs (type $1)
    (local $var$0 i32)
    (local $var$1 i32)
    (local $var$2 f32)
    (local $var$3 f64)
    (block $label$0
      (set_local $var$0
        (block $label$1
          (set_local $var$1
            (i32.const 0)
          )
          (select
            (i32.sub
              (i32.const 0)
              (get_local $var$1)
            )
            (get_local $var$1)
            (i32.lt_s
              (get_local $var$1)
              (i32.const 0)
            )
          )
        )
      )
      (set_local $var$3
        (f64.abs
          (f64.const 0)
        )
      )
      (set_local $var$2
        (f32.abs
          (f32.const 0)
        )
      )
    )
  )
  (func $neg (type $1)
    (local $var$0 f32)
    (block $label$0
      (set_local $var$0
        (f32.neg
          (get_local $var$0)
        )
      )
      (call_indirect $0
        (i32.add
          (i32.and
            (i32.const 1)
            (i32.const 7)
          )
          (i32.const 8)
        )
        (get_local $var$0)
      )
    )
  )
  (func $cneg (type $0) (param $var$0 f32)
    (call_indirect $0
      (i32.add
        (i32.and
          (i32.const 1)
          (i32.const 7)
        )
        (i32.const 8)
      )
      (get_local $var$0)
    )
  )
  (func $___syscall_ret (type $1)
    (local $var$0 i32)
    (i32.gt_u
      (i32.shr_u
        (get_local $var$0)
        (i32.const 0)
      )
      (i32.const -4096)
    )
  )
  (func $z (type $1)
    (nop)
  )
  (func $w (type $1)
    (nop)
  )
  (func $block_and_after (type $5) (result i32)
    (block $label$0
      (block $label$1
        (i32.const 1)
        (br $label$1)
      )
      (i32.const 0)
    )
  )
  (func $loop-roundtrip (type $7) (param $var$0 f64) (result f64)
    (loop $label$0 $label$1
      (get_local $var$0)
      (get_local $var$0)
    )
  )
)