llvm/test/Analysis/BasicAA/gep-decomposition-limit.ll

   1 ; RUN: opt -S -aa-pipeline=basic-aa -passes=aa-eval -print-all-alias-modref-info -disable-output < %s 2>&1 | FileCheck %s
   2
   3 ; CHECK-LABEL: Function: test
   4 ;; Before limit:
   5 ; CHECK-DAG: MustAlias: i8* %gep.add5, i8* %gep.inc5
   6 ; CHECK-DAG: NoAlias: i8* %gep.inc3, i8* %gep.inc5
   7 ; CHECK-DAG: NoAlias: i8* %gep.inc4, i8* %gep.inc5
   8 ;; At limit:
   9 ; CHECK-DAG: MustAlias: i8* %gep.add6, i8* %gep.inc6
  10 ; CHECK-DAG: NoAlias: i8* %gep.inc4, i8* %gep.inc6
  11 ; CHECK-DAG: NoAlias: i8* %gep.inc5, i8* %gep.inc6
  12 ;; After limit:
  13 ; CHECK-DAG: MayAlias: i8* %gep.add7, i8* %gep.inc7
  14 ; CHECK-DAG: MayAlias: i8* %gep.inc5, i8* %gep.inc7
  15 ; CHECK-DAG: NoAlias: i8* %gep.inc6, i8* %gep.inc7
  16
  17 define void @test(ptr %base) {
  18   %gep.add5 = getelementptr i8, ptr %base, i64 5
  19   %gep.add6 = getelementptr i8, ptr %base, i64 6
  20   %gep.add7 = getelementptr i8, ptr %base, i64 7
  21
  22   %gep.inc1 = getelementptr i8, ptr %base, i64 1
  23   %gep.inc2 = getelementptr i8, ptr %gep.inc1, i64 1
  24   %gep.inc3 = getelementptr i8, ptr %gep.inc2, i64 1
  25   %gep.inc4 = getelementptr i8, ptr %gep.inc3, i64 1
  26   %gep.inc5 = getelementptr i8, ptr %gep.inc4, i64 1
  27   %gep.inc6 = getelementptr i8, ptr %gep.inc5, i64 1
  28   %gep.inc7 = getelementptr i8, ptr %gep.inc6, i64 1
  29
  30   load i8, ptr %gep.add5
  31   load i8, ptr %gep.add6
  32   load i8, ptr %gep.add7
  33   load i8, ptr %gep.inc3
  34   load i8, ptr %gep.inc4
  35   load i8, ptr %gep.inc5
  36   load i8, ptr %gep.inc6
  37   load i8, ptr %gep.inc7
  38
  39   ret void
  40 }