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
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
|
// RUN: %target-swift-frontend -dump-ast %s | %FileCheck %s
// CHECK: (func_decl{{.*}}"r13756261(_:_:)"
func r13756261(_ x: Bool, _ y: Int) -> Int {
// CHECK: (ternary_expr
// CHECK: (declref_expr
// CHECK: (ternary_expr
// CHECK: (declref_expr
// CHECK: (ternary_expr
// CHECK: (declref_expr
// CHECK: (declref_expr
return (x) ? y : (x) ? y : (x) ? y : y
}
// CHECK: (func_decl{{.*}}"r13756221(_:_:)"
func r13756221(_ x: Bool, _ y: Int) -> Int {
// CHECK: (ternary_expr
// CHECK: (declref_expr
// CHECK: (ternary_expr
// CHECK: (declref_expr
// CHECK: (ternary_expr
// CHECK: (declref_expr
// CHECK: (declref_expr
return (x) ? y
: (x) ? y
: (x) ? y
: y
}
// CHECK: (func_decl{{.*}}"telescoping_if(_:_:)"
func telescoping_if(_ x: Bool, _ y: Int) -> Int {
// CHECK: (ternary_expr
// CHECK: (ternary_expr
// CHECK: (ternary_expr
// CHECK: (declref_expr
// CHECK: (declref_expr
// CHECK: (declref_expr
// CHECK: (declref_expr
return (x) ? (x) ? (x) ? y : y : y : y
}
// Operator with precedence above ? :
infix operator +>> : Rightwards
precedencegroup Rightwards {
associativity: left
higherThan: TernaryPrecedence
}
// Operator with precedence below ? :
infix operator +<< : Leftwards
precedencegroup Leftwards {
associativity: left
lowerThan: TernaryPrecedence
}
// Operator with precedence equal to ? :
infix operator +== : TernaryPrecedence
func +>> (x: Bool, y: Bool) -> Bool {}
func +<< (x: Bool, y: Bool) -> Bool {}
func +== (x: Bool, y: Bool) -> Bool {}
// CHECK: (func_decl{{.*}}"prec_above(_:_:_:)"
func prec_above(_ x: Bool, _ y: Bool, _ z: Bool) -> Bool {
// (x +>> y) ? (y +>> z) : ((x +>> y) ? (y +>> z) : (x +>> y))
// CHECK: (ternary_expr
// CHECK: (binary_expr
// CHECK: (binary_expr
// CHECK: (ternary_expr
// CHECK: (binary_expr
// CHECK: (binary_expr
// CHECK: (binary_expr
return x +>> y ? y +>> z : x +>> y ? y +>> z : x +>> y
}
// CHECK: (func_decl{{.*}}"prec_below(_:_:_:)"
func prec_below(_ x: Bool, _ y: Bool, _ z: Bool) -> Bool {
// The middle arm of the ternary is max-munched, so this is:
// ((x +<< (y ? (y +<< z) : x)) +<< (y ? (y +<< z) : x)) +<< y
// CHECK: (binary_expr
// CHECK: (binary_expr
// CHECK: (binary_expr
// CHECK: (declref_expr
// CHECK: (ternary_expr
// CHECK: (binary_expr
// CHECK: (declref_expr
// CHECK: (ternary_expr
// CHECK: (binary_expr
// CHECK: (declref_expr
// CHECK: (declref_expr
return x +<< y ? y +<< z : x +<< y ? y +<< z : x +<< y
}
// CHECK: (func_decl{{.*}}"prec_equal(_:_:_:)"
func prec_equal(_ x: Bool, _ y: Bool, _ z: Bool) -> Bool {
// The middle arm of the ternary is max-munched, so this is:
// x +== (y ? (y +== z) : (x +== (y ? (y +== z) : (x +== y))))
// CHECK: (binary_expr
// CHECK: (declref_expr
// CHECK: (ternary_expr
// CHECK: (binary_expr
// CHECK: (declref_expr
// CHECK: (declref_expr
// CHECK: (binary_expr
// CHECK: (declref_expr
// CHECK: (ternary_expr
// CHECK: (binary_expr
// CHECK: (declref_expr
// CHECK: (declref_expr
// CHECK: (binary_expr
// CHECK: (declref_expr
// CHECK: (declref_expr
return x +== y ? y +== z : x +== y ? y +== z : x +== y
}
|
