llvm/test/Analysis/BasicAA/dereferenceable.ll

   1 ; RUN: opt -basic-aa -print-all-alias-modref-info -aa-eval < %s 2>&1 | FileCheck %s
   2
   3 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
   4
   5 @G = global i32 0, align 4
   6
   7 define i64 @global_and_deref_arg_1(i64* dereferenceable(8) %arg) nofree nosync {
   8 ; CHECK:     Function: global_and_deref_arg_1: 2 pointers, 0 call sites
   9 ; CHECK-NEXT:  NoAlias: i32* @G, i64* %arg
  10 bb:
  11   store i64 1, i64* %arg, align 8
  12   store i32 0, i32* @G, align 4
  13   %tmp = load i64, i64* %arg, align 8
  14   ret i64 %tmp
  15 }
  16
  17 define i32 @global_and_deref_arg_2(i32* dereferenceable(8) %arg) nofree nosync {
  18 ; CHECK:     Function: global_and_deref_arg_2: 2 pointers, 0 call sites
  19 ; CHECK-NEXT:  NoAlias: i32* %arg, i32* @G
  20 bb:
  21   store i32 1, i32* %arg, align 8
  22   store i32 0, i32* @G, align 4
  23   %tmp = load i32, i32* %arg, align 8
  24   ret i32 %tmp
  25 }
  26
  27 define i32 @byval_and_deref_arg_1(i32* byval(i32) %obj, i64* dereferenceable(8) %arg) nofree nosync {
  28 ; CHECK:     Function: byval_and_deref_arg_1: 2 pointers, 0 call sites
  29 ; CHECK-NEXT:  NoAlias: i32* %obj, i64* %arg
  30 bb:
  31   store i32 1, i32* %obj, align 4
  32   store i64 0, i64* %arg, align 8
  33   %tmp = load i32, i32* %obj, align 4
  34   ret i32 %tmp
  35 }
  36
  37 define i32 @byval_and_deref_arg_2(i32* byval(i32) %obj, i32* dereferenceable(8) %arg) nofree nosync {
  38 ; CHECK:     Function: byval_and_deref_arg_2: 2 pointers, 0 call sites
  39 ; CHECK-NEXT:  NoAlias: i32* %arg, i32* %obj
  40 bb:
  41   store i32 1, i32* %obj, align 4
  42   store i32 0, i32* %arg, align 8
  43   %tmp = load i32, i32* %obj, align 4
  44   ret i32 %tmp
  45 }
  46
  47 declare dereferenceable(8) i32* @get_i32_deref8()
  48 declare dereferenceable(8) i64* @get_i64_deref8()
  49 declare void @unknown(i32*)
  50
  51 define i32 @local_and_deref_ret_1() {
  52 ; CHECK:     Function: local_and_deref_ret_1: 2 pointers, 2 call sites
  53 ; CHECK-NEXT:  NoAlias: i32* %obj, i64* %ret
  54 bb:
  55   %obj = alloca i32
  56   call void @unknown(i32* %obj)
  57   %ret = call dereferenceable(8) i64* @get_i64_deref8()
  58   store i32 1, i32* %obj, align 4
  59   store i64 0, i64* %ret, align 8
  60   %tmp = load i32, i32* %obj, align 4
  61   ret i32 %tmp
  62 }
  63
  64 define i32 @local_and_deref_ret_2() {
  65 ; CHECK:     Function: local_and_deref_ret_2: 2 pointers, 2 call sites
  66 ; CHECK-NEXT:  NoAlias: i32* %obj, i32* %ret
  67 bb:
  68   %obj = alloca i32
  69   call void @unknown(i32* %obj)
  70   %ret = call dereferenceable(8) i32* @get_i32_deref8()
  71   store i32 1, i32* %obj, align 4
  72   store i32 0, i32* %ret, align 8
  73   %tmp = load i32, i32* %obj, align 4
  74   ret i32 %tmp
  75 }
  76
  77
  78 ; Baseline tests, same as above but with 2 instead of 8 dereferenceable bytes.
  79
  80 define i64 @global_and_deref_arg_non_deref_1(i64* dereferenceable(2) %arg) nofree nosync {
  81 ; CHECK:     Function: global_and_deref_arg_non_deref_1: 2 pointers, 0 call sites
  82 ; CHECK-NEXT:  NoAlias: i32* @G, i64* %arg
  83 bb:
  84   store i64 1, i64* %arg, align 8
  85   store i32 0, i32* @G, align 4
  86   %tmp = load i64, i64* %arg, align 8
  87   ret i64 %tmp
  88 }
  89
  90 define i32 @global_and_deref_arg_non_deref_2(i32* dereferenceable(2) %arg) nofree nosync {
  91 ; CHECK:     Function: global_and_deref_arg_non_deref_2: 2 pointers, 0 call sites
  92 ; Different result than above (see @global_and_deref_arg_2).
  93 ; CHECK-NEXT:  MayAlias:        i32* %arg, i32* @G
  94 bb:
  95   store i32 1, i32* %arg, align 8
  96   store i32 0, i32* @G, align 4
  97   %tmp = load i32, i32* %arg, align 8
  98   ret i32 %tmp
  99 }
 100
 101 define i32 @byval_and_deref_arg_non_deref_1(i32* byval(i32) %obj, i64* dereferenceable(2) %arg) nofree nosync {
 102 ; CHECK:     Function: byval_and_deref_arg_non_deref_1: 2 pointers, 0 call sites
 103 ; CHECK-NEXT:  NoAlias: i32* %obj, i64* %arg
 104 bb:
 105   store i32 1, i32* %obj, align 4
 106   store i64 0, i64* %arg, align 8
 107   %tmp = load i32, i32* %obj, align 4
 108   ret i32 %tmp
 109 }
 110
 111 define i32 @byval_and_deref_arg_non_deref_2(i32* byval(i32) %obj, i32* dereferenceable(2) %arg) nofree nosync {
 112 ; CHECK:     Function: byval_and_deref_arg_non_deref_2: 2 pointers, 0 call sites
 113 ; CHECK-NEXT:  NoAlias: i32* %arg, i32* %obj
 114 bb:
 115   store i32 1, i32* %obj, align 4
 116   store i32 0, i32* %arg, align 8
 117   %tmp = load i32, i32* %obj, align 4
 118   ret i32 %tmp
 119 }
 120
 121 declare dereferenceable(2) i32* @get_i32_deref2()
 122 declare dereferenceable(2) i64* @get_i64_deref2()
 123
 124 define i32 @local_and_deref_ret_non_deref_1() {
 125 ; CHECK:     Function: local_and_deref_ret_non_deref_1: 2 pointers, 2 call sites
 126 ; CHECK-NEXT:  NoAlias: i32* %obj, i64* %ret
 127 bb:
 128   %obj = alloca i32
 129   call void @unknown(i32* %obj)
 130   %ret = call dereferenceable(2) i64* @get_i64_deref2()
 131   store i32 1, i32* %obj, align 4
 132   store i64 0, i64* %ret, align 8
 133   %tmp = load i32, i32* %obj, align 4
 134   ret i32 %tmp
 135 }
 136
 137 define i32 @local_and_deref_ret_non_deref_2() {
 138 ; CHECK:     Function: local_and_deref_ret_non_deref_2: 2 pointers, 2 call sites
 139 ; Different result than above (see @local_and_deref_ret_2).
 140 ; CHECK-NEXT:  MayAlias:        i32* %obj, i32* %ret
 141 bb:
 142   %obj = alloca i32
 143   call void @unknown(i32* %obj)
 144   %ret = call dereferenceable(2) i32* @get_i32_deref2()
 145   store i32 1, i32* %obj, align 4
 146   store i32 0, i32* %ret, align 8
 147   %tmp = load i32, i32* %obj, align 4
 148   ret i32 %tmp
 149 }