test/Isl/CodeGen/pointer-type-expressions.ll

   1 ; RUN: opt %loadPolly -polly-detect-unprofitable -polly-no-early-exit -polly-ast -analyze < %s | FileCheck %s
   2 ; RUN: opt %loadPolly -polly-detect-unprofitable -polly-no-early-exit -polly-codegen-isl -S < %s | FileCheck %s -check-prefix=CODEGEN
   3
   4 ; void f(int a[], int N, float *P) {
   5 ;   int i;
   6 ;   for (i = 0; i < N; ++i)
   7 ;     if (P != 0)
   8 ;       a[i] = i;
   9 ; }
  10
  11 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"
  12 target triple = "x86_64-unknown-linux-gnu"
  13
  14 define void @f(i64* nocapture %a, i64 %N, float * %P) nounwind {
  15 entry:
  16   br label %bb
  17
  18 bb:
  19   %i = phi i64 [ 0, %entry ], [ %i.inc, %bb.backedge ]
  20   %brcond = icmp ne float* %P, null
  21   br i1 %brcond, label %store, label %bb.backedge
  22
  23 store:
  24   %scevgep = getelementptr i64, i64* %a, i64 %i
  25   store i64 %i, i64* %scevgep
  26   br label %bb.backedge
  27
  28 bb.backedge:
  29   %i.inc = add nsw i64 %i, 1
  30   %exitcond = icmp eq i64 %i.inc, %N
  31   br i1 %exitcond, label %return, label %bb
  32
  33 return:
  34   ret void
  35 }
  36
  37 ; CHECK: if (P <= -1) {
  38 ; CHECK:   for (int c0 = 0; c0 < N; c0 += 1)
  39 ; CHECK:     Stmt_store(c0);
  40 ; CHECK: } else if (P >= 1)
  41 ; CHECK:   for (int c0 = 0; c0 < N; c0 += 1)
  42 ; CHECK:     Stmt_store(c0);
  43 ; CHECK: }
  44
  45 ; CODEGEN:   %0 = bitcast float* %P to i8*
  46 ; CODEGEN:   %1 = icmp ule i8* %0, inttoptr (i64 -1 to i8*)
  47