inter-error-bb-dependence.ll
1.73 KB
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
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
; RUN: opt %loadPolly -pass-remarks-analysis="polly-scops" -polly-scops -analyze < %s 2>&1 > /dev/null | FileCheck %s
;
; Error statements (%bb33) do not require their uses to be verified.
; In this case it uses %tmp32 from %bb31 which is not available because
; %bb31 is an error statement as well.
target 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"
declare noalias i8* @widget()
declare void @quux()
define void @func(i32 %tmp3, i32 %tmp7, i32 %tmp17, i32 %tmp26, i32 %tmp19) {
bb:
br label %bb2
bb2: ; preds = %bb
%tmp4 = icmp eq i32 %tmp3, 0
br i1 %tmp4, label %bb5, label %bb16
bb5: ; preds = %bb2
%tmp8 = icmp eq i32 %tmp7, 0
br i1 %tmp8, label %bb16, label %bb36
bb16: ; preds = %bb5, %bb2
%tmp18 = icmp eq i32 %tmp17, 0
%tmp20 = icmp eq i32 %tmp19, 0
%tmp21 = or i1 %tmp18, %tmp20
br i1 %tmp21, label %bb31, label %bb25
bb25: ; preds = %bb25, %bb16
%tmp27 = icmp eq i32 %tmp26, 0
br i1 %tmp27, label %bb31, label %bb25
bb31: ; preds = %bb25, %bb16
%tmp32 = call noalias i8* @widget()
br label %bb33
bb33: ; preds = %bb31
call void @quux()
%tmp34 = icmp eq i8* %tmp32, null
br label %bb36
bb36: ; preds = %bb33, %bb5
ret void
}
; CHECK: SCoP begins here.
; CHECK-NEXT: Low complexity assumption: { : false }
; CHECK-NEXT: SCoP ends here but was dismissed.