| //! Test that `RangeTo` and `RangeToInclusive` generate identical | |
| //! (and optimal) code; #63646 | |
| //@ compile-flags: -Copt-level=3 -Zmerge-functions=disabled | |
| #![crate_type = "lib"] | |
| #[no_mangle] | |
| // CHECK-LABEL: range_to( | |
| pub fn range_to(a: i32, mut b: i32) -> i32 { | |
| // CHECK: %1 = and i32 %0, %a | |
| // CHECK-NEXT: ret i32 %1 | |
| for _ in 0..65 { | |
| b &= a; | |
| } | |
| b | |
| } | |
| #[no_mangle] | |
| // CHECK-LABEL: range_to_inclusive( | |
| pub fn range_to_inclusive(a: i32, mut b: i32) -> i32 { | |
| // CHECK: %1 = and i32 %0, %a | |
| // CHECK-NEXT: ret i32 %1 | |
| for _ in 0..=64 { | |
| b &= a; | |
| } | |
| b | |
| } |