xref: /llvm-project/llvm/test/Transforms/LoopInstSimplify/pr55072.ll (revision 606a000d1a1369e3a49e41d29b3987f87c498ed3) 
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2; RUN: opt -S %s -passes=loop-instsimplify | FileCheck %s
3; RUN: opt -S %s -passes='loop-mssa(loop-instsimplify)' -verify-memoryssa | FileCheck %s
4
5define i32 @test_01() {
6; CHECK-LABEL: @test_01(
7; CHECK-NEXT:  bb:
8; CHECK-NEXT:    br label [[LOOP:%.*]]
9; CHECK:       loop:
10; CHECK-NEXT:    br label [[LOOP]]
11; CHECK:       unreached:
12; CHECK-NEXT:    ret i32 0
13;
14bb:
15  br label %loop
16
17loop:                                              ; preds = %bb, %loop
18  %tmp = lshr exact i32 undef, 16
19  br label %loop
20
21unreached:                                              ; No predecessors!
22  ret i32 %tmp
23}
24