tenseleyflow/bencch / 84e9018

Browse files

Expand import-shape graph suites

Authored by espadonne
SHA
84e90184170299acc0337d31e749e64b6b45e6b6
Parents
d74308e
Tree
4f88a65

3 changed files

StatusFile+-
M suites/modules/frontend_graphs.afs 45 0
M suites/modules/lowering_graphs.afs 22 0
M suites/modules/runtime_graphs.afs 24 0
suites/modules/frontend_graphs.afsmodified
@@ -113,3 +113,48 @@ armfortas => sema
113113
 expect-fail sema contains "payload"
114114
 xfail "Original names still leak through renamed re-export graphs."
115115
 end
116
+
117
+case "mixed_only_frontend"
118
+entry "../../fixtures/modules/mixed_only/main_alias.f90"
119
+file "../../fixtures/modules/mixed_only/base_values.f90"
120
+file "../../fixtures/modules/mixed_only/bridge_values.f90"
121
+file "../../fixtures/modules/mixed_only/main_alias.f90"
122
+armfortas => ast, sema
123
+expect ast contains "local: \"kept\""
124
+expect ast contains "local: \"chosen\""
125
+expect sema contains "local_name: \"chosen\""
126
+expect sema contains "local_name: \"beta\""
127
+expect sema contains "original_name: \"kept\""
128
+end
129
+
130
+case "mixed_only_hidden_name_rejected"
131
+entry "../../fixtures/modules/mixed_only/main_hidden.f90"
132
+file "../../fixtures/modules/mixed_only/base_values.f90"
133
+file "../../fixtures/modules/mixed_only/bridge_values.f90"
134
+file "../../fixtures/modules/mixed_only/main_hidden.f90"
135
+armfortas => sema
136
+expect-fail sema contains "alpha"
137
+xfail "Original names still leak through mixed ONLY graphs."
138
+end
139
+
140
+case "collision_alias_frontend"
141
+entry "../../fixtures/modules/collision_shadow/main_aliases.f90"
142
+file "../../fixtures/modules/collision_shadow/left_values.f90"
143
+file "../../fixtures/modules/collision_shadow/right_values.f90"
144
+file "../../fixtures/modules/collision_shadow/main_aliases.f90"
145
+armfortas => ast, sema
146
+expect ast contains "local: \"left_value\""
147
+expect ast contains "local: \"right_value\""
148
+expect sema contains "local_name: \"left_value\""
149
+expect sema contains "local_name: \"right_value\""
150
+end
151
+
152
+case "collision_ambiguous_import_rejected"
153
+entry "../../fixtures/modules/collision_shadow/main_ambiguous.f90"
154
+file "../../fixtures/modules/collision_shadow/left_values.f90"
155
+file "../../fixtures/modules/collision_shadow/right_values.f90"
156
+file "../../fixtures/modules/collision_shadow/main_ambiguous.f90"
157
+armfortas => sema
158
+expect-fail sema contains "ambiguous"
159
+xfail "Ambiguous USE imports are not rejected in graph cases yet."
160
+end
suites/modules/lowering_graphs.afsmodified
@@ -56,3 +56,25 @@ expect ir not-contains "global @base_values::payload: i32 = zeroinit"
5656
 expect ir not-contains "global @bridge_aliases::lifted: i32 = zeroinit"
5757
 xfail "Imported module values currently lower as zeroinit in multi-file graphs."
5858
 end
59
+
60
+case "mixed_only_ir_values"
61
+entry "../../fixtures/modules/mixed_only/main_alias.f90"
62
+file "../../fixtures/modules/mixed_only/base_values.f90"
63
+file "../../fixtures/modules/mixed_only/bridge_values.f90"
64
+file "../../fixtures/modules/mixed_only/main_alias.f90"
65
+armfortas => ir
66
+expect ir not-contains "global @mixed_only_values::alpha: i32 = zeroinit"
67
+expect ir not-contains "global @mixed_only_values::beta: i32 = zeroinit"
68
+xfail "Imported module values currently lower as zeroinit in multi-file graphs."
69
+end
70
+
71
+case "collision_alias_ir_values"
72
+entry "../../fixtures/modules/collision_shadow/main_aliases.f90"
73
+file "../../fixtures/modules/collision_shadow/left_values.f90"
74
+file "../../fixtures/modules/collision_shadow/right_values.f90"
75
+file "../../fixtures/modules/collision_shadow/main_aliases.f90"
76
+armfortas => ir
77
+expect ir not-contains "global @collision_left_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."
80
+end
suites/modules/runtime_graphs.afsmodified
@@ -113,3 +113,27 @@ expect run.stdout check-comments
113113
 expect run.exit_code equals 0
114114
 xfail "Imported module values currently lower as zeroinit in multi-file graphs."
115115
 end
116
+
117
+case "mixed_only_runtime"
118
+entry "../../fixtures/modules/mixed_only/main_alias.f90"
119
+file "../../fixtures/modules/mixed_only/base_values.f90"
120
+file "../../fixtures/modules/mixed_only/bridge_values.f90"
121
+file "../../fixtures/modules/mixed_only/main_alias.f90"
122
+opts => O0, O1, O2
123
+armfortas => run
124
+expect run.stdout check-comments
125
+expect run.exit_code equals 0
126
+xfail "Imported module values currently lower as zeroinit in multi-file graphs."
127
+end
128
+
129
+case "collision_alias_runtime"
130
+entry "../../fixtures/modules/collision_shadow/main_aliases.f90"
131
+file "../../fixtures/modules/collision_shadow/left_values.f90"
132
+file "../../fixtures/modules/collision_shadow/right_values.f90"
133
+file "../../fixtures/modules/collision_shadow/main_aliases.f90"
134
+opts => O0, O1, O2
135
+armfortas => run
136
+expect run.stdout check-comments
137
+expect run.exit_code equals 0
138
+xfail "Imported module values currently lower as zeroinit in multi-file graphs."
139
+end