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
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
|
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -S -callsite-splitting -simplifycfg -simplifycfg-require-and-preserve-domtree=1 < %s | FileCheck %s
define i16 @test1() {
; CHECK-LABEL: @test1(
; CHECK-NEXT: entry:
; CHECK-NEXT: [[SPEC_SELECT:%.*]] = select i1 undef, i16 1, i16 0
; CHECK-NEXT: [[TOBOOL18:%.*]] = icmp ne i16 [[SPEC_SELECT]], 0
; CHECK-NEXT: [[TMP0:%.*]] = xor i1 [[TOBOOL18]], true
; CHECK-NEXT: call void @llvm.assume(i1 [[TMP0]])
; CHECK-NEXT: br label [[FOR_COND12:%.*]]
; CHECK: for.cond12:
; CHECK-NEXT: call void @callee(i16 [[SPEC_SELECT]])
; CHECK-NEXT: br label [[FOR_COND12]]
;
entry:
%spec.select = select i1 undef, i16 1, i16 0
%tobool18 = icmp ne i16 %spec.select, 0
br i1 %tobool18, label %for.cond12.us, label %for.cond12
for.cond12.us:
unreachable
for.cond12:
call void @callee(i16 %spec.select)
br label %for.cond12
}
define i16 @test2() {
; CHECK-LABEL: @test2(
; CHECK-NEXT: entry:
; CHECK-NEXT: [[S:%.*]] = select i1 undef, i16 1, i16 0
; CHECK-NEXT: [[TOBOOL18:%.*]] = icmp ne i16 [[S]], 0
; CHECK-NEXT: [[TMP0:%.*]] = xor i1 [[TOBOOL18]], true
; CHECK-NEXT: call void @llvm.assume(i1 [[TMP0]])
; CHECK-NEXT: br label [[FOR_COND12:%.*]]
; CHECK: for.cond12:
; CHECK-NEXT: call void @callee(i16 [[S]])
; CHECK-NEXT: [[ADD:%.*]] = add i16 [[S]], 10
; CHECK-NEXT: [[ADD2:%.*]] = add i16 [[S]], 10
; CHECK-NEXT: br label [[FOR_COND12]]
;
entry:
%s= select i1 undef, i16 1, i16 0
%tobool18 = icmp ne i16 %s, 0
br i1 %tobool18, label %for.cond12.us, label %for.cond12
for.cond12.us:
unreachable
for.cond12:
call void @callee(i16 %s)
%add = add i16 %s, 10
%add2 = add i16 %s, 10
br label %for.cond12
}
define i16 @test3() {
; CHECK-LABEL: @test3(
; CHECK-NEXT: entry:
; CHECK-NEXT: [[S:%.*]] = select i1 undef, i16 1, i16 0
; CHECK-NEXT: [[TOBOOL18:%.*]] = icmp ne i16 [[S]], 0
; CHECK-NEXT: [[TMP0:%.*]] = xor i1 [[TOBOOL18]], true
; CHECK-NEXT: call void @llvm.assume(i1 [[TMP0]])
; CHECK-NEXT: br label [[FOR_COND12:%.*]]
; CHECK: for.cond12:
; CHECK-NEXT: call void @callee(i16 [[S]])
; CHECK-NEXT: [[ADD:%.*]] = add i16 [[S]], 10
; CHECK-NEXT: [[ADD2:%.*]] = add i16 [[ADD]], 10
; CHECK-NEXT: br i1 undef, label [[FOR_COND12]], label [[EXIT:%.*]]
; CHECK: exit:
; CHECK-NEXT: ret i16 [[ADD2]]
;
entry:
%s= select i1 undef, i16 1, i16 0
%tobool18 = icmp ne i16 %s, 0
br i1 %tobool18, label %for.cond12.us, label %for.cond12
for.cond12.us:
unreachable
for.cond12:
call void @callee(i16 %s)
%add = add i16 %s, 10
%add2 = add i16 %add, 10
br i1 undef, label %for.cond12, label %exit
exit:
ret i16 %add2
}
declare void @callee(i16 %flag)
|
