forked from OSchip/llvm-project
parent
077774b820
commit
eb29c68df2
|
@ -0,0 +1,29 @@
|
|||
; RUN: opt %loadPolly -polly-ast -analyze < %s | FileCheck %s
|
||||
; RUN: opt %loadPolly -polly-codegen-isl -S < %s | FileCheck %s -check-prefix=CODEGEN
|
||||
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
|
||||
|
||||
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* %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: %0 = ptrtoint i8* %end to i64
|
||||
; CODEGEN: %1 = ptrtoint i8* %start to i64
|
||||
; CODEGEN: %2 = sub i64 %0, %1
|
||||
|
Loading…
Reference in New Issue