tenseleyflow/bencch / 96afcc7

Browse files

Expand layered graph suites

Authored by espadonne
SHA
96afcc73a4b6faedb2936ee2e18dac7f7f4e3983
Parents
6275470
Tree
fa16a7c

3 changed files

StatusFile+-
M suites/modules/frontend_graphs.afs 30 0
M suites/modules/lowering_graphs.afs 30 0
M suites/modules/runtime_graphs.afs 28 0
suites/modules/frontend_graphs.afsmodified
@@ -158,3 +158,33 @@ armfortas => sema
158
 expect-fail sema contains "ambiguous"
158
 expect-fail sema contains "ambiguous"
159
 xfail "Ambiguous USE imports are not rejected in graph cases yet."
159
 xfail "Ambiguous USE imports are not rejected in graph cases yet."
160
 end
160
 end
161
+
162
+case "layered_total_frontend"
163
+entry "../../fixtures/modules/layered_leaves/main_total.f90"
164
+file "../../fixtures/modules/layered_leaves/root_seed.f90"
165
+file "../../fixtures/modules/layered_leaves/left_metrics.f90"
166
+file "../../fixtures/modules/layered_leaves/right_metrics.f90"
167
+file "../../fixtures/modules/layered_leaves/total_metrics.f90"
168
+file "../../fixtures/modules/layered_leaves/main_total.f90"
169
+armfortas => ast, sema
170
+expect ast contains "module: \"layered_left_metrics\""
171
+expect ast contains "module: \"layered_right_metrics\""
172
+expect ast contains "module: \"layered_total_metrics\""
173
+expect sema contains "local_name: \"total\""
174
+expect sema contains "original_name: \"total\""
175
+end
176
+
177
+case "layered_gap_frontend"
178
+entry "../../fixtures/modules/layered_leaves/main_gap.f90"
179
+file "../../fixtures/modules/layered_leaves/root_seed.f90"
180
+file "../../fixtures/modules/layered_leaves/left_metrics.f90"
181
+file "../../fixtures/modules/layered_leaves/right_metrics.f90"
182
+file "../../fixtures/modules/layered_leaves/delta_metrics.f90"
183
+file "../../fixtures/modules/layered_leaves/main_gap.f90"
184
+armfortas => ast, sema
185
+expect ast contains "module: \"layered_left_metrics\""
186
+expect ast contains "module: \"layered_right_metrics\""
187
+expect ast contains "module: \"layered_delta_metrics\""
188
+expect sema contains "local_name: \"gap\""
189
+expect sema contains "original_name: \"gap\""
190
+end
suites/modules/lowering_graphs.afsmodified
@@ -78,3 +78,33 @@ expect ir not-contains "global @collision_left_values::payload: i32 = zeroinit"
78
 expect ir not-contains "global @collision_right_values::payload: i32 = zeroinit"
78
 expect ir not-contains "global @collision_right_values::payload: i32 = zeroinit"
79
 xfail "Imported module values currently lower as zeroinit in multi-file graphs."
79
 xfail "Imported module values currently lower as zeroinit in multi-file graphs."
80
 end
80
 end
81
+
82
+case "layered_total_ir_values"
83
+entry "../../fixtures/modules/layered_leaves/main_total.f90"
84
+file "../../fixtures/modules/layered_leaves/root_seed.f90"
85
+file "../../fixtures/modules/layered_leaves/left_metrics.f90"
86
+file "../../fixtures/modules/layered_leaves/right_metrics.f90"
87
+file "../../fixtures/modules/layered_leaves/total_metrics.f90"
88
+file "../../fixtures/modules/layered_leaves/main_total.f90"
89
+armfortas => ir
90
+expect ir not-contains "global @layered_root_seed::seed: i32 = zeroinit"
91
+expect ir not-contains "global @layered_left_metrics::doubled: i32 = zeroinit"
92
+expect ir not-contains "global @layered_right_metrics::shifted: i32 = zeroinit"
93
+expect ir not-contains "global @layered_total_metrics::total: i32 = zeroinit"
94
+xfail "Imported module values currently lower as zeroinit in multi-file graphs."
95
+end
96
+
97
+case "layered_gap_ir_values"
98
+entry "../../fixtures/modules/layered_leaves/main_gap.f90"
99
+file "../../fixtures/modules/layered_leaves/root_seed.f90"
100
+file "../../fixtures/modules/layered_leaves/left_metrics.f90"
101
+file "../../fixtures/modules/layered_leaves/right_metrics.f90"
102
+file "../../fixtures/modules/layered_leaves/delta_metrics.f90"
103
+file "../../fixtures/modules/layered_leaves/main_gap.f90"
104
+armfortas => ir
105
+expect ir not-contains "global @layered_root_seed::seed: i32 = zeroinit"
106
+expect ir not-contains "global @layered_left_metrics::doubled: i32 = zeroinit"
107
+expect ir not-contains "global @layered_right_metrics::shifted: i32 = zeroinit"
108
+expect ir not-contains "global @layered_delta_metrics::gap: i32 = zeroinit"
109
+xfail "Imported module values currently lower as zeroinit in multi-file graphs."
110
+end
suites/modules/runtime_graphs.afsmodified
@@ -137,3 +137,31 @@ expect run.stdout check-comments
137
 expect run.exit_code equals 0
137
 expect run.exit_code equals 0
138
 xfail "Imported module values currently lower as zeroinit in multi-file graphs."
138
 xfail "Imported module values currently lower as zeroinit in multi-file graphs."
139
 end
139
 end
140
+
141
+case "layered_total_runtime"
142
+entry "../../fixtures/modules/layered_leaves/main_total.f90"
143
+file "../../fixtures/modules/layered_leaves/root_seed.f90"
144
+file "../../fixtures/modules/layered_leaves/left_metrics.f90"
145
+file "../../fixtures/modules/layered_leaves/right_metrics.f90"
146
+file "../../fixtures/modules/layered_leaves/total_metrics.f90"
147
+file "../../fixtures/modules/layered_leaves/main_total.f90"
148
+opts => O0, O1, O2
149
+armfortas => run
150
+expect run.stdout check-comments
151
+expect run.exit_code equals 0
152
+xfail "Imported module values currently lower as zeroinit in multi-file graphs."
153
+end
154
+
155
+case "layered_gap_runtime"
156
+entry "../../fixtures/modules/layered_leaves/main_gap.f90"
157
+file "../../fixtures/modules/layered_leaves/root_seed.f90"
158
+file "../../fixtures/modules/layered_leaves/left_metrics.f90"
159
+file "../../fixtures/modules/layered_leaves/right_metrics.f90"
160
+file "../../fixtures/modules/layered_leaves/delta_metrics.f90"
161
+file "../../fixtures/modules/layered_leaves/main_gap.f90"
162
+opts => O0, O1, O2
163
+armfortas => run
164
+expect run.stdout check-comments
165
+expect run.exit_code equals 0
166
+xfail "Imported module values currently lower as zeroinit in multi-file graphs."
167
+end