Optimise guards of a constant value

ykjit / yk

yk packages

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

Other

28 stars 7 forks source link

Optimise guards of a constant value #1244

Closed ltratt closed 1 month ago

ltratt commented 1 month ago

The ultimate destination of this PR is https://github.com/ykjit/yk/commit/791c89d2ddde53218bf2a0e352895a91a9d3c9e7, which optimises away guards in JIT IR if they reference a constant. Before doing that, over several commits, we introduce more careful well-formedness checks that ensure guards are of the right shape.

ptersilie commented 1 month ago

A langtest that checks for i8 instead of i1 is failing.

ltratt commented 1 month ago

Oops! Fixed in 551c6a41258ece6000311a7f5b7a17441047deff.

ptersilie commented 1 month ago

Please squash.

ltratt commented 1 month ago

Squashed.