llvm/test/Transforms/LoopInstSimplify/pr55072.ll

   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
   5 define 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 ;
  14 bb:
  15   br label %loop
  16
  17 loop:                                              ; preds = %bb, %loop
  18   %tmp = lshr exact i32 undef, 16
  19   br label %loop
  20
  21 unreached:                                              ; No predecessors!
  22   ret i32 %tmp
  23 }