deletions | additions
diff --git a/figures/isordfrom/isordfrom.eps b/figures/isordfrom/isordfrom.eps
index 5cb119f..627551c 100644
--- a/figures/isordfrom/isordfrom.eps
+++ b/figures/isordfrom/isordfrom.eps
...
%!PS-Adobe-3.0 EPSF-3.0
%%Creator: cairo 1.14.0 (http://cairographics.org)
%%CreationDate: Mon Sep 14
22:15:12 22:43:13 2015
%%Pages: 1
%%DocumentData: Clean7Bit
%%LanguageLevel: 2
%%BoundingBox: 0 -1 278
473 459
%%EndComments
%%BeginProlog
save
...
%%EndSetup
%%Page: 1 1
%%BeginPageSetup
%%PageBoundingBox: 0 -1 278
473 459
%%EndPageSetup
q 0 -1 278
474 460 rectclip q
0.823529 g
93.016
472.587 458.899 23.301 -9.438 re f
169.734
112.509 110.02 27.543 -9.438 re f
0
57.888 66.614 277.035
-57.887 -57.141 re f
0
338.802 325.114 277.035
-69.816 -78.039 re f
0 g
BT
9 0 0 9 1.524579
465.326665 451.639165 Tm
/f-0-0 1 Tf
[(define i32 @isord)]TJ
/f-1-0 1 Tf
...
[( br i1 %osr.cond, label %osr, )]TJ
0 -1.25 Td
[( )3( )3( )3( label %loop.body.cont)]TJ
0
-2.5 -1.25 Td
[(loop.body.cont:)]TJ
/f-0-0 1 Tf
0 -1.25 Td
diff --git a/figures/isordfrom/isordfrom.svg b/figures/isordfrom/isordfrom.svg
index bcc219a..516ba36 100644
--- a/figures/isordfrom/isordfrom.svg
+++ b/figures/isordfrom/isordfrom.svg
...
inkscape:pageopacity="0.0"
inkscape:pageshadow="2"
inkscape:zoom="1.07"
inkscape:cx="355.01017"
inkscape:cy="735.62784" inkscape:cx="219.49615"
inkscape:cy="847.77737"
inkscape:document-units="px"
inkscape:current-layer="layer1"
showgrid="false"
...
x="152.67801"
y="34.901432" />
y="485.00146" y="471.00146"
x="248.57812"
height="11.795774"
width="34.427029"
id="rect6771"
style="fill:#d2d2d2;fill-opacity:1;fill-rule:nonzero;stroke:none;stroke-width:1;stroke-linecap:square;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:1, 1;stroke-dashoffset:0;stroke-opacity:1" />
y="553.27582" y="525.25714"
x="36.409088"
height="72.359154" height="71.424576"
width="346.29355"
id="rect6765"
style="fill:#d2d2d2;fill-opacity:1;fill-rule:nonzero;stroke:none;stroke-width:1;stroke-linecap:square;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:1, 1;stroke-dashoffset:0;stroke-opacity:1" />
...
style="fill:#d2d2d2;fill-opacity:1;fill-rule:nonzero;stroke:none;stroke-width:1;stroke-linecap:square;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:1, 1;stroke-dashoffset:0;stroke-opacity:1"
id="rect6757"
width="346.29355"
height="87.266357" height="97.54673"
x="36.409088"
y="202.13484" />
...
style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-family:Courier;-inkscape-font-specification:'Courier Bold'"> br i1 %osr.cond, label %osr,
id="flowPara5630"
style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-family:Courier;-inkscape-font-specification:'Courier Bold'"> label %loop.body.cont
id="flowPara5632"
style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-family:Courier;-inkscape-font-specification:'Courier Bold'" />
id="flowPara5634"
style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-family:Courier;-inkscape-font-specification:'Courier Bold'">loop.body.cont:
id="flowPara5636"> %t2 = getelementptr inbounds i64* %v, i64 %i