Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(747)

Side by Side Diff: src/trusted/validator_ragel/decoder_x86_32.rl

Issue 11000033: Move validator_x86_XX.rl out of unreviewed. (Closed) Base URL: svn://svn.chromium.org/native_client/trunk/src/native_client/
Patch Set: Created 7 years, 9 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View unified diff | Download patch | Annotate | Revision Log
OLDNEW
1 /* 1 /*
2 * Copyright (c) 2012 The Native Client Authors. All rights reserved. 2 * Copyright (c) 2012 The Native Client Authors. All rights reserved.
3 * Use of this source code is governed by a BSD-style license that can be 3 * Use of this source code is governed by a BSD-style license that can be
4 * found in the LICENSE file. 4 * found in the LICENSE file.
5 */ 5 */
6 6
7 /* 7 /*
8 * Full-blown decoder for ia32 case. Can be used to decode instruction sequence 8 * Full-blown decoder for ia32 case. Can be used to decode instruction sequence
9 * and process it, but right now is only used in tests. 9 * and process it, but right now is only used in tests.
10 * 10 *
11 * The code is in [hand-written] "parse_instruction.rl" and in [auto-generated] 11 * The code is in [hand-written] "parse_instruction.rl" and in [auto-generated]
12 * "decoder_x86_32_instruction.rl" file. This file only includes tiny amount 12 * "decoder_x86_32_instruction.rl" file. This file only includes tiny amount
13 * of the glue code. 13 * of the glue code.
14 */ 14 */
15 15
16 #include <assert.h> 16 #include <assert.h>
17 #include <stddef.h> 17 #include <stddef.h>
18 #include <stdio.h> 18 #include <stdio.h>
19 #include <stdlib.h> 19 #include <stdlib.h>
20 #include <string.h> 20 #include <string.h>
21 21
22 #include "native_client/src/shared/utils/types.h" 22 #include "native_client/src/shared/utils/types.h"
23 #include "native_client/src/trusted/validator_ragel/unreviewed/decoder_internal. h" 23 #include "native_client/src/trusted/validator_ragel/decoder_internal.h"
24 24
25 %%{ 25 %%{
26 machine x86_32_decoder; 26 machine x86_32_decoder;
27 alphtype unsigned char; 27 alphtype unsigned char;
28 variable p current_position; 28 variable p current_position;
29 variable pe end_of_data; 29 variable pe end_of_data;
30 variable eof end_of_data; 30 variable eof end_of_data;
31 variable cs current_state; 31 variable cs current_state;
32 32
33 include byte_machine "byte_machines.rl"; 33 include byte_machine "byte_machines.rl";
(...skipping 26 matching lines...) Expand all
60 "native_client/src/trusted/validator_ragel/parse_instruction.rl"; 60 "native_client/src/trusted/validator_ragel/parse_instruction.rl";
61 include cpuid_actions 61 include cpuid_actions
62 "native_client/src/trusted/validator_ragel/parse_instruction.rl"; 62 "native_client/src/trusted/validator_ragel/parse_instruction.rl";
63 63
64 include decode_x86_32 "decoder_x86_32_instruction.rl"; 64 include decode_x86_32 "decoder_x86_32_instruction.rl";
65 65
66 action end_of_instruction_cleanup { 66 action end_of_instruction_cleanup {
67 process_instruction(instruction_begin, current_position + 1, &instruction, 67 process_instruction(instruction_begin, current_position + 1, &instruction,
68 userdata); 68 userdata);
69 instruction_begin = current_position + 1; 69 instruction_begin = current_position + 1;
70 SET_DISP_TYPE(DISPNONE); 70 SET_DISPLACEMENT_FORMAT(DISPNONE);
71 SET_IMM_TYPE(IMMNONE); 71 SET_IMMEDIATE_FORMAT(IMMNONE);
72 SET_IMM2_TYPE(IMMNONE); 72 SET_SECOND_IMMEDIATE_FORMAT(IMMNONE);
73 SET_DATA16_PREFIX(FALSE); 73 SET_DATA16_PREFIX(FALSE);
74 SET_LOCK_PREFIX(FALSE); 74 SET_LOCK_PREFIX(FALSE);
75 SET_REPNZ_PREFIX(FALSE); 75 SET_REPNZ_PREFIX(FALSE);
76 SET_REPZ_PREFIX(FALSE); 76 SET_REPZ_PREFIX(FALSE);
77 SET_BRANCH_NOT_TAKEN(FALSE); 77 SET_BRANCH_NOT_TAKEN(FALSE);
78 SET_BRANCH_TAKEN(FALSE); 78 SET_BRANCH_TAKEN(FALSE);
79 SET_VEX_PREFIX3(0x00); 79 SET_VEX_PREFIX3(0x00);
80 SET_ATT_INSTRUCTION_SUFFIX(NULL); 80 SET_ATT_INSTRUCTION_SUFFIX(NULL);
81 } 81 }
82 82
83 action report_fatal_error { 83 action report_fatal_error {
84 process_error(current_position, userdata); 84 process_error(current_position, userdata);
85 result = FALSE; 85 result = FALSE;
86 goto error_detected; 86 goto error_detected;
87 } 87 }
88 88
89 decoder := (one_instruction @end_of_instruction_cleanup)* 89 decoder := (one_instruction @end_of_instruction_cleanup)*
90 $!report_fatal_error; 90 $!report_fatal_error;
91 }%% 91 }%%
92 92
93 /*
94 * The "write data" statement causes Ragel to emit the constant static data
95 * needed by the ragel machine.
96 */
93 %% write data; 97 %% write data;
94 98
95 int DecodeChunkIA32(const uint8_t *data, size_t size, 99 int DecodeChunkIA32(const uint8_t *data, size_t size,
96 ProcessInstructionFunc process_instruction, 100 ProcessInstructionFunc process_instruction,
97 ProcessDecodingErrorFunc process_error, void *userdata) { 101 ProcessDecodingErrorFunc process_error, void *userdata) {
98 const uint8_t *current_position = data; 102 const uint8_t *current_position = data;
99 const uint8_t *end_of_data = data + size; 103 const uint8_t *end_of_data = data + size;
100 const uint8_t *instruction_begin = current_position; 104 const uint8_t *instruction_begin = current_position;
101 uint8_t vex_prefix3 = 0x00; 105 uint8_t vex_prefix3 = 0x00;
102 enum ImmediateMode imm_operand = IMMNONE; 106 enum ImmediateMode imm_operand = IMMNONE;
103 enum ImmediateMode imm2_operand = IMMNONE; 107 enum ImmediateMode imm2_operand = IMMNONE;
104 struct Instruction instruction; 108 struct Instruction instruction;
105 int result = TRUE; 109 int result = TRUE;
106 110
107 int current_state; 111 int current_state;
108 112
109 memset(&instruction, 0, sizeof instruction); 113 memset(&instruction, 0, sizeof instruction);
110 114
115 /*
116 * The "write init" statement causes Ragel to emit initialization code.
117 * This should be executed once before the ragel machine is started.
118 */
111 %% write init; 119 %% write init;
120 /*
121 * The "write exec" statement causes Ragel to emit the ragel machine's
122 * execution code.
123 */
112 %% write exec; 124 %% write exec;
113 125
114 error_detected: 126 error_detected:
115 return result; 127 return result;
116 } 128 }
OLDNEW
« no previous file with comments | « src/trusted/validator_ragel/decoder_internal.h ('k') | src/trusted/validator_ragel/decoder_x86_64.rl » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698