working/0.1/ILTheory.sml

5208   [("MREG_TY_DEF",MREG_TY_DEF,DB.Def), ("MREG_BIJ",MREG_BIJ,DB.Def),
5209    ("R0",R0,DB.Def), ("R1",R1,DB.Def), ("R2",R2,DB.Def), ("R3",R3,DB.Def),
5210    ("R4",R4,DB.Def), ("R5",R5,DB.Def), ("R6",R6,DB.Def), ("R7",R7,DB.Def),
5211    ("R8",R8,DB.Def), ("R9",R9,DB.Def), ("R10",R10,DB.Def),
5212    ("R11",R11,DB.Def), ("R12",R12,DB.Def), ("R13",R13,DB.Def),
5213    ("R14",R14,DB.Def), ("MREG_size_def",MREG_size_def,DB.Def),
5214    ("MREG_case",MREG_case,DB.Def), ("MEXP_TY_DEF",MEXP_TY_DEF,DB.Def),
5215    ("MEXP_repfns",MEXP_repfns,DB.Def), ("IL0_def",IL0_def,DB.Def),
5216    ("IL1_def",IL1_def,DB.Def), ("MR",MR,DB.Def), ("MC",MC,DB.Def),
5217    ("MEXP_case_def",MEXP_case_def,DB.Def),
5218    ("MEXP_size_def",MEXP_size_def,DB.Def),
5219    ("index_of_reg_def",index_of_reg_def,DB.Def),
5220    ("from_reg_index_def",from_reg_index_def,DB.Def),
5221    ("toREG_def",toREG_def,DB.Def), ("toMEM_def",toMEM_def,DB.Def),
5222    ("toEXP_def",toEXP_def,DB.Def), ("DOPER_TY_DEF",DOPER_TY_DEF,DB.Def),
5223    ("DOPER_repfns",DOPER_repfns,DB.Def), ("IL2_def",IL2_def,DB.Def),
5224    ("IL3_def",IL3_def,DB.Def), ("IL4_def",IL4_def,DB.Def),
5225    ("IL5_def",IL5_def,DB.Def), ("IL6_def",IL6_def,DB.Def),
5226    ("IL7_def",IL7_def,DB.Def), ("IL8_def",IL8_def,DB.Def),
5227    ("IL9_def",IL9_def,DB.Def), ("IL10_def",IL10_def,DB.Def),
5228    ("IL11_def",IL11_def,DB.Def), ("IL12_def",IL12_def,DB.Def),
5229    ("IL13_def",IL13_def,DB.Def), ("IL14_def",IL14_def,DB.Def),
5230    ("IL15_def",IL15_def,DB.Def), ("IL16_def",IL16_def,DB.Def),
5231    ("IL17_def",IL17_def,DB.Def), ("MLDR",MLDR,DB.Def),
5232    ("MSTR",MSTR,DB.Def), ("MMOV",MMOV,DB.Def), ("MADD",MADD,DB.Def),
5233    ("MSUB",MSUB,DB.Def), ("MRSB",MRSB,DB.Def), ("MMUL",MMUL,DB.Def),
5234    ("MAND",MAND,DB.Def), ("MORR",MORR,DB.Def), ("MEOR",MEOR,DB.Def),
5235    ("MLSL",MLSL,DB.Def), ("MLSR",MLSR,DB.Def), ("MASR",MASR,DB.Def),
5236    ("MROR",MROR,DB.Def), ("MPUSH",MPUSH,DB.Def), ("MPOP",MPOP,DB.Def),
5237    ("DOPER_case_def",DOPER_case_def,DB.Def),
5238    ("DOPER_size_def",DOPER_size_def,DB.Def),
5239    ("CTL_STRUCTURE_TY_DEF",CTL_STRUCTURE_TY_DEF,DB.Def),
5240    ("CTL_STRUCTURE_repfns",CTL_STRUCTURE_repfns,DB.Def),
5241    ("IL18_def",IL18_def,DB.Def), ("IL19_def",IL19_def,DB.Def),
5242    ("IL20_def",IL20_def,DB.Def), ("IL21_def",IL21_def,DB.Def),
5243    ("BLK",BLK,DB.Def), ("SC",SC,DB.Def), ("CJ",CJ,DB.Def),
5244    ("TR",TR,DB.Def),
5245    ("CTL_STRUCTURE_case_def",CTL_STRUCTURE_case_def,DB.Def),
5246    ("CTL_STRUCTURE_size_def",CTL_STRUCTURE_size_def,DB.Def),
5247    ("pushL_def",pushL_def,DB.Def), ("popL_def",popL_def,DB.Def),
5248    ("mdecode_def",mdecode_def,DB.Def),
5249    ("translate_assignment_def",translate_assignment_def,DB.Def),
5250    ("translate_condition_def",translate_condition_def,DB.Def),
5251    ("eval_il_cond_def",eval_il_cond_def,DB.Def),
5252    ("translate_primitive_def",translate_primitive_def,DB.Def),
5253    ("run_arm_def",run_arm_def,DB.Def), ("run_ir_def",run_ir_def,DB.Def),
5254    ("WELL_FORMED_def",WELL_FORMED_def,DB.Def),
5255    ("WELL_FORMED_SUB_def",WELL_FORMED_SUB_def,DB.Def),