implement feedback

Author: ro-i

llvm/test/Transforms/JumpThreading/unreachable-loops.ll

@@ -187,20 +187,20 @@ cleanup2343.loopexit4:                            ; preds = %cleanup1491
 ; The test case has been generated by the AMD Fuzzing project and simplified
 ; manually and by llvm-reduce.
 
-define i32 @constant_phi_leads_to_self_reference() {
+define i32 @constant_phi_leads_to_self_reference(ptr %ptr) {
 ; CHECK-LABEL: @constant_phi_leads_to_self_reference(
-; CHECK-NEXT:    [[A9:%.*]] = alloca i1, align 1
+; CHECK-NEXT:    [[A10:%.*]] = alloca i1, align 1
 ; CHECK-NEXT:    br label [[F6:%.*]]
 ; CHECK:       T3:
 ; CHECK-NEXT:    [[L6:%.*]] = phi i1 [ [[C4:%.*]], [[BB6:%.*]] ]
 ; CHECK-NEXT:    br label [[BB5:%.*]]
 ; CHECK:       BB5:
-; CHECK-NEXT:    [[L10:%.*]] = load i1, ptr [[A9]], align 1
+; CHECK-NEXT:    [[L10:%.*]] = load i1, ptr [[A10]], align 1
 ; CHECK-NEXT:    br i1 [[L10]], label [[BB6]], label [[F6]]
 ; CHECK:       BB6:
-; CHECK-NEXT:    [[LGV3:%.*]] = load i1, ptr null, align 1
+; CHECK-NEXT:    [[LGV3:%.*]] = load i1, ptr [[A7:%.*]], align 1
 ; CHECK-NEXT:    [[C4]] = icmp sle i1 [[L6]], true
-; CHECK-NEXT:    store i1 [[C4]], ptr null, align 1
+; CHECK-NEXT:    store i1 [[C4]], ptr [[A7]], align 1
 ; CHECK-NEXT:    br i1 [[L6]], label [[F6]], label [[T3:%.*]]
 ; CHECK:       F6:
 ; CHECK-NEXT:    ret i32 0
@@ -217,17 +217,17 @@ F1:                                               ; preds = %BB4
   br i1 false, label %T4, label %T3
 
 T3:                                               ; preds = %T4, %BB6, %F1
-  %L6 = load i1, ptr null, align 1
+  %L6 = load i1, ptr %ptr, align 1
   br label %BB5
 
 BB5:                                              ; preds = %F7, %T3
   %L10 = load i1, ptr %A9, align 1
   br i1 %L10, label %BB6, label %F6
 
 BB6:                                              ; preds = %BB5
-  %LGV3 = load i1, ptr null, align 1
+  %LGV3 = load i1, ptr %ptr, align 1
   %C4 = icmp sle i1 %L6, true
-  store i1 %C4, ptr null, align 1
+  store i1 %C4, ptr %ptr, align 1
   br i1 %L6, label %F6, label %T3
 
 T4:                                               ; preds = %F1