@@ -100,10 +100,10 @@ define <3 x i4> @partial_undef_vec() {
100
100
101
101
define i32 @early_freeze_test1 (i32 %x , i32 %y ) {
102
102
; CHECK-LABEL: @early_freeze_test1(
103
- ; CHECK-NEXT: [[V1_FR :%.*]] = freeze i32 [[V1 :%.*]]
103
+ ; CHECK-NEXT: [[X_FR :%.*]] = freeze i32 [[X :%.*]]
104
104
; CHECK-NEXT: [[Y_FR:%.*]] = freeze i32 [[Y:%.*]]
105
- ; CHECK-NEXT: [[V4 :%.*]] = add i32 [[V1_FR ]], [[Y_FR]]
106
- ; CHECK-NEXT: [[V2:%.*]] = shl i32 [[V4 ]], 1
105
+ ; CHECK-NEXT: [[V1 :%.*]] = add i32 [[X_FR ]], [[Y_FR]]
106
+ ; CHECK-NEXT: [[V2:%.*]] = shl i32 [[V1 ]], 1
107
107
; CHECK-NEXT: [[V3:%.*]] = and i32 [[V2]], 2
108
108
; CHECK-NEXT: ret i32 [[V3]]
109
109
;
@@ -145,9 +145,9 @@ define i32 @early_freeze_test3(i32 %v1) {
145
145
146
146
define i32 @early_freeze_test4 (i32 %v1 ) {
147
147
; CHECK-LABEL: @early_freeze_test4(
148
- ; CHECK-NEXT: [[V2_FR :%.*]] = freeze i32 [[V2 :%.*]]
149
- ; CHECK-NEXT: [[V3 :%.*]] = mul i32 [[V2_FR ]], [[V2_FR ]]
150
- ; CHECK-NEXT: ret i32 [[V3 ]]
148
+ ; CHECK-NEXT: [[V1_FR :%.*]] = freeze i32 [[V1 :%.*]]
149
+ ; CHECK-NEXT: [[V2 :%.*]] = mul i32 [[V1_FR ]], [[V1_FR ]]
150
+ ; CHECK-NEXT: ret i32 [[V2 ]]
151
151
;
152
152
%v2 = mul i32 %v1 , %v1
153
153
%v2.fr = freeze i32 %v2
@@ -894,14 +894,14 @@ exit: ; preds = %loop
894
894
define void @fold_phi_gep_phi_offset (ptr %init , ptr %end , i64 noundef %n ) {
895
895
; CHECK-LABEL: @fold_phi_gep_phi_offset(
896
896
; CHECK-NEXT: entry:
897
- ; CHECK-NEXT: [[INIT :%.*]] = freeze ptr [[INIT1 :%.*]]
897
+ ; CHECK-NEXT: [[TMP0 :%.*]] = freeze ptr [[INIT :%.*]]
898
898
; CHECK-NEXT: br label [[LOOP:%.*]]
899
899
; CHECK: loop:
900
- ; CHECK-NEXT: [[I:%.*]] = phi ptr [ [[INIT ]], [[ENTRY:%.*]] ], [ [[I_NEXT_FR :%.*]], [[LOOP]] ]
900
+ ; CHECK-NEXT: [[I:%.*]] = phi ptr [ [[TMP0 ]], [[ENTRY:%.*]] ], [ [[I_NEXT :%.*]], [[LOOP]] ]
901
901
; CHECK-NEXT: [[OFF:%.*]] = phi i64 [ [[N:%.*]], [[ENTRY]] ], [ [[OFF_NEXT:%.*]], [[LOOP]] ]
902
902
; CHECK-NEXT: [[OFF_NEXT]] = shl i64 [[OFF]], 3
903
- ; CHECK-NEXT: [[I_NEXT_FR ]] = getelementptr i8, ptr [[I]], i64 [[OFF_NEXT]]
904
- ; CHECK-NEXT: [[COND:%.*]] = icmp eq ptr [[I_NEXT_FR ]], [[END:%.*]]
903
+ ; CHECK-NEXT: [[I_NEXT ]] = getelementptr i8, ptr [[I]], i64 [[OFF_NEXT]]
904
+ ; CHECK-NEXT: [[COND:%.*]] = icmp eq ptr [[I_NEXT ]], [[END:%.*]]
905
905
; CHECK-NEXT: br i1 [[COND]], label [[LOOP]], label [[EXIT:%.*]]
906
906
; CHECK: exit:
907
907
; CHECK-NEXT: ret void
@@ -927,14 +927,14 @@ exit: ; preds = %loop
927
927
define void @fold_phi_gep_inbounds_phi_offset (ptr %init , ptr %end , i64 noundef %n ) {
928
928
; CHECK-LABEL: @fold_phi_gep_inbounds_phi_offset(
929
929
; CHECK-NEXT: entry:
930
- ; CHECK-NEXT: [[INIT :%.*]] = freeze ptr [[INIT1 :%.*]]
930
+ ; CHECK-NEXT: [[TMP0 :%.*]] = freeze ptr [[INIT :%.*]]
931
931
; CHECK-NEXT: br label [[LOOP:%.*]]
932
932
; CHECK: loop:
933
- ; CHECK-NEXT: [[I:%.*]] = phi ptr [ [[INIT ]], [[ENTRY:%.*]] ], [ [[I_NEXT_FR :%.*]], [[LOOP]] ]
933
+ ; CHECK-NEXT: [[I:%.*]] = phi ptr [ [[TMP0 ]], [[ENTRY:%.*]] ], [ [[I_NEXT :%.*]], [[LOOP]] ]
934
934
; CHECK-NEXT: [[OFF:%.*]] = phi i64 [ [[N:%.*]], [[ENTRY]] ], [ [[OFF_NEXT:%.*]], [[LOOP]] ]
935
935
; CHECK-NEXT: [[OFF_NEXT]] = shl i64 [[OFF]], 3
936
- ; CHECK-NEXT: [[I_NEXT_FR ]] = getelementptr i8, ptr [[I]], i64 [[OFF_NEXT]]
937
- ; CHECK-NEXT: [[COND:%.*]] = icmp eq ptr [[I_NEXT_FR ]], [[END:%.*]]
936
+ ; CHECK-NEXT: [[I_NEXT ]] = getelementptr i8, ptr [[I]], i64 [[OFF_NEXT]]
937
+ ; CHECK-NEXT: [[COND:%.*]] = icmp eq ptr [[I_NEXT ]], [[END:%.*]]
938
938
; CHECK-NEXT: br i1 [[COND]], label [[LOOP]], label [[EXIT:%.*]]
939
939
; CHECK: exit:
940
940
; CHECK-NEXT: ret void
0 commit comments