[polly] r227970 - Add test case for r227805

[Tobias Grosser]

Author: grosser
Date: Tue Feb  3 09:11:02 2015
New Revision: 227970

URL: http://llvm.org/viewvc/llvm-project?rev=227970&view=rev
Log:
Add test case for r227805

Added:
    polly/trunk/test/Isl/CodeGen/pointer-type-expressions-2.ll

Added: polly/trunk/test/Isl/CodeGen/pointer-type-expressions-2.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/Isl/CodeGen/pointer-type-expressions-2.ll?rev=227970&view=auto
==============================================================================
--- polly/trunk/test/Isl/CodeGen/pointer-type-expressions-2.ll (added)
+++ polly/trunk/test/Isl/CodeGen/pointer-type-expressions-2.ll Tue Feb  3 09:11:02 2015
@@ -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
+