test/ScopDetect/index_from_unpredictable_loop.ll

   1 ; RUN: opt %loadPolly -polly-scops -analyze < %s | FileCheck %s --check-prefix=AFFINE
   2 ; RUN: opt %loadPolly -polly-scops -polly-allow-nonaffine -analyze < %s | FileCheck %s --check-prefix=NONAFFINE
   3
   4 ; The loop for.body => for.inc has an unpredictable iteration count could due to
   5 ; the undef start value that it is compared to. Therefore the array element
   6 ; %arrayidx101 that depends on that exit value cannot be affine.
   7 ; Derived from test-suite/MultiSource/Benchmarks/BitBench/uuencode/uuencode.c
   8
   9 define void @encode_line(i8* nocapture readonly %input, i32 %octets, i64 %p) {
  10 entry:
  11   br i1 undef, label %for.body, label %for.end
  12
  13 for.body:
  14   %indvars.iv = phi i64 [ %indvars.iv.next, %for.inc ], [ %p, %entry ]
  15   %octets.addr.02 = phi i32 [ undef, %for.inc ], [ %octets, %entry ]
  16   br i1 false, label %for.inc, label %if.else
  17
  18 if.else:
  19   %cond = icmp eq i32 %octets.addr.02, 2
  20   br i1 %cond, label %if.then84, label %for.end
  21
  22 if.then84:
  23   %0 = add nsw i64 %indvars.iv, 1
  24   %arrayidx101 = getelementptr inbounds i8, i8* %input, i64 %0
  25   store i8 42, i8* %arrayidx101, align 1
  26   br label %for.end
  27
  28 for.inc:
  29   %cmp = icmp sgt i32 %octets.addr.02, 3
  30   %indvars.iv.next = add nsw i64 %indvars.iv, 3
  31   br i1 %cmp, label %for.body, label %for.end
  32
  33 for.end:
  34   ret void
  35 }
  36
  37 ; AFFINE:       Region: %if.else---%for.end
  38
  39 ; AFFINE:       Statements {
  40 ; AFFINE-NEXT:          Stmt_if_then84
  41 ; AFFINE-NEXT:          Domain :=
  42 ; AFFINE-NEXT:              [octets, p_1, p] -> { Stmt_if_then84[] : octets = 2 };
  43 ; AFFINE-NEXT:          Schedule :=
  44 ; AFFINE-NEXT:              [octets, p_1, p] -> { Stmt_if_then84[] -> [] };
  45 ; AFFINE-NEXT:          ReadAccess :=   [Reduction Type: NONE] [Scalar: 1]
  46 ; AFFINE-NEXT:              [octets, p_1, p] -> { Stmt_if_then84[] -> MemRef_indvars_iv[] };
  47 ; AFFINE-NEXT:          MustWriteAccess :=      [Reduction Type: NONE] [Scalar: 0]
  48 ; AFFINE-NEXT:              [octets, p_1, p] -> { Stmt_if_then84[] -> MemRef_input[1 + p] };
  49 ; AFFINE-NEXT:  }
  50
  51 ; NONAFFINE:      Region: %for.body---%for.end
  52
  53 ; NONAFFINE:      Statements {
  54 ; NONAFFINE-NEXT:       Stmt_for_body
  55 ; NONAFFINE-NEXT:         Domain :=
  56 ; NONAFFINE-NEXT:             [octets] -> { Stmt_for_body[0] };
  57 ; NONAFFINE-NEXT:         Schedule :=
  58 ; NONAFFINE-NEXT:             [octets] -> { Stmt_for_body[i0] -> [0, 0] };
  59 ; NONAFFINE-NEXT:         MustWriteAccess :=    [Reduction Type: NONE] [Scalar: 1]
  60 ; NONAFFINE-NEXT:             [octets] -> { Stmt_for_body[i0] -> MemRef_indvars_iv[] };
  61 ; NONAFFINE-NEXT:       Stmt_if_then84
  62 ; NONAFFINE-NEXT:         Domain :=
  63 ; NONAFFINE-NEXT:             [octets] -> { Stmt_if_then84[] : octets = 2 };
  64 ; NONAFFINE-NEXT:         Schedule :=
  65 ; NONAFFINE-NEXT:             [octets] -> { Stmt_if_then84[] -> [1, 0] };
  66 ; NONAFFINE-NEXT:         ReadAccess := [Reduction Type: NONE] [Scalar: 1]
  67 ; NONAFFINE-NEXT:             [octets] -> { Stmt_if_then84[] -> MemRef_indvars_iv[] };
  68 ; NONAFFINE-NEXT:         MayWriteAccess :=     [Reduction Type: NONE] [Scalar: 0]
  69 ; NONAFFINE-NEXT:             [octets] -> { Stmt_if_then84[] -> MemRef_input[o0] };
  70 ; NONAFFINE-NEXT: }