1
Fork 0
mirror of https://git.savannah.gnu.org/git/guile.git synced 2025-06-21 19:20:21 +02:00
guile/module/language/cps
Andy Wingo 32f309d5ce Compiler support for atomics
* doc/ref/vm.texi (Inlined Atomic Instructions): New section.
* libguile/vm-engine.c (VM_VALIDATE_ATOMIC_BOX, make-atomic-box)
  (atomic-box-ref, atomic-box-set!, atomic-box-swap!)
  (atomic-box-compare-and-swap!): New instructions.
* libguile/vm.c: Include atomic and atomics-internal.h.
  (vm_error_not_a_atomic_box): New function.
* module/ice-9/atomic.scm: Register primitives with the compiler.
* module/language/cps/compile-bytecode.scm (compile-function): Add
  support for atomic ops.
* module/language/cps/effects-analysis.scm: Add comment about why no
  effects analysis needed.
* module/language/cps/reify-primitives.scm (primitive-module): Add case
  for (ice-9 atomic).
* module/language/tree-il/primitives.scm (*effect-free-primitives*):
  (*effect+exception-free-primitives*): Add atomic-box?.
* module/system/vm/assembler.scm: Add new instructions.

* test-suite/tests/atomic.test: Test with compilation and
  interpretation.
2016-09-06 12:18:35 +02:00
..
closure-conversion.scm Unbox indexes of vectors, strings, and structs 2015-12-01 15:42:24 +01:00
compile-bytecode.scm Compiler support for atomics 2016-09-06 12:18:35 +02:00
constructors.scm Unbox indexes of vectors, strings, and structs 2015-12-01 15:42:24 +01:00
contification.scm Replace return primcalls with $values 2015-10-28 11:11:23 +00:00
cse.scm Fabricated expression tweak in CSE 2016-09-01 10:54:31 +02:00
dce.scm Factor out compute-effects/elide-type-checks from dce.scm 2015-07-24 11:39:18 +02:00
effects-analysis.scm Compiler support for atomics 2016-09-06 12:18:35 +02:00
elide-values.scm Add missing files 2015-07-22 18:27:37 +02:00
intmap.scm Fix build when threads are disabled 2015-12-16 09:48:37 +00:00
intset.scm Inline some helpers in intset.scm. 2016-01-04 22:48:30 +01:00
licm.scm Loop-invariant code motion 2015-07-24 16:50:58 +02:00
optimize.scm Include missing #:simplify? option in (language cps optimize). 2016-01-04 22:43:30 +01:00
peel-loops.scm Loop peeling 2015-07-27 13:45:23 +02:00
primitives.scm Add support for comparing u64 values with SCM values 2015-12-03 09:01:24 +01:00
prune-bailouts.scm Add missing files 2015-07-22 18:27:37 +02:00
prune-top-level-scopes.scm Add missing files 2015-07-22 18:27:37 +02:00
reify-primitives.scm Compiler support for atomics 2016-09-06 12:18:35 +02:00
renumber.scm Add missing files 2015-07-22 18:27:37 +02:00
rotate-loops.scm Fix compilation of continue' in while'. 2016-08-04 21:36:34 +02:00
self-references.scm Add missing files 2015-07-22 18:27:37 +02:00
simplify.scm Remove unused function in simplify.scm 2016-01-04 23:33:24 +01:00
slot-allocation.scm Add unboxed logxor on u64 values 2016-09-01 10:53:59 +02:00
spec.scm Add missing files 2015-07-22 18:27:37 +02:00
specialize-numbers.scm Better unboxing 2016-09-01 10:55:45 +02:00
specialize-primcalls.scm Add ursh/immediate and ulsh/immediate ops 2015-12-02 22:11:19 +01:00
split-rec.scm Add missing files 2015-07-22 18:27:37 +02:00
type-checks.scm Factor out compute-effects/elide-type-checks from dce.scm 2015-07-24 11:39:18 +02:00
type-fold.scm Better folding of branches on $values 2016-01-03 16:17:53 +01:00
types.scm Better char<? compilation 2016-09-02 10:02:54 +02:00
utils.scm Fix bug in intmap-map 2015-12-26 22:12:09 +01:00
verify.scm Replace return primcalls with $values 2015-10-28 11:11:23 +00:00
with-cps.scm Add missing files 2015-07-22 18:27:37 +02:00