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 10 declare void @g(i8) 11 12 define 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
