52 lines · plain
1; RUN: opt %loadNPMPolly -pass-remarks-analysis=polly-scops '-passes=polly-custom<scops>' -polly-print-scops -disable-output < %s 2>&1 > /dev/null | FileCheck %s2;3; Error statements (%bb33) do not require their uses to be verified.4; In this case it uses %tmp32 from %bb31 which is not available because5; %bb31 is an error statement as well.6 7target datalayout = "e-p:64:64:64-S128-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f16:16:16-f32:32:32-f64:64:64-f128:128:128-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64"8 9declare noalias ptr @widget()10 11declare void @quux()12 13define void @func(i32 %tmp3, i32 %tmp7, i32 %tmp17, i32 %tmp26, i32 %tmp19) {14bb:15 br label %bb216 17bb2: ; preds = %bb18 %tmp4 = icmp eq i32 %tmp3, 019 br i1 %tmp4, label %bb5, label %bb1620 21bb5: ; preds = %bb222 %tmp8 = icmp eq i32 %tmp7, 023 br i1 %tmp8, label %bb16, label %bb3624 25bb16: ; preds = %bb5, %bb226 %tmp18 = icmp eq i32 %tmp17, 027 %tmp20 = icmp eq i32 %tmp19, 028 %tmp21 = or i1 %tmp18, %tmp2029 br i1 %tmp21, label %bb31, label %bb2530 31bb25: ; preds = %bb25, %bb1632 %tmp27 = icmp eq i32 %tmp26, 033 br i1 %tmp27, label %bb31, label %bb2534 35bb31: ; preds = %bb25, %bb1636 %tmp32 = call noalias ptr @widget()37 br label %bb3338 39bb33: ; preds = %bb3140 call void @quux()41 %tmp34 = icmp eq ptr %tmp32, null42 br label %bb3643 44bb36: ; preds = %bb33, %bb545 ret void46}47 48 49; CHECK: SCoP begins here.50; CHECK-NEXT: Low complexity assumption: { : false }51; CHECK-NEXT: SCoP ends here but was dismissed.52