Index: src/trusted/validator_ragel/decoder_x86_64.rl |
=================================================================== |
--- src/trusted/validator_ragel/decoder_x86_64.rl (revision 10967) |
+++ 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 |
halyavin
2013/03/13 15:48:32
Change this comment.
khim
2013/03/19 14:54:46
Done.
|
@@ -102,6 +102,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, |
@@ -136,7 +140,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: |