mirror/guile
mirror/guile
1
Fork 0
mirror of https://git.savannah.gnu.org/git/guile.git synced 2025-06-14 23:50:19 +02:00
Code Activity

Add logsub op.

Browse source 
* libguile/vm-engine.c (logsub): New op.
* module/language/cps/effects-analysis.scm (logsub):
* module/language/cps/types.scm (logsub):
* module/system/vm/assembler.scm (system): Add support for the new op.

* module/language/tree-il/compile-cps.scm (canonicalize):
  Rewrite (logand x (lognot y)) to (logsub x y).
This commit is contained in:
Andy Wingo 2015-11-30 11:54:19 +01:00
parent 8c75a5eb1b
commit 82085252ec
5 changed files with 58 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

22
libguile/vm-engine.c
View file

@ -3482,7 +3482,27 @@ VM_NAME (scm_i_thread *thread, struct scm_vm *vp,
NEXT (1);
}
VM_DEFINE_OP (161, unused_161, NULL, NOP)
/* logsub dst:8 a:8 b:8
*
* Place the bitwise AND of A and the bitwise NOT of B into DST.
*/
VM_DEFINE_OP (161, logsub, "logsub", OP1 (X8_S8_S8_S8) | OP_DST)
{
ARGS2 (x, y);
if (SCM_I_INUMP (x) && SCM_I_INUMP (y))
{
scm_t_signed_bits a, b;
a = SCM_I_INUM (x);
b = SCM_I_INUM (y);
RETURN (SCM_I_MAKINUM (a & ~b));
}
RETURN_EXP (scm_logand (x, scm_lognot (y)));
}
VM_DEFINE_OP (162, unused_162, NULL, NOP)
VM_DEFINE_OP (163, unused_163, NULL, NOP)
VM_DEFINE_OP (164, unused_164, NULL, NOP)