Add documentation for the dynamic code modifications.

src/trusted/validator_ragel/unreviewed/files64.svg

Index: src/trusted/validator_ragel/unreviewed/files64.svg
===================================================================
--- src/trusted/validator_ragel/unreviewed/files64.svg	(revision 0)
+++ src/trusted/validator_ragel/unreviewed/files64.svg	(revision 0)
@@ -0,0 +1,178 @@
+<?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: files64 Pages: 1 -->
+<svg width="634pt" height="684pt"
+ viewBox="0.00 0.00 634.00 684.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 680)">
+<title>files64</title>
+<!-- def_files -->
+<g id="node1" class="node"><title>def_files</title>
+<polygon style="fill:lightgray;stroke:black;" points="266,-676 26,-676 26,-680 14,-680 14,-546 266,-546 266,-676"/>
+<polyline style="fill:none;stroke:black;" points="14,-676 26,-676 "/>
+<text text-anchor="start" x="26" y="-657.733" style="font-family:Times New Roman;font-size:14.00;">general_purpose_instructions.def</text>
+<text text-anchor="start" x="26" y="-637.733" style="font-family:Times New Roman;font-size:14.00;">mmx_instructions.def</text>
+<text text-anchor="start" x="26" y="-617.733" style="font-family:Times New Roman;font-size:14.00;">nops.def</text>
+<text text-anchor="start" x="26" y="-597.733" style="font-family:Times New Roman;font-size:14.00;">system_instructions.def</text>
+<text text-anchor="start" x="26" y="-577.733" style="font-family:Times New Roman;font-size:14.00;">x87_instructions.def</text>
+<text text-anchor="start" x="26" y="-557.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="111.885,-438 168.115,-438 188.14,-474 91.8597,-474 111.885,-438"/>
+<text text-anchor="middle" x="140" y="-451.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="M139,-546C139,-524 139,-502 139,-484"/>
+<path style="fill:none;stroke:black;" d="M141,-546C141,-524 141,-502 141,-484"/>
+<polygon style="fill:black;stroke:black;" points="143.5,-484 140,-474 136.5,-484 143.5,-484"/>
+</g>
+<!-- gen_dfa_cc -->
+<g id="node2" class="node"><title>gen_dfa_cc</title>
+<polygon style="fill:lightgray;stroke:black;" points="372,-629 296,-629 296,-633 284,-633 284,-593 372,-593 372,-629"/>
+<polyline style="fill:none;stroke:black;" points="284,-629 296,-629 "/>
+<text text-anchor="middle" x="328" y="-606.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="M316,-593C305,-579 290,-560 275,-546 263,-535 258,-536 246,-528 222,-512 196,-494 175,-480"/>
+<polygon style="fill:black;stroke:black;" points="177.1,-477.2 167,-474 172.9,-482.8 177.1,-477.2"/>
+<text text-anchor="middle" x="265" y="-505.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="582,-528 454,-528 454,-532 442,-532 442,-492 582,-492 582,-528"/>
+<polyline style="fill:none;stroke:black;" points="442,-528 454,-528 "/>
+<text text-anchor="middle" x="512" y="-505.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="626,-366 494,-366 494,-330 626,-330 626,-366"/>
+<text text-anchor="middle" x="560" y="-343.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="M517,-492C526,-463 542,-409 552,-376"/>
+<polygon style="fill:black;stroke:black;" points="555.479,-376.584 555,-366 548.774,-374.573 555.479,-376.584"/>
+<text text-anchor="middle" x="555" y="-451.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="437,-528 299,-528 299,-532 287,-532 287,-492 437,-492 437,-528"/>
+<polyline style="fill:none;stroke:black;" points="287,-528 299,-528 "/>
+<text text-anchor="middle" x="362" y="-505.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="274.595,-222 315.405,-222 329.94,-258 260.06,-258 274.595,-222"/>
+<text text-anchor="middle" x="295" y="-235.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="M345.225,-492.632C323.163,-465.547 291.163,-416.547 318.224,-383.369 344.756,-351.345 383.756,-396.345 408.226,-365.367 418.086,-353.406 414.086,-344.406 408.088,-330.41 405.394,-324.796 359.394,-289.796 326.396,-264.797"/>
+<path style="fill:none;stroke:black;" d="M346.775,-491.368C324.837,-464.453 292.837,-415.453 319.776,-384.631 343.244,-352.655 382.244,-397.655 409.774,-366.633 419.914,-352.594 415.914,-343.594 409.912,-329.59 406.606,-323.204 360.606,-288.204 327.604,-263.203"/>
+<polygon style="fill:black;stroke:black;" points="329.1,-261.2 319,-258 324.9,-266.8 329.1,-261.2"/>
+</g>
+<!-- validator_x86_64_rl -->
+<g id="node5" class="node"><title>validator_x86_64_rl</title>
+<polygon style="fill:lightgray;stroke:black;" points="478,-420 340,-420 340,-424 328,-424 328,-384 478,-384 478,-420"/>
+<polyline style="fill:none;stroke:black;" points="328,-420 340,-420 "/>
+<text text-anchor="middle" x="403" y="-397.9" style="font-family:Times New Roman;font-size:14.00;">validator_x86_64.rl</text>
+</g>
+<!-- validator_x86_64_rl&#45;&gt;ragel -->
+<g id="edge16" class="edge"><title>validator_x86_64_rl&#45;&gt;ragel</title>
+<path style="fill:none;stroke:black;" d="M428.293,-383.293C433.232,-378.36 438.232,-372.36 441.074,-365.621 447,-351 447,-344 441.076,-330.382 423.574,-286.905 372.574,-262.905 335.691,-250.951"/>
+<path style="fill:none;stroke:black;" d="M429.707,-384.707C434.768,-379.64 439.768,-373.64 442.926,-366.379 449,-351 449,-344 442.924,-329.618 424.426,-285.095 373.426,-261.095 336.309,-249.049"/>
+<polygon style="fill:black;stroke:black;" points="336.584,-246.521 326,-247 334.573,-253.226 336.584,-246.521"/>
+</g>
+<!-- validator_internal_h -->
+<g id="node6" class="node"><title>validator_internal_h</title>
+<polygon style="fill:lightgray;stroke:black;" points="484,-184 344,-184 344,-188 332,-188 332,-148 484,-148 484,-184"/>
+<polyline style="fill:none;stroke:black;" points="332,-184 344,-184 "/>
+<text text-anchor="middle" x="408" 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="155.232,-74 186.768,-74 198,-110 144,-110 155.232,-74"/>
+<text text-anchor="middle" x="171" y="-87.9" style="font-family:Times New Roman;font-size:14.00;">gcc</text>
+</g>
+<!-- validator_internal_h&#45;&gt;gcc -->
+<g id="edge26" class="edge"><title>validator_internal_h&#45;&gt;gcc</title>
+<path style="fill:none;stroke:black;" d="M349.69,-148.951C303.717,-133.959 242.717,-115.959 204.676,-102.946"/>
+<path style="fill:none;stroke:black;" d="M350.31,-147.049C304.283,-132.041 243.283,-114.041 205.324,-101.054"/>
+<polygon style="fill:black;stroke:black;" points="205.584,-98.5212 195,-99 203.573,-105.226 205.584,-98.5212"/>
+</g>
+<!-- validator_x86_64_instruction_rl -->
+<g id="node11" class="node"><title>validator_x86_64_instruction_rl</title>
+<polygon style="fill:none;stroke:black;" points="400,-366 168,-366 168,-330 400,-330 400,-366"/>
+<text text-anchor="middle" x="284" y="-343.9" style="font-family:Times New Roman;font-size:14.00;">validator_x86_64_instruction.rl</text>
+</g>
+<!-- gen_dfa&#45;&gt;validator_x86_64_instruction_rl -->
+<g id="edge6" class="edge"><title>gen_dfa&#45;&gt;validator_x86_64_instruction_rl</title>
+<path style="fill:none;stroke:black;" d="M163.4,-437.2C187.397,-419.203 224.397,-391.203 251.405,-371.196"/>
+<path style="fill:none;stroke:black;" d="M164.6,-438.8C188.603,-420.797 225.603,-392.797 252.595,-372.804"/>
+<polygon style="fill:black;stroke:black;" points="254.1,-374.8 260,-366 249.9,-369.2 254.1,-374.8"/>
+</g>
+<!-- validator_x86_64_instruction_consts_c -->
+<g id="node12" class="node"><title>validator_x86_64_instruction_consts_c</title>
+<polygon style="fill:none;stroke:black;" points="280,-312 1.42109e-13,-312 0,-276 280,-276 280,-312"/>
+<text text-anchor="middle" x="140" y="-289.9" style="font-family:Times New Roman;font-size:14.00;">validator_x86_64_instruction_consts.c</text>
+</g>
+<!-- gen_dfa&#45;&gt;validator_x86_64_instruction_consts_c -->
+<g id="edge8" class="edge"><title>gen_dfa&#45;&gt;validator_x86_64_instruction_consts_c</title>
+<path style="fill:none;stroke:black;" d="M139,-438C139,-409 139,-356 139,-322"/>
+<path style="fill:none;stroke:black;" d="M141,-438C141,-409 141,-356 141,-322"/>
+<polygon style="fill:black;stroke:black;" points="143.5,-322 140,-312 136.5,-322 143.5,-322"/>
+</g>
+<!-- validator_x86_64_c -->
+<g id="node10" class="node"><title>validator_x86_64_c</title>
+<polygon style="fill:none;stroke:black;" points="314,-184 168,-184 168,-148 314,-148 314,-184"/>
+<text text-anchor="middle" x="241" y="-161.9" style="font-family:Times New Roman;font-size:14.00;">validator_x86_64.c</text>
+</g>
+<!-- ragel&#45;&gt;validator_x86_64_c -->
+<g id="edge20" class="edge"><title>ragel&#45;&gt;validator_x86_64_c</title>
+<path style="fill:none;stroke:black;" d="M281.168,-222.555C275.191,-213.588 267.191,-202.588 259.219,-192.625"/>
+<path style="fill:none;stroke:black;" d="M282.832,-221.445C276.809,-212.412 268.809,-201.412 260.781,-191.375"/>
+<polygon style="fill:black;stroke:black;" points="262.8,-189.9 254,-184 257.2,-194.1 262.8,-189.9"/>
+</g>
+<!-- validator_x86_64_o -->
+<g id="node14" class="node"><title>validator_x86_64_o</title>
+<polygon style="fill:none;stroke:black;" points="245,-36 97,-36 97,-1.77636e-14 245,-3.55271e-15 245,-36"/>
+<text text-anchor="middle" x="171" y="-13.9" style="font-family:Times New Roman;font-size:14.00;">validator_x86_64.o</text>
+</g>
+<!-- gcc&#45;&gt;validator_x86_64_o -->
+<g id="edge28" class="edge"><title>gcc&#45;&gt;validator_x86_64_o</title>
+<path style="fill:none;stroke:black;" d="M170,-74C170,-65 170,-56 170,-46"/>
+<path style="fill:none;stroke:black;" d="M172,-74C172,-65 172,-56 172,-46"/>
+<polygon style="fill:black;stroke:black;" points="174.5,-46 171,-36 167.5,-46 174.5,-46"/>
+</g>
+<!-- validator_x86_64_c&#45;&gt;gcc -->
+<g id="edge24" class="edge"><title>validator_x86_64_c&#45;&gt;gcc</title>
+<path style="fill:none;stroke:black;" d="M223.257,-148.669C214.293,-138.707 204.293,-128.707 194.293,-118.707"/>
+<path style="fill:none;stroke:black;" d="M224.743,-147.331C215.707,-137.293 205.707,-127.293 195.707,-117.293"/>
+<polygon style="fill:black;stroke:black;" points="197.219,-115.221 188,-110 191.951,-119.831 197.219,-115.221"/>
+</g>
+<!-- validator_x86_64_instruction_rl&#45;&gt;ragel -->
+<g id="edge18" class="edge"><title>validator_x86_64_instruction_rl&#45;&gt;ragel</title>
+<path style="fill:none;stroke:black;" d="M285.007,-329.883C287.003,-312.92 289.003,-287.92 291.005,-267.9"/>
+<path style="fill:none;stroke:black;" d="M286.993,-330.117C288.997,-313.08 290.997,-288.08 292.995,-268.1"/>
+<polygon style="fill:black;stroke:black;" points="295.488,-268.299 293,-258 288.522,-267.602 295.488,-268.299"/>
+</g>
+<!-- validator_x86_64_instruction_consts_c&#45;&gt;gcc -->
+<g id="edge22" class="edge"><title>validator_x86_64_instruction_consts_c&#45;&gt;gcc</title>
+<path style="fill:none;stroke:black;" d="M141.006,-275.893C144.006,-247.89 150.006,-193.89 158.013,-147.839 159.019,-138.804 161.019,-128.804 163.024,-119.783"/>
+<path style="fill:none;stroke:black;" d="M142.994,-276.107C145.994,-248.11 151.994,-194.11 159.987,-148.161 160.981,-139.196 162.981,-129.196 164.976,-120.217"/>
+<polygon style="fill:black;stroke:black;" points="167.479,-120.584 167,-110 160.774,-118.573 167.479,-120.584"/>
+</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="M535.389,-330.791C513.451,-313.836 478.451,-290.836 445.617,-276.924 408.778,-261.975 364.778,-251.975 333.841,-246.987"/>
+<path style="fill:none;stroke:black;" d="M536.611,-329.209C514.549,-312.164 479.549,-289.164 446.383,-275.076 409.222,-260.025 365.222,-250.025 334.159,-245.013"/>
+<polygon style="fill:black;stroke:black;" points="334.492,-242.529 324,-244 333.119,-249.393 334.492,-242.529"/>
+</g>
+</g>
+</svg>