test/Analysis/TypeBasedAliasAnalysis/aliastest.ll

   1 ; RUN: opt < %s -enable-tbaa -tbaa -basicaa -gvn -S | FileCheck %s
   2
   3 ; CHECK: @test0_yes
   4 ; CHECK: add i8 %x, %x
   5 define i8 @test0_yes(i8* %a, i8* %b) nounwind {
   6   %x = load i8* %a, !tbaa !1
   7   store i8 0, i8* %b, !tbaa !2
   8   %y = load i8* %a, !tbaa !1
   9   %z = add i8 %x, %y
  10   ret i8 %z
  11 }
  12
  13 ; CHECK: @test0_no
  14 ; CHECK: add i8 %x, %y
  15 define i8 @test0_no(i8* %a, i8* %b) nounwind {
  16   %x = load i8* %a, !tbaa !3
  17   store i8 0, i8* %b, !tbaa !4
  18   %y = load i8* %a, !tbaa !3
  19   %z = add i8 %x, %y
  20   ret i8 %z
  21 }
  22
  23 ; CHECK: @test1_yes
  24 ; CHECK: add i8 %x, %x
  25 define i8 @test1_yes(i8* %a, i8* %b) nounwind {
  26   %x = load i8* %a, !tbaa !5
  27   store i8 0, i8* %b
  28   %y = load i8* %a, !tbaa !5
  29   %z = add i8 %x, %y
  30   ret i8 %z
  31 }
  32
  33 ; CHECK: @test1_no
  34 ; CHECK: add i8 %x, %y
  35 define i8 @test1_no(i8* %a, i8* %b) nounwind {
  36   %x = load i8* %a, !tbaa !6
  37   store i8 0, i8* %b
  38   %y = load i8* %a, !tbaa !6
  39   %z = add i8 %x, %y
  40   ret i8 %z
  41 }
  42
  43 ; Root note.
  44 !0 = metadata !{ }
  45 ; Some type.
  46 !1 = metadata !{ metadata !"foo", metadata !0 }
  47 ; Some other non-aliasing type.
  48 !2 = metadata !{ metadata !"bar", metadata !0 }
  49
  50 ; Some type.
  51 !3 = metadata !{ metadata !"foo", metadata !0 }
  52 ; Some type in a different type system.
  53 !4 = metadata !{ metadata !"bar", metadata !"different" }
  54
  55 ; Invariant memory.
  56 !5 = metadata !{ metadata !"qux", metadata !0, i1 1 }
  57 ; Not invariant memory.
  58 !6 = metadata !{ metadata !"qux", metadata !0, i1 0 }