[llvm] r352627 - [InstCombine][x86] add tests for addcarry intrinsic; NFC

[Sanjay Patel via llvm-commits]

Author: spatel
Date: Wed Jan 30 07:07:49 2019
New Revision: 352627

URL: http://llvm.org/viewvc/llvm-project?rev=352627&view=rev
Log:
[InstCombine][x86] add tests for addcarry intrinsic; NFC

Added:
    llvm/trunk/test/Transforms/InstCombine/X86/addcarry.ll

Added: llvm/trunk/test/Transforms/InstCombine/X86/addcarry.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/InstCombine/X86/addcarry.ll?rev=352627&view=auto
==============================================================================
--- llvm/trunk/test/Transforms/InstCombine/X86/addcarry.ll (added)
+++ llvm/trunk/test/Transforms/InstCombine/X86/addcarry.ll Wed Jan 30 07:07:49 2019
@@ -0,0 +1,36 @@
+; 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:    [[S:%.*]] = call { i8, i32 } @llvm.x86.addcarry.32(i8 0, i32 [[X:%.*]], i32 [[Y:%.*]])
+; CHECK-NEXT:    [[OV:%.*]] = extractvalue { i8, i32 } [[S]], 0
+; CHECK-NEXT:    store i8 [[OV]], i8* [[P:%.*]], align 1
+; CHECK-NEXT:    [[R:%.*]] = extractvalue { i8, i32 } [[S]], 1
+; CHECK-NEXT:    ret i32 [[R]]
+;
+  %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:    [[S:%.*]] = call { i8, i64 } @llvm.x86.addcarry.64(i8 0, i64 [[X:%.*]], i64 [[Y:%.*]])
+; CHECK-NEXT:    [[OV:%.*]] = extractvalue { i8, i64 } [[S]], 0
+; CHECK-NEXT:    store i8 [[OV]], i8* [[P:%.*]], align 1
+; CHECK-NEXT:    [[R:%.*]] = extractvalue { i8, i64 } [[S]], 1
+; CHECK-NEXT:    ret i64 [[R]]
+;
+  %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
+}
+