maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity
llvm-project/llvm/test/Transforms/LICM/2007-10-01-PromoteSafeValue.ll

24 lines
576 B
LLVM
Raw Normal View History

PR9634: Don't unconditionally tell the AliasSetTracker that the PreheaderLoad 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
2011-04-07 09:35:06 +08:00
; RUN: opt < %s -licm -S | FileCheck %s
Relax unsafe use check. If there is one unconditional use inside the loop then it is safe to promote value even if there is another conditional use inside the loop. llvm-svn: 42493
2007-10-02 02:12:58 +08:00
; 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
PR9634: Don't unconditionally tell the AliasSetTracker that the PreheaderLoad 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
2011-04-07 09:35:06 +08:00
; CHECK: exit:
; CHECK: store i32 20, i32* %p
Relax unsafe use check. If there is one unconditional use inside the loop then it is safe to promote value even if there is another conditional use inside the loop. llvm-svn: 42493
2007-10-02 02:12:58 +08:00
exit: ; preds = %loop.head
ret i32 0
}