Add documentation for the dynamic code modifications.

src/trusted/validator_ragel/unreviewed/files32.svg

Index: src/trusted/validator_ragel/unreviewed/files32.svg
===================================================================
--- src/trusted/validator_ragel/unreviewed/files32.svg	(revision 0)
+++ src/trusted/validator_ragel/unreviewed/files32.svg	(revision 0)
@@ -0,0 +1,161 @@
+<?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: files32 Pages: 1 -->
+<svg width="576pt" height="650pt"
+ viewBox="0.00 0.00 576.00 650.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 646)">
+<title>files32</title>
+<!-- def_files -->
+<g id="node1" class="node"><title>def_files</title>
+<polygon style="fill:lightgray;stroke:black;" points="252,-642 12,-642 12,-646 1.02537e-13,-646 0,-512 252,-512 252,-642"/>
+<polyline style="fill:none;stroke:black;" points="9.9476e-14,-642 12,-642 "/>
+<text text-anchor="start" x="12" y="-623.733" style="font-family:Times New Roman;font-size:14.00;">general_purpose_instructions.def</text>
+<text text-anchor="start" x="12" y="-603.733" style="font-family:Times New Roman;font-size:14.00;">mmx_instructions.def</text>
+<text text-anchor="start" x="12" y="-583.733" style="font-family:Times New Roman;font-size:14.00;">nops.def</text>
+<text text-anchor="start" x="12" y="-563.733" style="font-family:Times New Roman;font-size:14.00;">system_instructions.def</text>
+<text text-anchor="start" x="12" y="-543.733" style="font-family:Times New Roman;font-size:14.00;">x87_instructions.def</text>
+<text text-anchor="start" x="12" y="-523.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="97.8853,-404 154.115,-404 174.14,-440 77.8597,-440 97.8853,-404"/>
+<text text-anchor="middle" x="126" y="-417.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="M125,-512C125,-490 125,-468 125,-450"/>
+<path style="fill:none;stroke:black;" d="M127,-512C127,-490 127,-468 127,-450"/>
+<polygon style="fill:black;stroke:black;" points="129.5,-450 126,-440 122.5,-450 129.5,-450"/>
+</g>
+<!-- gen_dfa_cc -->
+<g id="node2" class="node"><title>gen_dfa_cc</title>
+<polygon style="fill:lightgray;stroke:black;" points="358,-595 282,-595 282,-599 270,-599 270,-559 358,-559 358,-595"/>
+<polyline style="fill:none;stroke:black;" points="270,-595 282,-595 "/>
+<text text-anchor="middle" x="314" y="-572.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="M302,-559C291,-545 276,-526 261,-512 249,-501 244,-502 232,-494 208,-478 182,-460 161,-446"/>
+<polygon style="fill:black;stroke:black;" points="163.1,-443.2 153,-440 158.9,-448.8 163.1,-443.2"/>
+<text text-anchor="middle" x="251" y="-471.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="568,-494 440,-494 440,-498 428,-498 428,-458 568,-458 568,-494"/>
+<polyline style="fill:none;stroke:black;" points="428,-494 440,-494 "/>
+<text text-anchor="middle" x="498" y="-471.9" style="font-family:Times New Roman;font-size:14.00;">byte_machines.py</text>
+</g>
+<!-- byte_machines_rl -->
+<g id="node12" class="node"><title>byte_machines_rl</title>
+<polygon style="fill:none;stroke:black;" points="468,-332 336,-332 336,-296 468,-296 468,-332"/>
+<text text-anchor="middle" x="402" y="-309.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="edge8" class="edge"><title>byte_machines_py&#45;&gt;byte_machines_rl</title>
+<path style="fill:none;stroke:black;" d="M487,-458C471,-429 437,-374 418,-341"/>
+<polygon style="fill:black;stroke:black;" points="420.916,-339.042 413,-332 414.797,-342.441 420.916,-339.042"/>
+<text text-anchor="middle" x="500" y="-417.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="423,-494 285,-494 285,-498 273,-498 273,-458 423,-458 423,-494"/>
+<polyline style="fill:none;stroke:black;" points="273,-494 285,-494 "/>
+<text text-anchor="middle" x="348" y="-471.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="191.595,-222 232.405,-222 246.94,-258 177.06,-258 191.595,-222"/>
+<text text-anchor="middle" x="212" y="-235.9" style="font-family:Times New Roman;font-size:14.00;">ragel</text>
+</g>
+<!-- parse_instruction_rl&#45;&gt;ragel -->
+<g id="edge12" class="edge"><title>parse_instruction_rl&#45;&gt;ragel</title>
+<path style="fill:none;stroke:black;" d="M295.599,-458.916C263.482,-444.856 225.482,-421.856 206.113,-386.461 199.008,-371.124 198.008,-363.124 206.147,-349.477 218.629,-331.223 239.629,-348.223 250.165,-331.45 263.12,-311.474 249.12,-285.474 235.195,-266.593"/>
+<path style="fill:none;stroke:black;" d="M296.401,-457.084C264.518,-443.144 226.518,-420.144 207.887,-385.539 200.992,-370.876 199.992,-362.876 207.853,-350.523 217.371,-332.777 238.371,-349.777 251.835,-332.55 264.88,-310.526 250.88,-284.526 236.805,-265.407"/>
+<polygon style="fill:black;stroke:black;" points="238.8,-263.9 230,-258 233.2,-268.1 238.8,-263.9"/>
+</g>
+<!-- validator_x86_32_rl -->
+<g id="node5" class="node"><title>validator_x86_32_rl</title>
+<polygon style="fill:lightgray;stroke:black;" points="366,-386 228,-386 228,-390 216,-390 216,-350 366,-350 366,-386"/>
+<polyline style="fill:none;stroke:black;" points="216,-386 228,-386 "/>
+<text text-anchor="middle" x="291" y="-363.9" style="font-family:Times New Roman;font-size:14.00;">validator_x86_32.rl</text>
+</g>
+<!-- validator_x86_32_rl&#45;&gt;ragel -->
+<g id="edge14" class="edge"><title>validator_x86_32_rl&#45;&gt;ragel</title>
+<path style="fill:none;stroke:black;" d="M292.002,-349.933C293.001,-335.045 292.001,-313.045 283.118,-296.471 276.293,-283.707 265.293,-272.707 253.445,-264.832"/>
+<path style="fill:none;stroke:black;" d="M293.998,-350.067C294.999,-334.955 293.999,-312.955 284.882,-295.529 277.707,-282.293 266.707,-271.293 254.555,-263.168"/>
+<polygon style="fill:black;stroke:black;" points="256.1,-261.2 246,-258 251.9,-266.8 256.1,-261.2"/>
+</g>
+<!-- validator_internal_h -->
+<g id="node6" class="node"><title>validator_internal_h</title>
+<polygon style="fill:lightgray;stroke:black;" points="455,-184 315,-184 315,-188 303,-188 303,-148 455,-148 455,-184"/>
+<polyline style="fill:none;stroke:black;" points="303,-184 315,-184 "/>
+<text text-anchor="middle" x="379" y="-161.9" style="font-family:Times New Roman;font-size:14.00;">validator_internal.h</text>
+</g>
+<!-- gcc -->
+<g id="node9" class="node"><title>gcc</title>
+<polygon style="fill:gray;stroke:black;" points="315.232,-74 346.768,-74 358,-110 304,-110 315.232,-74"/>
+<text text-anchor="middle" x="331" y="-87.9" style="font-family:Times New Roman;font-size:14.00;">gcc</text>
+</g>
+<!-- validator_internal_h&#45;&gt;gcc -->
+<g id="edge22" class="edge"><title>validator_internal_h&#45;&gt;gcc</title>
+<path style="fill:none;stroke:black;" d="M366.126,-148.486C361.156,-139.537 354.156,-128.537 347.211,-119.614"/>
+<path style="fill:none;stroke:black;" d="M367.874,-147.514C362.844,-138.463 355.844,-127.463 348.789,-118.386"/>
+<polygon style="fill:black;stroke:black;" points="350.916,-117.042 343,-110 344.797,-120.441 350.916,-117.042"/>
+</g>
+<!-- validator_x86_32_instruction_rl -->
+<g id="node11" class="node"><title>validator_x86_32_instruction_rl</title>
+<polygon style="fill:none;stroke:black;" points="242,-332 10,-332 10,-296 242,-296 242,-332"/>
+<text text-anchor="middle" x="126" y="-309.9" style="font-family:Times New Roman;font-size:14.00;">validator_x86_32_instruction.rl</text>
+</g>
+<!-- gen_dfa&#45;&gt;validator_x86_32_instruction_rl -->
+<g id="edge6" class="edge"><title>gen_dfa&#45;&gt;validator_x86_32_instruction_rl</title>
+<path style="fill:none;stroke:black;" d="M125,-404C125,-387 125,-362 125,-342"/>
+<path style="fill:none;stroke:black;" d="M127,-404C127,-387 127,-362 127,-342"/>
+<polygon style="fill:black;stroke:black;" points="129.5,-342 126,-332 122.5,-342 129.5,-342"/>
+</g>
+<!-- validator_x86_32_c -->
+<g id="node10" class="node"><title>validator_x86_32_c</title>
+<polygon style="fill:none;stroke:black;" points="285,-184 139,-184 139,-148 285,-148 285,-184"/>
+<text text-anchor="middle" x="212" y="-161.9" style="font-family:Times New Roman;font-size:14.00;">validator_x86_32.c</text>
+</g>
+<!-- ragel&#45;&gt;validator_x86_32_c -->
+<g id="edge18" class="edge"><title>ragel&#45;&gt;validator_x86_32_c</title>
+<path style="fill:none;stroke:black;" d="M211,-222C211,-213 211,-204 211,-194"/>
+<path style="fill:none;stroke:black;" d="M213,-222C213,-213 213,-204 213,-194"/>
+<polygon style="fill:black;stroke:black;" points="215.5,-194 212,-184 208.5,-194 215.5,-194"/>
+</g>
+<!-- validator_x86_32_o -->
+<g id="node13" class="node"><title>validator_x86_32_o</title>
+<polygon style="fill:none;stroke:black;" points="405,-36 257,-36 257,-1.77636e-14 405,-3.55271e-15 405,-36"/>
+<text text-anchor="middle" x="331" y="-13.9" style="font-family:Times New Roman;font-size:14.00;">validator_x86_32.o</text>
+</g>
+<!-- gcc&#45;&gt;validator_x86_32_o -->
+<g id="edge24" class="edge"><title>gcc&#45;&gt;validator_x86_32_o</title>
+<path style="fill:none;stroke:black;" d="M330,-74C330,-65 330,-56 330,-46"/>
+<path style="fill:none;stroke:black;" d="M332,-74C332,-65 332,-56 332,-46"/>
+<polygon style="fill:black;stroke:black;" points="334.5,-46 331,-36 327.5,-46 334.5,-46"/>
+</g>
+<!-- validator_x86_32_c&#45;&gt;gcc -->
+<g id="edge20" class="edge"><title>validator_x86_32_c&#45;&gt;gcc</title>
+<path style="fill:none;stroke:black;" d="M240.47,-147.152C256.474,-137.15 277.474,-124.15 294.457,-113.16"/>
+<path style="fill:none;stroke:black;" d="M241.53,-148.848C257.526,-138.85 278.526,-125.85 295.543,-114.84"/>
+<polygon style="fill:black;stroke:black;" points="296.958,-116.916 304,-109 293.559,-110.797 296.958,-116.916"/>
+</g>
+<!-- validator_x86_32_instruction_rl&#45;&gt;ragel -->
+<g id="edge16" class="edge"><title>validator_x86_32_instruction_rl&#45;&gt;ragel</title>
+<path style="fill:none;stroke:black;" d="M146.327,-295.26C157.382,-285.214 171.382,-274.214 182.327,-264.26"/>
+<path style="fill:none;stroke:black;" d="M147.673,-296.74C158.618,-286.786 172.618,-275.786 183.673,-265.74"/>
+<polygon style="fill:black;stroke:black;" points="185.779,-267.219 191,-258 181.169,-261.951 185.779,-267.219"/>
+</g>
+<!-- byte_machines_rl&#45;&gt;ragel -->
+<g id="edge10" class="edge"><title>byte_machines_rl&#45;&gt;ragel</title>
+<path style="fill:none;stroke:black;" d="M355.639,-296.933C324.656,-284.939 283.656,-269.939 254.618,-257.924"/>
+<path style="fill:none;stroke:black;" d="M356.361,-295.067C325.344,-283.061 284.344,-268.061 255.382,-256.076"/>
+<polygon style="fill:black;stroke:black;" points="255.585,-253.464 245,-253 252.985,-259.964 255.585,-253.464"/>
+</g>
+</g>
+</svg>