regenerate veri-isle-clif-gen

avanhatt · Nov 29, 2023 · e69edf7 · e69edf7
1 parent b5adbdf
commit e69edf7
Show file tree

Hide file tree

Showing 2 changed files with 56 additions and 102 deletions.
diff --git a/cranelift/codegen/meta/src/gen_inst.rs b/cranelift/codegen/meta/src/gen_inst.rs
@@ -2025,5 +2025,10 @@ pub(crate) fn generate(
     gen_builder(all_inst, &formats, &mut fmt);
     fmt.update_file(inst_builder_filename, out_dir)?;
 
+    // Adhoc dump.
+    let mut fmt = Formatter::new();
+    gen_dump(all_inst, &mut fmt);
+    fmt.update_file("dump.txt", out_dir)?;
+
     Ok(())
 }