[llvm] r338965 - [NFC][InstCombine] Regenerate set.ll test
Roman Lebedev via llvm-commits
llvm-commits at lists.llvm.org
Sun Aug 5 01:53:40 PDT 2018
Author: lebedevri
Date: Sun Aug 5 01:53:40 2018
New Revision: 338965
URL: http://llvm.org/viewvc/llvm-project?rev=338965&view=rev
Log:
[NFC][InstCombine] Regenerate set.ll test
Modified:
llvm/trunk/test/Transforms/InstCombine/set.ll
Modified: llvm/trunk/test/Transforms/InstCombine/set.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/InstCombine/set.ll?rev=338965&r1=338964&r2=338965&view=diff
==============================================================================
--- llvm/trunk/test/Transforms/InstCombine/set.ll (original)
+++ llvm/trunk/test/Transforms/InstCombine/set.ll Sun Aug 5 01:53:40 2018
@@ -110,8 +110,8 @@ define i1 @test12(i1 %A) {
define i1 @test13(i1 %A, i1 %B) {
; CHECK-LABEL: @test13(
-; CHECK-NEXT: [[TMP1:%.*]] = xor i1 %B, true
-; CHECK-NEXT: [[C:%.*]] = or i1 [[TMP1]], %A
+; CHECK-NEXT: [[TMP1:%.*]] = xor i1 [[B:%.*]], true
+; CHECK-NEXT: [[C:%.*]] = or i1 [[TMP1]], [[A:%.*]]
; CHECK-NEXT: ret i1 [[C]]
;
%C = icmp uge i1 %A, %B
@@ -120,8 +120,8 @@ define i1 @test13(i1 %A, i1 %B) {
define <2 x i1> @test13vec(<2 x i1> %A, <2 x i1> %B) {
; CHECK-LABEL: @test13vec(
-; CHECK-NEXT: [[TMP1:%.*]] = xor <2 x i1> %B, <i1 true, i1 true>
-; CHECK-NEXT: [[C:%.*]] = or <2 x i1> [[TMP1]], %A
+; CHECK-NEXT: [[TMP1:%.*]] = xor <2 x i1> [[B:%.*]], <i1 true, i1 true>
+; CHECK-NEXT: [[C:%.*]] = or <2 x i1> [[TMP1]], [[A:%.*]]
; CHECK-NEXT: ret <2 x i1> [[C]]
;
%C = icmp uge <2 x i1> %A, %B
@@ -130,7 +130,7 @@ define <2 x i1> @test13vec(<2 x i1> %A,
define i1 @test14(i1 %A, i1 %B) {
; CHECK-LABEL: @test14(
-; CHECK-NEXT: [[TMP1:%.*]] = xor i1 %A, %B
+; CHECK-NEXT: [[TMP1:%.*]] = xor i1 [[A:%.*]], [[B:%.*]]
; CHECK-NEXT: [[C:%.*]] = xor i1 [[TMP1]], true
; CHECK-NEXT: ret i1 [[C]]
;
@@ -140,7 +140,7 @@ define i1 @test14(i1 %A, i1 %B) {
define <3 x i1> @test14vec(<3 x i1> %A, <3 x i1> %B) {
; CHECK-LABEL: @test14vec(
-; CHECK-NEXT: [[TMP1:%.*]] = xor <3 x i1> %A, %B
+; CHECK-NEXT: [[TMP1:%.*]] = xor <3 x i1> [[A:%.*]], [[B:%.*]]
; CHECK-NEXT: [[C:%.*]] = xor <3 x i1> [[TMP1]], <i1 true, i1 true, i1 true>
; CHECK-NEXT: ret <3 x i1> [[C]]
;
@@ -150,7 +150,7 @@ define <3 x i1> @test14vec(<3 x i1> %A,
define i1 @bool_eq0(i64 %a) {
; CHECK-LABEL: @bool_eq0(
-; CHECK-NEXT: [[TMP1:%.*]] = icmp sgt i64 %a, 1
+; CHECK-NEXT: [[TMP1:%.*]] = icmp sgt i64 [[A:%.*]], 1
; CHECK-NEXT: ret i1 [[TMP1]]
;
%b = icmp sgt i64 %a, 0
@@ -164,7 +164,7 @@ define i1 @bool_eq0(i64 %a) {
define i1 @xor_of_icmps(i64 %a) {
; CHECK-LABEL: @xor_of_icmps(
-; CHECK-NEXT: [[TMP1:%.*]] = icmp sgt i64 %a, 1
+; CHECK-NEXT: [[TMP1:%.*]] = icmp sgt i64 [[A:%.*]], 1
; CHECK-NEXT: ret i1 [[TMP1]]
;
%b = icmp sgt i64 %a, 0
@@ -177,7 +177,7 @@ define i1 @xor_of_icmps(i64 %a) {
define i1 @xor_of_icmps_commute(i64 %a) {
; CHECK-LABEL: @xor_of_icmps_commute(
-; CHECK-NEXT: [[TMP1:%.*]] = icmp sgt i64 %a, 1
+; CHECK-NEXT: [[TMP1:%.*]] = icmp sgt i64 [[A:%.*]], 1
; CHECK-NEXT: ret i1 [[TMP1]]
;
%b = icmp sgt i64 %a, 0
@@ -190,8 +190,8 @@ define i1 @xor_of_icmps_commute(i64 %a)
define i1 @xor_of_icmps_folds_more(i64 %a) {
; CHECK-LABEL: @xor_of_icmps_folds_more(
-; CHECK-NEXT: [[B:%.*]] = icmp sgt i64 %a, 4
-; CHECK-NEXT: [[C:%.*]] = icmp slt i64 %a, 6
+; CHECK-NEXT: [[B:%.*]] = icmp sgt i64 [[A:%.*]], 4
+; CHECK-NEXT: [[C:%.*]] = icmp slt i64 [[A]], 6
; CHECK-NEXT: [[XOR:%.*]] = xor i1 [[B]], [[C]]
; CHECK-NEXT: ret i1 [[XOR]]
;
@@ -205,8 +205,8 @@ define i1 @xor_of_icmps_folds_more(i64 %
define i32 @PR2844(i32 %x) {
; CHECK-LABEL: @PR2844(
-; CHECK-NEXT: [[A:%.*]] = icmp ne i32 %x, 0
-; CHECK-NEXT: [[B:%.*]] = icmp sgt i32 %x, -638208502
+; CHECK-NEXT: [[A:%.*]] = icmp ne i32 [[X:%.*]], 0
+; CHECK-NEXT: [[B:%.*]] = icmp sgt i32 [[X]], -638208502
; CHECK-NEXT: [[TMP1:%.*]] = and i1 [[A]], [[B]]
; CHECK-NEXT: [[SEL:%.*]] = zext i1 [[TMP1]] to i32
; CHECK-NEXT: ret i32 [[SEL]]
@@ -241,9 +241,9 @@ define i1 @test17(i8 %A) {
define i1 @test18(i1 %C, i32 %a) {
; CHECK-LABEL: @test18(
; CHECK-NEXT: entry:
-; CHECK-NEXT: br i1 %C, label %endif, label %else
+; CHECK-NEXT: br i1 [[C:%.*]], label [[ENDIF:%.*]], label [[ELSE:%.*]]
; CHECK: else:
-; CHECK-NEXT: br label %endif
+; CHECK-NEXT: br label [[ENDIF]]
; CHECK: endif:
; CHECK-NEXT: ret i1 true
;
@@ -261,7 +261,7 @@ endif:
define i1 @test19(i1 %A, i1 %B) {
; CHECK-LABEL: @test19(
-; CHECK-NEXT: [[TMP1:%.*]] = xor i1 %A, %B
+; CHECK-NEXT: [[TMP1:%.*]] = xor i1 [[A:%.*]], [[B:%.*]]
; CHECK-NEXT: [[C:%.*]] = xor i1 [[TMP1]], true
; CHECK-NEXT: ret i1 [[C]]
;
@@ -273,7 +273,7 @@ define i1 @test19(i1 %A, i1 %B) {
define i32 @test20(i32 %A) {
; CHECK-LABEL: @test20(
-; CHECK-NEXT: [[B:%.*]] = and i32 %A, 1
+; CHECK-NEXT: [[B:%.*]] = and i32 [[A:%.*]], 1
; CHECK-NEXT: ret i32 [[B]]
;
%B = and i32 %A, 1
@@ -295,7 +295,7 @@ define <2 x i32> @test20vec(<2 x i32> %A
define i32 @test21(i32 %a) {
; CHECK-LABEL: @test21(
-; CHECK-NEXT: [[TMP_6:%.*]] = lshr i32 %a, 2
+; CHECK-NEXT: [[TMP_6:%.*]] = lshr i32 [[A:%.*]], 2
; CHECK-NEXT: [[TMP_6_LOBIT:%.*]] = and i32 [[TMP_6]], 1
; CHECK-NEXT: ret i32 [[TMP_6_LOBIT]]
;
@@ -331,7 +331,7 @@ define i1 @test22(i32 %A, i32 %X) {
define i32 @test23(i32 %a) {
; CHECK-LABEL: @test23(
-; CHECK-NEXT: [[TMP_1:%.*]] = and i32 %a, 1
+; CHECK-NEXT: [[TMP_1:%.*]] = and i32 [[A:%.*]], 1
; CHECK-NEXT: [[TMP1:%.*]] = xor i32 [[TMP_1]], 1
; CHECK-NEXT: ret i32 [[TMP1]]
;
@@ -355,7 +355,7 @@ define <2 x i32> @test23vec(<2 x i32> %a
define i32 @test24(i32 %a) {
; CHECK-LABEL: @test24(
-; CHECK-NEXT: [[TMP_1:%.*]] = lshr i32 %a, 2
+; CHECK-NEXT: [[TMP_1:%.*]] = lshr i32 [[A:%.*]], 2
; CHECK-NEXT: [[TMP_1_LOBIT:%.*]] = and i32 [[TMP_1]], 1
; CHECK-NEXT: [[TMP1:%.*]] = xor i32 [[TMP_1_LOBIT]], 1
; CHECK-NEXT: ret i32 [[TMP1]]
More information about the llvm-commits
mailing list