min.fromasm.imprecise.no-opts

(module
  (import "env" "tempDoublePtr" (global $tDP$asm2wasm$import i32))
  (import "env" "memory" (memory $0 256 256))
  (import "env" "table" (table 0 0 anyfunc))
  (import "env" "memoryBase" (global $memoryBase i32))
  (import "env" "tableBase" (global $tableBase i32))
  (global $tDP (mut i32) (get_global $tDP$asm2wasm$import))
  (global $M (mut i32) (i32.const 0))
  (export "floats" (func $legalstub$floats))
  (export "getTempRet0" (func $ub))
  (export "neg" (func $legalstub$neg))
  (export "bitcasts" (func $legalstub$bitcasts))
  (export "ctzzzz" (func $ctzzzz))
  (func $floats (param $f f32) (result f32)
    (local $t f32)
    (return
      (f32.add
        (get_local $t)
        (get_local $f)
      )
    )
  )
  (func $neg (param $k i32) (param $p i32) (result f32)
    (local $n f32)
    (set_local $n
      (f32.neg
        (block f32
          (i32.store
            (get_local $k)
            (get_local $p)
          )
          (f32.load
            (get_local $k)
          )
        )
      )
    )
    (return
      (get_local $n)
    )
  )
  (func $bitcasts (param $i i32) (param $f f32)
    (drop
      (f32.reinterpret/i32
        (get_local $i)
      )
    )
    (drop
      (f64.promote/f32
        (f32.reinterpret/i32
          (get_local $i)
        )
      )
    )
    (drop
      (i32.reinterpret/f32
        (get_local $f)
      )
    )
  )
  (func $ctzzzz (result i32)
    (return
      (i32.ctz
        (i32.const 4660)
      )
    )
  )
  (func $ub (result i32)
    (drop
      (call $ub)
    )
    (return
      (get_global $M)
    )
  )
  (func $legalstub$floats (param $0 f64) (result f64)
    (f64.promote/f32
      (call $floats
        (f32.demote/f64
          (get_local $0)
        )
      )
    )
  )
  (func $legalstub$neg (param $0 i32) (param $1 i32) (result f64)
    (f64.promote/f32
      (call $neg
        (get_local $0)
        (get_local $1)
      )
    )
  )
  (func $legalstub$bitcasts (param $0 i32) (param $1 f64)
    (call $bitcasts
      (get_local $0)
      (f32.demote/f64
        (get_local $1)
      )
    )
  )
)