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 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
5 define void @foo(i8* %start, i8* %end) {
11 %ptr = phi i8* [ %start, %entry ], [ %ptr2, %body ]
12 %ptr2 = getelementptr inbounds i8, i8* %ptr, i64 1
13 %cmp = icmp eq i8* %ptr2, %end
15 br i1 %cmp, label %exit, label %body
21 ; CHECK: for (int c0 = 0; c0 < -start + end; c0 += 1)
22 ; CHECK: Stmt_body(c0);
24 ; Check that we transform this into a pointer difference.
26 ; CODEGEN: %0 = ptrtoint i8* %end to i64
27 ; CODEGEN: %1 = ptrtoint i8* %start to i64
28 ; CODEGEN: %2 = sub i64 %0, %1