source: src/Tests/Expect-e/ShortCircuit.txt @ ae4c85a

ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsctordeferred_resndemanglerenumforall-pointer-decaygc_noraiijacob/cs343-translationjenkins-sandboxmemorynew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newstringwith_gc
Last change on this file since ae4c85a was b1d6dd5, checked in by Peter A. Buhr <pabuhr@…>, 9 years ago

fix parsing error for EOF message, change cfa-ccp -x flag to -v, regression testing third attempt: consolidate example programs
  • Property mode set to 100644
File size: 4.3 KB
RevLine 
[b1d6dd5]1?!=?: function
2    with parameters
3      signed int
4      signed int
5    returning
6      signed int
7
8?!=?: function
9    with parameters
10      float
11      float
12    returning
13      signed int
14
150: signed int
16g: function
17    with parameters
18      float
19    returning
20      nothing
21
22g: function
23    with parameters
24      signed int
25    returning
26      nothing
27
28f: function
29    with parameters
30      a: signed int
31    returning
32      nothing
33    with body
34      CompoundStmt
35        Declaration of b: signed int
36        Declaration of c: float
37                  Expression Statement:
38            Application of
39              Variable Expression: g: function
40                  with parameters
41                    float
42                  returning
43                    nothing
44
45            to arguments
46                              Conditional expression on:
47                  Cast of:
48                    Application of
49                      Variable Expression: ?!=?: function
50                          with parameters
51                            signed int
52                            signed int
53                          returning
54                            signed int
55
56                    to arguments
57                                              Variable Expression: a: signed int
58
59                                              Variable Expression: 0: signed int
60
61
62                  to:
63                    signed int
64                First alternative:
65                  Variable Expression: b: signed int
66                Second alternative:
67                  Variable Expression: c: float
68
69
70            with environment:
71              Types:
72              Non-types:
73
74                  Expression Statement:
75            Application of
76              Variable Expression: g: function
77                  with parameters
78                    signed int
79                  returning
80                    nothing
81
82            to arguments
83                              Short-circuited operation (and) on: Cast of:
84  Application of
85    Variable Expression: ?!=?: function
86        with parameters
87          signed int
88          signed int
89        returning
90          signed int
91
92  to arguments
93          Variable Expression: a: signed int
94
95          Variable Expression: 0: signed int
96
97
98to:
99  signed int
100 and Cast of:
101  Application of
102    Variable Expression: ?!=?: function
103        with parameters
104          float
105          float
106        returning
107          signed int
108
109  to arguments
110          Variable Expression: c: float
111
112          Cast of:
113        Variable Expression: 0: signed int
114
115      to:
116        float
117
118
119to:
120  signed int
121
122
123            with environment:
124              Types:
125              Non-types:
126
127                  Expression Statement:
128            Application of
129              Variable Expression: g: function
130                  with parameters
131                    signed int
132                  returning
133                    nothing
134
135            to arguments
136                              Short-circuited operation (or) on: Cast of:
137  Application of
138    Variable Expression: ?!=?: function
139        with parameters
140          signed int
141          signed int
142        returning
143          signed int
144
145  to arguments
146          Variable Expression: a: signed int
147
148          Variable Expression: 0: signed int
149
150
151to:
152  signed int
153 and Cast of:
154  Application of
155    Variable Expression: ?!=?: function
156        with parameters
157          signed int
158          signed int
159        returning
160          signed int
161
162  to arguments
163          Variable Expression: b: signed int
164
165          Variable Expression: 0: signed int
166
167
168to:
169  signed int
170
171
172            with environment:
173              Types:
174              Non-types:
175
176
177int ___operator_notequal__Fi_ii_(int , int );
178int ___operator_notequal__Fi_ff_(float , float );
179int ___constant_zero__i;
180void __g__F_f_(float );
181void __g__F_i_(int );
182void __f__F_i_(int __a__i){
183    int __b__i;
184    float __c__f;
185    __g__F_f_((((int )___operator_notequal__Fi_ii_(__a__i, ___constant_zero__i)) ? __b__i : __c__f));
186    __g__F_i_((((int )___operator_notequal__Fi_ii_(__a__i, ___constant_zero__i)) && ((int )___operator_notequal__Fi_ff_(__c__f, ((float )___constant_zero__i)))));
187    __g__F_i_((((int )___operator_notequal__Fi_ii_(__a__i, ___constant_zero__i)) || ((int )___operator_notequal__Fi_ii_(__b__i, ___constant_zero__i))));
188}
Note: See TracBrowser for help on using the repository browser.