diff options
| -rw-r--r-- | polly/lib/CodeGen/IslExprBuilder.cpp | 8 | ||||
| -rw-r--r-- | polly/test/Isl/CodeGen/large-numbers-in-boundary-context.ll | 56 |
2 files changed, 63 insertions, 1 deletions
diff --git a/polly/lib/CodeGen/IslExprBuilder.cpp b/polly/lib/CodeGen/IslExprBuilder.cpp index e3a329faf89..8faaeafe33a 100644 --- a/polly/lib/CodeGen/IslExprBuilder.cpp +++ b/polly/lib/CodeGen/IslExprBuilder.cpp @@ -639,7 +639,13 @@ Value *IslExprBuilder::createInt(__isl_take isl_ast_expr *Expr) { Val = isl_ast_expr_get_val(Expr); APValue = APIntFromVal(Val); - T = getType(Expr); + + auto BitWidth = APValue.getBitWidth(); + if (BitWidth <= 64) + T = getType(Expr); + else + T = Builder.getIntNTy(BitWidth); + APValue = APValue.sextOrSelf(T->getBitWidth()); V = ConstantInt::get(T, APValue); diff --git a/polly/test/Isl/CodeGen/large-numbers-in-boundary-context.ll b/polly/test/Isl/CodeGen/large-numbers-in-boundary-context.ll new file mode 100644 index 00000000000..f3b9f112c25 --- /dev/null +++ b/polly/test/Isl/CodeGen/large-numbers-in-boundary-context.ll @@ -0,0 +1,56 @@ +; RUN: opt %loadPolly -S -polly-codegen < %s | FileCheck %s +; +; The boundary context contains a constant that does not fit in 64 bits. Hence, +; we will check that we use an appropriaty typed constant, here with 65 bits. +; An alternative would be to bail out early but that would not be as easy. +; +; CHECK: %13 = icmp sge i65 %12, -9223372036854775809 +; +; CHECK: polly.start +; +target triple = "x86_64-unknown-linux-gnu" + +@global = external global i32, align 4 +@global1 = external global i32, align 4 + +; Function Attrs: nounwind uwtable +define void @hoge(i8* %arg) #0 { +bb: + br label %bb5 + +bb5: ; preds = %bb + %tmp = load i32, i32* @global, align 4 + %tmp6 = sext i32 %tmp to i64 + br label %bb11 + +bb7: ; preds = %bb19 + %tmp8 = load i32, i32* @global1, align 4 + %tmp9 = sext i32 %tmp8 to i64 + %tmp10 = icmp slt i64 %tmp13, %tmp9 + br i1 %tmp10, label %bb11, label %bb20 + +bb11: ; preds = %bb7, %bb5 + %tmp12 = phi i64 [ %tmp6, %bb5 ], [ %tmp13, %bb7 ] + %tmp13 = add i64 %tmp12, 1 + %tmp14 = getelementptr inbounds i8, i8* %arg, i64 %tmp13 + %tmp15 = load i8, i8* %tmp14, align 1 + br i1 false, label %bb16, label %bb17 + +bb16: ; preds = %bb11 + br label %bb18 + +bb17: ; preds = %bb11 + br label %bb18 + +bb18: ; preds = %bb17, %bb16 + br label %bb19 + +bb19: ; preds = %bb19, %bb18 + br i1 undef, label %bb19, label %bb7 + +bb20: ; preds = %bb7 + br label %bb21 + +bb21: ; preds = %bb20 + ret void +} |
