| 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:
|
|
|