| //@ compile-flags: -C opt-level=3 | |
| #![crate_type = "lib"] | |
| // 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) | |
| } |