llvm/test/Analysis/AliasSet/saturation.ll

   1 ; RUN: opt -passes=print-alias-sets -alias-set-saturation-threshold=4 -S -o - < %s 2>&1 | FileCheck %s --check-prefix=CHECK --check-prefix=NOSAT
   2 ; RUN: opt -passes=print-alias-sets -alias-set-saturation-threshold=3 -S -o - < %s 2>&1 | FileCheck %s --check-prefix=CHECK --check-prefix=SAT
   3
   4 ; CHECK-LABEL: 'nomerge'
   5 ; CHECK: AliasSet[{{.*}}, 1] must alias, Mod Memory locations: (ptr %a, LocationSize::precise(4))
   6 ; CHECK: AliasSet[{{.*}}, 2] may alias, Mod Memory locations: (ptr %b, LocationSize::precise(4)), (ptr %b1, LocationSize::precise(4))
   7 define void @nomerge(i32 %k) {
   8   %a = alloca i32
   9   %b = alloca [10 x i32]
  10   store i32 1, ptr %a
  11   store i32 2, ptr %b
  12   %b1 = getelementptr i32, ptr %b, i32 %k
  13   store i32 3, ptr %b1
  14   ret void
  15 }
  16
  17 ; CHECK-LABEL: 'mergemay'
  18 ; NOSAT: AliasSet[{{.*}}, 3] may alias, Mod Memory locations: (ptr %a, LocationSize::precise(4)), (ptr %a1, LocationSize::precise(4)), (ptr %a2, LocationSize::precise(4))
  19 ; NOSAT: AliasSet[{{.*}}, 1] must alias, Mod Memory locations: (ptr %b, LocationSize::precise(4))
  20 ; SAT: AliasSet[{{.*}}, 3] may alias, Mod forwarding to 0x[[FWD:[0-9a-f]*]]
  21 ; SAT: AliasSet[{{.*}}, 1] must alias, Mod forwarding to 0x[[FWD]]
  22 ; SAT: AliasSet[0x[[FWD]], 2] may alias, Mod/Ref Memory locations: (ptr %a, LocationSize::precise(4)), (ptr %a1, LocationSize::precise(4)), (ptr %a2, LocationSize::precise(4)), (ptr %b, LocationSize::precise(4))
  23 define void @mergemay(i32 %k, i32 %l) {
  24   %a = alloca i32
  25   %b = alloca i32
  26   store i32 1, ptr %a
  27   store i32 2, ptr %b
  28   %a1 = getelementptr i32, ptr %a, i32 %k
  29   store i32 2, ptr %a1
  30   %a2 = getelementptr i32, ptr %a, i32 %l
  31   store i32 2, ptr %a2
  32   ret void
  33 }
  34
  35 ; CHECK-LABEL: 'mergemust'
  36 ; NOSAT: AliasSet[{{.*}}, 1] must alias, Mod Memory locations: (ptr %a, LocationSize::precise(4))
  37 ; NOSAT: AliasSet[{{.*}}, 1] must alias, Mod Memory locations: (ptr %b, LocationSize::precise(4))
  38 ; NOSAT: AliasSet[{{.*}}, 2] may alias,  Mod Memory locations: (ptr %c, LocationSize::precise(4)), (ptr %d, LocationSize::precise(4))
  39 ; SAT: AliasSet[{{.*}}, 1] must alias, Mod forwarding to 0x[[FWD:[0-9a-f]*]]
  40 ; SAT: AliasSet[{{.*}}, 1] must alias, Mod forwarding to 0x[[FWD]]
  41 ; SAT: AliasSet[{{.*}}, 2] may alias,  Mod forwarding to 0x[[FWD]]
  42 ; SAT: AliasSet[0x[[FWD]], 3] may alias, Mod/Ref Memory locations: (ptr %a, LocationSize::precise(4)), (ptr %b, LocationSize::precise(4)), (ptr %c, LocationSize::precise(4)), (ptr %d, LocationSize::precise(4))
  43 define void @mergemust(ptr %c, ptr %d) {
  44   %a = alloca i32
  45   %b = alloca i32
  46   store i32 1, ptr %a
  47   store i32 2, ptr %b
  48   store i32 3, ptr %c
  49   store i32 4, ptr %d
  50   ret void
  51 }