doc/p_1_spectre_v1_spbarr.svg

<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
 "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- Generated by graphviz version 2.40.1 (20161225.0304)
 -->
<!-- Title: %3 Pages: 1 -->
<svg width="328pt" height="795pt"
 viewBox="0.00 0.00 327.50 795.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 791)">
<title>%3</title>
<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-791 323.5,-791 323.5,4 -4,4"/>
<!-- 0 -->
<g id="node1" class="node">
<title>0</title>
<polygon fill="#e6e6e6" stroke="#4a4a4a" points="176,-712 73,-712 73,-676 176,-676 176,-712"/>
<text text-anchor="middle" x="124.5" y="-690.3" font-family="Times,serif" font-size="14.00" fill="#4a4a4a">0: x←y≥size</text>
</g>
<!-- 1 -->
<g id="node2" class="node">
<title>1</title>
<polygon fill="#e6e6e6" stroke="#4a4a4a" points="175,-610 74,-610 74,-574 175,-574 175,-610"/>
<text text-anchor="middle" x="124.5" y="-588.3" font-family="Times,serif" font-size="14.00" fill="#4a4a4a">1: beqz(x,3)</text>
</g>
<!-- 0&#45;&gt;1 -->
<g id="edge1" class="edge">
<title>0&#45;&gt;1</title>
<path fill="none" stroke="#a2a2a2" stroke-width="1.5" d="M123.286,-675.6941C122.963,-670.0251 122.6598,-663.7566 122.5,-658 122.1301,-644.6718 122.1301,-641.3282 122.5,-628 122.5674,-625.5714 122.6603,-623.0517 122.7695,-620.5244"/>
<polygon fill="#a2a2a2" stroke="#a2a2a2" stroke-width="1.5" points="126.2767,-620.4699 123.286,-610.3059 119.2856,-620.1165 126.2767,-620.4699"/>
</g>
<!-- 0&#45;&gt;1 -->
<g id="edge9" class="edge">
<title>0&#45;&gt;1</title>
<path fill="none" stroke="#f60000" stroke-width="3.5" d="M124.5,-675.7644C124.5,-660.317 124.5,-637.9149 124.5,-620.164"/>
<polygon fill="#f60000" stroke="#f60000" stroke-width="3.5" points="128.0001,-620.0776 124.5,-610.0777 121.0001,-620.0777 128.0001,-620.0776"/>
<text text-anchor="middle" x="165.5" y="-646.8" font-family="Times,serif" font-size="14.00" fill="#f60000">@0</text>
<text text-anchor="middle" x="165.5" y="-631.8" font-family="Times,serif" font-size="14.00" fill="#f60000"># C=(A≥B)</text>
</g>
<!-- 2 -->
<g id="node3" class="node">
<title>2</title>
<polygon fill="#e6e6e6" stroke="#4a4a4a" points="160,-236 79,-236 79,-200 160,-200 160,-236"/>
<text text-anchor="middle" x="119.5" y="-214.3" font-family="Times,serif" font-size="14.00" fill="#4a4a4a">2: jmp(7)</text>
</g>
<!-- 1&#45;&gt;2 -->
<g id="edge2" class="edge">
<title>1&#45;&gt;2</title>
<path fill="none" stroke="#a2a2a2" stroke-width="1.5" d="M112.4137,-573.6304C97.3323,-548.8904 73.5,-502.9934 73.5,-460 73.5,-460 73.5,-460 73.5,-295.5 73.5,-276.5348 83.8124,-258.1547 94.6719,-244.0573"/>
<polygon fill="#a2a2a2" stroke="#a2a2a2" stroke-width="1.5" points="97.4164,-246.2302 101.0551,-236.2798 92.0054,-241.7892 97.4164,-246.2302"/>
</g>
<!-- 3 -->
<g id="node4" class="node">
<title>3</title>
<polygon fill="#e6e6e6" stroke="#4a4a4a" points="192.5,-478 110.5,-478 110.5,-442 192.5,-442 192.5,-478"/>
<text text-anchor="middle" x="151.5" y="-456.3" font-family="Times,serif" font-size="14.00" fill="#4a4a4a">3: spbarr</text>
</g>
<!-- 1&#45;&gt;3 -->
<g id="edge3" class="edge">
<title>1&#45;&gt;3</title>
<path fill="none" stroke="#a2a2a2" stroke-width="1.5" d="M120.3876,-573.7056C116.7852,-553.9298 113.4069,-521.7828 122.5,-496 123.6211,-492.8211 125.155,-489.7163 126.9359,-486.7469"/>
<polygon fill="#a2a2a2" stroke="#a2a2a2" stroke-width="1.5" points="129.9792,-488.503 132.8545,-478.3057 124.2477,-484.4843 129.9792,-488.503"/>
</g>
<!-- 1&#45;&gt;3 -->
<g id="edge10" class="edge">
<title>1&#45;&gt;3</title>
<path fill="none" stroke="#f60000" stroke-width="3.5" d="M127.5641,-573.8878C130.9149,-554.5386 136.5987,-523.0027 142.5,-496 143.0536,-493.4667 143.6557,-490.8402 144.2772,-488.2122"/>
<polygon fill="#f60000" stroke="#f60000" stroke-width="3.5" points="147.7341,-488.8097 146.7096,-478.2645 140.9345,-487.1469 147.7341,-488.8097"/>
<text text-anchor="middle" x="189" y="-544.8" font-family="Times,serif" font-size="14.00" fill="#f60000">@1</text>
<text text-anchor="middle" x="189" y="-529.8" font-family="Times,serif" font-size="14.00" fill="#f60000"># cond(C≠0)</text>
<text text-anchor="middle" x="189" y="-514.8" font-family="Times,serif" font-size="14.00" fill="#f60000">start(0)</text>
<text text-anchor="middle" x="189" y="-499.8" font-family="Times,serif" font-size="14.00" fill="#f60000">pc(3)</text>
</g>
<!-- 1&#45;&gt;3 -->
<g id="edge15" class="edge">
<title>1&#45;&gt;3</title>
<path fill="none" stroke="#00934a" stroke-width="3" stroke-dasharray="5,2" d="M175.1914,-581.6403C200.7737,-575.2763 227.9654,-566.3646 235.5,-556 251.1801,-534.4304 250.1798,-518.2624 235.5,-496 225.8924,-481.4297 209.0323,-472.734 192.9262,-467.5546"/>
<text text-anchor="middle" x="254" y="-522.3" font-family="Times,serif" font-size="14.00" fill="#00934a">t0</text>
</g>
<!-- 7 -->
<g id="node5" class="node">
<title>7</title>
<polygon fill="#e6e6e6" stroke="#4a4a4a" points="201.0612,-89.5442 201.0612,-104.4558 181.4015,-115 153.5985,-115 133.9388,-104.4558 133.9388,-89.5442 153.5985,-79 181.4015,-79 201.0612,-89.5442"/>
<polygon fill="none" stroke="#4a4a4a" points="205.0367,-87.1436 205.0367,-106.8564 182.3949,-119 152.6051,-119 129.9633,-106.8564 129.9633,-87.1436 152.6051,-75 182.3949,-75 205.0367,-87.1436"/>
<text text-anchor="middle" x="167.5" y="-93.3" font-family="Times,serif" font-size="14.00" fill="#4a4a4a">7: ⊥</text>
</g>
<!-- 2&#45;&gt;7 -->
<g id="edge4" class="edge">
<title>2&#45;&gt;7</title>
<path fill="none" stroke="#a2a2a2" stroke-width="1.5" d="M111.9057,-199.8709C105.9596,-182.7092 100.2529,-156.7094 110.5,-137 114.6686,-128.9821 121.2626,-122.2361 128.5101,-116.7029"/>
<polygon fill="#a2a2a2" stroke="#a2a2a2" stroke-width="1.5" points="130.9275,-119.2905 137.2122,-110.761 126.9801,-113.5096 130.9275,-119.2905"/>
</g>
<!-- 2&#45;&gt;7 -->
<g id="edge13" class="edge">
<title>2&#45;&gt;7</title>
<path fill="none" stroke="#f60000" stroke-width="3.5" d="M118.9009,-199.7431C119.037,-182.7217 121.0558,-157.0234 130.5,-137 132.7624,-132.2034 135.8083,-127.5892 139.1861,-123.3078"/>
<polygon fill="#f60000" stroke="#f60000" stroke-width="3.5" points="142.039,-125.3615 145.9721,-115.5237 136.7625,-120.7616 142.039,-125.3615"/>
<text text-anchor="middle" x="157" y="-170.8" font-family="Times,serif" font-size="14.00" fill="#f60000">@4</text>
<text text-anchor="middle" x="157" y="-155.8" font-family="Times,serif" font-size="14.00" fill="#f60000">start(1)</text>
<text text-anchor="middle" x="157" y="-140.8" font-family="Times,serif" font-size="14.00" fill="#f60000">pc(7)</text>
</g>
<!-- 2&#45;&gt;7 -->
<g id="edge17" class="edge">
<title>2&#45;&gt;7</title>
<path fill="none" stroke="#4363d8" stroke-width="3" stroke-dasharray="5,2" d="M160.0288,-203.6026C169.3448,-198.2973 178.0938,-191.2437 183.5,-182 194.7954,-162.6866 187.5221,-137.0605 179.4688,-119.0128"/>
<text text-anchor="middle" x="197" y="-155.8" font-family="Times,serif" font-size="14.00" fill="#4363d8">t1</text>
</g>
<!-- 4 -->
<g id="node6" class="node">
<title>4</title>
<polygon fill="#e6e6e6" stroke="#4a4a4a" points="219,-391 102,-391 102,-355 219,-355 219,-391"/>
<text text-anchor="middle" x="160.5" y="-369.3" font-family="Times,serif" font-size="14.00" fill="#4a4a4a">4: load(z,A+y)</text>
</g>
<!-- 3&#45;&gt;4 -->
<g id="edge5" class="edge">
<title>3&#45;&gt;4</title>
<path fill="none" stroke="#a2a2a2" stroke-width="1.5" d="M140.7911,-441.5662C136.4909,-431.8643 133.2371,-419.7765 136.5,-409 137.4067,-406.0052 138.6539,-403.0319 140.1066,-400.1523"/>
<polygon fill="#a2a2a2" stroke="#a2a2a2" stroke-width="1.5" points="143.2244,-401.7551 145.2822,-391.362 137.1924,-398.2034 143.2244,-401.7551"/>
</g>
<!-- 3&#45;&gt;4 -->
<g id="edge11" class="edge">
<title>3&#45;&gt;4</title>
<path fill="none" stroke="#f60000" stroke-width="3.5" d="M153.2478,-441.5814C154.1827,-431.8837 155.3712,-419.795 156.5,-409 156.7538,-406.5725 157.0227,-404.0536 157.2961,-401.5268"/>
<polygon fill="#f60000" stroke="#f60000" stroke-width="3.5" points="160.8055,-401.6318 158.4193,-391.3092 153.8475,-400.8668 160.8055,-401.6318"/>
<text text-anchor="middle" x="168" y="-412.8" font-family="Times,serif" font-size="14.00" fill="#f60000">@2</text>
</g>
<!-- 3&#45;&gt;4 -->
<g id="edge16" class="edge">
<title>3&#45;&gt;4</title>
<path fill="none" stroke="#00934a" stroke-width="3" stroke-dasharray="5,2" d="M169.2198,-441.9794C173.4051,-436.6169 177.2901,-430.4408 179.5,-424 183.241,-413.0966 179.1013,-401.0028 173.7425,-391.3295"/>
<text text-anchor="middle" x="189" y="-412.8" font-family="Times,serif" font-size="14.00" fill="#00934a">t0</text>
</g>
<!-- 7&#45;&gt;7 -->
<g id="edge14" class="edge">
<title>7&#45;&gt;7</title>
<path fill="none" stroke="#f60000" stroke-width="3.5" d="M205.2942,-104.4446C215.5019,-104.0518 223.2676,-101.5703 223.2676,-97 223.2676,-94.1436 220.2341,-92.103 215.4669,-90.8784"/>
<polygon fill="#f60000" stroke="#f60000" stroke-width="3.5" points="215.6621,-87.3744 205.2942,-89.5554 214.7592,-94.316 215.6621,-87.3744"/>
<text text-anchor="middle" x="259.7676" y="-100.8" font-family="Times,serif" font-size="14.00" fill="#f60000">@5</text>
<text text-anchor="middle" x="259.7676" y="-85.8" font-family="Times,serif" font-size="14.00" fill="#f60000">commit(1)</text>
</g>
<!-- conf_7 -->
<g id="node10" class="node">
<title>conf_7</title>
<polygon fill="none" stroke="#4a4a4a" points="313.5,-38 15.5,-38 15.5,0 319.5,0 319.5,-32 313.5,-38"/>
<polyline fill="none" stroke="#4a4a4a" points="313.5,-38 313.5,-32 "/>
<polyline fill="none" stroke="#4a4a4a" points="319.5,-32 313.5,-32 "/>
<text text-anchor="middle" x="167.5" y="-22.8" font-family="Times,serif" font-size="14.00" fill="#4a4a4a">mem: {}</text>
<text text-anchor="middle" x="167.5" y="-7.8" font-family="Times,serif" font-size="14.00" fill="#4a4a4a">reg: {&#39;pc&#39;: &#39;7&#39;, &#39;y&#39;: &#39;A&#39;, &#39;size&#39;: &#39;B&#39;, &#39;x&#39;: &#39;C&#39;}</text>
</g>
<!-- 7&#45;&gt;conf_7 -->
<g id="edge19" class="edge">
<title>7&#45;&gt;conf_7</title>
<path fill="none" stroke="#c0c0c0" stroke-width="2" stroke-dasharray="1,5" d="M167.5,-74.857C167.5,-63.2368 167.5,-49.1443 167.5,-38.0217"/>
</g>
<!-- 4&#45;&gt;2 -->
<g id="edge12" class="edge">
<title>4&#45;&gt;2</title>
<path fill="none" stroke="#f60000" stroke-width="3.5" d="M147.5442,-354.547C141.0017,-344.2672 133.6004,-330.9582 129.5,-318 122.0934,-294.5931 119.8077,-266.7057 119.2512,-246.335"/>
<polygon fill="#f60000" stroke="#f60000" stroke-width="3.5" points="122.7481,-246.0962 119.099,-236.1497 115.7489,-246.2009 122.7481,-246.0962"/>
<text text-anchor="middle" x="168.5" y="-306.8" font-family="Times,serif" font-size="14.00" fill="#f60000">@3</text>
<text text-anchor="middle" x="168.5" y="-291.8" font-family="Times,serif" font-size="14.00" fill="#f60000">rollback(0)</text>
<text text-anchor="middle" x="168.5" y="-276.8" font-family="Times,serif" font-size="14.00" fill="#f60000">pc(2)</text>
</g>
<!-- 5 -->
<g id="node7" class="node">
<title>5</title>
<polygon fill="#e6e6e6" stroke="#4a4a4a" points="311,-313.5 216,-313.5 216,-277.5 311,-277.5 311,-313.5"/>
<text text-anchor="middle" x="263.5" y="-291.8" font-family="Times,serif" font-size="14.00" fill="#4a4a4a">5: z←z*512</text>
</g>
<!-- 4&#45;&gt;5 -->
<g id="edge6" class="edge">
<title>4&#45;&gt;5</title>
<path fill="none" stroke="#a2a2a2" stroke-width="1.5" d="M184.6489,-354.8297C198.5961,-344.3355 216.3135,-331.0044 231.4194,-319.6383"/>
<polygon fill="#a2a2a2" stroke="#a2a2a2" stroke-width="1.5" points="233.616,-322.3657 239.5024,-313.5565 229.4073,-316.7722 233.616,-322.3657"/>
</g>
<!-- 6 -->
<g id="node8" class="node">
<title>6</title>
<polygon fill="#e6e6e6" stroke="#4a4a4a" points="310.5,-236 190.5,-236 190.5,-200 310.5,-200 310.5,-236"/>
<text text-anchor="middle" x="250.5" y="-214.3" font-family="Times,serif" font-size="14.00" fill="#4a4a4a">6: load(w,B+z)</text>
</g>
<!-- 5&#45;&gt;6 -->
<g id="edge7" class="edge">
<title>5&#45;&gt;6</title>
<path fill="none" stroke="#a2a2a2" stroke-width="1.5" d="M260.4192,-277.1336C258.8811,-267.9645 256.9861,-256.6668 255.2658,-246.4115"/>
<polygon fill="#a2a2a2" stroke="#a2a2a2" stroke-width="1.5" points="258.6649,-245.5178 253.5587,-236.2346 251.7613,-246.6758 258.6649,-245.5178"/>
</g>
<!-- 6&#45;&gt;7 -->
<g id="edge8" class="edge">
<title>6&#45;&gt;7</title>
<path fill="none" stroke="#a2a2a2" stroke-width="1.5" d="M243.1605,-199.9908C235.7538,-182.916 223.3131,-156.9768 208.5,-137 204.9331,-132.1897 200.7757,-127.4292 196.5028,-122.9611"/>
<polygon fill="#a2a2a2" stroke="#a2a2a2" stroke-width="1.5" points="198.8379,-120.3467 189.287,-115.7607 193.8934,-125.3018 198.8379,-120.3467"/>
</g>
<!-- conf_0 -->
<g id="node9" class="node">
<title>conf_0</title>
<polygon fill="none" stroke="#4a4a4a" points="243,-787 0,-787 0,-749 249,-749 249,-781 243,-787"/>
<polyline fill="none" stroke="#4a4a4a" points="243,-787 243,-781 "/>
<polyline fill="none" stroke="#4a4a4a" points="249,-781 243,-781 "/>
<text text-anchor="middle" x="124.5" y="-771.8" font-family="Times,serif" font-size="14.00" fill="#4a4a4a">mem: {}</text>
<text text-anchor="middle" x="124.5" y="-756.8" font-family="Times,serif" font-size="14.00" fill="#4a4a4a">reg: {&#39;pc&#39;: &#39;0&#39;, &#39;y&#39;: &#39;A&#39;, &#39;size&#39;: &#39;B&#39;}</text>
</g>
<!-- conf_0&#45;&gt;0 -->
<g id="edge18" class="edge">
<title>conf_0&#45;&gt;0</title>
<path fill="none" stroke="#c0c0c0" stroke-width="2" stroke-dasharray="1,5" d="M124.5,-748.9432C124.5,-737.6377 124.5,-723.3833 124.5,-712.2269"/>
</g>
</g>
</svg>