| ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py |
| ; RUN: opt -S -passes=indvars < %s | FileCheck %s |
| |
| ; This test used to assert when expanding an addrec into a loop without |
| ; preheader. |
| |
| define void @test(ptr %tgt) { |
| ; CHECK-LABEL: @test( |
| ; CHECK-NEXT: bb31: |
| ; CHECK-NEXT: indirectbr ptr [[TGT:%.*]], [label [[EXIT:%.*]], label %bb33] |
| ; CHECK: exit: |
| ; CHECK-NEXT: ret void |
| ; CHECK: bb33: |
| ; CHECK-NEXT: [[TMP34:%.*]] = phi i32 [ [[TMP50:%.*]], [[BB49:%.*]] ], [ 0, [[BB31:%.*]] ] |
| ; CHECK-NEXT: br i1 false, label [[BB40_PREHEADER:%.*]], label [[BB49]] |
| ; CHECK: bb40.preheader: |
| ; CHECK-NEXT: br label [[BB40:%.*]] |
| ; CHECK: bb40: |
| ; CHECK-NEXT: br label [[BB40]] |
| ; CHECK: bb49: |
| ; CHECK-NEXT: [[TMP50]] = add i32 [[TMP34]], 1 |
| ; CHECK-NEXT: br label [[BB33:%.*]] |
| ; |
| bb31: |
| indirectbr ptr %tgt, [label %exit, label %bb33] |
| |
| exit: |
| ret void |
| |
| bb33: ; preds = %bb49, %bb31 |
| %tmp34 = phi i32 [ %tmp50, %bb49 ], [ 0, %bb31 ] |
| %tmp36 = add i32 %tmp34, 1 |
| br i1 false, label %bb40, label %bb49 |
| |
| bb40: ; preds = %bb38, %bb37 |
| %tmp41 = phi i32 [ %tmp36, %bb33 ], [ %tmp39, %bb40 ] |
| %tmp39 = add i32 %tmp41, 0 |
| br label %bb40 |
| |
| bb49: ; preds = %bb35 |
| %tmp50 = add i32 %tmp34, 1 |
| br label %bb33 |
| } |