test/passes/trap-mode-clamp.txt

(module
 (type $i32_i32_=>_i32 (func (param i32 i32) (result i32)))
 (type $i64_i64_=>_i64 (func (param i64 i64) (result i64)))
 (type $i32_i64_=>_none (func (param i32 i64)))
 (type $f32_=>_i32 (func (param f32) (result i32)))
 (type $f64_=>_i32 (func (param f64) (result i32)))
 (type $f32_=>_i64 (func (param f32) (result i64)))
 (type $f64_=>_i64 (func (param f64) (result i64)))
 (type $f32_=>_none (func (param f32)))
 (type $f64_=>_none (func (param f64)))
 (func $test_div (; 0 ;) (param $0 i32) (param $1 i64)
  (drop
   (call $i32s-div
    (local.get $0)
    (local.get $0)
   )
  )
  (drop
   (call $i32u-div
    (local.get $0)
    (local.get $0)
   )
  )
  (drop
   (call $i64s-div
    (local.get $1)
    (local.get $1)
   )
  )
  (drop
   (call $i64u-div
    (local.get $1)
    (local.get $1)
   )
  )
 )
 (func $test_rem (; 1 ;) (param $0 i32) (param $1 i64)
  (drop
   (call $i32s-rem
    (local.get $0)
    (local.get $0)
   )
  )
  (drop
   (call $i32u-rem
    (local.get $0)
    (local.get $0)
   )
  )
  (drop
   (call $i64s-rem
    (local.get $1)
    (local.get $1)
   )
  )
  (drop
   (call $i64u-rem
    (local.get $1)
    (local.get $1)
   )
  )
 )
 (func $test_f32_to_int (; 2 ;) (param $0 f32)
  (drop
   (call $f32-to-int
    (local.get $0)
   )
  )
  (drop
   (call $f32-to-uint
    (local.get $0)
   )
  )
  (drop
   (call $f32-to-int64
    (local.get $0)
   )
  )
  (drop
   (call $f32-to-uint64
    (local.get $0)
   )
  )
 )
 (func $test_f64_to_int (; 3 ;) (param $0 f64)
  (drop
   (call $f64-to-int
    (local.get $0)
   )
  )
  (drop
   (call $f64-to-uint
    (local.get $0)
   )
  )
  (drop
   (call $f64-to-int64
    (local.get $0)
   )
  )
  (drop
   (call $f64-to-uint64
    (local.get $0)
   )
  )
 )
 (func $f32-to-int (; 4 ;) (param $0 f32) (result i32)
  (if (result i32)
   (f32.ne
    (local.get $0)
    (local.get $0)
   )
   (i32.const -2147483648)
   (if (result i32)
    (f32.ge
     (local.get $0)
     (f32.const 2147483648)
    )
    (i32.const -2147483648)
    (if (result i32)
     (f32.le
      (local.get $0)
      (f32.const -2147483648)
     )
     (i32.const -2147483648)
     (i32.trunc_f32_s
      (local.get $0)
     )
    )
   )
  )
 )
 (func $f32-to-int64 (; 5 ;) (param $0 f32) (result i64)
  (if (result i64)
   (f32.ne
    (local.get $0)
    (local.get $0)
   )
   (i64.const -9223372036854775808)
   (if (result i64)
    (f32.ge
     (local.get $0)
     (f32.const 9223372036854775808)
    )
    (i64.const -9223372036854775808)
    (if (result i64)
     (f32.le
      (local.get $0)
      (f32.const -9223372036854775808)
     )
     (i64.const -9223372036854775808)
     (i64.trunc_f32_s
      (local.get $0)
     )
    )
   )
  )
 )
 (func $f32-to-uint (; 6 ;) (param $0 f32) (result i32)
  (if (result i32)
   (f32.ne
    (local.get $0)
    (local.get $0)
   )
   (i32.const 0)
   (if (result i32)
    (f32.ge
     (local.get $0)
     (f32.const 4294967296)
    )
    (i32.const 0)
    (if (result i32)
     (f32.le
      (local.get $0)
      (f32.const -1)
     )
     (i32.const 0)
     (i32.trunc_f32_u
      (local.get $0)
     )
    )
   )
  )
 )
 (func $f32-to-uint64 (; 7 ;) (param $0 f32) (result i64)
  (if (result i64)
   (f32.ne
    (local.get $0)
    (local.get $0)
   )
   (i64.const 0)
   (if (result i64)
    (f32.ge
     (local.get $0)
     (f32.const 18446744073709551615)
    )
    (i64.const 0)
    (if (result i64)
     (f32.le
      (local.get $0)
      (f32.const -1)
     )
     (i64.const 0)
     (i64.trunc_f32_u
      (local.get $0)
     )
    )
   )
  )
 )
 (func $f64-to-int (; 8 ;) (param $0 f64) (result i32)
  (if (result i32)
   (f64.ne
    (local.get $0)
    (local.get $0)
   )
   (i32.const -2147483648)
   (if (result i32)
    (f64.ge
     (local.get $0)
     (f64.const 2147483648)
    )
    (i32.const -2147483648)
    (if (result i32)
     (f64.le
      (local.get $0)
      (f64.const -2147483649)
     )
     (i32.const -2147483648)
     (i32.trunc_f64_s
      (local.get $0)
     )
    )
   )
  )
 )
 (func $f64-to-int64 (; 9 ;) (param $0 f64) (result i64)
  (if (result i64)
   (f64.ne
    (local.get $0)
    (local.get $0)
   )
   (i64.const -9223372036854775808)
   (if (result i64)
    (f64.ge
     (local.get $0)
     (f64.const 9223372036854775808)
    )
    (i64.const -9223372036854775808)
    (if (result i64)
     (f64.le
      (local.get $0)
      (f64.const -9223372036854775808)
     )
     (i64.const -9223372036854775808)
     (i64.trunc_f64_s
      (local.get $0)
     )
    )
   )
  )
 )
 (func $f64-to-uint (; 10 ;) (param $0 f64) (result i32)
  (if (result i32)
   (f64.ne
    (local.get $0)
    (local.get $0)
   )
   (i32.const 0)
   (if (result i32)
    (f64.ge
     (local.get $0)
     (f64.const 4294967296)
    )
    (i32.const 0)
    (if (result i32)
     (f64.le
      (local.get $0)
      (f64.const -1)
     )
     (i32.const 0)
     (i32.trunc_f64_u
      (local.get $0)
     )
    )
   )
  )
 )
 (func $f64-to-uint64 (; 11 ;) (param $0 f64) (result i64)
  (if (result i64)
   (f64.ne
    (local.get $0)
    (local.get $0)
   )
   (i64.const 0)
   (if (result i64)
    (f64.ge
     (local.get $0)
     (f64.const 18446744073709551615)
    )
    (i64.const 0)
    (if (result i64)
     (f64.le
      (local.get $0)
      (f64.const -1)
     )
     (i64.const 0)
     (i64.trunc_f64_u
      (local.get $0)
     )
    )
   )
  )
 )
 (func $i32s-div (; 12 ;) (param $0 i32) (param $1 i32) (result i32)
  (if (result i32)
   (i32.eqz
    (local.get $1)
   )
   (i32.const 0)
   (if (result i32)
    (i32.and
     (i32.eq
      (local.get $0)
      (i32.const -2147483648)
     )
     (i32.eq
      (local.get $1)
      (i32.const -1)
     )
    )
    (i32.const 0)
    (i32.div_s
     (local.get $0)
     (local.get $1)
    )
   )
  )
 )
 (func $i32s-rem (; 13 ;) (param $0 i32) (param $1 i32) (result i32)
  (if (result i32)
   (i32.eqz
    (local.get $1)
   )
   (i32.const 0)
   (i32.rem_s
    (local.get $0)
    (local.get $1)
   )
  )
 )
 (func $i32u-div (; 14 ;) (param $0 i32) (param $1 i32) (result i32)
  (if (result i32)
   (i32.eqz
    (local.get $1)
   )
   (i32.const 0)
   (i32.div_u
    (local.get $0)
    (local.get $1)
   )
  )
 )
 (func $i32u-rem (; 15 ;) (param $0 i32) (param $1 i32) (result i32)
  (if (result i32)
   (i32.eqz
    (local.get $1)
   )
   (i32.const 0)
   (i32.rem_u
    (local.get $0)
    (local.get $1)
   )
  )
 )
 (func $i64s-div (; 16 ;) (param $0 i64) (param $1 i64) (result i64)
  (if (result i64)
   (i64.eqz
    (local.get $1)
   )
   (i64.const 0)
   (if (result i64)
    (i32.and
     (i64.eq
      (local.get $0)
      (i64.const -9223372036854775808)
     )
     (i64.eq
      (local.get $1)
      (i64.const -1)
     )
    )
    (i64.const 0)
    (i64.div_s
     (local.get $0)
     (local.get $1)
    )
   )
  )
 )
 (func $i64s-rem (; 17 ;) (param $0 i64) (param $1 i64) (result i64)
  (if (result i64)
   (i64.eqz
    (local.get $1)
   )
   (i64.const 0)
   (i64.rem_s
    (local.get $0)
    (local.get $1)
   )
  )
 )
 (func $i64u-div (; 18 ;) (param $0 i64) (param $1 i64) (result i64)
  (if (result i64)
   (i64.eqz
    (local.get $1)
   )
   (i64.const 0)
   (i64.div_u
    (local.get $0)
    (local.get $1)
   )
  )
 )
 (func $i64u-rem (; 19 ;) (param $0 i64) (param $1 i64) (result i64)
  (if (result i64)
   (i64.eqz
    (local.get $1)
   )
   (i64.const 0)
   (i64.rem_u
    (local.get $0)
    (local.get $1)
   )
  )
 )
)