1 ; RUN: opt -tbaa -gvn -S < %s | FileCheck %s
3 %struct.t = type { i32* }
5 ; The loaded address and the location of the address itself are not aliased,
6 ; so the second reload is not necessary. Check that it can be eliminated.
10 define void @test1(%struct.t* nocapture readonly %p, i32 %v) #0 {
12 %m = getelementptr inbounds %struct.t, %struct.t* %p, i32 0, i32 0
13 %0 = load i32*, i32** %m, align 4, !tbaa !1
14 store volatile i32 %v, i32* %0, align 4, !tbaa !6
15 %1 = load i32*, i32** %m, align 4, !tbaa !1
16 store volatile i32 %v, i32* %1, align 4, !tbaa !6
20 ; The store via the loaded address may overwrite the address itself.
21 ; Make sure that both loads remain.
26 define void @test2(%struct.t* nocapture readonly %p, i32 %v) #0 {
28 %m = getelementptr inbounds %struct.t, %struct.t* %p, i32 0, i32 0
29 %0 = load i32*, i32** %m, align 4, !tbaa !1
30 store volatile i32 %v, i32* %0, align 4, !tbaa !1
31 %1 = load i32*, i32** %m, align 4, !tbaa !1
32 store volatile i32 %v, i32* %1, align 4, !tbaa !1
36 ; The loads are ordered and non-monotonic. Although they are not aliased to
37 ; the stores, make sure both are preserved.
42 define void @test3(%struct.t* nocapture readonly %p, i32 %v) #0 {
44 %m = getelementptr inbounds %struct.t, %struct.t* %p, i32 0, i32 0
45 %0 = load atomic i32*, i32** %m acquire, align 4, !tbaa !1
46 store volatile i32 %v, i32* %0, align 4, !tbaa !6
47 %1 = load atomic i32*, i32** %m acquire, align 4, !tbaa !1
48 store volatile i32 %v, i32* %1, align 4, !tbaa !6
52 attributes #0 = { norecurse nounwind }
55 !2 = !{!"", !3, i64 0}
56 !3 = !{!"any pointer", !4, i64 0}
57 !4 = !{!"omnipotent char", !5, i64 0}
58 !5 = !{!"Simple C/C++ TBAA"}
60 !7 = !{!"int", !4, i64 0}