Index: src/trusted/validator_ragel/decoder_x86_64.rl |
=================================================================== |
--- src/trusted/validator_ragel/decoder_x86_64.rl (revision 10976) |
+++ src/trusted/validator_ragel/decoder_x86_64.rl (working copy) |
@@ -21,7 +21,7 @@ |
#include "native_client/src/include/elf32.h" |
#include "native_client/src/shared/utils/types.h" |
-#include "native_client/src/trusted/validator_ragel/unreviewed/decoder_internal.h" |
+#include "native_client/src/trusted/validator_ragel/decoder_internal.h" |
/* |
* These prefixes are only useful in AMD64 mode, but they will "cleaned up" by |
@@ -100,6 +100,10 @@ |
main := decoder; |
}%% |
+/* |
+ * The "write data" statement causes Ragel to emit the constant static data |
+ * needed by the ragel machine. |
+ */ |
%% write data; |
int DecodeChunkAMD64(const uint8_t *data, size_t size, |
@@ -134,7 +138,15 @@ |
instruction.prefix.rex_r_spurious = FALSE; |
instruction.prefix.rex_w_spurious = FALSE; |
+ /* |
+ * The "write init" statement causes Ragel to emit initialization code. |
+ * This should be executed once before the ragel machine is started. |
+ */ |
%% write init; |
+ /* |
+ * The "write exec" statement causes Ragel to emit the ragel machine's |
+ * execution code. |
+ */ |
%% write exec; |
error_detected: |