diff options
Diffstat (limited to 'llvm/test/Transforms/InstCombine/X86/addcarry.ll')
| -rw-r--r-- | llvm/test/Transforms/InstCombine/X86/addcarry.ll | 38 |
1 files changed, 38 insertions, 0 deletions
diff --git a/llvm/test/Transforms/InstCombine/X86/addcarry.ll b/llvm/test/Transforms/InstCombine/X86/addcarry.ll new file mode 100644 index 00000000000..d762b4e96da --- /dev/null +++ b/llvm/test/Transforms/InstCombine/X86/addcarry.ll @@ -0,0 +1,38 @@ +; NOTE: Assertions have been autogenerated by utils/update_test_checks.py +; RUN: opt < %s -instcombine -S | FileCheck %s + +declare { i8, i32 } @llvm.x86.addcarry.32(i8, i32, i32) +declare { i8, i64 } @llvm.x86.addcarry.64(i8, i64, i64) + +define i32 @no_carryin_i32(i32 %x, i32 %y, i8* %p) { +; CHECK-LABEL: @no_carryin_i32( +; CHECK-NEXT: [[TMP1:%.*]] = call { i32, i1 } @llvm.uadd.with.overflow.i32(i32 [[X:%.*]], i32 [[Y:%.*]]) +; CHECK-NEXT: [[TMP2:%.*]] = extractvalue { i32, i1 } [[TMP1]], 0 +; CHECK-NEXT: [[TMP3:%.*]] = extractvalue { i32, i1 } [[TMP1]], 1 +; CHECK-NEXT: [[TMP4:%.*]] = zext i1 [[TMP3]] to i8 +; CHECK-NEXT: store i8 [[TMP4]], i8* [[P:%.*]], align 1 +; CHECK-NEXT: ret i32 [[TMP2]] +; + %s = call { i8, i32 } @llvm.x86.addcarry.32(i8 0, i32 %x, i32 %y) + %ov = extractvalue { i8, i32 } %s, 0 + store i8 %ov, i8* %p + %r = extractvalue { i8, i32 } %s, 1 + ret i32 %r +} + +define i64 @no_carryin_i64(i64 %x, i64 %y, i8* %p) { +; CHECK-LABEL: @no_carryin_i64( +; CHECK-NEXT: [[TMP1:%.*]] = call { i64, i1 } @llvm.uadd.with.overflow.i64(i64 [[X:%.*]], i64 [[Y:%.*]]) +; CHECK-NEXT: [[TMP2:%.*]] = extractvalue { i64, i1 } [[TMP1]], 0 +; CHECK-NEXT: [[TMP3:%.*]] = extractvalue { i64, i1 } [[TMP1]], 1 +; CHECK-NEXT: [[TMP4:%.*]] = zext i1 [[TMP3]] to i8 +; CHECK-NEXT: store i8 [[TMP4]], i8* [[P:%.*]], align 1 +; CHECK-NEXT: ret i64 [[TMP2]] +; + %s = call { i8, i64 } @llvm.x86.addcarry.64(i8 0, i64 %x, i64 %y) + %ov = extractvalue { i8, i64 } %s, 0 + store i8 %ov, i8* %p + %r = extractvalue { i8, i64 } %s, 1 + ret i64 %r +} + |
