1; RUN: opt < %s -passes=licm -S | FileCheck %s 2; Promote value if at least one use is safe 3 4 5define i32 @f2(ptr %p, ptr %q) { 6entry: 7 br label %loop.head 8 9loop.head: ; preds = %cond.true, %entry 10 store i32 20, ptr %p 11 %tmp3.i = icmp eq ptr null, %q ; <i1> [#uses=1] 12 br i1 %tmp3.i, label %exit, label %cond.true 13 14cond.true: ; preds = %loop.head 15 store i32 40, ptr %p 16 br label %loop.head 17 18; CHECK: exit: 19; CHECK: store i32 20, ptr %p 20exit: ; preds = %loop.head 21 ret i32 0 22} 23 24