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 10967)
+++ 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, 
@@ -11567,8 +11571,8 @@
 	80u, 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, 200u, 207u, 208u, 215u, 
-	216u, 223u, 224u, 231u, 232u, 239u, 240u, 247u, 
+	176u, 183u, 184u, 191u, 192u, 199u, 200u, 207u, 
+	208u, 215u, 216u, 223u, 224u, 231u, 232u, 239u, 
 	248u, 255u, 5u, 13u, 21u, 29u, 37u, 45u, 
 	53u, 61u, 69u, 77u, 85u, 93u, 101u, 109u, 
 	117u, 125u, 133u, 141u, 149u, 157u, 165u, 173u, 
@@ -11825,8 +11829,8 @@
 	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, 200u, 207u, 208u, 215u, 216u, 
-	223u, 224u, 231u, 240u, 247u, 248u, 255u, 5u, 
+	191u, 192u, 199u, 208u, 215u, 216u, 223u, 224u, 
+	231u, 232u, 239u, 240u, 247u, 248u, 255u, 5u, 
 	13u, 21u, 29u, 37u, 45u, 53u, 61u, 69u, 
 	77u, 85u, 93u, 101u, 109u, 117u, 125u, 133u, 
 	141u, 149u, 157u, 165u, 173u, 181u, 189u, 197u, 
@@ -11840,9 +11844,9 @@
 	71u, 72u, 79u, 80u, 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, 200u, 207u, 208u, 215u, 216u, 223u, 224u, 
-	231u, 232u, 239u, 248u, 255u, 4u, 5u, 12u, 
+	167u, 168u, 175u, 176u, 183u, 184u, 191u, 200u, 
+	207u, 208u, 215u, 216u, 223u, 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, 124u, 132u, 140u, 148u, 
@@ -15101,8 +15105,8 @@
 	80u, 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, 200u, 207u, 
-	208u, 215u, 224u, 231u, 232u, 239u, 240u, 247u, 
+	176u, 183u, 184u, 191u, 200u, 207u, 208u, 215u, 
+	216u, 223u, 224u, 231u, 232u, 239u, 240u, 247u, 
 	248u, 255u, 4u, 5u, 20u, 21u, 28u, 29u, 
 	36u, 37u, 44u, 45u, 52u, 53u, 60u, 61u, 
 	68u, 84u, 92u, 100u, 108u, 116u, 124u, 132u, 
@@ -18465,8 +18469,8 @@
 	4676, 4678, 4680, 4682, 4627, 4630, 4633, 4636, 
 	4639, 4642, 4645, 4648, 4651, 4653, 4655, 4657, 
 	4659, 4661, 4663, 4665, 4667, 4669, 4671, 4673, 
-	4675, 4677, 4679, 4681, 4684, 4685, 4686, 4687, 
-	4688, 4689, 4690, 4683, 4692, 4692, 4692, 4692, 
+	4675, 4677, 4679, 4681, 4683, 4684, 4685, 4686, 
+	4687, 4688, 4690, 4689, 4692, 4692, 4692, 4692, 
 	4692, 4692, 4692, 4692, 4692, 4692, 4692, 4692, 
 	4692, 4692, 4692, 4692, 4692, 4692, 4692, 4692, 
 	4692, 4692, 4692, 4692, 4692, 4692, 4692, 4692, 
@@ -18683,8 +18687,8 @@
 	5345, 5347, 5349, 5351, 5296, 5299, 5302, 5305, 
 	5308, 5311, 5314, 5317, 5320, 5322, 5324, 5326, 
 	5328, 5330, 5332, 5334, 5336, 5338, 5340, 5342, 
-	5344, 5346, 5348, 5350, 5352, 5353, 5354, 5355, 
-	5356, 5358, 5359, 5357, 5361, 5361, 5361, 5361, 
+	5344, 5346, 5348, 5350, 5352, 5354, 5355, 5356, 
+	5357, 5358, 5359, 5353, 5361, 5361, 5361, 5361, 
 	5361, 5361, 5361, 5361, 5361, 5361, 5361, 5361, 
 	5361, 5361, 5361, 5361, 5361, 5361, 5361, 5361, 
 	5361, 5361, 5361, 5361, 5361, 5361, 5361, 5361, 
@@ -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, 5427, 5428, 
-	5429, 5430, 5432, 5431, 5434, 5435, 5434, 5435, 
+	5417, 5419, 5421, 5423, 5426, 5427, 5428, 5429, 
+	5430, 5431, 5432, 5425, 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, 
@@ -21789,8 +21793,8 @@
 	12025, 12027, 12029, 12031, 11976, 11979, 11982, 11985, 
 	11988, 11991, 11994, 11997, 12000, 12002, 12004, 12006, 
 	12008, 12010, 12012, 12014, 12016, 12018, 12020, 12022, 
-	12024, 12026, 12028, 12030, 12032, 12033, 12034, 12036, 
-	12037, 12038, 12039, 12035, 12041, 12042, 12044, 12045, 
+	12024, 12026, 12028, 12030, 12033, 12034, 12035, 12036, 
+	12037, 12038, 12039, 12032, 12041, 12042, 12044, 12045, 
 	12047, 12048, 12050, 12051, 12053, 12054, 12056, 12057, 
 	12059, 12060, 12062, 12064, 12066, 12068, 12070, 12072, 
 	12074, 12076, 12078, 12080, 12082, 12084, 12086, 12088, 
@@ -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;