blob: e3d0d02edd9df0a1504706cb9a7fbfadd7e45887 [file] [log] [blame]
; RUN: opt < %s -licm -S | FileCheck %s
; Promote value if at least one use is safe
define i32 @f2(i32* %p, i8* %q) {
entry:
br label %loop.head
loop.head: ; preds = %cond.true, %entry
store i32 20, i32* %p
%tmp3.i = icmp eq i8* null, %q ; <i1> [#uses=1]
br i1 %tmp3.i, label %exit, label %cond.true
cond.true: ; preds = %loop.head
store i32 40, i32* %p
br label %loop.head
; CHECK: exit:
; CHECK: store i32 20, i32* %p
exit: ; preds = %loop.head
ret i32 0
}