Stream: git-cranelift

Topic: cranelift / Issue #262 Test instruction encoding against ...


view this post on Zulip GitHub (Feb 28 2020 at 23:24):

alexcrichton transferred Issue #262:

I have encountered at least one bug related to instruction encodings that was pretty tricky to isolate, but easy enough to fix, https://github.com/Cretonne/cretonne/issues/211

It would be helpful to have a test suite that compared Cretonne's encodings against another toolchain (probably llvm, though gcc could work too). The meta-language could add a way to specify how to translate an instruction into assembly language text, and the encoding of the instruction could be compared against the output of another assembler. The domain size for each instruction is small enough that this could probably be an exhaustive test.


Last updated: Oct 23 2024 at 20:03 UTC