test/Isl/CodeGen/test.ll

   1 ; RUN: opt %loadPolly -polly-detect-unprofitable -polly-ast -analyze  -S < %s | FileCheck %s
   2 ; XFAIL: *
   3
   4 ;int bar1();
   5 ;int bar2();
   6 ;int bar3();
   7 ;int k;
   8 ;#define N 100
   9 ;int A[N];
  10 ;
  11 ;int foo (int z) {
  12 ;  int i, j;
  13 ;
  14 ;  for (i = 0; i < N; i++) {
  15 ;    A[i] = i;
  16 ;
  17 ;      for (j = 0; j < N * 2; j++)
  18 ;        A[i] = j * A[i];
  19 ;  }
  20 ;
  21 ;  return A[z];
  22 ;}
  23
  24 target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64"
  25 target triple = "x86_64-unknown-linux-gnu"
  26
  27 @A = common global [100 x i32] zeroinitializer, align 4 ; <[100 x i32]*> [#uses=2]
  28 @k = common global i32 0, align 4                 ; <i32*> [#uses=0]
  29
  30 define i32 @foo(i32 %z) nounwind {
  31 bb.nph31.split.us:
  32   br label %bb.nph.us
  33
  34 for.inc06.us:                                     ; preds = %for.body6.us
  35   store i32 %mul.us, i32* %arrayidx.us
  36   %indvar.next = add i64 %indvar, 1               ; <i64> [#uses=2]
  37   %exitcond32 = icmp eq i64 %indvar.next, 100     ; <i1> [#uses=1]
  38   br i1 %exitcond32, label %for.end19, label %bb.nph.us
  39
  40 for.body6.us:                                     ; preds = %for.body6.us, %bb.nph.us
  41   %arrayidx10.tmp.0.us = phi i32 [ %i.027.us, %bb.nph.us ], [ %mul.us, %for.body6.us ] ; <i32> [#uses=1]
  42   %0 = phi i32 [ 0, %bb.nph.us ], [ %inc.us, %for.body6.us ] ; <i32> [#uses=2]
  43   %mul.us = mul i32 %arrayidx10.tmp.0.us, %0      ; <i32> [#uses=2]
  44   %inc.us = add nsw i32 %0, 1                     ; <i32> [#uses=2]
  45   %exitcond = icmp eq i32 %inc.us, 200            ; <i1> [#uses=1]
  46   br i1 %exitcond, label %for.inc06.us, label %for.body6.us
  47
  48 bb.nph.us:                                        ; preds = %bb.nph31.split.us, %for.inc06.us
  49   %indvar = phi i64 [ %indvar.next, %for.inc06.us ], [ 0, %bb.nph31.split.us ] ; <i64> [#uses=3]
  50   %arrayidx.us = getelementptr [100 x i32], [100 x i32]* @A, i64 0, i64 %indvar ; <i32*> [#uses=2]
  51   %i.027.us = trunc i64 %indvar to i32            ; <i32> [#uses=2]
  52   store i32 %i.027.us, i32* %arrayidx.us
  53   br label %for.body6.us
  54
  55 for.end19:                                        ; preds = %for.inc06.us
  56   %idxprom21 = sext i32 %z to i64                 ; <i64> [#uses=1]
  57   %arrayidx22 = getelementptr inbounds [100 x i32], [100 x i32]* @A, i64 0, i64 %idxprom21 ; <i32*> [#uses=1]
  58   %tmp23 = load i32* %arrayidx22                  ; <i32> [#uses=1]
  59   ret i32 %tmp23
  60 }
  61 ; CHECK: for (c2=0;c2<=99;c2++) {
  62 ; CHECK:   S{{[0-4]}}(c2);
  63 ; CHECK:   for (c4=0;c4<=199;c4++) {
  64 ; CHECK:     S{{[[0-4]}}(c2,c4);
  65 ; CHECK:   }
  66 ; CHECK:   S{{[0-4]}}(c2);
  67 ; CHECK: }
  68