; 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
}