44     let inst_specs_isle = codegen_crate_dir.join("src").join("inst_specs.isle");  in shared_isle_lower_paths()
45     let prelude_isle = codegen_crate_dir.join("src").join("prelude.isle");  in shared_isle_lower_paths()
46     let prelude_lower_isle = codegen_crate_dir.join("src").join("prelude_lower.isle");  in shared_isle_lower_paths()
62     let numerics_isle = gen_dir.join("numerics.isle");  in get_isle_compilations()
63     let clif_lower_isle = gen_dir.join("clif_lower.isle");  in get_isle_compilations()
64     let clif_opt_isle = gen_dir.join("clif_opt.isle");  in get_isle_compilations()
65     let prelude_isle = codegen_crate_dir.join("src").join("prelude.isle");  in get_isle_compilations()
66     let prelude_opt_isle = codegen_crate_dir.join("src").join("prelude_opt.isle");  in get_isle_compilations()
67     let prelude_lower_isle = codegen_crate_dir.join("src").join("prelude_lower.isle");  in get_isle_compilations()
69     let pulley_gen = gen_dir.join("pulley_gen.isle");  in get_isle_compilations()
72     let src_opts = codegen_crate_dir.join("src").join("opts");  in get_isle_compilations()
75     let src_isa_x64 = codegen_crate_dir.join("src").join("isa").join("x64");  in get_isle_compilations()
76     let src_isa_aarch64 = codegen_crate_dir.join("src").join("isa").join("aarch64");  in get_isle_compilations()
77     let src_isa_s390x = codegen_crate_dir.join("src").join("isa").join("s390x");  in get_isle_compilations()
78     let src_isa_risc_v = codegen_crate_dir.join("src").join("isa").join("riscv64");  in get_isle_compilations()
81         .join("src")  in get_isle_compilations()
82         .join("isa")  in get_isle_compilations()
83         .join("pulley_shared");  in get_isle_compilations()
103                 output: gen_dir.join("isle_opt.rs"),  in get_isle_compilations()
107                     src_opts.join("arithmetic.isle"),  in get_isle_compilations()
108                     src_opts.join("bitops.isle"),  in get_isle_compilations()
109                     src_opts.join("cprop.isle"),  in get_isle_compilations()
110                     src_opts.join("extends.isle"),  in get_isle_compilations()
111                     src_opts.join("icmp.isle"),  in get_isle_compilations()
112                     src_opts.join("remat.isle"),  in get_isle_compilations()
113                     src_opts.join("selects.isle"),  in get_isle_compilations()
114                     src_opts.join("shifts.isle"),  in get_isle_compilations()
115                     src_opts.join("skeleton.isle"),  in get_isle_compilations()
116                     src_opts.join("spaceship.isle"),  in get_isle_compilations()
117                     src_opts.join("spectre.isle"),  in get_isle_compilations()
118                     src_opts.join("vector.isle"),  in get_isle_compilations()
125                 output: gen_dir.join("isle_x64.rs"),  in get_isle_compilations()
129                     src_isa_x64.join("inst.isle"),  in get_isle_compilations()
130                     src_isa_x64.join("lower.isle"),  in get_isle_compilations()
135                     gen_dir.join("assembler.isle"),  in get_isle_compilations()
141                 output: gen_dir.join("isle_aarch64.rs"),  in get_isle_compilations()
145                     src_isa_aarch64.join("inst.isle"),  in get_isle_compilations()
146                     src_isa_aarch64.join("inst_neon.isle"),  in get_isle_compilations()
147                     src_isa_aarch64.join("lower.isle"),  in get_isle_compilations()
148                     src_isa_aarch64.join("lower_dynamic_neon.isle"),  in get_isle_compilations()
155                 output: gen_dir.join("isle_s390x.rs"),  in get_isle_compilations()
159                     src_isa_s390x.join("inst.isle"),  in get_isle_compilations()
160                     src_isa_s390x.join("lower.isle"),  in get_isle_compilations()
167                 output: gen_dir.join("isle_riscv64.rs"),  in get_isle_compilations()
171                     src_isa_risc_v.join("inst.isle"),  in get_isle_compilations()
172                     src_isa_risc_v.join("inst_vector.isle"),  in get_isle_compilations()
173                     src_isa_risc_v.join("lower.isle"),  in get_isle_compilations()
181                 output: gen_dir.join("isle_pulley_shared.rs"),  in get_isle_compilations()
185                     src_isa_pulley_shared.join("inst.isle"),  in get_isle_compilations()
186                     src_isa_pulley_shared.join("lower.isle"),  in get_isle_compilations()