polly/test/CodeGen/OpenMP/alias-metadata.ll

   1 ; RUN: opt %loadPolly -polly-codegen -polly-parallel -S < %s | FileCheck %s
   2 ;
   3 ;    void foo(float *A, float *B) {
   4 ;      for (long i = 0; i < 1000; i++)
   5 ;        for (long j = 0; j < 1000; j++)
   6 ;          A[i] = B[i];
   7 ;    }
   8 ;
   9 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
  10
  11 ; CHECK: define internal void @foo_polly_subfn
  12
  13 define void @foo(ptr %A, ptr %B) {
  14 bb:
  15   br label %bb2
  16
  17 bb2:                                              ; preds = %bb11, %bb
  18   %i.0 = phi i64 [ 0, %bb ], [ %tmp12, %bb11 ]
  19   %exitcond1 = icmp ne i64 %i.0, 1000
  20   br i1 %exitcond1, label %bb3, label %bb13
  21
  22 bb3:                                              ; preds = %bb2
  23   br label %bb4
  24
  25 bb4:                                              ; preds = %bb8, %bb3
  26   %j.0 = phi i64 [ 0, %bb3 ], [ %tmp9, %bb8 ]
  27   %exitcond = icmp ne i64 %j.0, 1000
  28   br i1 %exitcond, label %bb5, label %bb10
  29
  30 bb5:                                              ; preds = %bb4
  31   %tmp = getelementptr inbounds float, ptr %B, i64 %i.0
  32   %tmp7 = getelementptr inbounds float, ptr %A, i64 %i.0
  33   %tmp6 = load float, ptr %tmp, align 4
  34   store float %tmp6, ptr %tmp7, align 4
  35 ; CHECK: %tmp6_p_scalar_ = load float, ptr %scevgep, align 4, !alias.scope !0, !noalias !3
  36 ; CHECK: store float %tmp6_p_scalar_, ptr %scevgep7, align 4, !alias.scope !3, !noalias !0
  37   br label %bb8
  38
  39 bb8:                                              ; preds = %bb5
  40   %tmp9 = add nsw i64 %j.0, 1
  41   br label %bb4
  42
  43 bb10:                                             ; preds = %bb4
  44   br label %bb11
  45
  46 bb11:                                             ; preds = %bb10
  47   %tmp12 = add nsw i64 %i.0, 1
  48   br label %bb2
  49
  50 bb13:                                             ; preds = %bb2
  51   ret void
  52 }