1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
; RUN: not opt -instcombine < %s 2>&1 | FileCheck %s
; CHECK: Cycle found in TBAA metadata.
define void @test6(i32* %gi) #0 {
entry:
store i32 42, i32* %gi, align 4, !tbaa !0
br label %for.cond
for.cond: ; preds = %for.body, %entry
br i1 undef, label %for.body, label %for.end
for.body: ; preds = %for.cond
store i32 undef, i32* %gi, align 4, !tbaa !2
br label %for.cond
for.end: ; preds = %for.cond
ret void
}
attributes #0 = { nounwind ssp uwtable }
!0 = !{!1, !1, i64 0}
!1 = !{!"Simple C/C++ TBAA"}
!2 = distinct !{!3, !2, i64 0}
!3 = !{!"int", !4}
!4 = !{!"omnipotent ", !1}
|
