test/Analysis/TypeBasedAliasAnalysis/aliastest.ll

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