# a new instruction.
# This will be run before the MainSequence.generate()
def gen_thread_initialization(gen_thread):

    choices_mod = ChoicesModifier(gen_thread)

    # Increase the likelihood of using GPRs  x10, x11, x12 and x13 by
    # increasing the weighting.  The default weighting in the operand_choices.xml
    # file is 10 for each GPR.
    choices_mod.modifyOperandChoices("GPRs", {"x10":40, "x11":40, "x12":60, "x13":60})
