Optimizer support for logtest and logbit?
authorAndy Wingo <wingo@pobox.com>
Thu, 3 Jul 2014 12:45:12 +0000 (14:45 +0200)
committerAndy Wingo <wingo@pobox.com>
Thu, 3 Jul 2014 12:45:12 +0000 (14:45 +0200)
commit8006d2d6eb8eee0fd08a6d29cf48484f64552c29
treece483178fe521ecc237ee72b4d107053e60215e0
parent5ded849813ade42854e06cfcc3b78c89ee96e03e
Optimizer support for logtest and logbit?

* module/language/cps/effects-analysis.scm: Add entries for logtest and
  logbit?.
* module/language/cps/types.scm (logtest, logbit?): New checkers and
  inferrers.
* module/language/tree-il/peval.scm (peval): Convert (zero? (logand a
  b)) to (logtest a b), in anticipation of opcode support for logtest.
*
  module/language/tree-il/primitives.scm (*interesting-primitive-names*):
  (*effect-free-primitives*): Add logtest and logbit?.
module/language/cps/effects-analysis.scm
module/language/cps/types.scm
module/language/tree-il/peval.scm
module/language/tree-il/primitives.scm