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