llvm/test/Analysis/AliasSet/memloc-vscale.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -S < %s -passes=print-alias-sets 2>&1 | FileCheck %s
   3
   4 ; CHECK-LABEL: Alias sets for function 'sn'
   5 ; CHECK: AliasSet[{{.*}}, 1] must alias, Mod Pointers: (ptr %p, unknown after)
   6 define void @sn(ptr %p) {;
   7   store <vscale x 2 x i64> zeroinitializer, ptr %p, align 2
   8   store i64 0, ptr %p, align 2
   9   ret void
  10 }
  11
  12 ; CHECK-LABEL: Alias sets for function 'ns'
  13 ; CHECK: AliasSet[{{.*}}, 1] must alias, Mod Pointers: (ptr %p, unknown after)
  14 define void @ns(ptr %p) {
  15   store i64 0, ptr %p, align 2
  16   store <vscale x 2 x i64> zeroinitializer, ptr %p, align 2
  17   ret void
  18 }
  19
  20 ; CHECK-LABEL: Alias sets for function 'ss':
  21 ; CHECK: AliasSet[{{.*}}, 1] must alias, Mod       Pointers: (ptr %p, LocationSize::precise(vscale x 16))
  22 define void @ss(ptr %p) {
  23   store <vscale x 2 x i64> zeroinitializer, ptr %p, align 2
  24   store <vscale x 2 x i64> zeroinitializer, ptr %p, align 2
  25   ret void
  26 }
  27
  28 ; CHECK-LABEL: Alias sets for function 'ss2':
  29 ; CHECK: AliasSet[{{.*}}, 1] must alias, Mod       Pointers: (ptr %p, unknown after)
  30 define void @ss2(ptr %p) {
  31   store <vscale x 2 x i64> zeroinitializer, ptr %p, align 2
  32   store <vscale x 2 x i64> zeroinitializer, ptr %p, align 2
  33   store <vscale x 4 x i64> zeroinitializer, ptr %p, align 2
  34   ret void
  35 }
  36 ; CHECK-LABEL: Alias sets for function 'son':
  37 ; CHECK: AliasSet[{{.*}}, 2] may alias, Mod       Pointers: (ptr %g, LocationSize::precise(vscale x 16)), (ptr %p, LocationSize::precise(8))
  38 define void @son(ptr %p) {
  39   %g = getelementptr i8, ptr %p, i64 8
  40   store <vscale x 2 x i64> zeroinitializer, ptr %g, align 2
  41   store i64 0, ptr %p, align 2
  42   ret void
  43 }
  44
  45 ; CHECK-LABEL: Alias sets for function 'sno':
  46 ; CHECK: AliasSet[{{.*}}, 2] may alias, Mod       Pointers: (ptr %p, LocationSize::precise(vscale x 16)), (ptr %g, LocationSize::precise(8))
  47 define void @sno(ptr %p) {
  48   %g = getelementptr i8, ptr %p, i64 8
  49   store <vscale x 2 x i64> zeroinitializer, ptr %p, align 2
  50   store i64 0, ptr %g, align 2
  51   ret void
  52 }