Ensure the JIT IR parser assigns `ICmp`s to `i1`s.

ykjit / yk

yk packages

https://ykjit.github.io/yk/

Other

29 stars 7 forks source link

Ensure the JIT IR parser assigns `ICmp`s to `i1`s. #1265

Closed ltratt closed 3 months ago

ltratt commented 3 months ago

By definition (see e.g. Inst::tyidx) an ICmp returns an i1, but the JIT IR parser allowed users to appear to assign an ICmps to any old type. This commit catches such mistakes, including some already existing in the test suite!