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 (19)

Authors

  1. J
    Jasmin authors and contributors

Maintainers

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

Sources

jasmin-compiler-v2025.06.3.tar.bz2
sha256=e7aafd891eb54e89d41d9d7d1bbda9ddb1cddc5fdf0359d88c2b7b417ae4a39b

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