| 41 | } |
| 42 | |
| 43 | pub fn shared_isle_lower_paths(codegen_crate_dir: &std::path::Path) -> Vec<std::path::PathBuf> { |
| 44 | let inst_specs_isle = codegen_crate_dir.join("src").join("inst_specs.isle"); |
| 45 | let prelude_isle = codegen_crate_dir.join("src").join("prelude.isle"); |
| 46 | let prelude_lower_isle = codegen_crate_dir.join("src").join("prelude_lower.isle"); |
| 47 | // The shared instruction selector logic. |
| 48 | vec![ |
| 49 | inst_specs_isle.clone(), |
| 50 | prelude_isle.clone(), |
| 51 | prelude_lower_isle.clone(), |
| 52 | ] |
| 53 | } |
| 54 | |
| 55 | /// Construct the list of compilations (transformations from ISLE |
| 56 | /// source to generated Rust source) that exist in the repository. |