diff options
Diffstat (limited to 'llvm/test/Transforms/LoopRotate/pr37205.ll')
| -rw-r--r-- | llvm/test/Transforms/LoopRotate/pr37205.ll | 116 |
1 files changed, 116 insertions, 0 deletions
diff --git a/llvm/test/Transforms/LoopRotate/pr37205.ll b/llvm/test/Transforms/LoopRotate/pr37205.ll new file mode 100644 index 00000000000..3ba6c04545f --- /dev/null +++ b/llvm/test/Transforms/LoopRotate/pr37205.ll @@ -0,0 +1,116 @@ +; NOTE: Assertions have been autogenerated by utils/update_test_checks.py +; RUN: opt -S -indvars -verify -loop-rotate -loop-idiom < %s | FileCheck %s +target triple = "x86_64-unknown-linux-gnu" + +; Verify that we invalidate SCEV properly. + +define void @test_01() { +; CHECK-LABEL: @test_01( +; CHECK-NEXT: entry: +; CHECK-NEXT: br label [[LBL1:%.*]] +; CHECK: lbl1: +; CHECK-NEXT: br label [[FOR_COND:%.*]] +; CHECK: for.cond: +; CHECK-NEXT: br i1 false, label [[FOR_BODY3_LR_PH:%.*]], label [[FOR_COND_FOR_END5_CRIT_EDGE:%.*]] +; CHECK: for.body3.lr.ph: +; CHECK-NEXT: br label [[FOR_BODY3:%.*]] +; CHECK: for.cond1: +; CHECK-NEXT: br i1 false, label [[FOR_BODY3]], label [[FOR_COND1_FOR_END5_CRIT_EDGE:%.*]] +; CHECK: for.body3: +; CHECK-NEXT: br i1 false, label [[IF_THEN:%.*]], label [[FOR_COND1:%.*]] +; CHECK: if.then: +; CHECK-NEXT: br label [[LBL1]] +; CHECK: for.cond.for.end5_crit_edge: +; CHECK-NEXT: br label [[FOR_END5:%.*]] +; CHECK: for.cond1.for.end5_crit_edge: +; CHECK-NEXT: br label [[FOR_END5]] +; CHECK: for.end5: +; CHECK-NEXT: ret void +; +entry: + br label %lbl1 + +lbl1: ; preds = %if.then, %entry + br label %for.cond + +for.cond: ; preds = %lbl1 + br label %for.cond1 + +for.cond1: ; preds = %if.end, %for.cond + br i1 false, label %for.body3, label %for.end5 + +for.body3: ; preds = %for.cond1 + br i1 false, label %if.then, label %if.end + +if.then: ; preds = %for.body3 + br label %lbl1 + +if.end: ; preds = %for.body3 + br label %for.cond1 + +for.end5: ; preds = %for.cond1 + ret void +} + +define void @test_02() { +; CHECK-LABEL: @test_02( +; CHECK-NEXT: entry: +; CHECK-NEXT: br label [[LBL1:%.*]] +; CHECK: lbl1: +; CHECK-NEXT: br label [[FOR_COND:%.*]] +; CHECK: for.cond: +; CHECK-NEXT: br i1 false, label [[IF_THEN:%.*]], label [[IF_END7:%.*]] +; CHECK: if.then: +; CHECK-NEXT: br i1 false, label [[FOR_BODY_LR_PH:%.*]], label [[IF_THEN_FOR_END6_CRIT_EDGE:%.*]] +; CHECK: for.body.lr.ph: +; CHECK-NEXT: br label [[FOR_BODY:%.*]] +; CHECK: for.body: +; CHECK-NEXT: br i1 false, label [[IF_THEN3:%.*]], label [[IF_END:%.*]] +; CHECK: if.then3: +; CHECK-NEXT: br label [[LBL1]] +; CHECK: if.end: +; CHECK-NEXT: br label [[FOR_COND4:%.*]] +; CHECK: for.cond4: +; CHECK-NEXT: br i1 false, label [[FOR_BODY]], label [[FOR_COND1_FOR_END6_CRIT_EDGE:%.*]] +; CHECK: if.then.for.end6_crit_edge: +; CHECK-NEXT: br label [[FOR_END6:%.*]] +; CHECK: for.cond1.for.end6_crit_edge: +; CHECK-NEXT: br label [[FOR_END6]] +; CHECK: for.end6: +; CHECK-NEXT: ret void +; CHECK: if.end7: +; CHECK-NEXT: unreachable +; +entry: + br label %lbl1 + +lbl1: ; preds = %if.then3, %entry + br label %for.cond + +for.cond: ; preds = %lbl1 + br i1 false, label %if.then, label %if.end7 + +if.then: ; preds = %for.cond + br label %for.cond1 + +for.cond1: ; preds = %for.cond4, %if.then + br i1 undef, label %for.body, label %for.end6 + +for.body: ; preds = %for.cond1 + br i1 false, label %if.then3, label %if.end + +if.then3: ; preds = %for.body + br label %lbl1 + +if.end: ; preds = %for.body + br label %for.cond4 + +for.cond4: ; preds = %if.end + br label %for.cond1 + +for.end6: ; preds = %for.cond1 + ret void + +if.end7: ; preds = %for.cond + unreachable +} |
