1; RUN: opt -disable-output -disable-basicaa -pa-eval %s 2>&1 | FileCheck %s
2
3@"\01l_objc_msgSend_fixup_" = global i8 0
4@g1 = global i8 0, section "__OBJC,__message_refs,literal_pointers,no_dead_strip"
5@g2 = global i8 0, section "__DATA, __objc_classrefs, regular, no_dead_strip"
6@g3 = global i8 0, section "__DATA, __objc_superrefs, regular, no_dead_strip"
7@g4 = global i8 0, section "__TEXT,__objc_methname,cstring_literals"
8@g5 = global i8 0, section "__TEXT,__cstring,cstring_literals"
9
10declare void @g(i8)
11
12define void @f(i8* %a, i8** %b, i8** %c) {
13  %y1 = load i8, i8* %a
14  call void @g(i8 %y1)
15
16  %y2 = load i8*, i8** %b
17  %y3 = load i8*, i8** %c
18
19  %x0 = load i8, i8* @"\01l_objc_msgSend_fixup_"
20  call void @g(i8 %x0)
21
22  %x1 = load i8, i8* @g1
23  call void @g(i8 %x1)
24
25  %x2 = load i8, i8* @g2
26  call void @g(i8 %x2)
27
28  %x3 = load i8, i8* @g3
29  call void @g(i8 %x3)
30
31  %x4 = load i8, i8* @g4
32  call void @g(i8 %x4)
33
34  %x5 = load i8, i8* @g5
35  call void @g(i8 %x5)
36  ret void
37}
38
39; CHECK: y1 and y2 are related.
40; CHECK: y1 and y3 are related.
41; CHECK: y2 and y3 are related.
42; CHECK: x0 and y1 are not related.
43; CHECK: x0 and y2 are not related.
44; CHECK: x0 and y3 are not related.
45; CHECK: l_objc_msgSend_fixup_ and y1 are not related.
46; CHECK: l_objc_msgSend_fixup_ and y2 are not related.
47; CHECK: l_objc_msgSend_fixup_ and y3 are not related.
48; CHECK: x1 and y1 are not related.
49; CHECK: x2 and y1 are not related.
50; CHECK: x3 and y1 are not related.
51; CHECK: x4 and y1 are not related.
52; CHECK: x5 and y1 are not related.
53