26 lines · plain
1; RUN: opt %loadNPMPolly '-passes=polly-custom<scops>' -polly-print-scops -pass-remarks-analysis=polly-scops -disable-output < %s 2>&1 | FileCheck %s2 3; CHECK: Signed-unsigned restriction: [p] -> { : p <= -129 or p >= 128 }4 5; Verify that this test case does not crash when we try to model it.6; At some point we tried to insert a restriction:7; [p] -> { : p <= -129 or p >= 128 }8; which resulted in a crash.9 10target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n32-S64"11 12define void @wobble(ptr %A, i32 %p) {13bb:14 %tmp1 = and i32 %p, 25515 br label %bb416 17bb4: ; preds = %bb4, %bb18 %indvar = phi ptr [ %A, %bb ], [ %indvar.next, %bb4 ]19 %val = load i16, ptr %indvar20 %indvar.next = getelementptr inbounds i16, ptr %indvar, i32 %tmp121 br i1 false, label %bb4, label %bb922 23bb9: ; preds = %bb424 ret void25}26