deletions | additions
diff --git a/figures/isordfrom/isordfrom.eps b/figures/isordfrom/isordfrom.eps
index 627551c..aa87aab 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:43:13 23:35:55 2015
%%Pages: 1
%%DocumentData: Clean7Bit
%%LanguageLevel: 2
%%BoundingBox: 0 -1 278
459 437
%%EndComments
%%BeginProlog
save
...
%%EndSetup
%%Page: 1 1
%%BeginPageSetup
%%PageBoundingBox: 0 -1 278
459 437
%%EndPageSetup
q 0 -1 278
460 438 rectclip q
0.823529 g
93.016
458.899 436.399 23.301 -9.438 re f
169.734
110.02 87.52 27.543 -9.438 re f
0
66.614 44.114 277.035
-57.141 -34.711 re f
0
325.114 302.614 277.035 -78.039 re f
0 g
BT
9 0 0 9 1.524579
451.639165 429.139165 Tm
/f-0-0 1 Tf
[(define i32 @isord)]TJ
/f-1-0 1 Tf
...
0 -2.5 Td
[(exit: )]TJ
0 -1.25 Td
[( %res = p)3(hi i32)3( [1, %entry],
[1, %loo)3(p.header] )]TJ
0 -1.25 Td
[( )3( )3( [0, %)3(loop.b)3(ody)]TJ
/f-1-0 1 Tf
...
/f-0-0 1 Tf
[(])-3(, )]TJ
0 -1.25 Td
[( )3( )3( [1, %)3(loop.h)3(eader])]TJ
0 -1.25 Td
[( ret )3(i32 %r)3(es)]TJ
/f-1-0 1 Tf
0 -2.5 Td
...
0 -1.25 Td
[( %osr.res = c)3(all i32 @isordascto\()]TJ
0 -1.25 Td
[(
)3( )3( i64)3(* %v, )3(i64 )3(i64* %)3(v, i64)3( %n,
i6)3(4 %i, )]TJ
0 -1.25 Td
[( )3( )3( i64 %)3(i, i32)3( \(i8*,)3( i8*\)*
%c\))]TJ %c\))
]TJ
0 -1.25 Td
[( ret i32 )3(%osr.res)]TJ
/f-0-0 1 Tf
diff --git a/figures/isordfrom/isordfrom.png b/figures/isordfrom/isordfrom.png
index 3154d6d..ee2f968 100644
Binary files a/figures/isordfrom/isordfrom.png and b/figures/isordfrom/isordfrom.png differ
diff --git a/figures/isordfrom/isordfrom.svg b/figures/isordfrom/isordfrom.svg
index 516ba36..d536f7a 100644
--- a/figures/isordfrom/isordfrom.svg
+++ b/figures/isordfrom/isordfrom.svg
...
inkscape:pageopacity="0.0"
inkscape:pageshadow="2"
inkscape:zoom="1.07"
inkscape:cx="219.49615"
inkscape:cy="847.77737" inkscape:cx="83.982131"
inkscape:cy="735.62784"
inkscape:document-units="px"
inkscape:current-layer="layer1"
showgrid="false"
...
y="525.25714"
x="36.409088"
height="71.424576" height="43.387196"
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="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-family:Courier;-inkscape-font-specification:'Courier Bold'"> %p.osr1 = add nsw i64 %p.osr, -1
id="flowPara5626"
style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-family:Courier;-inkscape-font-specification:'Courier Bold'"> %osr.cond = icmp eq i64 %p.osr, 0
id="flowPara5628"
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'">
br i1 %osr.cond, label %osr,
style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-family:Courier;-inkscape-font-specification:'Courier Bold'"
id="flowPara4191"> label %loop.body.cont
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
...
id="flowPara5652"> br i1 %t8, label %exit, label %loop.header
id="flowPara5654" />
id="flowPara5658">exit:
id="flowPara5660"> %res = phi i32 [1, %entry], [1, %loop.header] id="flowPara5662"> id="flowPara5664"> [0, %loop.body
id="flowSpan6763">.cont],
id="flowPara5664"> [1, %loop.header]
id="flowPara5666"> ret i32 %res
id="flowPara5668" />
id="flowPara5670"
style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-family:Courier;-inkscape-font-specification:'Courier Bold'">osr:
id="flowPara5672"
style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-family:Courier;-inkscape-font-specification:'Courier Bold'"> %osr.res = call i32 @isordascto(
id="flowPara5674"
style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-family:Courier;-inkscape-font-specification:'Courier Bold'"> i64* %v, i64 %n, i64 %i,
id="flowPara5676"
style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-family:Courier;-inkscape-font-specification:'Courier Bold'">
i64* %v, i64 %n, i64 %i, i32 (i8*, i8*)* %c)
style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-family:Courier;-inkscape-font-specification:'Courier Bold'"> ret i32 %osr.res
id="flowPara5680">}