53 lines · plain
1; RUN: opt -disable-output -aa-pipeline= -passes=pa-eval %s 2>&1 | FileCheck %s2 3@"\01l_objc_msgSend_fixup_" = global i8 04@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(ptr)11 12define void @f(ptr %a, ptr %b, ptr %c) {13 %y1 = load ptr, ptr %a14 call void @g(ptr %y1)15 16 %y2 = load ptr, ptr %b17 %y3 = load ptr, ptr %c18 19 %x0 = load ptr, ptr @"\01l_objc_msgSend_fixup_"20 call void @g(ptr %x0)21 22 %x1 = load ptr, ptr @g123 call void @g(ptr %x1)24 25 %x2 = load ptr, ptr @g226 call void @g(ptr %x2)27 28 %x3 = load ptr, ptr @g329 call void @g(ptr %x3)30 31 %x4 = load ptr, ptr @g432 call void @g(ptr %x4)33 34 %x5 = load ptr, ptr @g535 call void @g(ptr %x5)36 ret void37}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