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
|
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 6
; RUN: opt < %s -passes=simplifycfg -S | FileCheck %s
define i32 @nodedup(i1 %c, i16 %v) {
; CHECK-LABEL: define i32 @nodedup(
; CHECK-SAME: i1 [[C:%.*]], i16 [[V:%.*]]) {
; CHECK-NEXT: br i1 [[C]], label %[[B1:.*]], label %[[B2:.*]]
; CHECK: [[B1]]:
; CHECK-NEXT: switch i16 [[V]], label %[[RET2:.*]] [
; CHECK-NEXT: i16 1962, label %[[COMMON_RET:.*]]
; CHECK-NEXT: i16 2000, label %[[COMMON_RET]]
; CHECK-NEXT: i16 1963, label %[[COMMON_RET]]
; CHECK-NEXT: ]
; CHECK: [[B2]]:
; CHECK-NEXT: switch i16 [[V]], label %[[RET2]] [
; CHECK-NEXT: i16 2766, label %[[COMMON_RET]]
; CHECK-NEXT: i16 2798, label %[[COMMON_RET]]
; CHECK-NEXT: i16 2767, label %[[COMMON_RET]]
; CHECK-NEXT: ]
; CHECK: [[COMMON_RET]]:
; CHECK-NEXT: [[COMMON_RET_OP:%.*]] = phi i32 [ 3, %[[RET2]] ], [ 1, %[[B2]] ], [ 1, %[[B2]] ], [ 1, %[[B2]] ], [ 1, %[[B1]] ], [ 1, %[[B1]] ], [ 1, %[[B1]] ]
; CHECK-NEXT: ret i32 [[COMMON_RET_OP]]
; CHECK: [[RET2]]:
; CHECK-NEXT: br label %[[COMMON_RET]]
;
br i1 %c, label %b1, label %b2
b1:
switch i16 %v, label %ret2 [
i16 1962, label %ret1
i16 2000, label %ret1
i16 1963, label %ret1
]
b2:
switch i16 %v, label %ret2 [
i16 2766, label %ret1
i16 2798, label %ret1
i16 2767, label %ret1
]
ret1:
ret i32 1
ret2:
ret i32 3
}
define i32 @dedup(i1 %c, i16 %v) {
; CHECK-LABEL: define i32 @dedup(
; CHECK-SAME: i1 [[C:%.*]], i16 [[V:%.*]]) {
; CHECK-NEXT: switch i16 [[V]], label %[[RET2:.*]] [
; CHECK-NEXT: i16 2766, label %[[COMMON_RET:.*]]
; CHECK-NEXT: i16 2798, label %[[COMMON_RET]]
; CHECK-NEXT: i16 2767, label %[[COMMON_RET]]
; CHECK-NEXT: ]
; CHECK: [[COMMON_RET]]:
; CHECK-NEXT: [[COMMON_RET_OP:%.*]] = phi i32 [ 3, %[[RET2]] ], [ 1, [[TMP0:%.*]] ], [ 1, [[TMP0]] ], [ 1, [[TMP0]] ]
; CHECK-NEXT: ret i32 [[COMMON_RET_OP]]
; CHECK: [[RET2]]:
; CHECK-NEXT: br label %[[COMMON_RET]]
;
br i1 %c, label %b1, label %b2
b1:
switch i16 %v, label %ret2 [
i16 2766, label %ret1
i16 2798, label %ret1
i16 2767, label %ret1
]
b2:
switch i16 %v, label %ret2 [
i16 2766, label %ret1
i16 2798, label %ret1
i16 2767, label %ret1
]
ret1:
ret i32 1
ret2:
ret i32 3
}
|
