15.4.225  src/lib/compiler/back/low/code/instruction-frequency-properties-g.pkg

## instruction-frequency-properties-g.pkg

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


# Generic module for extracting the frequency information.

# This appears to be nowhere invoked.

generic package   instruction_frequency_properties_g   (
    #             ==================================
    #
    mu:  Machcode_Universals                                                            # Machcode_Universals                   is from   src/lib/compiler/back/low/code/machcode-universals.api
)
: (weak)  Instruction_Frequency_Properties                                              # Instruction_Frequency_Properties      is from   src/lib/compiler/back/low/code/instruction-frequency-properties.api
{
    # Export to client packages:
    #
    package mcf = mu::mcf;                                                              # "mcf" == "machcode_form" (abstract machine code).

    fifty_fifty = probability::prob (1, 2);

    get = lowhalf_notes::branch_probability.get;


    fun branch_probability  instruction
        =
        case (get (#2 (mu::get_notes instruction)))
            #     
            THE b =>  b;
            NULL  =>  fifty_fifty;
        esac;
};


## COPYRIGHT (c) 2002 Bell Labs, Lucent Technologies
## Subsequent changes by Jeff Prothero Copyright (c) 2010-2015,
## released per terms of SMLNJ-COPYRIGHT.