StrongerXi / soc

Compiler for a subset of OCaml
1 stars 0 forks source link

Properly compile bool #36

Closed StrongerXi closed 3 years ago

StrongerXi commented 3 years ago

Lir's conditional set instruction is a legacy from earlier attempt to use conditional set in X86 to generate boolean values for comparison primitives. As mentioned in #24, X86's SetCC was unpleasant to play with, and currently using conditional set in Lir also strongly depends on representation of boolean values. The trivial gain in "optimization" isn't worth it. So I'm ditching conditional set.