package jasmin

  1. Overview
  2. Docs
Compiler for High-Assurance and High-Speed Cryptography

Install 

dune-project
 Dependency

github.com Readme Edit opam file Versions (18)

Authors

  1. J
    Jasmin authors and contributors

Maintainers

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

Sources

jasmin-compiler-v2025.06.2.tar.bz2
sha256=aa0d21f532c1560a0939244cfd1c8414ba2b42c9d1403960f458500446cb1ebb

doc/jasmin.jasmin/Jasmin/Label_check/index.html

Module Jasmin.Label_checkSource

Sourcetype function_label = {
  1. loc : Jasmin.Prog.L.t;
  2. fname : string;
}

Record types describing data used to detect and print informations about function labels. Used for error (warning) printing

Sourcetype duplicate_label_warn = {
  1. first_decl : function_label;
  2. conflict_decl : function_label;
}

Duplicate label error (warning) containing informations about the two conflicting functions

Sourceval warn_duplicate_label : duplicate_label_warn -> unit

Function that print a duplicate_label_warn using Utils.warning

  • parameter error

    : duplicate_label_warn

Sourceval get_labels_errors : ('len, 'info, 'asm) Prog.gprog -> duplicate_label_warn list

Check if functions have conflicting names when translated to their assembly label names. It return the list of conflict errors detected. The way error are handled is let to the calling function.

  • parameter prog

    : program to check

  • returns

    : duplicate_label_warn list