Move validator_x86_XX.rl out of unreviewed.

src/trusted/validator_ragel/gen/decoder_x86_32.c

Index: src/trusted/validator_ragel/gen/decoder_x86_32.c
===================================================================
--- src/trusted/validator_ragel/gen/decoder_x86_32.c	(revision 10976)
+++ src/trusted/validator_ragel/gen/decoder_x86_32.c	(working copy)
@@ -19,7 +19,7 @@
 #include <string.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 not useful in IA32 mode, but they will "cleaned up" by
@@ -39,6 +39,10 @@
 
 
 
+/*
+ * The "write data" statement causes Ragel to emit the constant static data
+ * needed by the ragel machine.
+ */
 
 static const short _x86_32_decoder_actions[] = {
 	0, 1, 0, 1, 1, 1, 2, 1, 
@@ -11584,7 +11588,7 @@
 	120u, 127u, 128u, 135u, 136u, 143u, 144u, 151u, 
 	152u, 159u, 160u, 167u, 168u, 175u, 176u, 183u, 
 	184u, 191u, 192u, 199u, 200u, 207u, 208u, 215u, 
-	216u, 223u, 224u, 231u, 240u, 247u, 248u, 255u, 
+	216u, 223u, 224u, 231u, 232u, 239u, 240u, 247u, 
 	4u, 5u, 12u, 13u, 20u, 21u, 28u, 29u, 
 	36u, 37u, 44u, 45u, 52u, 53u, 60u, 61u, 
 	68u, 76u, 84u, 92u, 100u, 108u, 116u, 124u, 
@@ -11813,8 +11817,8 @@
 	87u, 88u, 95u, 96u, 103u, 104u, 111u, 112u, 
 	119u, 120u, 127u, 128u, 135u, 136u, 143u, 144u, 
 	151u, 152u, 159u, 160u, 167u, 168u, 175u, 176u, 
-	183u, 184u, 191u, 192u, 199u, 208u, 215u, 216u, 
-	223u, 224u, 231u, 232u, 239u, 240u, 247u, 248u, 
+	183u, 184u, 191u, 192u, 199u, 200u, 207u, 208u, 
+	215u, 224u, 231u, 232u, 239u, 240u, 247u, 248u, 
 	255u, 4u, 5u, 12u, 13u, 20u, 21u, 28u, 
 	29u, 36u, 37u, 44u, 45u, 52u, 53u, 60u, 
 	61u, 68u, 76u, 84u, 92u, 100u, 108u, 116u, 
@@ -11841,8 +11845,8 @@
 	103u, 104u, 111u, 112u, 119u, 120u, 127u, 128u, 
 	135u, 136u, 143u, 144u, 151u, 152u, 159u, 160u, 
 	167u, 168u, 175u, 176u, 183u, 184u, 191u, 192u, 
-	199u, 200u, 207u, 216u, 223u, 224u, 231u, 232u, 
-	239u, 240u, 247u, 248u, 255u, 4u, 5u, 12u, 
+	199u, 200u, 207u, 208u, 215u, 216u, 223u, 224u, 
+	231u, 232u, 239u, 248u, 255u, 4u, 5u, 12u, 
 	13u, 20u, 21u, 28u, 29u, 36u, 37u, 44u, 
 	45u, 52u, 53u, 60u, 61u, 68u, 76u, 84u, 
 	92u, 100u, 108u, 116u, 124u, 132u, 140u, 148u, 
@@ -18479,7 +18483,7 @@
 	4712, 4715, 4718, 4721, 4724, 4726, 4728, 4730, 
 	4732, 4734, 4736, 4738, 4740, 4742, 4744, 4746, 
 	4748, 4750, 4752, 4754, 4756, 4757, 4758, 4759, 
-	4760, 4762, 4763, 4761, 4765, 4766, 4765, 4766, 
+	4760, 4761, 4762, 4763, 4765, 4766, 4765, 4766, 
 	4765, 4766, 4765, 4766, 4765, 4766, 4765, 4766, 
 	4765, 4766, 4765, 4766, 4768, 4768, 4768, 4768, 
 	4768, 4768, 4768, 4768, 4770, 4770, 4770, 4770, 
@@ -18675,8 +18679,8 @@
 	5281, 5283, 5285, 5287, 5232, 5235, 5238, 5241, 
 	5244, 5247, 5250, 5253, 5256, 5258, 5260, 5262, 
 	5264, 5266, 5268, 5270, 5272, 5274, 5276, 5278, 
-	5280, 5282, 5284, 5286, 5288, 5290, 5291, 5292, 
-	5293, 5294, 5295, 5289, 5297, 5298, 5300, 5301, 
+	5280, 5282, 5284, 5286, 5288, 5289, 5290, 5292, 
+	5293, 5294, 5295, 5291, 5297, 5298, 5300, 5301, 
 	5303, 5304, 5306, 5307, 5309, 5310, 5312, 5313, 
 	5315, 5316, 5318, 5319, 5321, 5323, 5325, 5327, 
 	5329, 5331, 5333, 5335, 5337, 5339, 5341, 5343, 
@@ -18696,8 +18700,8 @@
 	5418, 5420, 5422, 5424, 5369, 5372, 5375, 5378, 
 	5381, 5384, 5387, 5390, 5393, 5395, 5397, 5399, 
 	5401, 5403, 5405, 5407, 5409, 5411, 5413, 5415, 
-	5417, 5419, 5421, 5423, 5425, 5426, 5428, 5429, 
-	5430, 5431, 5432, 5427, 5434, 5435, 5434, 5435, 
+	5417, 5419, 5421, 5423, 5425, 5426, 5427, 5428, 
+	5429, 5430, 5432, 5431, 5434, 5435, 5434, 5435, 
 	5434, 5435, 5434, 5435, 5434, 5435, 5434, 5435, 
 	5434, 5435, 5434, 5435, 5437, 5437, 5437, 5437, 
 	5437, 5437, 5437, 5437, 5439, 5439, 5439, 5439, 
@@ -25897,11 +25901,19 @@
   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.
+   */
   
 	{
 	( current_state) = x86_32_decoder_start;
 	}
 
+  /*
+   * The "write exec" statement causes Ragel to emit the ragel machine's
+   * execution code.
+   */
   
 	{
 	int _klen;