1 // compile-flags: -O -C debug-assertions=on
2 // This needs inlining followed by ConstProp to reproduce, so we cannot use "unit-test".
5 pub fn imm8(x: u32) -> u32 {
7 out |= (x >> 0) & 0xff;
11 // EMIT_MIR issue_101973.inner.ConstProp.diff
13 pub fn inner(fields: u32) -> i64 {
14 imm8(fields).rotate_right(((fields >> 8) & 0xf) << 1) as i32 as i64
18 let val = inner(0xe32cf20f);
19 assert_eq!(val as u64, 0xfffffffff0000000);