| ; 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 |
| } |