Add documentation for the dynamic code modifications.

src/trusted/validator_ragel/unreviewed/filesdecoder.svg

Index: src/trusted/validator_ragel/unreviewed/filesdecoder.svg
===================================================================
--- src/trusted/validator_ragel/unreviewed/filesdecoder.svg	(revision 0)
+++ src/trusted/validator_ragel/unreviewed/filesdecoder.svg	(revision 0)
@@ -0,0 +1,188 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.0//EN"
+ "http://www.w3.org/TR/2001/REC-SVG-20010904/DTD/svg10.dtd" [
+ <!ATTLIST svg xmlns:xlink CDATA #FIXED "http://www.w3.org/1999/xlink">
+]>
+<!-- Generated by Graphviz version 2.20.2 -->
+<!-- Title: filesdecoder Pages: 1 -->
+<svg width="622pt" height="804pt"
+ viewBox="0.00 0.00 622.00 804.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
+<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 800)">
+<title>filesdecoder</title>
+<!-- def_files -->
+<g id="node1" class="node"><title>def_files</title>
+<polygon style="fill:lightgray;stroke:black;" points="262,-796 22,-796 22,-800 10,-800 10,-666 262,-666 262,-796"/>
+<polyline style="fill:none;stroke:black;" points="10,-796 22,-796 "/>
+<text text-anchor="start" x="22" y="-777.733" style="font-family:Times New Roman;font-size:14.00;">general_purpose_instructions.def</text>
+<text text-anchor="start" x="22" y="-757.733" style="font-family:Times New Roman;font-size:14.00;">mmx_instructions.def</text>
+<text text-anchor="start" x="22" y="-737.733" style="font-family:Times New Roman;font-size:14.00;">nops.def</text>
+<text text-anchor="start" x="22" y="-717.733" style="font-family:Times New Roman;font-size:14.00;">system_instructions.def</text>
+<text text-anchor="start" x="22" y="-697.733" style="font-family:Times New Roman;font-size:14.00;">x87_instructions.def</text>
+<text text-anchor="start" x="22" y="-677.733" style="font-family:Times New Roman;font-size:14.00;">xmm_instructions.def</text>
+</g>
+<!-- gen_dfa -->
+<g id="node7" class="node"><title>gen_dfa</title>
+<polygon style="fill:gray;stroke:black;" points="107.885,-558 164.115,-558 184.14,-594 87.8597,-594 107.885,-558"/>
+<text text-anchor="middle" x="136" y="-571.9" style="font-family:Times New Roman;font-size:14.00;">gen_dfa</text>
+</g>
+<!-- def_files&#45;&gt;gen_dfa -->
+<g id="edge2" class="edge"><title>def_files&#45;&gt;gen_dfa</title>
+<path style="fill:none;stroke:black;" d="M135,-666C135,-644 135,-622 135,-604"/>
+<path style="fill:none;stroke:black;" d="M137,-666C137,-644 137,-622 137,-604"/>
+<polygon style="fill:black;stroke:black;" points="139.5,-604 136,-594 132.5,-604 139.5,-604"/>
+</g>
+<!-- gen_dfa_cc -->
+<g id="node2" class="node"><title>gen_dfa_cc</title>
+<polygon style="fill:lightgray;stroke:black;" points="368,-749 292,-749 292,-753 280,-753 280,-713 368,-713 368,-749"/>
+<polyline style="fill:none;stroke:black;" points="280,-749 292,-749 "/>
+<text text-anchor="middle" x="324" y="-726.9" style="font-family:Times New Roman;font-size:14.00;">gen_dfa.cc</text>
+</g>
+<!-- gen_dfa_cc&#45;&gt;gen_dfa -->
+<g id="edge4" class="edge"><title>gen_dfa_cc&#45;&gt;gen_dfa</title>
+<path style="fill:none;stroke:black;" d="M312,-713C301,-699 286,-680 271,-666 259,-655 254,-656 242,-648 218,-632 192,-614 171,-600"/>
+<polygon style="fill:black;stroke:black;" points="173.1,-597.2 163,-594 168.9,-602.8 173.1,-597.2"/>
+<text text-anchor="middle" x="261" y="-625.9" style="font-family:Times New Roman;font-size:14.00;">g++</text>
+</g>
+<!-- byte_machines_py -->
+<g id="node3" class="node"><title>byte_machines_py</title>
+<polygon style="fill:lightgray;stroke:black;" points="578,-648 450,-648 450,-652 438,-652 438,-612 578,-612 578,-648"/>
+<polyline style="fill:none;stroke:black;" points="438,-648 450,-648 "/>
+<text text-anchor="middle" x="508" y="-625.9" style="font-family:Times New Roman;font-size:14.00;">byte_machines.py</text>
+</g>
+<!-- byte_machines_rl -->
+<g id="node13" class="node"><title>byte_machines_rl</title>
+<polygon style="fill:none;stroke:black;" points="614,-450 482,-450 482,-414 614,-414 614,-450"/>
+<text text-anchor="middle" x="548" y="-427.9" style="font-family:Times New Roman;font-size:14.00;">byte_machines.rl</text>
+</g>
+<!-- byte_machines_py&#45;&gt;byte_machines_rl -->
+<g id="edge10" class="edge"><title>byte_machines_py&#45;&gt;byte_machines_rl</title>
+<path style="fill:none;stroke:black;" d="M512,-612C519,-577 534,-501 542,-460"/>
+<polygon style="fill:black;stroke:black;" points="545.471,-460.492 544,-450 538.607,-459.119 545.471,-460.492"/>
+<text text-anchor="middle" x="545" y="-571.9" style="font-family:Times New Roman;font-size:14.00;">python</text>
+</g>
+<!-- parse_instruction_rl -->
+<g id="node4" class="node"><title>parse_instruction_rl</title>
+<polygon style="fill:lightgray;stroke:black;" points="433,-648 295,-648 295,-652 283,-652 283,-612 433,-612 433,-648"/>
+<polyline style="fill:none;stroke:black;" points="283,-648 295,-648 "/>
+<text text-anchor="middle" x="358" y="-625.9" style="font-family:Times New Roman;font-size:14.00;">parse_instruction.rl</text>
+</g>
+<!-- ragel -->
+<g id="node8" class="node"><title>ragel</title>
+<polygon style="fill:gray;stroke:black;" points="266.595,-270 307.405,-270 321.94,-306 252.06,-306 266.595,-270"/>
+<text text-anchor="middle" x="287" y="-283.9" style="font-family:Times New Roman;font-size:14.00;">ragel</text>
+</g>
+<!-- parse_instruction_rl&#45;&gt;ragel -->
+<g id="edge14" class="edge"><title>parse_instruction_rl&#45;&gt;ragel</title>
+<path style="fill:none;stroke:black;" d="M341.209,-612.612C317.16,-581.542 277.16,-519.542 310.225,-479.369 335.758,-448.348 372.758,-491.348 396.221,-461.373 412.072,-441.371 406.072,-426.371 396.081,-402.394 392.164,-391.986 386.164,-392.986 377.293,-384.707 353.266,-360.679 328.266,-333.679 310.257,-313.669"/>
+<path style="fill:none;stroke:black;" d="M342.791,-611.388C318.84,-580.458 278.84,-518.458 311.775,-480.631 334.242,-449.652 371.242,-492.652 397.779,-462.627 413.928,-440.629 407.928,-425.629 397.919,-401.606 391.836,-390.014 385.836,-391.014 378.707,-383.293 354.734,-359.321 329.734,-332.321 311.743,-312.331"/>
+<polygon style="fill:black;stroke:black;" points="313.546,-310.596 304,-306 308.596,-315.546 313.546,-310.596"/>
+</g>
+<!-- decoder_x86_3264_rl -->
+<g id="node5" class="node"><title>decoder_x86_3264_rl</title>
+<polygon style="fill:lightgray;stroke:black;" points="464,-539.5 332,-539.5 332,-543.5 320,-543.5 320,-480.5 464,-480.5 464,-539.5"/>
+<polyline style="fill:none;stroke:black;" points="320,-539.5 332,-539.5 "/>
+<text text-anchor="middle" x="392" y="-522.9" style="font-family:Times New Roman;font-size:14.00;">decoder_x86_32.rl</text>
+<text text-anchor="middle" x="392" y="-505.9" style="font-family:Times New Roman;font-size:14.00;">or</text>
+<text text-anchor="middle" x="392" y="-488.9" style="font-family:Times New Roman;font-size:14.00;">decoder_x86_64.rl</text>
+</g>
+<!-- decoder_x86_3264_rl&#45;&gt;ragel -->
+<g id="edge16" class="edge"><title>decoder_x86_3264_rl&#45;&gt;ragel</title>
+<path style="fill:none;stroke:black;" d="M419.219,-479.375C423.132,-474.504 427.132,-467.504 429.046,-461.702 437.006,-436.11 436.006,-427.11 429.044,-402.294 416.136,-362.504 409.136,-350.504 377.371,-324.778 362.572,-312.904 343.572,-303.904 327.702,-298.954"/>
+<path style="fill:none;stroke:black;" d="M420.781,-480.625C424.868,-475.496 428.868,-468.496 430.954,-462.298 438.994,-435.89 437.994,-426.89 430.956,-401.706 417.864,-361.496 410.864,-349.496 378.629,-323.222 363.428,-311.096 344.428,-302.096 328.298,-297.046"/>
+<polygon style="fill:black;stroke:black;" points="328.584,-294.521 318,-295 326.573,-301.226 328.584,-294.521"/>
+</g>
+<!-- decoder_internal_h -->
+<g id="node6" class="node"><title>decoder_internal_h</title>
+<polygon style="fill:lightgray;stroke:black;" points="466,-220 334,-220 334,-224 322,-224 322,-184 466,-184 466,-220"/>
+<polyline style="fill:none;stroke:black;" points="322,-220 334,-220 "/>
+<text text-anchor="middle" x="394" y="-197.9" style="font-family:Times New Roman;font-size:14.00;">decoder_internal.h</text>
+</g>
+<!-- gcc -->
+<g id="node9" class="node"><title>gcc</title>
+<polygon style="fill:gray;stroke:black;" points="151.232,-98 182.768,-98 194,-134 140,-134 151.232,-98"/>
+<text text-anchor="middle" x="167" y="-111.9" style="font-family:Times New Roman;font-size:14.00;">gcc</text>
+</g>
+<!-- decoder_internal_h&#45;&gt;gcc -->
+<g id="edge26" class="edge"><title>decoder_internal_h&#45;&gt;gcc</title>
+<path style="fill:none;stroke:black;" d="M345.632,-184.93C302.649,-167.936 238.649,-143.936 200.654,-129.938"/>
+<path style="fill:none;stroke:black;" d="M346.368,-183.07C303.351,-166.064 239.351,-142.064 201.346,-128.062"/>
+<polygon style="fill:black;stroke:black;" points="201.585,-125.464 191,-125 198.985,-131.964 201.585,-125.464"/>
+</g>
+<!-- decoder_x86_3264_instruction_rl -->
+<g id="node11" class="node"><title>decoder_x86_3264_instruction_rl</title>
+<polygon style="fill:none;stroke:black;" points="388,-461.5 164,-461.5 164,-402.5 388,-402.5 388,-461.5"/>
+<text text-anchor="middle" x="276" y="-444.9" style="font-family:Times New Roman;font-size:14.00;">decoder_x86_32_instruction.rl</text>
+<text text-anchor="middle" x="276" y="-427.9" style="font-family:Times New Roman;font-size:14.00;">or</text>
+<text text-anchor="middle" x="276" y="-410.9" style="font-family:Times New Roman;font-size:14.00;">decoder_x86_64_instruction.rl</text>
+</g>
+<!-- gen_dfa&#45;&gt;decoder_x86_3264_instruction_rl -->
+<g id="edge6" class="edge"><title>gen_dfa&#45;&gt;decoder_x86_3264_instruction_rl</title>
+<path style="fill:none;stroke:black;" d="M153.257,-557.331C171.293,-537.293 202.293,-506.293 228.27,-479.317 231.293,-475.293 234.293,-472.293 238.293,-468.293"/>
+<path style="fill:none;stroke:black;" d="M154.743,-558.669C172.707,-538.707 203.707,-507.707 229.73,-480.683 232.707,-476.707 235.707,-473.707 239.707,-469.707"/>
+<polygon style="fill:black;stroke:black;" points="241.404,-471.546 246,-462 236.454,-466.596 241.404,-471.546"/>
+</g>
+<!-- decoder_x86_3264_instruction_consts_c -->
+<g id="node12" class="node"><title>decoder_x86_3264_instruction_consts_c</title>
+<polygon style="fill:none;stroke:black;" points="272,-383.5 1.13687e-13,-383.5 0,-324.5 272,-324.5 272,-383.5"/>
+<text text-anchor="middle" x="136" y="-366.9" style="font-family:Times New Roman;font-size:14.00;">decoder_x86_32_instruction_consts.c</text>
+<text text-anchor="middle" x="136" y="-349.9" style="font-family:Times New Roman;font-size:14.00;">or</text>
+<text text-anchor="middle" x="136" y="-332.9" style="font-family:Times New Roman;font-size:14.00;">decoder_x86_64_instruction_consts.c</text>
+</g>
+<!-- gen_dfa&#45;&gt;decoder_x86_3264_instruction_consts_c -->
+<g id="edge8" class="edge"><title>gen_dfa&#45;&gt;decoder_x86_3264_instruction_consts_c</title>
+<path style="fill:none;stroke:black;" d="M135,-558C135,-523 135,-442 135,-394"/>
+<path style="fill:none;stroke:black;" d="M137,-558C137,-523 137,-442 137,-394"/>
+<polygon style="fill:black;stroke:black;" points="139.5,-394 136,-384 132.5,-394 139.5,-394"/>
+</g>
+<!-- decoder_x86_3264_c -->
+<g id="node10" class="node"><title>decoder_x86_3264_c</title>
+<polygon style="fill:none;stroke:black;" points="304,-231.5 164,-231.5 164,-172.5 304,-172.5 304,-231.5"/>
+<text text-anchor="middle" x="234" y="-214.9" style="font-family:Times New Roman;font-size:14.00;">decoder_x86_32.c</text>
+<text text-anchor="middle" x="234" y="-197.9" style="font-family:Times New Roman;font-size:14.00;">or</text>
+<text text-anchor="middle" x="234" y="-180.9" style="font-family:Times New Roman;font-size:14.00;">decoder_x86_64.c</text>
+</g>
+<!-- ragel&#45;&gt;decoder_x86_3264_c -->
+<g id="edge20" class="edge"><title>ragel&#45;&gt;decoder_x86_3264_c</title>
+<path style="fill:none;stroke:black;" d="M275.126,-270.486C270.181,-261.573 263.181,-251.573 257.143,-241.514"/>
+<path style="fill:none;stroke:black;" d="M276.874,-269.514C271.819,-260.427 264.819,-250.427 258.857,-240.486"/>
+<polygon style="fill:black;stroke:black;" points="260.459,-238.379 252,-232 254.635,-242.262 260.459,-238.379"/>
+</g>
+<!-- decoder_x86_3264_o -->
+<g id="node14" class="node"><title>decoder_x86_3264_o</title>
+<polygon style="fill:none;stroke:black;" points="238,-59.5 96,-59.5 96,-0.5 238,-0.5 238,-59.5"/>
+<text text-anchor="middle" x="167" y="-42.9" style="font-family:Times New Roman;font-size:14.00;">decoder_x86_32.o</text>
+<text text-anchor="middle" x="167" y="-25.9" style="font-family:Times New Roman;font-size:14.00;">or</text>
+<text text-anchor="middle" x="167" y="-8.9" style="font-family:Times New Roman;font-size:14.00;">decoder_x86_64.o</text>
+</g>
+<!-- gcc&#45;&gt;decoder_x86_3264_o -->
+<g id="edge28" class="edge"><title>gcc&#45;&gt;decoder_x86_3264_o</title>
+<path style="fill:none;stroke:black;" d="M166,-98C166,-90 166,-80 166,-70"/>
+<path style="fill:none;stroke:black;" d="M168,-98C168,-90 168,-80 168,-70"/>
+<polygon style="fill:black;stroke:black;" points="170.5,-70 167,-60 163.5,-70 170.5,-70"/>
+</g>
+<!-- decoder_x86_3264_c&#45;&gt;gcc -->
+<g id="edge24" class="edge"><title>decoder_x86_3264_c&#45;&gt;gcc</title>
+<path style="fill:none;stroke:black;" d="M210.253,-172.664C202.191,-163.588 194.191,-152.588 186.219,-142.625"/>
+<path style="fill:none;stroke:black;" d="M211.747,-171.336C203.809,-162.412 195.809,-151.412 187.781,-141.375"/>
+<polygon style="fill:black;stroke:black;" points="189.8,-139.9 181,-134 184.2,-144.1 189.8,-139.9"/>
+</g>
+<!-- decoder_x86_3264_instruction_rl&#45;&gt;ragel -->
+<g id="edge18" class="edge"><title>decoder_x86_3264_instruction_rl&#45;&gt;ragel</title>
+<path style="fill:none;stroke:black;" d="M277.007,-401.881C280.002,-376.945 282.002,-340.945 284.003,-315.92"/>
+<path style="fill:none;stroke:black;" d="M278.993,-402.119C281.998,-377.055 283.998,-341.055 285.997,-316.08"/>
+<polygon style="fill:black;stroke:black;" points="288.488,-316.299 286,-306 281.522,-315.602 288.488,-316.299"/>
+</g>
+<!-- decoder_x86_3264_instruction_consts_c&#45;&gt;gcc -->
+<g id="edge22" class="edge"><title>decoder_x86_3264_instruction_consts_c&#45;&gt;gcc</title>
+<path style="fill:none;stroke:black;" d="M137.003,-323.917C140.005,-287.905 146.005,-224.905 154.01,-171.856 155.019,-162.804 157.019,-152.804 159.024,-143.783"/>
+<path style="fill:none;stroke:black;" d="M138.997,-324.083C141.995,-288.095 147.995,-225.095 155.99,-172.144 156.981,-163.196 158.981,-153.196 160.976,-144.217"/>
+<polygon style="fill:black;stroke:black;" points="163.471,-144.492 162,-134 156.607,-143.119 163.471,-144.492"/>
+</g>
+<!-- byte_machines_rl&#45;&gt;ragel -->
+<g id="edge12" class="edge"><title>byte_machines_rl&#45;&gt;ragel</title>
+<path style="fill:none;stroke:black;" d="M533.219,-414.625C513.258,-389.671 475.258,-347.671 434.511,-324.873 400.8,-305.98 356.8,-296.98 325.841,-291.987"/>
+<path style="fill:none;stroke:black;" d="M534.781,-413.375C514.742,-388.329 476.742,-346.329 435.489,-323.127 401.2,-304.02 357.2,-295.02 326.159,-290.013"/>
+<polygon style="fill:black;stroke:black;" points="326.299,-287.512 316,-290 325.602,-294.478 326.299,-287.512"/>
+</g>
+</g>
+</svg>