| ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py |
| ; RUN: opt -S %s -passes=loop-instsimplify | FileCheck %s |
| ; RUN: opt -S %s -passes='loop-mssa(loop-instsimplify)' -verify-memoryssa | FileCheck %s |
| |
| define i32 @test_01() { |
| ; CHECK-LABEL: @test_01( |
| ; CHECK-NEXT: bb: |
| ; CHECK-NEXT: br label [[LOOP:%.*]] |
| ; CHECK: loop: |
| ; CHECK-NEXT: br label [[LOOP]] |
| ; CHECK: unreached: |
| ; CHECK-NEXT: ret i32 0 |
| ; |
| bb: |
| br label %loop |
| |
| loop: ; preds = %bb, %loop |
| %tmp = lshr exact i32 undef, 16 |
| br label %loop |
| |
| unreached: ; No predecessors! |
| ret i32 %tmp |
| } |
