From 9121f0a439992825f4e38af5d61170f3e3aeff26 Mon Sep 17 00:00:00 2001
From: Andrei Stefanescu <andrei@galois.com>
Date: Thu, 7 Feb 2019 16:18:51 -0800
Subject: [PATCH] [refinement] Add llvm compiled binary files.

---
 refinement/tests/samples/switching_llvm.c     |  22 ++++++
 .../tests/samples/switching_llvm.x86.exe      | Bin 0 -> 10392 bytes
 .../tests/samples/switching_many_llvm.c       |  65 ++++++++++++++++++
 .../tests/samples/switching_many_llvm.x86.exe | Bin 0 -> 10848 bytes
 4 files changed, 87 insertions(+)
 create mode 100644 refinement/tests/samples/switching_llvm.c
 create mode 100755 refinement/tests/samples/switching_llvm.x86.exe
 create mode 100644 refinement/tests/samples/switching_many_llvm.c
 create mode 100755 refinement/tests/samples/switching_many_llvm.x86.exe

diff --git a/refinement/tests/samples/switching_llvm.c b/refinement/tests/samples/switching_llvm.c
new file mode 100644
index 00000000..6bd5d77c
--- /dev/null
+++ b/refinement/tests/samples/switching_llvm.c
@@ -0,0 +1,22 @@
+#include <stdint.h>
+
+int64_t __ucmpdi2() {};
+int64_t select(int64_t a, int64_t b)
+{
+    switch (a) {
+    case 0: return b;
+    case 1: return b+1;
+    case 2: return b<<1;
+    case 3: return b+b;
+    case 4: return b<<2;
+    case 5: return b+5;
+    default: return 0;
+    }
+    // Has a "jmp rax", which is a classify failure "stmtsTerm = unknown transfer"
+}
+
+void _start()
+{
+  int64_t r = select(3, 4);
+  return;
+}
diff --git a/refinement/tests/samples/switching_llvm.x86.exe b/refinement/tests/samples/switching_llvm.x86.exe
new file mode 100755
index 0000000000000000000000000000000000000000..6ecc0a14f98e6fc41c8f2223001d9916b223efbf
GIT binary patch
literal 10392
zcmeHN%WoS+82@(db=*8`HwmRtk+MLlLJ{7iDlKXuq@+e}Fj6UM1QL;1+Z%h8^@H7Y
z9u*Y`^N<OLR_cKR^Z=Ji^nehDN^nROpi<R8pckZYh!hawaUv3j@O?Y8w!3K#5l3dE
z{ocQs@o#2F%4Xh9WnPda3H&C*IFPrJP`%KECjst`a0Ar@JPl!#ap;2x`e84|@)MwX
zhOgIH7<?V&K8-=Rc2l{@^c_AWUqgbWDXfsmec<zKYgX6JGymmvw?K2<ZJXr%pXFNT
z+UB~!^%brM`2f;|b094yqyxQO(Mve#hcHghr5Hdr)trhYK9DE-A}K83xo1$ngZVEy
z^YT@%fUvLQlZXQx?99Kx@DvhFFd!HZ3<w4U1A+m;fM7r{AQ%t~2nGZLJ27xR-CR#E
zr#5F+XXC@C0X)BX@y~R#zL8$8qy9VH_(MT=E#16$H~wJ_dqTikdb#%pRZ?N=XY@AG
z&D7>EGc2`{ZmdXNAmayauCc&LKM>-O!+zlAn(RS_{6J#`2gOe5kK^>M)Fvt#mnNEw
z55Gq)#E02@8^0xPgwSu^x<TI*nm=wlwY9ZH@O0z*#LVg)(F6m60l|P^KrkQ}5DW+g
z1OtKr!GK^uF!29oz^u5(j%HoZ&O3(fXnLh!8>Y5Uwdb^=ZdFZ3bLyr$dFqvvmeY$x
zy=XjH!XnGCF_9}*3w6tIw6dPp7c|?LH7iEhsJNPII4(l<at+gv&DQhfTERR5I@pkd
zyrox)>O2l;Rx9f9<Y;nCeazL1j&?4UN#R)8<D+95cBWg8gH^>^oF-%)SGQeo7ECu^
zGAqTbWzCn9d2kHN$h#ozl@7)Rlu#`3;DOjT&kyaD`tcwBauUdx*dL0W=sDSQX5cye
z!VpSgaXWZuh=s!n$gMiOW^iv60V7B6sp#4VX9ifu0MQW$#m0MjdhiRxb$r<EhNx6W
zyBEGjNzJ?e!0!sIqc8gx7wA%eG;NR!eTFiW;8k=RK$>198Ky*7zFezzdL^gjf#ToW
zpgRK6^p_<2Bl6|NH^~|#Jak<niA|o1evV4PIUOOFV(=9{llX8}=>tuB`Ig9I%YYUf
z!l#X*&i(B~L$nqSZOE9FIm14oW-_PQg70n<z^~Xx7)+FsB>fZXBSm*X@R78-V{2A5
zuUp!rVOcslxHB|wUul+^)4cu0eY29c>ILL^+djhH9JheKAX)ORz`&l?;tVSLx~CNQ
zPU-9ZR#75Tp$pL|WiaxS(ib6pS$P0;-|oy9!ld^Vh>j`o?&xbuPvli46nRmO;7`M;
z?9eC`hQGFg>3$6K1AYYKyN0$CHM%!K@y>lg@ke>QbC*#Zl6JMAyE-I|Qg+tX%LXJ}
zW6_0V!N}E%xcIhj>bab4%=?~MnXURZ9tWLnt)8o3M~<IH-(9MapRbnbxbPDe9v_f&
zmddW4LtVnbn8oz=C2Q|Y|8QVuf%i-Pli+)cZ*KrqQoa6EzBZ$t*B0J;-F9IQ+EmJ3
z4}i0hiXLfC!COqVWDq}q87ghvS>o&J-)o|?qq8MC9kl5?D&d3k1QmnWZZp-Ad|Doc
zf+P6&u~rcpw^inS+!;hWSW5>=Fh-E+he@(yhFMGoYsWDhj8SFek^9#NYhT&{-^KCA
zST`*h#Lw)2f0pB)Xd#&q#Fsff$bX6BCw9R5{mgTGpbV~Y{O^H;kMqOtq9OZEhyH|K
xd~AzM0bV!r>iqq;pT|E!ji<@BmY|J+?Ng>&GC2Mf%-j!uo#PL;kjx0;{{=6_lC%H-

literal 0
HcmV?d00001

diff --git a/refinement/tests/samples/switching_many_llvm.c b/refinement/tests/samples/switching_many_llvm.c
new file mode 100644
index 00000000..b450b2e1
--- /dev/null
+++ b/refinement/tests/samples/switching_many_llvm.c
@@ -0,0 +1,65 @@
+#include <stdint.h>
+
+// Similar to switching.c, but switching.c has only a single instance
+// in a single function and this has multiple instances in multiple
+// functions.
+
+int64_t __ucmpdi2() {};
+int64_t reflect(int64_t a, int64_t b, int64_t c)
+{
+    switch (b) {
+    case 0: return b+5;
+    case 1: return a+b;
+    case 3: return a<<b;
+    case 4: return a+3;
+    case 5: return b+3;
+    case 6: switch (a) {
+        case 0: return b;
+        case 1: return b+1;
+        case 2: return b<<1;
+        case 3: return b+b;
+        case 4: return b+a;
+        case 5: return b-a;
+        case 6: switch (c) {
+            case 0: return b<<2;
+            case 1: return a<<2;
+            case 2: return a>>2;
+            case 3: return b>>2;
+            case 4: return a^2;
+            case 5: return b^2;
+            default: return 1;
+            }
+        default: return ~0;
+        }
+    default: return 0;
+    }
+}
+
+int64_t select(int64_t a, int64_t b)
+{
+    switch (a) {
+    case 0: return b;
+    case 1: return b+1;
+    case 2: return b<<1;
+    case 3: return b+b;
+    case 4: return b<<2;
+    case 5: switch (b) {
+        case 0 : return b+5;
+        case 1 : return a+b;
+            // specifically missing case 2, should still generate a
+            // jump expression.
+        case 3 : return a<<b;
+        case 4 : return b<<a;
+        case 5 : return b<<1 + 1;
+        default: return ~0;
+        }
+    default: return 0;
+    }
+    // Has a "jmp rax", which is a classify failure "stmtsTerm = unknown transfer"
+}
+
+void _start()
+{
+    int64_t r = reflect(select(3, 4), 1, 2);
+    return;
+}
diff --git a/refinement/tests/samples/switching_many_llvm.x86.exe b/refinement/tests/samples/switching_many_llvm.x86.exe
new file mode 100755
index 0000000000000000000000000000000000000000..37ca82d88c373335ff3de4225f091a54aad351b0
GIT binary patch
literal 10848
zcmeHNU2GIp6h5=t*)A>J-M0L+fMGy>CGG$cA%IXRt3zouLP~&0mf78DyJ3Io?rZ^-
zkWjQ)YYYUVFC_ZlgAW>ckOU$oZBW`YDk!mm_)?6Rk`SyxBZ<a(&fI(VXF{Xsiw|?t
zx!*b8`MLL=duN*6oui@Fr(BW*qPbubkQS&{EUL-s0p4B01%xJ82Nl@+p$0stS6Cdg
zH-Taa0>>B)0=-<PF(|Is6fQEn;9{yk2r!-EWD>a!0fjWw6$^?yQ-%KAO*2MwebDwa
z&%2xB<yyr`5$F05j&E>$hvOxVS2_N`@mG!>o@X}4WgMU7xS!(-9FK84#qm9k^>u7M
z3ddC(w{YCaF~+f<<7tjRa{Q3vAjfYx&fo=;UfcoFp@1}ZdZqUSZo)j|=^Cg3s3M;y
zeSue9%{877I&j-Y#4~9Bk~U4)-NO=jQ0((~?e_yLD6`Ki*k49_cK~1mVj;eV<tNH%
zP6eC_I2CXz;8eh=fKvgd0!{^-3OE&TD)7%M(5~fgYW<;m`!06)=WhkD^!$+tEuS0L
z^6g_<e>>u+)_cc;>NTXV`1{_%4{R88P3xcjxgserc>}d^t#?4y@}YaTjxzIv=0=i;
zlpy-s#<i<s7PnV$y#sEG*v1G-!-#dlBR{D1-ooKS!&<&=z~5KJ48t`1?&9z?QbjR|
zWM#dJrLZP9IL3(Y1tBK)b&<eTV~znqtOzmUBSzr7X(F`7b2yPR{yvi#&e23pNQF8K
zj=8Kv2bp<76GTUWxW_!&88NO6asqdNraPhaPB4$hgohv&5-}9IhYN*UGr2N}?G}CP
zCJO@Pz%BL9FW=Ap94_cLt@kHfLk^d7<eI<l4)Y$PH4I3FHBceGV<y@WR=W{Fh+>`>
zged0wf)Go7TM&iXUBTK7`}^X|aD~R5kP739GZbd#;u(5I5G7}5J>$l;{<aBmuIPIz
zzTvEbe^aB5pnv{xi~%T~|K8hyb8ckvL+9u_s{Ez#vwu!bo~M%MzdBFfOyx(k{LuL2
zKPD$>r?uYC0{bq0;WVcLP6eC_I2CXz;8eh=fKvgd0!{^-3jCid5KozpuL+x=wr7n@
zR@GCnj1gB4rZWfBPCb#1XVq*jZZ<!;Go(iJ&Q874c(e<h5=I6Mkz_iSOBh)-sYmsL
zYR2e@r;MbLGF8*ani#4lyU`5ca4wqcj>T64x+ILK2|8pT3K57V^i-$PgG0yDDP?VN
zWpI_U%+x!x>W)xr2uBUCUAaodw0dGWB+}@M6NYfs)H5bz55~=CS3K1jPU@+{;Y6Y*
z8H_^Kuttz-rNzE_+3gF=p6mN~OJl86hrj>3f<Qu3gWI>hdPDWL`pu01?jSlB$)$~q
zu8_f1@WZzb%DpJiv!=|Wau#f>XNdv4i@@#MR9#(-pB5+Zq7RbDN=LDu4i_v9bwd71
zz;^t|=@JV4rY`L=sIR<%y*t3Y=*M(vSDFl7GE}%ucGDLP1+D8yskZ;6f(GufS_L)s
zgS)ir8<eCaWjTb#a#$M3;#Cm(8D83Tmii|=u9JrjleC%Qq4GBM*jxv^A0WuMu1%y8
z2fyIehZo<OM^G%Dh-TEpsrZyEY;RG5rFa!H&_Lp}(r|^-fHJhkQwNO9dZo2>D?3FG
zcCugvj#B|C%p^(D@4gxWi8TCEbJ>iVNJsUA+H52eIx2Y5RO_&+iFib{4l&o`sc0e>
z!+pE|;lz|#Glt6uc2RDCX@wnckY`o3$Z$cfsk$r6o)&kHw?&@eaaWJZGd(SG4Jju}
z#o5TtM8ihAfxFK{_ZrO8jd>b8?%Gkg79$#vZA7enFtHKCFx(x-Wb-`khEe$;HvBv^
z{0ngwhSiP8z7bhEF2gBY^e5J$ce6z=AEl{Ju`pX5Y|Gt&85%uqbyS{%8R|$mSrkv<
z>|5kHXxL~O$~6{&{xq*wWbn4hjaA+~xN>h$t~rJ?-0t$=*`S@fe<M=`{5)y5&PJjR
z@DAs<vGvXjatk<LdXrJ?GQpSJ_QbE`eCe%BJOnf8m~QG2G`hka89ix0&@>L25R4g-
zTqoXD86oPCNXF<9T0GT}7BW7@OV#dNB!!8x!i>6kxSRB7I!TXtVMyR(AA;G#NmGv?
zcHv-5VmQUUP<#gPdtN*S_;bQq)_?72Kj>o55dcL}P$RT}8M#PcJ&;TEX(*S)yA;c+
z@PwyJd`Yy&*CR*qg?G>Rev0?f=%HWQ0;LMd_+Q3~r+qJL3e&Eak;UbR<t;+HkV{>!
zD@=R6ltkI?yZSyHg%}H{XU}#fvECj}{{`$EdG1+we}B7g+Z6G8dHfcZrqJ8t_e~Lh
zn#ZpwL^8o1pXBlO`VaB=rYYh@o*o`=bA!r<8Kb(&Eh0{^$561jSf+K0na2t4=;MCk
k{55d?HALGHvn<0r-hO`V<G(pYe2l(l$F`P1p|{8X1pvAe@Bjb+

literal 0
HcmV?d00001