From 84733a658c7b878a288da76614fb4ca2c0dfea13 Mon Sep 17 00:00:00 2001
From: Justin Clift <justin@postgresql.org>
Date: Thu, 6 Jun 2019 15:21:59 +1000
Subject: [PATCH] Initial code for parsing an LLVM IR file

From the Step 2 code here:

  https://github.com/llir/llvm/issues/86#issuecomment-498357924
---
 main.go   |  16 +++++++++++++
 target    | Bin 0 -> 9560 bytes
 target.c  |   9 +++++++
 target.ll |  69 ++++++++++++++++++++++++++++++++++++++++++++++++++++++
 4 files changed, 94 insertions(+)
 create mode 100644 main.go
 create mode 100755 target
 create mode 100644 target.c
 create mode 100644 target.ll

diff --git a/main.go b/main.go
new file mode 100644
index 0000000..5dff307
--- /dev/null
+++ b/main.go
@@ -0,0 +1,16 @@
+package main
+
+import (
+    "log"
+
+    "github.com/kr/pretty"
+    "github.com/llir/llvm/asm"
+)
+
+func main() {
+    m, err := asm.ParseFile("target.ll")
+    if err != nil {
+        log.Fatalf("%+v", err)
+    }
+    pretty.Println(m)
+}
diff --git a/target b/target
new file mode 100755
index 0000000000000000000000000000000000000000..181cdab36ad4bcd0c4792378bdc4b41794b2a748
GIT binary patch
literal 9560
zcmeHNU2GKB6~43MT^nr1YoN^nDV`>v8d{I-wY}H@l35$WI5kOX45ewEVZA$RZ?r$|
z?kq7$(-Jw*Yzf7AiFl|g`p`a9QA_*KqN-^iRG|-5<)lAS+eoDpR3M2&6%x5>68D@t
z_pE2f3sjZ*P{~J{Irp4<zH`t0nVEC%?$-u}cKRfV5&78t45hQO&Q;Exv6FXmQRsTu
zGN!Y8**z=(8b4e*uR-pVh|dYv#Os8e47>)e9-pJ=@#(xkoSGv}5hBO-7DyLGhhN5k
zfQU1uav5=06;!wg`~WWyUoGMY2~Ic^5!WJcEdob;Rs=?z`iFhPYee`P@#!F;tRoXq
zEpW6&dgO|o!19df<cwcOHOLO%#wEsx6Yg_>6I~Y;w`W07JuKS0)wtXc{Ua_!)|O6<
zMY`J3iPm%~Tbyd0>WQ>Qy0k)03-f-Xf3)58&|cmWjibsXrw;4MpHSbC)q};#DpsEW
zomxfDAkH|36=9}{WwT(%^0t|YrLv$I&*ZW~W3pXCgMIyGSPN_2;K`Xd2_nQ8X}pSS
zQ_HaKGor1z#sj>BV=tzf%b}p7uLa57M`QZ!I^&rC=?0Y<N6y;*tDgn~WBQkM=Q)hc
zcjuvMexnWd#%3K#C{JMJwTtsW8~Z>`&N$YLb-XiJdi^n@bjg^$eB+Uk!3$?6VWk)s
z&N0p|%+~1a>Q4c8Guha@gRwJh5ZGR$wFQ_lJ*OC@D^K`F&!0hm7|_kpSFmdSVq^1R
z)SW?z?9a`~U~iOOHO^gsz>sE**XN1={uvq?N8SLiQF_h6UlRDk+h49%87nsJ1?1JQ
zLLj5B`M(b;>D}|#KVy3P$z@<*uP=wNdhaW$0@0PO%+HQqdkP?p&Fosi;pnFH^arKl
z+_B;Za&fLyym@Tk<|z1j7NdYrA;9UkgBJ!qK=G9Zxcy>1+^)U~4q%{zqvw+vStn<r
zpO2R2qx%L+???9zmVO@{89Kgku1*C%$6Jx_8QOHE<Il#q4`rOWtJ^;UCr93~*OP~#
z()FRz`#ZqL{OUK2>GP7&`&RKfPUsg$qhE@SMjwls=VumLd>7`KuK_XTQpKu)wX#m$
ziqAHGmZ7odpxh38KX4U#a2mJ{d=~g5@EgE!UG#`Wwi;w4>B(UxO$DWO4YhSMQf(0R
zcf&RN;r#q&G!RtXp0N#3kM@&bucECI+^K{fY^;Bx?l5~`?bgkm8}30h+Q7166A)tv
z6;UO4)Yrcvum>6j5$h9hVLkdR*PBi~VxNU;3hFJa?^A*&d;?18oAQ979<LctTAueC
zO8e1(q4Z4G?pE})(i2tMqe@GkqV_2vu<ujq8201WaGe4_?&lC)F458mERDd@2rP}j
z(g-Y#!0kuiFyxC!2L$H=+$e`7j(HW*q^xtkg5M#J6Z@1kLZ<!IIw50DfV9?OECiVz
z66Og=RR7*b^Es5Kd^)o7p6{Yh2T9~dz)$*gxHGn#-(f!~IPMdWcuoTRV_aIe;r^2o
zq_;?vGmt&yMVP-M-Q_U0U-Xysx{xVu!owzk6UmU4@cyX69#S?gOTzAkkVB$gsQ>4T
z_OafEzUPW#SAYL~Y76Y-HmO}&kJhb*+dI13BjHZ9W!OrnM$C5ft(}ogES`>K$JK*Y
zzL3gg)gG-~>rh)JY<seBUt8OF%GT29gBdNCA4j2$TWe5K<ME``-qpP&67T5j>fJKd
z8}AB-<Cc|dAB$K?tGBm(%a&MYZ+O#fym8m)EZo~|Z5iw8>WRe0lJWLrdxsTCgu~%2
zk>1XZj!1X1Gu#!AbXc3%G3a;=?|dDfiU#&WF%)NjpB7I6W~n|Ba7v|pZ{S_}I^1R7
z3t#z*TblZ7S*r29VE+vzA6ha$ZpV-|z$NYb6W(jFCh!Ni`D>WeByChy`DG<|*E*$1
zS{Z<LHBhb$=pk9TuYPO&r`8OvdH|j-+0T4JHMk1;&{ZM&HRc96kiZ5eEBDve<Fm03
zt{SGoU6Q1KDJziS0Kg?N*ddQwwiX8&Xj!@ElD~fWDgTPVHvh71{)WJIzaNS$@Ew1{
z@+(lj><fUK|FZ>9?rYmbE@QPl9>;ZQ=B>$GA>5Wur}CXFnai<M)@J<7AjZa6p_p-o
z=Jt0PhO)<}FEWzhZ8K6;FPGnUZjcN!b+W3xpIxk~53p+Q5t-F8djC}VuVcEbyH&g_
z!zmxV@7$F#ylv^dU#YKWGgbXGu+vrbE6V4Lm41}+ccfC^$PW8;w~Ci#IGv&MF?XfR
zn%Hbr`<3PMze@X6<?m6Yel^1r2`|a;RjKy=l-b7_oeQ}!GJZwG_oh-GVro_W8n&UT
zp1z)LFYroW^p*AM>Fes%<EhzVk{KSDEGC&XFH*w$0#@fg=Dih|A4sq(_l_Ip1wOWd
z-SDgjj2!i<C-2aN-kXo$8(Crt<AZS^?SV^Ti|6r4(4&9KZ_pO$C|nYpC{munm2mqm
zT-Ew@tN#9g`)Ohq13Huz=;u(ZHV$Y}&Ht}BbmgLT_($$%@p`)??7i{7$MuV!3;fDS
zRo3Bp(65B?!P7$|%7^xWUWF{myFNA02SM*$pDo<a;^()U>$&TS+lcVv^&bPhT4Cu3
zlb~<%HL~YC&-K%&XAAF#8i9Qt^w=*v4n^W;Ou)Y-^zM&3*8dK!Agn7q_H@&u!v3tR
zyVdLz=+WLg4lfCN_Xi(=KLUM|FSN-2i`>4-do`Z73wAM?gs-t_KG;8O4h`-ZF-?}R
z^455&U|V_9&Y1CZE^8IQB9Sx4)48!&+DzEFe8G$rr&v6fnM_-@mCz!c-QCrV%w#H?
zGGqCC?2u_??ffB@%*Qg8nJ8v5hXCS|Ot7>oOv~R;)7&{6-92CqJhTHsbmFCQ1uDVJ
z9bb4Tx_hu6tXwtxa2`~UY?=dx@Mi27X6CM;hx?*K=EFO8?im;{N1}a01K0vT(vKI4
zJbq?ciI^QD^}<QNuDj3nVU)niIrazJir)aBu8=b)V%bF6V&>q(V3kN^&0@iVkQZ9R
zka=EUnq!56a3y|I7}?z~27qaWLm4|Z2Heg&e1b}lP+0j%re$-srA7M&TkY65)5fz!
zZ6a2fU|Ql(7Qha-^G=P(sw)H&>he}Ph5%8TOxsN35o%D>#&aOr))d@vlEEm)M@h3L
z#I#N%zzInX)R|ugLFLEeU<S>^GO0Mkkh9S}XmH3i7zU=nO3T3N0i88g9EXWb=BOMS
z8_Qb<NrE4ZEGol@P%#sWb4<k}_FoD3J%LB6{2rq`jDBzQei6~uP4|LO3m3fyDPN=C
z^HjGnl<9p#>JBKp4|_VoPx*9SH6;|(KH+Hp$c^B(6)w!v2~YXoNue-=A^uE=u@gQd
z^!>nPxCnpIr-Q^GU*xR3Pj)272bGb37B1YQ5}xwO5IO~djR_};pX`Y5hg#h8lB~))
zw^s#T<&v|ncgHW(Y#a*coAA28>jF>xr1ri2|FXdM35S%&?yrK!y}cLz6zDK6>gS|r
ze^TJR85qSOnqvn&_!)tp@${eUgQ7tE84v!nz@HX)ikI+S`5PYmS%E(*@IRIa>2PY7
zv@;$&o$J`R;DG3S!;u!R{}-VGo1poly#27id)xEI|7{PR@_YJSd>b_^xOe<t^5AJ7
zFe}<$?diX_{ht6HfASZ@Rn8CTcXF>i$;4j;Y@-WL=UgH2KLWA?6HX)({|#s{L~36Z
z`w#UFc*h%Kzl8#>UBc5oh5pAdEBY^nqrCoUUXB3P-9GJS=CD&h6sIFC$fSQ0D%^NR
z`IKltC7|GhBYwq$r~FVAc<+3R?v%a01ts)F{ipnF!+(gsA=+;*dvpqf$NssA+9&=`
zsHC#n4w6((Cn}VSZT$eQhCd<jsXO3T-2y)+@Q>aB-z@On{tt^kU;O<Rc#3)RE!yv0
z<p9Z!+*Fh4-9a|Ub%8%1Ud*2aT_;?$Zs@y!?<bmjD3<9IZa{%v_B7}b`7~9-k78m0
K)awCwMD}m_Y@!<g

literal 0
HcmV?d00001

diff --git a/target.c b/target.c
new file mode 100644
index 0000000..06a9f34
--- /dev/null
+++ b/target.c
@@ -0,0 +1,9 @@
+int foo(int a, int b) {
+    int sum;
+    sum = a + b;
+    return sum;
+}
+
+int main() {
+    return foo(12, 30);
+}
diff --git a/target.ll b/target.ll
new file mode 100644
index 0000000..f811774
--- /dev/null
+++ b/target.ll
@@ -0,0 +1,69 @@
+; ModuleID = 'target.c'
+source_filename = "target.c"
+target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
+target triple = "x86_64-pc-linux-gnu"
+
+; Function Attrs: noinline nounwind optnone uwtable
+define dso_local i32 @foo(i32, i32) #0 !dbg !7 {
+  %3 = alloca i32, align 4
+  %4 = alloca i32, align 4
+  %5 = alloca i32, align 4
+  store i32 %0, i32* %3, align 4
+  call void @llvm.dbg.declare(metadata i32* %3, metadata !11, metadata !DIExpression()), !dbg !12
+  store i32 %1, i32* %4, align 4
+  call void @llvm.dbg.declare(metadata i32* %4, metadata !13, metadata !DIExpression()), !dbg !14
+  call void @llvm.dbg.declare(metadata i32* %5, metadata !15, metadata !DIExpression()), !dbg !16
+  %6 = load i32, i32* %3, align 4, !dbg !17
+  %7 = load i32, i32* %4, align 4, !dbg !18
+  %8 = add nsw i32 %6, %7, !dbg !19
+  store i32 %8, i32* %5, align 4, !dbg !20
+  %9 = load i32, i32* %5, align 4, !dbg !21
+  ret i32 %9, !dbg !22
+}
+
+; Function Attrs: nounwind readnone speculatable
+declare void @llvm.dbg.declare(metadata, metadata, metadata) #1
+
+; Function Attrs: noinline nounwind optnone uwtable
+define dso_local i32 @main() #0 !dbg !23 {
+  %1 = alloca i32, align 4
+  store i32 0, i32* %1, align 4
+  %2 = call i32 @foo(i32 12, i32 30), !dbg !26
+  ret i32 %2, !dbg !27
+}
+
+attributes #0 = { noinline nounwind optnone uwtable "correctly-rounded-divide-sqrt-fp-math"="false" "disable-tail-calls"="false" "less-precise-fpmad"="false" "min-legal-vector-width"="0" "no-frame-pointer-elim"="true" "no-frame-pointer-elim-non-leaf" "no-infs-fp-math"="false" "no-jump-tables"="false" "no-nans-fp-math"="false" "no-signed-zeros-fp-math"="false" "no-trapping-math"="false" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+fxsr,+mmx,+sse,+sse2,+x87" "unsafe-fp-math"="false" "use-soft-float"="false" }
+attributes #1 = { nounwind readnone speculatable }
+
+!llvm.dbg.cu = !{!0}
+!llvm.module.flags = !{!3, !4, !5}
+!llvm.ident = !{!6}
+
+!0 = distinct !DICompileUnit(language: DW_LANG_C99, file: !1, producer: "clang version 8.0.1 (https://git.llvm.org/git/clang.git ccfe04576c13497b9c422ceef0b6efe99077a392) (https://git.llvm.org/git/llvm.git 295e7b4486abfc0f01e6d22276931165f324c61e)", isOptimized: false, runtimeVersion: 0, emissionKind: FullDebug, enums: !2, nameTableKind: None)
+!1 = !DIFile(filename: "target.c", directory: "/home/jc/git_repos2/llir3")
+!2 = !{}
+!3 = !{i32 2, !"Dwarf Version", i32 4}
+!4 = !{i32 2, !"Debug Info Version", i32 3}
+!5 = !{i32 1, !"wchar_size", i32 4}
+!6 = !{!"clang version 8.0.1 (https://git.llvm.org/git/clang.git ccfe04576c13497b9c422ceef0b6efe99077a392) (https://git.llvm.org/git/llvm.git 295e7b4486abfc0f01e6d22276931165f324c61e)"}
+!7 = distinct !DISubprogram(name: "foo", scope: !1, file: !1, line: 1, type: !8, scopeLine: 1, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition, unit: !0, retainedNodes: !2)
+!8 = !DISubroutineType(types: !9)
+!9 = !{!10, !10, !10}
+!10 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed)
+!11 = !DILocalVariable(name: "a", arg: 1, scope: !7, file: !1, line: 1, type: !10)
+!12 = !DILocation(line: 1, column: 13, scope: !7)
+!13 = !DILocalVariable(name: "b", arg: 2, scope: !7, file: !1, line: 1, type: !10)
+!14 = !DILocation(line: 1, column: 20, scope: !7)
+!15 = !DILocalVariable(name: "sum", scope: !7, file: !1, line: 2, type: !10)
+!16 = !DILocation(line: 2, column: 9, scope: !7)
+!17 = !DILocation(line: 3, column: 11, scope: !7)
+!18 = !DILocation(line: 3, column: 15, scope: !7)
+!19 = !DILocation(line: 3, column: 13, scope: !7)
+!20 = !DILocation(line: 3, column: 9, scope: !7)
+!21 = !DILocation(line: 4, column: 12, scope: !7)
+!22 = !DILocation(line: 4, column: 5, scope: !7)
+!23 = distinct !DISubprogram(name: "main", scope: !1, file: !1, line: 7, type: !24, scopeLine: 7, spFlags: DISPFlagDefinition, unit: !0, retainedNodes: !2)
+!24 = !DISubroutineType(types: !25)
+!25 = !{!10}
+!26 = !DILocation(line: 8, column: 12, scope: !23)
+!27 = !DILocation(line: 8, column: 5, scope: !23)