test/Analysis/AliasSet/memset.ll

   1 ; RUN: opt -basicaa -print-alias-sets -S -o - < %s 2>&1 | FileCheck %s
   2
   3 @s = global i8 1, align 1
   4 @d = global i8 2, align 1
   5
   6 ; CHECK: Alias sets for function 'test_known_size':
   7 ; CHECK: Alias Set Tracker: 1 alias sets for 1 pointer values.
   8 ; CHECK:   AliasSet[0x{{[0-9a-f]+}}, 1] must alias, Mod       Pointers: (i8* %d, LocationSize::precise(1))
   9 define void @test_known_size(i8* noalias %d) {
  10 entry:
  11   call void @llvm.memset.p0i8.i64(i8* align 1 %d, i8 0, i64 1, i1 false)
  12   ret void
  13 }
  14
  15 ; CHECK: Alias sets for function 'test_unknown_size':
  16 ; CHECK: Alias Set Tracker: 1 alias sets for 1 pointer values.
  17 ; CHECK:   AliasSet[0x{{[0-9a-f]+}}, 1] must alias, Mod       Pointers: (i8* %d, unknown)
  18 define void @test_unknown_size(i8* noalias %d, i64 %len) {
  19 entry:
  20   call void @llvm.memset.p0i8.i64(i8* align 1 %d, i8 0, i64 %len, i1 false)
  21   ret void
  22 }
  23
  24
  25 ; CHECK: Alias sets for function 'test_atomic_known_size':
  26 ; CHECK: Alias Set Tracker: 1 alias sets for 1 pointer values.
  27 ; CHECK:   AliasSet[0x{{[0-9a-f]+}}, 1] must alias, Mod       Pointers: (i8* %d, LocationSize::precise(1))
  28 define void @test_atomic_known_size(i8* noalias %d) {
  29 entry:
  30   call void @llvm.memset.element.unordered.atomic.p0i8.i32(i8* align 1 %d, i8 0, i64 1, i32 1)
  31   ret void
  32 }
  33
  34 ; CHECK: Alias sets for function 'test_atomic_unknown_size':
  35 ; CHECK: Alias Set Tracker: 1 alias sets for 1 pointer values.
  36 ; CHECK:   AliasSet[0x{{[0-9a-f]+}}, 1] must alias, Mod       Pointers: (i8* %d, unknown)
  37 define void @test_atomic_unknown_size(i8* noalias %d, i64 %len) {
  38 entry:
  39   call void @llvm.memset.element.unordered.atomic.p0i8.i32(i8* align 1 %d, i8 0, i64 %len, i32 1)
  40   ret void
  41 }
  42
  43 declare void @llvm.memset.p0i8.i64(i8* %dest, i8 %val,
  44                                    i64 %len, i1 %isvolatile)
  45 declare void @llvm.memset.element.unordered.atomic.p0i8.i32(i8* %dest,
  46                                                             i8 %value,
  47                                                             i64 %len,
  48                                                             i32 %element_size)