test/Transforms/ObjCARC/provenance.ll

   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.