Skip to content

Commit 8fd57b0

Browse files
committed
[NFC][InstCombine] Fix value names (s/%tmp/%i/) and autogenerate a few tests being affected by negator change
1 parent 3f33033 commit 8fd57b0

File tree

3 files changed

+36
-36
lines changed

3 files changed

+36
-36
lines changed

llvm/test/Transforms/InstCombine/icmp.ll

Lines changed: 13 additions & 13 deletions
Original file line numberDiff line numberDiff line change
@@ -916,14 +916,14 @@ define i1 @PR32949(i32 %X, i32 %Y, i32 %Z) {
916916
}
917917

918918
; PR8469
919-
define <2 x i1> @test49(<2 x i32> %tmp3) {
919+
define <2 x i1> @test49(<2 x i32> %i3) {
920920
; CHECK-LABEL: @test49(
921921
; CHECK-NEXT: entry:
922922
; CHECK-NEXT: ret <2 x i1> <i1 true, i1 true>
923923
;
924924
entry:
925-
%tmp11 = and <2 x i32> %tmp3, <i32 3, i32 3>
926-
%cmp = icmp ult <2 x i32> %tmp11, <i32 4, i32 4>
925+
%i11 = and <2 x i32> %i3, <i32 3, i32 3>
926+
%cmp = icmp ult <2 x i32> %i11, <i32 4, i32 4>
927927
ret <2 x i1> %cmp
928928
}
929929

@@ -959,9 +959,9 @@ define i1 @test52(i32 %x1) {
959959
;
960960
%conv = and i32 %x1, 255
961961
%cmp = icmp eq i32 %conv, 127
962-
%tmp2 = lshr i32 %x1, 16
963-
%tmp3 = trunc i32 %tmp2 to i8
964-
%cmp15 = icmp eq i8 %tmp3, 76
962+
%i2 = lshr i32 %x1, 16
963+
%i3 = trunc i32 %i2 to i8
964+
%cmp15 = icmp eq i8 %i3, 76
965965

966966
%A = and i1 %cmp, %cmp15
967967
ret i1 %A
@@ -975,9 +975,9 @@ define i1 @test52b(i128 %x1) {
975975
;
976976
%conv = and i128 %x1, 255
977977
%cmp = icmp eq i128 %conv, 127
978-
%tmp2 = lshr i128 %x1, 16
979-
%tmp3 = trunc i128 %tmp2 to i8
980-
%cmp15 = icmp eq i8 %tmp3, 76
978+
%i2 = lshr i128 %x1, 16
979+
%i3 = trunc i128 %i2 to i8
980+
%cmp15 = icmp eq i8 %i3, 76
981981

982982
%A = and i1 %cmp, %cmp15
983983
ret i1 %A
@@ -3006,10 +3006,10 @@ define i32 @f6(i32 %a, i32 %b) {
30063006

30073007
define i32 @f7(i32 %a, i32 %b) {
30083008
; CHECK-LABEL: @f7(
3009-
; CHECK-NEXT: [[CMP_UNSHIFTED:%.*]] = xor i32 [[A:%.*]], [[B:%.*]]
3010-
; CHECK-NEXT: [[CMP_MASK:%.*]] = and i32 [[CMP_UNSHIFTED]], 511
3011-
; CHECK-NEXT: [[CMP:%.*]] = icmp eq i32 [[CMP_MASK]], 0
3012-
; CHECK-NEXT: [[S:%.*]] = select i1 [[CMP]], i32 0, i32 10000
3009+
; CHECK-NEXT: [[CMP_NOT_UNSHIFTED:%.*]] = xor i32 [[A:%.*]], [[B:%.*]]
3010+
; CHECK-NEXT: [[CMP_NOT_MASK:%.*]] = and i32 [[CMP_NOT_UNSHIFTED]], 511
3011+
; CHECK-NEXT: [[CMP_NOT:%.*]] = icmp eq i32 [[CMP_NOT_MASK]], 0
3012+
; CHECK-NEXT: [[S:%.*]] = select i1 [[CMP_NOT]], i32 0, i32 10000
30133013
; CHECK-NEXT: ret i32 [[S]]
30143014
;
30153015
%sext = shl i32 %a, 23

llvm/test/Transforms/InstCombine/sub-gep.ll

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -73,9 +73,9 @@ define i64 @test_inbounds_nuw_swapped([0 x i32]* %base, i64 %idx) {
7373
; The sub and shl here could be nuw, but this is harder to handle.
7474
define i64 @test_inbounds_nuw_two_gep([0 x i32]* %base, i64 %idx, i64 %idx2) {
7575
; CHECK-LABEL: @test_inbounds_nuw_two_gep(
76-
; CHECK-NEXT: [[TMP1:%.*]] = sub i64 [[IDX2:%.*]], [[IDX:%.*]]
77-
; CHECK-NEXT: [[DIFF_NEG:%.*]] = shl i64 [[TMP1]], 2
78-
; CHECK-NEXT: ret i64 [[DIFF_NEG]]
76+
; CHECK-NEXT: [[P1_IDX1_NEG:%.*]] = sub i64 [[IDX2:%.*]], [[IDX:%.*]]
77+
; CHECK-NEXT: [[DOTNEG:%.*]] = shl i64 [[P1_IDX1_NEG]], 2
78+
; CHECK-NEXT: ret i64 [[DOTNEG]]
7979
;
8080
%p1 = getelementptr inbounds [0 x i32], [0 x i32]* %base, i64 0, i64 %idx
8181
%p2 = getelementptr inbounds [0 x i32], [0 x i32]* %base, i64 0, i64 %idx2

llvm/test/Transforms/InstCombine/sub.ll

Lines changed: 20 additions & 20 deletions
Original file line numberDiff line numberDiff line change
@@ -376,42 +376,42 @@ define i64 @test18(i64 %Y) {
376376
; CHECK-LABEL: @test18(
377377
; CHECK-NEXT: ret i64 0
378378
;
379-
%tmp.4 = shl i64 %Y, 2
380-
%tmp.12 = shl i64 %Y, 2
381-
%tmp.8 = sub i64 %tmp.4, %tmp.12
382-
ret i64 %tmp.8
379+
%i.4 = shl i64 %Y, 2
380+
%i.12 = shl i64 %Y, 2
381+
%i.8 = sub i64 %i.4, %i.12
382+
ret i64 %i.8
383383
}
384384

385385
define i1 @test20(i32 %g, i32 %h) {
386386
; CHECK-LABEL: @test20(
387-
; CHECK-NEXT: [[TMP_4:%.*]] = icmp ne i32 [[H:%.*]], 0
388-
; CHECK-NEXT: ret i1 [[TMP_4]]
387+
; CHECK-NEXT: [[I_4:%.*]] = icmp ne i32 [[H:%.*]], 0
388+
; CHECK-NEXT: ret i1 [[I_4]]
389389
;
390-
%tmp.2 = sub i32 %g, %h
391-
%tmp.4 = icmp ne i32 %tmp.2, %g
392-
ret i1 %tmp.4
390+
%i.2 = sub i32 %g, %h
391+
%i.4 = icmp ne i32 %i.2, %g
392+
ret i1 %i.4
393393
}
394394

395395
define i1 @test21(i32 %g, i32 %h) {
396396
; CHECK-LABEL: @test21(
397-
; CHECK-NEXT: [[TMP_4:%.*]] = icmp ne i32 [[H:%.*]], 0
398-
; CHECK-NEXT: ret i1 [[TMP_4]]
397+
; CHECK-NEXT: [[I_4:%.*]] = icmp ne i32 [[H:%.*]], 0
398+
; CHECK-NEXT: ret i1 [[I_4]]
399399
;
400-
%tmp.2 = sub i32 %g, %h
401-
%tmp.4 = icmp ne i32 %tmp.2, %g
402-
ret i1 %tmp.4
400+
%i.2 = sub i32 %g, %h
401+
%i.4 = icmp ne i32 %i.2, %g
402+
ret i1 %i.4
403403
}
404404

405405
; PR2298
406406
define zeroext i1 @test22(i32 %a, i32 %b) nounwind {
407407
; CHECK-LABEL: @test22(
408-
; CHECK-NEXT: [[TMP5:%.*]] = icmp eq i32 [[B:%.*]], [[A:%.*]]
409-
; CHECK-NEXT: ret i1 [[TMP5]]
408+
; CHECK-NEXT: [[I5:%.*]] = icmp eq i32 [[B:%.*]], [[A:%.*]]
409+
; CHECK-NEXT: ret i1 [[I5]]
410410
;
411-
%tmp2 = sub i32 0, %a
412-
%tmp4 = sub i32 0, %b
413-
%tmp5 = icmp eq i32 %tmp2, %tmp4
414-
ret i1 %tmp5
411+
%i2 = sub i32 0, %a
412+
%i4 = sub i32 0, %b
413+
%i5 = icmp eq i32 %i2, %i4
414+
ret i1 %i5
415415
}
416416

417417
; rdar://7362831

0 commit comments

Comments
 (0)