polly/test/CodeGen/partial_write_in_region.ll

   1 ; RUN: opt %loadPolly -polly-import-jscop \
   2 ; RUN: -polly-import-jscop-postfix=transformed -polly-codegen \
   3 ; RUN: -verify-dom-info \
   4 ; RUN: -S < %s | FileCheck %s
   5 ;
   6 ;    void foo(long A[], float B[], float C[]) {
   7 ;      for (long i = 0; i < 1024; i++) {
   8 ;        if (A[i]) {
   9 ; S:         B[i]++;
  10 ; T:         C[42] = 1;
  11 ;        }
  12 ;      }
  13 ;    }
  14
  15 ; CHECK: polly.stmt.bb5:                                   ; preds = %polly.stmt.bb2
  16 ; CHECK-NEXT:   %[[offset:.*]] = shl nuw nsw i64 %polly.indvar, 2
  17 ; CHECK-NEXT:   %scevgep10 = getelementptr i8, ptr %B, i64 %[[offset]]
  18 ; CHECK-NEXT:   %tmp7_p_scalar_ = load float, ptr %scevgep10
  19 ; CHECK-NEXT:   %p_tmp8 = fadd float %tmp7_p_scalar_, 1.000000e+00
  20 ; CHECK-NEXT:   %[[cmp:.*]] = icmp sle i64 %polly.indvar, 9
  21 ; CHECK-NEXT:   %polly.Stmt_bb2__TO__bb9_MayWrite2.cond = icmp ne i1 %[[cmp]], false
  22 ; CHECK-NEXT:   br i1 %polly.Stmt_bb2__TO__bb9_MayWrite2.cond, label %polly.stmt.bb5.Stmt_bb2__TO__bb9_MayWrite2.partial, label %polly.stmt.bb5.cont
  23
  24 ; CHECK: polly.stmt.bb5.Stmt_bb2__TO__bb9_MayWrite2.partial: ; preds = %polly.stmt.bb5
  25 ; CHECK-NEXT:   %polly.access.B11 = getelementptr float, ptr %B, i64 %polly.indvar
  26 ; CHECK-NEXT:   store float %p_tmp8, ptr %polly.access.B11
  27 ; CHECK-NEXT:   br label %polly.stmt.bb5.cont
  28
  29 ; CHECK: polly.stmt.bb5.cont:                              ; preds = %polly.stmt.bb5, %polly.stmt.bb5.Stmt_bb2__TO__bb9_MayWrite2.partial
  30 ; CHECK-NEXT:   br label %polly.stmt.bb9b
  31
  32 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
  33
  34 define void @partial_write_in_region(ptr %A, ptr %B, ptr %C) {
  35 bb:
  36   br label %bb1
  37
  38 bb1:                                              ; preds = %bb10, %bb
  39   %i.0 = phi i64 [ 0, %bb ], [ %tmp11, %bb10 ]
  40   %exitcond = icmp ne i64 %i.0, 1024
  41   br i1 %exitcond, label %bb2, label %bb12
  42
  43 bb2:                                              ; preds = %bb1
  44   %tmp = getelementptr inbounds i64, ptr %A, i64 %i.0
  45   %tmp3 = load i64, ptr %tmp, align 8
  46   %tmp4 = icmp eq i64 %tmp3, 0
  47   br i1 %tmp4, label %bb9, label %bb5
  48
  49 bb5:                                              ; preds = %bb2
  50   %tmp6 = getelementptr inbounds float, ptr %B, i64 %i.0
  51   %tmp7 = load float, ptr %tmp6, align 4
  52   %tmp8 = fadd float %tmp7, 1.000000e+00
  53   store float %tmp8, ptr %tmp6, align 4
  54   br label %bb9b
  55
  56 bb9b:
  57   store float 42.0, ptr %C
  58   br label %bb9
  59
  60 bb9:                                              ; preds = %bb2, %bb5
  61   br label %bb10
  62
  63 bb10:                                             ; preds = %bb9
  64   %tmp11 = add nuw nsw i64 %i.0, 1
  65   br label %bb1
  66
  67 bb12:                                             ; preds = %bb1
  68   ret void
  69 }