| ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py |
| ; RUN: opt -loop-reduce -loop-unroll -unroll-runtime -verify-scev -verify-loop-lcssa < %s -S | FileCheck %s |
| |
| ; Test case for PR43458. We check that we do properly invalidate LCSSA phi |
| ; users in SCEV. Run -loop-reduce first, so SCEV is already populated. |
| |
| define void @spam() { |
| ; CHECK-LABEL: @spam( |
| ; CHECK-NEXT: bb: |
| ; CHECK-NEXT: br label [[BB3:%.*]] |
| ; CHECK: bb3: |
| ; CHECK-NEXT: br i1 false, label [[BB9:%.*]], label [[BB5_PREHEADER:%.*]] |
| ; CHECK: bb5.preheader: |
| ; CHECK-NEXT: br label [[BB5:%.*]] |
| ; CHECK: bb5: |
| ; CHECK-NEXT: br label [[BB9]] |
| ; CHECK: bb9: |
| ; CHECK-NEXT: [[TMP10:%.*]] = phi i64 [ 0, [[BB3]] ], [ 5, [[BB5]] ] |
| ; CHECK-NEXT: [[TMP11:%.*]] = trunc i64 [[TMP10]] to i32 |
| ; CHECK-NEXT: [[TMP21:%.*]] = sext i32 [[TMP11]] to i64 |
| ; CHECK-NEXT: [[TMP22:%.*]] = icmp slt i64 0, [[TMP21]] |
| ; CHECK-NEXT: br i1 [[TMP22]], label [[BB24_PREHEADER:%.*]], label [[BB29:%.*]] |
| ; CHECK: bb24.preheader: |
| ; CHECK-NEXT: br label [[BB24:%.*]] |
| ; CHECK: bb24: |
| ; CHECK-NEXT: [[TMP25:%.*]] = phi i64 [ [[TMP26:%.*]], [[BB24]] ], [ 0, [[BB24_PREHEADER]] ] |
| ; CHECK-NEXT: [[TMP26]] = add nuw nsw i64 [[TMP25]], 1 |
| ; CHECK-NEXT: [[TMP27:%.*]] = icmp slt i64 [[TMP26]], [[TMP21]] |
| ; CHECK-NEXT: br i1 [[TMP27]], label [[BB24]], label [[BB29_LOOPEXIT:%.*]] |
| ; CHECK: bb29.loopexit: |
| ; CHECK-NEXT: br label [[BB29]] |
| ; CHECK: bb29: |
| ; CHECK-NEXT: ret void |
| ; |
| bb: |
| br label %bb3 |
| |
| bb3: ; preds = %bb9, %bb |
| %pv1 = phi i64 [ 0, %bb ], [ %iv1, %bb9] |
| %c1 = icmp eq i64 %pv1, 5 |
| br i1 %c1, label %bb9, label %bb5 |
| |
| bb5: ; preds = %bb5, %bb3 |
| %pv = phi i64 [ 0, %bb3], [ %tmp6, %bb5] |
| %tmp6 = add nsw i64 %pv, 1 |
| %cond = icmp eq i64 %tmp6, 5 |
| br i1 %cond, label %bb8, label %bb5 |
| |
| bb8: ; preds = %bb5 |
| br label %bb9 |
| |
| bb9: ; preds = %bb8, %bb3 |
| %tmp10 = phi i64 [ 0, %bb3 ], [ %tmp6, %bb8 ] |
| %tmp11 = trunc i64 %tmp10 to i32 |
| %iv1 = add nsw i64 %pv1, 1 |
| br i1 false, label %bb3, label %bb20 |
| |
| bb20: ; preds = %bb9 |
| %tmp21 = sext i32 %tmp11 to i64 |
| %tmp22 = icmp slt i64 0, %tmp21 |
| br i1 %tmp22, label %bb24, label %bb29 |
| |
| bb24: ; preds = %bb24, %bb20 |
| %tmp25 = phi i64 [ %tmp26, %bb24 ], [ 0, %bb20 ] |
| %tmp26 = add nuw nsw i64 %tmp25, 1 |
| %tmp27 = icmp slt i64 %tmp26, %tmp21 |
| br i1 %tmp27, label %bb24, label %bb29 |
| |
| bb29: ; preds = %bb24, %bb20 |
| ret void |
| } |
