package jasmin

You can search for identifiers within the package.

in-package search v0.2.0

Compiler for High-Assurance and High-Speed Cryptography

Install

dune-project

Dependency

github.com Readme Edit opam file Versions (22)

Authors

J

Jasmin authors and contributors

Maintainers

J

Jean-Christophe Léchenet <jean-christophe.lechenet@inria.fr>

Sources

jasmin-compiler-v2026.03.1.tar.bz2

sha256=78e9f92963403f1ed9f95326f26725532c43956f10fcc47d11ac94c66a236f52

doc/jasmin.jasmin/Jasmin/Ssa/index.html

Module `Jasmin.Ssa`Source

Source

val split_live_ranges : 
  bool ->
  ('info, 'asm) Prog.func ->
  (unit, 'asm) Prog.func

Rename variables in the given function so that any given variable has different names in each of its liveness intervals. This may introduce fresh copy instructions tagged as “phi nodes”. The first argument to this function tells whether said renaming is applied to all variables (split_live_ranges true) or only to registers (split_live_ranges false).

Sourceval remove_phi_nodes : ('info, 'asm) Prog.func -> ('info, 'asm) Prog.func

Remove copy instructions tagged as “phi nodes”. All such instructions must be of the form “x = x”, i.e., the source and destination must be the same variable.