| Index: src/trusted/validator_arm/gen/arm32_decode_named_decoder.h
|
| ===================================================================
|
| --- src/trusted/validator_arm/gen/arm32_decode_named_decoder.h (revision 10736)
|
| +++ src/trusted/validator_arm/gen/arm32_decode_named_decoder.h (working copy)
|
| @@ -550,6 +550,8 @@
|
| const NamedActual_BLX_immediate_1111101hiiiiiiiiiiiiiiiiiiiiiiii_case_1_WFI Actual_BLX_immediate_1111101hiiiiiiiiiiiiiiiiiiiiiiii_case_1_WFI_instance_;
|
| const NamedActual_BLX_immediate_1111101hiiiiiiiiiiiiiiiiiiiiiiii_case_1_None Actual_BLX_immediate_1111101hiiiiiiiiiiiiiiiiiiiiiiii_case_1_None_instance_;
|
| const NamedActual_BLX_register_cccc000100101111111111110011mmmm_case_1_BLX_register Actual_BLX_register_cccc000100101111111111110011mmmm_case_1_BLX_register_instance_;
|
| + const NamedActual_BL_BLX_immediate_cccc1011iiiiiiiiiiiiiiiiiiiiiiii_case_1_BL_BLX_immediate Actual_BL_BLX_immediate_cccc1011iiiiiiiiiiiiiiiiiiiiiiii_case_1_BL_BLX_immediate_instance_;
|
| + const NamedActual_B_cccc1010iiiiiiiiiiiiiiiiiiiiiiii_case_1_B Actual_B_cccc1010iiiiiiiiiiiiiiiiiiiiiiii_case_1_B_instance_;
|
| const NamedActual_Bx_cccc000100101111111111110001mmmm_case_1_Bx Actual_Bx_cccc000100101111111111110001mmmm_case_1_Bx_instance_;
|
| const NamedActual_CLZ_cccc000101101111dddd11110001mmmm_case_1_CLZ Actual_CLZ_cccc000101101111dddd11110001mmmm_case_1_CLZ_instance_;
|
| const NamedActual_CMN_immediate_cccc00110111nnnn0000iiiiiiiiiiii_case_1_CMN_immediate Actual_CMN_immediate_cccc00110111nnnn0000iiiiiiiiiiii_case_1_CMN_immediate_instance_;
|
| @@ -563,6 +565,10 @@
|
| const NamedActual_CMN_register_shifted_register_cccc00010111nnnn0000ssss0tt1mmmm_case_1_CMP_register_shifted_register Actual_CMN_register_shifted_register_cccc00010111nnnn0000ssss0tt1mmmm_case_1_CMP_register_shifted_register_instance_;
|
| const NamedActual_CMN_register_shifted_register_cccc00010111nnnn0000ssss0tt1mmmm_case_1_TEQ_register_shifted_register Actual_CMN_register_shifted_register_cccc00010111nnnn0000ssss0tt1mmmm_case_1_TEQ_register_shifted_register_instance_;
|
| const NamedActual_CMN_register_shifted_register_cccc00010111nnnn0000ssss0tt1mmmm_case_1_TST_register_shifted_register Actual_CMN_register_shifted_register_cccc00010111nnnn0000ssss0tt1mmmm_case_1_TST_register_shifted_register_instance_;
|
| + const NamedActual_LDMDA_LDMFA_cccc100000w1nnnnrrrrrrrrrrrrrrrr_case_1_LDMDA_LDMFA Actual_LDMDA_LDMFA_cccc100000w1nnnnrrrrrrrrrrrrrrrr_case_1_LDMDA_LDMFA_instance_;
|
| + const NamedActual_LDMDA_LDMFA_cccc100000w1nnnnrrrrrrrrrrrrrrrr_case_1_LDMDB_LDMEA Actual_LDMDA_LDMFA_cccc100000w1nnnnrrrrrrrrrrrrrrrr_case_1_LDMDB_LDMEA_instance_;
|
| + const NamedActual_LDMDA_LDMFA_cccc100000w1nnnnrrrrrrrrrrrrrrrr_case_1_LDMIB_LDMED Actual_LDMDA_LDMFA_cccc100000w1nnnnrrrrrrrrrrrrrrrr_case_1_LDMIB_LDMED_instance_;
|
| + const NamedActual_LDMDA_LDMFA_cccc100000w1nnnnrrrrrrrrrrrrrrrr_case_1_LDM_LDMIA_LDMFD Actual_LDMDA_LDMFA_cccc100000w1nnnnrrrrrrrrrrrrrrrr_case_1_LDM_LDMIA_LDMFD_instance_;
|
| const NamedActual_LDRD_immediate_cccc000pu1w0nnnnttttiiii1101iiii_case_1_LDRD_immediate Actual_LDRD_immediate_cccc000pu1w0nnnnttttiiii1101iiii_case_1_LDRD_immediate_instance_;
|
| const NamedActual_LDRD_literal_cccc0001u1001111ttttiiii1101iiii_case_1_LDRD_literal Actual_LDRD_literal_cccc0001u1001111ttttiiii1101iiii_case_1_LDRD_literal_instance_;
|
| const NamedActual_LDRD_register_cccc000pu0w0nnnntttt00001101mmmm_case_1_LDRD_register Actual_LDRD_register_cccc000pu0w0nnnntttt00001101mmmm_case_1_LDRD_register_instance_;
|
| @@ -607,6 +613,10 @@
|
| const NamedActual_SMULBB_SMULBT_SMULTB_SMULTT_cccc00010110dddd0000mmmm1xx0nnnn_case_1_SMULWB_SMULWT Actual_SMULBB_SMULBT_SMULTB_SMULTT_cccc00010110dddd0000mmmm1xx0nnnn_case_1_SMULWB_SMULWT_instance_;
|
| const NamedActual_SMULL_A1_cccc0000110shhhhllllmmmm1001nnnn_case_1_SMULL_A1 Actual_SMULL_A1_cccc0000110shhhhllllmmmm1001nnnn_case_1_SMULL_A1_instance_;
|
| const NamedActual_SMULL_A1_cccc0000110shhhhllllmmmm1001nnnn_case_1_UMULL_A1 Actual_SMULL_A1_cccc0000110shhhhllllmmmm1001nnnn_case_1_UMULL_A1_instance_;
|
| + const NamedActual_STMDA_STMED_cccc100000w0nnnnrrrrrrrrrrrrrrrr_case_1_STMDA_STMED Actual_STMDA_STMED_cccc100000w0nnnnrrrrrrrrrrrrrrrr_case_1_STMDA_STMED_instance_;
|
| + const NamedActual_STMDA_STMED_cccc100000w0nnnnrrrrrrrrrrrrrrrr_case_1_STMDB_STMFD Actual_STMDA_STMED_cccc100000w0nnnnrrrrrrrrrrrrrrrr_case_1_STMDB_STMFD_instance_;
|
| + const NamedActual_STMDA_STMED_cccc100000w0nnnnrrrrrrrrrrrrrrrr_case_1_STMIB_STMFA Actual_STMDA_STMED_cccc100000w0nnnnrrrrrrrrrrrrrrrr_case_1_STMIB_STMFA_instance_;
|
| + const NamedActual_STMDA_STMED_cccc100000w0nnnnrrrrrrrrrrrrrrrr_case_1_STM_STMIA_STMEA Actual_STMDA_STMED_cccc100000w0nnnnrrrrrrrrrrrrrrrr_case_1_STM_STMIA_STMEA_instance_;
|
| const NamedActual_STRD_immediate_cccc000pu1w0nnnnttttiiii1111iiii_case_1_STRD_immediate Actual_STRD_immediate_cccc000pu1w0nnnnttttiiii1111iiii_case_1_STRD_immediate_instance_;
|
| const NamedActual_STRD_register_cccc000pu0w0nnnntttt00001111mmmm_case_1_STRD_register Actual_STRD_register_cccc000pu0w0nnnntttt00001111mmmm_case_1_STRD_register_instance_;
|
| const NamedActual_STREXB_cccc00011100nnnndddd11111001tttt_case_1_STREX Actual_STREXB_cccc00011100nnnndddd11111001tttt_case_1_STREX_instance_;
|
|
|