polly/test/ScopInfo/pr38218.ll

   1 ; RUN: opt %loadPolly -polly-print-scops -disable-output < %s | FileCheck %s
   2 ;
   3 ; This code causes the SCoP to be rejected because of an ERRORBLOCK
   4 ; assumption and made Polly crash (llvm.org/PR38219).
   5 ;
   6 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
   7
   8 define dso_local void @pr38219() {
   9 start:
  10   %tmp1.i.i.i = icmp ne ptr null, null
  11   call void @llvm.assume(i1 %tmp1.i.i.i)
  12   %tmp1 = extractvalue { ptr, i64 } undef, 0
  13   br label %bb10.i
  14
  15 bb10.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 8
  18   store i64 undef, ptr %tmp1.i.i2.i.i.i.i, align 1
  19   br label %bb3.i.i.i
  20
  21 bb3.i.i.i:
  22   store i64 0, ptr inttoptr (i64 8 to ptr), align 8
  23   br label %_ZN4core3ptr13drop_in_place17hd1d510ec1955c343E.exit.i
  24
  25 _ZN4core3ptr13drop_in_place17hd1d510ec1955c343E.exit.i:
  26   br i1 false, label %_ZN4core3ptr13drop_in_place17h76d4fbbcbbbe0ba5E.exit, label %bb10.i
  27
  28 _ZN4core3ptr13drop_in_place17h76d4fbbcbbbe0ba5E.exit:
  29   ret void
  30 }
  31
  32 declare void @llvm.assume(i1)
  33
  34
  35 ; CHECK: Invalid Scop!