polly/test/CodeGen/partial_write_impossible_restriction.ll

   1 ; RUN: opt %loadPolly -polly-stmt-granularity=bb -polly-import-jscop -polly-import-jscop-postfix=transformed -polly-codegen -S < %s | FileCheck %s
   2 ;
   3 ; The isl scheduler isolates %cond.false into two instances.
   4 ; A partial write access in one of the instances was never executed,
   5 ; which caused problems when querying for its index expression, which
   6 ; is not available in that case.
   7 ;
   8 target datalayout = "e-m:e-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128"
   9
  10 define void @partial_write_impossible_restriction(ptr %.pn) {
  11 entry:
  12   br i1 undef, label %invoke.cont258, label %cond.true.i.i.i.i1007
  13
  14 cond.true.i.i.i.i1007:
  15   br label %invoke.cont258
  16
  17 invoke.cont258:
  18   br label %invoke.cont274
  19
  20 invoke.cont274:                                   ; preds = %invoke.cont258
  21   %tmp4 = load ptr, ptr undef
  22   %tmp5 = load i32, ptr undef
  23   %tmp6 = zext i32 %tmp5 to i64
  24   %tmp7 = sext i32 %tmp5 to i64
  25   br label %for.body344
  26
  27 for.body344:                                      ; preds = %cond.end, %invoke.cont274
  28   %indvars.iv1602 = phi i64 [ 0, %invoke.cont274 ], [ %indvars.iv.next1603, %cond.end ]
  29   %indvars.iv.next1603 = add nuw nsw i64 %indvars.iv1602, 1
  30   %cmp347 = icmp eq i64 %indvars.iv.next1603, %tmp6
  31   br i1 %cmp347, label %cond.end, label %cond.false
  32
  33 cond.false:                                       ; preds = %for.body344
  34   %add.ptr.i1128 = getelementptr inbounds i32, ptr %tmp4, i64 %indvars.iv.next1603
  35   %cond.in.sroa.speculate.load.cond.false = load i32, ptr %add.ptr.i1128
  36   br label %cond.end
  37
  38 cond.end:                                         ; preds = %cond.false, %for.body344
  39   %cond.in.sroa.speculated = phi i32 [ %cond.in.sroa.speculate.load.cond.false, %cond.false ], [ undef, %for.body344 ]
  40   %add.ptr.i1132 = getelementptr inbounds i32, ptr %.pn, i64 %indvars.iv1602
  41   store i32 undef, ptr %add.ptr.i1132
  42   %cmp342 = icmp slt i64 %indvars.iv.next1603, %tmp7
  43   br i1 %cmp342, label %for.body344, label %if.then.i.i1141.loopexit
  44
  45 if.then.i.i1141.loopexit:                         ; preds = %cond.end
  46   ret void
  47 }
  48
  49
  50 ; CHECK-LABEL: polly.stmt.cond.false:
  51 ; CHECK:         %polly.access..pn{{[0-9]*}} = getelementptr i32, ptr %.pn, i64 %polly.indvar
  52 ; CHECK:         store i32 %cond.in.sroa.speculate.load.cond.false_p_scalar_, ptr %polly.access..pn{{[0-9]*}}, align 4, !alias.scope !0, !noalias !3
  53 ; CHECK:         br label %polly.merge
  54
  55 ; CHECK-LABEL: polly.stmt.cond.false{{[0-9]*}}:
  56 ; CHECK:         %polly.access..pn{{[0-9]*}} = getelementptr i32, ptr %.pn, i64 0
  57 ; CHECK:         store i32 %cond.in.sroa.speculate.load.cond.false_p_scalar_{{[0-9]*}}, ptr %polly.access..pn{{[0-9]*}}, align 4, !alias.scope !0, !noalias !3
  58 ; CHECK:         br label %polly.stmt.cond.end{{[0-9]*}}