Add a --show-monomorphized flag to output the monomorphized IR
#4067
Labels
Comments
jfecher
added
enhancement
5 tasks
github-merge-queue bot
pushed a commit
that referenced
this issue
Jan 22, 2024
# Description Debugging optimizations often requires inspecting the monomorphized program. This adds an option to enable this. ## Problem\* #4067 ## Summary\* Example usage: ```bash ❯ (cd test_programs/compile_success_contract/simple_contract && cargo run compile --show-monomorphized) Compiling nargo_cli v0.23.0 (/Users/michaelklein/Coding/rust/noir/tooling/nargo_cli) Finished dev [optimized + debuginfo] target(s) in 1.79s Running `/Users/michaelklein/Coding/rust/noir/target/debug/nargo compile --show-monomorphized` Monomorphized AST for program with hash: 18020856208726922572 fn triple$f0(x$l0: Field) -> Field { (x$l0 * 3) } Monomorphized AST for program with hash: 9305131916264092540 fn skibbidy$f0(x$l0: Field) -> Field { (x$l0 * 5) } Monomorphized AST for program with hash: 17799031513160233728 fn double$f0(x$l0: Field) -> Field { (x$l0 * 2) } Monomorphized AST for program with hash: 16417890415031598568 fn quadruple$f0(x$l0: Field) -> Field { (x$l0 * 4) } ``` ## Additional Context ## Documentation\* Check one: - [x] No documentation needed. (hidden option) - [ ] Documentation included in this PR. - [ ] **[Exceptional Case]** Documentation to be submitted in a separate PR. # PR Checklist\* - [x] I have tested the changes locally. - [ ] I have formatted the changes with [Prettier](https://prettier.io/) and/or `cargo fmt` on default settings. --------- Co-authored-by: jfecher <[email protected]>
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Problem
Very commonly when debugging I add a
println!("{program}");on line 391 ofnoirc_driver/src/lib.rs: https://github.com/noir-lang/noir/blob/master/compiler/noirc_driver/src/lib.rs#L390. This shows the monomorphized output of the program and can be helpful in debugging certain frontend / codegen issues since it is more terse and closer to the source program than the SSA is.Happy Case
We should add a flag such as
--show-monomorphizedor similar to show the monomorphized output of a program.Alternatives Considered
No response
Additional Context
No response
Would you like to submit a PR for this Issue?
No
Support Needs
No response
The text was updated successfully, but these errors were encountered: