| //@ compile-flags: -C opt-level=3 |
| |
| #![crate_type = "lib"] |
| #![feature(bigint_helper_methods)] |
| |
| // Note that there's also an assembly test for this, which is what checks for |
| // the `ADC` (Add with Carry) instruction on x86 now that the IR we emit uses |
| // the preferred instruction phrasing instead of the intrinsic. |
| |
| // CHECK-LABEL: @u32_carrying_add |
| #[no_mangle] |
| pub fn u32_carrying_add(a: u32, b: u32, c: bool) -> (u32, bool) { |
| // CHECK: %[[AB:.+]] = add i32 {{%a, %b|%b, %a}} |
| // CHECK: %[[O1:.+]] = icmp ult i32 %[[AB]], %a |
| // CHECK: %[[CEXT:.+]] = zext i1 %c to i32 |
| // CHECK: %[[ABC:.+]] = add i32 %[[AB]], %[[CEXT]] |
| // CHECK: %[[O2:.+]] = icmp ult i32 %[[ABC]], %[[AB]] |
| // CHECK: %[[O:.+]] = or disjoint i1 %[[O1]], %[[O2]] |
| // CHECK: insertvalue {{.+}}, i32 %[[ABC]], 0 |
| // CHECK: insertvalue {{.+}}, i1 %[[O]], 1 |
| u32::carrying_add(a, b, c) |
| } |
