36 lines · plain
1; RUN: opt %loadNPMPolly '-passes=polly-custom<scops>' -polly-print-scops -disable-output < %s | FileCheck %s2;3; This code causes the SCoP to be rejected because of an ERRORBLOCK4; assumption and made Polly crash (llvm.org/PR38219).5;6target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"7 8define dso_local void @pr38219() {9start:10 %tmp1.i.i.i = icmp ne ptr null, null11 call void @llvm.assume(i1 %tmp1.i.i.i)12 %tmp1 = extractvalue { ptr, i64 } undef, 013 br label %bb10.i14 15bb10.i:16 %_10.12.i = phi ptr [ %tmp1, %start ], [ undef, %_ZN4core3ptr13drop_in_place17hd1d510ec1955c343E.exit.i ]17 %tmp1.i.i2.i.i.i.i = load ptr, ptr %_10.12.i, align 818 store i64 undef, ptr %tmp1.i.i2.i.i.i.i, align 119 br label %bb3.i.i.i20 21bb3.i.i.i:22 store i64 0, ptr inttoptr (i64 8 to ptr), align 823 br label %_ZN4core3ptr13drop_in_place17hd1d510ec1955c343E.exit.i24 25_ZN4core3ptr13drop_in_place17hd1d510ec1955c343E.exit.i:26 br i1 false, label %_ZN4core3ptr13drop_in_place17h76d4fbbcbbbe0ba5E.exit, label %bb10.i27 28_ZN4core3ptr13drop_in_place17h76d4fbbcbbbe0ba5E.exit:29 ret void30}31 32declare void @llvm.assume(i1)33 34 35; CHECK: Invalid Scop!36