GitHub (Feb 28 2020 at 23:27): GitHub (Feb 28 2020 at 23:27):alexcrichton transferred Issue #1137:
If we generated machine-readable descriptions of the IR / legalizations (using information already available in the meta-crate), we could then feed it to external programs who could reason about Cranelift's IR. Use cases could be (non-exhaustive list): making formal proofs that legalizations are correct; creating fuzz test cases that would always be valid and type-check; etc.
Last updated: Oct 23 2024 at 20:03 UTC