llvm/test/Transforms/SimpleLoopUnswitch/pr219510.ll

; RUN: opt -passes='loop-mssa(simple-loop-unswitch<nontrivial>)' -S < %s | FileCheck %s 

declare void @barrier() memory(read)
declare void @clobber()

; CHECK: call void @barrier()
; CHECK-NEXT: %lv = load i32, ptr %ptr


define i32 @bad_unswitch(ptr %ptr, i32 %N) {
entry:
  br label %loop.header
loop.header:
  %iv = phi i32 [ 0, %entry ], [ %iv.next, %loop.latch ]
  call void @barrier()
  %lv = load i32, ptr %ptr
  %sc = icmp eq i32 %lv, 100
  br i1 %sc, label %noclobber, label %clobber

noclobber:
  br label %loop.latch

clobber:
  call void @clobber()
  br label %loop.latch

loop.latch:
  %c = icmp ult i32 %iv, %N
  %iv.next = add i32 %iv, 1
  br i1 %c, label %loop.header, label %exit

exit:
  ret i32 10
}