15.3.86  src/lib/compiler/back/low/code/instruction-frequency-properties.api

# instruction-frequency-properties.api
#
# This is the abstract interface for extracting various kinds of
# frequency information from the program.

# Compiled by:
#     src/lib/compiler/back/low/lib/lowhalf.lib

stipulate
    package prb =  probability;                                                 # probability   is from   src/lib/compiler/back/low/library/probability.pkg
herein

    api Instruction_Frequency_Properties {
        #
        package mcf: Machcode_Form;                                             # Machcode_Form is from   src/lib/compiler/back/low/code/machcode-form.api

        branch_probability:  mcf::Machine_Op -> prb::Probability;               # Branch probability.
    };
end;