mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2025-01-31 20:51:52 +01:00
[NFC][InstCombine] Regenerate set.ll test
llvm-svn: 338965
This commit is contained in:
Roman Lebedev
parent
79b9cdb728
commit
284a481fe2
@ -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, <2 x i1> %B) {
|
||||
|
||||
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, <3 x i1> %B) {
|
||||
|
||||
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 %a) {
|
||||
|
||||
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]]
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user