mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-11-01 16:33:37 +01:00
b0e846a68c
is equivalent to any other relevant value; it isn't true in general. If it is equivalent, the LoopPromoter will tell the AST the equivalence. Also, delete the PreheaderLoad if it is unused. Chris, since you were the last one to make major changes here, can you check that this is sane? llvm-svn: 129049
24 lines
576 B
LLVM
24 lines
576 B
LLVM
; 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
|
|
}
|
|
|