# Required results for named cases
# Commas separate the parts of values that contain multiple items.
# The JSON manifest contains the same results as name and value pairs.

# Float byte images and hashes

bytes.f32.mixed 0000C07F, 0000807F, 000080FF, 00000000, 00000080, 0000803F, 000080BF, 0000C07F
bytes.f64.mixed 000000000000F87F, 000000000000F07F, 000000000000F0FF, 0000000000000000, 0000000000000080, 000000000000F03F, 000000000000F0BF, 000000000000F87F
digest.f32.mixed 9AD8409206FE0A15
digest.f64.mixed 185FAA00C166A40D

# NaN generation and observation

nan.bitconv.f32 0000C07F
nan.bitconv.f64 000000000000F87F
nan.const.f32.divzero 7FC00000
nan.const.f32.infmul 7FC00000
nan.const.f32.infsub 7FC00000
nan.const.f32.sqrtneg 7FC00000
nan.const.f64.divzero 7FF8000000000000
nan.const.f64.infmul 7FF8000000000000
nan.const.f64.infsub 7FF8000000000000
nan.const.f64.sqrtneg 7FF8000000000000
nan.opaque.demote.f64.to.f32 7FC00000
nan.opaque.f32.divzero 7FC00000
nan.opaque.f32.infmul 7FC00000
nan.opaque.f32.infsub 7FC00000
nan.opaque.f32.sqrtneg 7FC00000
nan.opaque.f64.divzero 7FF8000000000000
nan.opaque.f64.infmul 7FF8000000000000
nan.opaque.f64.infsub 7FF8000000000000
nan.opaque.f64.sqrtneg 7FF8000000000000
nan.opaque.promote.f32.to.f64 7FF8000000000000
nan.store.f32.bytes 0000C07F, 0000C07F, 0000C07F, 0000C07F
nan.store.f64.bytes 000000000000F87F, 000000000000F87F, 000000000000F87F, 000000000000F87F
nan.store.v4.div.bytes 0000C07F, 0000803F, 0000803F, 0000803F
nan.store.v4.sqrt.bytes 0000C07F, 0000803F, 00000080, 00000040

# Saturating float to integer conversion

conv.f32.i32.maxplus1 7FFFFFFF
conv.f32.i32.nan 00000000
conv.f32.i32.neginf 80000000
conv.f32.i32.posinf 7FFFFFFF
conv.f32.u32.maxplus1 FFFFFFFF
conv.f32.u32.nan 00000000
conv.f32.u32.neginf 00000000
conv.f32.u32.posinf FFFFFFFF
conv.f64.i32.nan 00000000
conv.f64.i32.neginf 80000000
conv.f64.i32.posinf 7FFFFFFF
conv.f64.i64.nan 0000000000000000
conv.f64.i64.neginf 8000000000000000
conv.f64.i64.posinf 7FFFFFFFFFFFFFFF
conv.f64.u32.nan 00000000
conv.f64.u32.neginf 00000000
conv.f64.u32.posinf FFFFFFFF
conv.f64.u64.nan 0000000000000000
conv.f64.u64.neginf 0000000000000000
conv.f64.u64.posinf FFFFFFFFFFFFFFFF

# Host composite marshalling

hostcomposite.array.bytes 000000000000F87F0000C07F0100C07F0000C07FA5A5A5A5, 00000000000004C0000090400100C0FF0000C07F5A5A5A5A
hostcomposite.raw.array.bytes 010000000000F07F0100C0FF0100C07F0100807FA5A5A5A5, 00000000000004C0000090400100C0FF0100C07F5A5A5A5A
hostcomposite.raw.value.bytes 000000000000F8FF0100807F0100F07F0000A03F3C3C3C3C
hostcomposite.value.bytes 000000000000F87F0000C07F0100F07F0000A03F3C3C3C3C

# Masked shifts

shift.i32.sar.by33 C0000000
shift.i32.sar.byneg1 FFFFFFFF
shift.i32.shl.by32 00000001
shift.i32.shl.by33 00000002
shift.i32.shl.byneg1 80000000
shift.i64.sar.by65 C000000000000000
shift.i64.sar.byneg1 FFFFFFFFFFFFFFFF
shift.i64.shl.by64 0000000000000001
shift.i64.shl.by65 0000000000000002
shift.i64.shl.byneg1 8000000000000000
shift.u32.shr.by33 40000000
shift.u64.shr.by65 4000000000000000

# Defined integer traps

panic.div.i32.by-zero divide_by_zero
panic.div.i32.min-by-neg1 integer_overflow
panic.div.i64.by-zero divide_by_zero
panic.div.i64.min-by-neg1 integer_overflow
panic.rem.i32.by-zero divide_by_zero
panic.rem.i32.min-by-neg1 integer_overflow
panic.rem.i64.by-zero divide_by_zero
panic.rem.i64.min-by-neg1 integer_overflow

# Subnormal limits and rounding

subnormal.convert.f32-min.to-f64 36A0000000000000
subnormal.convert.f64-f32-min.to-f32 00000001
subnormal.convert.f64-min.to-f32 00000000
subnormal.f32.max.plus.min 00800000
subnormal.f32.min.times.half 00000000
subnormal.f32.negative-min.times.half 80000000
subnormal.f32.normal.minus.min 007FFFFF
subnormal.f32.normal.times.half 00400000
subnormal.f32.three-min.times.half 00000002
subnormal.f64.max.plus.min 0010000000000000
subnormal.f64.min.times.half 0000000000000000
subnormal.f64.negative-min.times.half 8000000000000000
subnormal.f64.normal.minus.min 000FFFFFFFFFFFFF
subnormal.f64.normal.times.half 0008000000000000
subnormal.f64.three-min.times.half 0000000000000002