polly/test/CodeGen/region_multiexit_partialwrite.ll

   1 ; RUN: opt %loadNPMPolly '-passes=polly-import-jscop,polly-codegen' -polly-import-jscop-postfix=transformed -S < %s | FileCheck %s
   2 ;
   3 ; This text case has a partial write of PHI in a region-statement. It
   4 ; requires that the new PHINode from the region's exiting block is
   5 ; generated before before the partial memory write.
   6 ;
   7 target datalayout = "e-m:e-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128"
   8
   9 define void @region_multiexit_partialwrite(ptr %arg, i64 %arg1, ptr %arg2) {
  10 bb:
  11   br label %bb3
  12
  13 bb3:
  14   %tmp = phi i64 [ %tmp17, %bb10 ], [ 1, %bb ]
  15   %tmp4 = getelementptr inbounds i32, ptr %arg, i64 %tmp
  16   %tmp5 = load i32, ptr %tmp4, align 4
  17   %tmp6 = icmp slt i32 %tmp5, 0
  18   br i1 %tmp6, label %bb7, label %bb9
  19
  20 bb7:
  21   %tmp8 = select i1 undef, i32 -2147483648, i32 undef
  22   br label %bb10
  23
  24 bb9:
  25   br label %bb10
  26
  27 bb10:
  28   %tmp11 = phi i32 [ %tmp8, %bb7 ], [ undef, %bb9 ]
  29   %tmp16 = getelementptr inbounds i32, ptr %arg2, i64 %tmp
  30   store i32 %tmp11, ptr %tmp16, align 4
  31   %tmp17 = add nuw i64 %tmp, 1
  32   %tmp18 = icmp eq i64 %tmp17, %arg1
  33   br i1 %tmp18, label %bb19, label %bb3
  34
  35 bb19:
  36   ret void
  37 }
  38
  39
  40 ; CHECK:      polly.stmt.bb10.exit:
  41 ; CHECK-NEXT:   %polly.tmp11 = phi i32 [ %p_tmp8, %polly.stmt.bb7 ], [ undef, %polly.stmt.bb9 ]
  42
  43 ; CHECK: polly.stmt.bb10.exit.Stmt_bb3__TO__bb10_Write1.partial:
  44 ; CHECK:   store i32 %polly.tmp11