1
Fork 0
mirror of https://git.savannah.gnu.org/git/guile.git synced 2025-06-05 19:50:23 +02:00
guile/module/language/tree-il
Andy Wingo dff85f6f9f Explode atomic box ops to new atomic instructions
* libguile/instructions.c (FOR_EACH_INSTRUCTION_WORD_TYPE): Add C8_S24
  word type.
* libguile/vm-engine.c (UNPACK_8_24): New helper.
  (atomic-scm-ref/immediate, atomic-scm-set!/immediate)
  (atomic-swap-scm!/immediate, atomic-scm-compare-and-swap!/immediate):
  New instructions.
  (make-atomic-box, atomic-box-ref, atomic-box-set!, atomic-box-swap!)
  (atomic-box-compare-and-swap!): Disable these ops.
* module/language/bytecode.scm (compute-instruction-arity): Add C8_S24
  support.
* module/system/vm/assembler.scm: Add C8_S24 support.  Export assemblers
  for new opcodes.
* module/system/vm/disassembler.scm (disassembler): Support C8_S24.
* module/language/cps/compile-bytecode.scm (compile-function): Replace
  old atomic-box assemblers with the new instructions.
* module/language/cps/effects-analysis.scm (annotation->memory-kind):
* module/language/cps/types.scm (annotation->type): Add cases for atomic
  boxes.  Mark as all memory kinds because atomic ops serialize memory
  accesses.
* module/language/tree-il/compile-cps.scm (make-atomic-box):
  (ensure-atomic-box, atomic-box-ref, atomic-box-set!):
  (atomic-box-swap!, atomic-box-compare-and-swap!): Explode these ops to
  more basic instructions.
* module/system/base/types/internal.scm (%tc7-atomic-box): Add forgotten
  export.
2018-04-13 10:09:56 +02:00
..
analyze.scm Add -Wmacro-use-before-definition 2016-06-25 18:08:28 +02:00
canonicalize.scm Inline escape-only prompt bodies in the Tree-IL 2013-08-11 16:45:31 +02:00
compile-cps.scm Explode atomic box ops to new atomic instructions 2018-04-13 10:09:56 +02:00
cps-primitives.scm Remove optimizer and backend support for struct ops 2018-01-22 07:51:08 +01:00
debug.scm <prompt> body and handler are lambdas; add escape-only? field 2013-07-06 20:27:21 +09:00
effects.scm with-dynamic-state compiler and VM support 2016-12-05 22:57:29 +01:00
fix-letrec.scm psyntax: Generate identifiers in a deterministic fashion. 2017-03-07 20:48:40 +01:00
optimize.scm Disable resolve-primitives pass below -O2 2018-01-05 10:40:03 +01:00
peval.scm error, scm-error primcalls expand to `throw' 2017-11-05 15:00:16 +01:00
primitives.scm Lower "make-struct/simple" to CPS 2018-01-22 07:28:11 +01:00
spec.scm Rename CPS2 to CPS 2015-07-22 17:19:04 +02:00