polly/test/CodeGen/memcpy_annotations.ll

   1 ; RUN: opt %loadPolly -polly-codegen -S < %s | FileCheck %s
   2 ;
   3 ; Verify that @llvm.memcpy does not get a !alias.scope annotation.
   4 ; @llvm.memcpy takes two pointers, it is ambiguous to which the
   5 ; annotation applies.
   6 ;
   7 ; for (int j = 0; j < n; j += 1) {
   8 ;   memcpy(A, B, 8);
   9 ; }
  10 ;
  11
  12 declare void @llvm.memcpy.p0.p0.i64(ptr nocapture writeonly, ptr nocapture readonly, i64, i32, i1)
  13
  14 define void @func(i32 %n, ptr noalias nonnull %A, ptr noalias nonnull %B) {
  15 entry:
  16   br label %for
  17
  18 for:
  19   %j = phi i32 [0, %entry], [%j.inc, %inc]
  20   %j.cmp = icmp slt i32 %j, %n
  21   br i1 %j.cmp, label %body, label %exit
  22
  23     body:
  24       call void @llvm.memcpy.p0.p0.i64(ptr nonnull %A, ptr %B, i64 8, i32 4, i1 false)
  25       br label %inc
  26
  27 inc:
  28   %j.inc = add nuw nsw i32 %j, 1
  29   br label %for
  30
  31 exit:
  32   br label %return
  33
  34 return:
  35   ret void
  36 }
  37
  38
  39 ; CHECK-LABEL: polly.start:
  40 ; CHECK:         call void @llvm.memcpy
  41 ; CHECK-NOT:     !alias.scope