From eb29c68df226ecedd0d105d73a1b63316ac3bec3 Mon Sep 17 00:00:00 2001 From: Tobias Grosser Date: Tue, 3 Feb 2015 15:11:02 +0000 Subject: [PATCH] Add test case for r227805 llvm-svn: 227970 --- .../test/Isl/CodeGen/pointer-type-expressions-2.ll | 29 ++++++++++++++++++++++ 1 file changed, 29 insertions(+) create mode 100644 polly/test/Isl/CodeGen/pointer-type-expressions-2.ll diff --git a/polly/test/Isl/CodeGen/pointer-type-expressions-2.ll b/polly/test/Isl/CodeGen/pointer-type-expressions-2.ll new file mode 100644 index 0000000..8c09561 --- /dev/null +++ b/polly/test/Isl/CodeGen/pointer-type-expressions-2.ll @@ -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 + -- 2.7.4