mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-10-21 03:53:04 +02: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
38 lines
1.1 KiB
LLVM
38 lines
1.1 KiB
LLVM
; RUN: opt < %s -tbaa -licm -S | FileCheck %s
|
|
; PR9634
|
|
|
|
@g_58 = common global i32 0, align 4
|
|
@g_116 = common global i32* null, align 8
|
|
|
|
define void @f() nounwind {
|
|
|
|
; CHECK: entry:
|
|
; CHECK: alloca [9 x i16]
|
|
; CHECK: load i32* @g_58
|
|
; CHECK: br label %for.body
|
|
|
|
entry:
|
|
%l_87.i = alloca [9 x i16], align 16
|
|
br label %for.body
|
|
|
|
for.body: ; preds = %entry, %for.inc
|
|
%inc12 = phi i32 [ 0, %entry ], [ %inc, %for.body ]
|
|
store i32* @g_58, i32** @g_116, align 8, !tbaa !0
|
|
%tmp2 = load i32** @g_116, align 8, !tbaa !0
|
|
%tmp3 = load i32* %tmp2, !tbaa !4
|
|
%or = or i32 %tmp3, 10
|
|
store i32 %or, i32* %tmp2, !tbaa !4
|
|
%inc = add nsw i32 %inc12, 1
|
|
%cmp = icmp slt i32 %inc, 4
|
|
br i1 %cmp, label %for.body, label %for.end
|
|
|
|
for.end: ; preds = %for.inc
|
|
ret void
|
|
}
|
|
|
|
!0 = metadata !{metadata !"any pointer", metadata !1}
|
|
!1 = metadata !{metadata !"omnipotent char", metadata !2}
|
|
!2 = metadata !{metadata !"Simple C/C++ TBAA", null}
|
|
!3 = metadata !{metadata !"short", metadata !1}
|
|
!4 = metadata !{metadata !"int", metadata !1}
|