Expand rename-hop graph suites
- SHA
101543d45b906453f3e7c1be3845b4f0b24aa019- Parents
-
1a04252 - Tree
b443561
tenseleyflow/bencch
/
101543d
Browse files
3 changed files
| Status | File | + | - |
|---|---|---|---|
| M |
suites/modules/frontend_graphs.afs
|
22 | 0 |
| M |
suites/modules/lowering_graphs.afs
|
11 | 0 |
| M |
suites/modules/runtime_graphs.afs
|
12 | 0 |
suites/modules/frontend_graphs.afsmodified@@ -91,3 +91,25 @@ expect ast contains "module: \"right_branch\"" | ||
| 91 | 91 | expect sema contains "local_name: \"total\"" |
| 92 | 92 | expect sema contains "original_name: \"total\"" |
| 93 | 93 | end |
| 94 | + | |
| 95 | +case "rename_hops_frontend" | |
| 96 | +entry "../../fixtures/modules/rename_hops/main_alias.f90" | |
| 97 | +file "../../fixtures/modules/rename_hops/base_values.f90" | |
| 98 | +file "../../fixtures/modules/rename_hops/bridge_aliases.f90" | |
| 99 | +file "../../fixtures/modules/rename_hops/main_alias.f90" | |
| 100 | +armfortas => ast, sema | |
| 101 | +expect ast contains "local: \"lifted\"" | |
| 102 | +expect ast contains "local: \"chosen\"" | |
| 103 | +expect sema contains "local_name: \"chosen\"" | |
| 104 | +expect sema contains "original_name: \"lifted\"" | |
| 105 | +end | |
| 106 | + | |
| 107 | +case "rename_hops_original_name_rejected" | |
| 108 | +entry "../../fixtures/modules/rename_hops/main_payload.f90" | |
| 109 | +file "../../fixtures/modules/rename_hops/base_values.f90" | |
| 110 | +file "../../fixtures/modules/rename_hops/bridge_aliases.f90" | |
| 111 | +file "../../fixtures/modules/rename_hops/main_payload.f90" | |
| 112 | +armfortas => sema | |
| 113 | +expect-fail sema contains "payload" | |
| 114 | +xfail "Original names still leak through renamed re-export graphs." | |
| 115 | +end | |
suites/modules/lowering_graphs.afsmodified@@ -45,3 +45,14 @@ expect ir not-contains "global @right_branch::right: i32 = zeroinit" | ||
| 45 | 45 | expect ir not-contains "global @merged_total::total: i32 = zeroinit" |
| 46 | 46 | xfail "Imported module values currently lower as zeroinit in multi-file graphs." |
| 47 | 47 | end |
| 48 | + | |
| 49 | +case "rename_hops_ir_values" | |
| 50 | +entry "../../fixtures/modules/rename_hops/main_alias.f90" | |
| 51 | +file "../../fixtures/modules/rename_hops/base_values.f90" | |
| 52 | +file "../../fixtures/modules/rename_hops/bridge_aliases.f90" | |
| 53 | +file "../../fixtures/modules/rename_hops/main_alias.f90" | |
| 54 | +armfortas => ir | |
| 55 | +expect ir not-contains "global @base_values::payload: i32 = zeroinit" | |
| 56 | +expect ir not-contains "global @bridge_aliases::lifted: i32 = zeroinit" | |
| 57 | +xfail "Imported module values currently lower as zeroinit in multi-file graphs." | |
| 58 | +end | |
suites/modules/runtime_graphs.afsmodified@@ -101,3 +101,15 @@ expect run.stdout check-comments | ||
| 101 | 101 | expect run.exit_code equals 0 |
| 102 | 102 | xfail "Imported module values currently lower as zeroinit in multi-file graphs." |
| 103 | 103 | end |
| 104 | + | |
| 105 | +case "rename_hops_runtime" | |
| 106 | +entry "../../fixtures/modules/rename_hops/main_alias.f90" | |
| 107 | +file "../../fixtures/modules/rename_hops/base_values.f90" | |
| 108 | +file "../../fixtures/modules/rename_hops/bridge_aliases.f90" | |
| 109 | +file "../../fixtures/modules/rename_hops/main_alias.f90" | |
| 110 | +opts => O0, O1, O2 | |
| 111 | +armfortas => run | |
| 112 | +expect run.stdout check-comments | |
| 113 | +expect run.exit_code equals 0 | |
| 114 | +xfail "Imported module values currently lower as zeroinit in multi-file graphs." | |
| 115 | +end | |