| ; RUN: opt %loadPolly -polly-ast -analyze < %s | FileCheck %s |
| ; RUN: opt %loadPolly -polly-codegen -S < %s | FileCheck %s -check-prefix=CODEGEN |
| target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" |
| |
| ; TODO: FIXME: IslExprBuilder is not capable of producing valid code |
| ; for arbitrary pointer expressions at the moment. Until |
| ; this is fixed we disallow pointer expressions completely. |
| ; XFAIL: * |
| |
| define void @foo(i8* %start, i8* %end) { |
| entry: |
| %A = alloca i32 |
| br label %body |
| |
| body: |
| %ptr = phi i8* [ %start, %entry ], [ %ptr2, %body ] |
| %ptr2 = getelementptr inbounds i8, i8* %ptr, i64 1 |
| %cmp = icmp eq i8* %ptr2, %end |
| store i32 42, i32* %A |
| br i1 %cmp, label %exit, label %body |
| |
| exit: |
| ret void |
| } |
| |
| ; CHECK: for (int c0 = 0; c0 < -start + end; c0 += 1) |
| ; CHECK: Stmt_body(c0); |
| |
| ; Check that we transform this into a pointer difference. |
| |
| ; CODEGEN: %[[r0:[._a-zA-Z0-9]]] = ptrtoint i8* %end to i64 |
| ; CODEGEN: %[[r1:[._a-zA-Z0-9]]] = ptrtoint i8* %start to i64 |
| ; CODEGEN: %[[r2:[._a-zA-Z0-9]]] = sub i64 %[[r0]], %[[r1]] |
| |
