52 lines · plain
1; RUN: opt %loadNPMPolly -S '-passes=polly<no-default-opts>' < %s | FileCheck %s2 3; This test case has two scops in a row. When code generating the first scop,4; the second scop is invalidated. This test case verifies that we do not crash5; due to incorrectly assuming the second scop is still valid.6 7; We explicitly check here that the second scop is not code generated. Later8; improvements may make this possible (e.g., Polly gaining support for9; parametric conditional expressions or a changed code generation order).10; However, in case this happens, we want to ensure this test case is been11; reasoned about and updated accordingly.12 13; CHECK: polly.start:14; CHECK-NOT: polly.start:15 16target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"17 18define void @hoge(ptr %arg) {19bb:20 br label %bb121 22bb1: ; preds = %bb23 %tmp = getelementptr inbounds i8, ptr %arg, i64 524 %tmp2 = getelementptr inbounds i8, ptr %arg, i64 625 br i1 false, label %bb3, label %bb426 27bb3: ; preds = %bb128 br label %bb429 30bb4: ; preds = %bb3, %bb131 %tmp5 = icmp eq i32 0, 132 br label %bb633 34bb6: ; preds = %bb435 br i1 undef, label %bb7, label %bb836 37bb7: ; preds = %bb638 unreachable39 40bb8: ; preds = %bb641 br i1 %tmp5, label %bb9, label %bb1042 43bb9: ; preds = %bb844 br label %bb1145 46bb10: ; preds = %bb847 br label %bb1148 49bb11: ; preds = %bb10, %bb950 ret void51}52