From f394ead1f71cf8896109976432361d1e79b6814b Mon Sep 17 00:00:00 2001 From: PAN-Ziyue Date: Fri, 26 Nov 2021 16:16:19 +0800 Subject: [PATCH] add rv64ui-p passed cases --- cases/riscv-tests/rv64ui-p-add | Bin 0 -> 10584 bytes cases/riscv-tests/rv64ui-p-addi | Bin 0 -> 10168 bytes cases/riscv-tests/rv64ui-p-addiw | Bin 0 -> 10168 bytes cases/riscv-tests/rv64ui-p-addw | Bin 0 -> 10584 bytes cases/riscv-tests/rv64ui-p-and | Bin 0 -> 10232 bytes cases/riscv-tests/rv64ui-p-andi | Bin 0 -> 9816 bytes cases/riscv-tests/rv64ui-p-auipc | Bin 0 -> 9472 bytes cases/riscv-tests/rv64ui-p-beq | Bin 0 -> 10040 bytes cases/riscv-tests/rv64ui-p-bge | Bin 0 -> 10136 bytes cases/riscv-tests/rv64ui-p-bgeu | Bin 0 -> 10136 bytes cases/riscv-tests/rv64ui-p-blt | Bin 0 -> 10040 bytes cases/riscv-tests/rv64ui-p-bltu | Bin 0 -> 10040 bytes cases/riscv-tests/rv64ui-p-bne | Bin 0 -> 10040 bytes cases/riscv-tests/rv64ui-p-jal | Bin 0 -> 9544 bytes cases/riscv-tests/rv64ui-p-jalr | Bin 0 -> 9736 bytes cases/riscv-tests/rv64ui-p-lb | Bin 0 -> 14264 bytes cases/riscv-tests/rv64ui-p-lbu | Bin 0 -> 14264 bytes cases/riscv-tests/rv64ui-p-ld | Bin 0 -> 14280 bytes cases/riscv-tests/rv64ui-p-lh | Bin 0 -> 14264 bytes cases/riscv-tests/rv64ui-p-lhu | Bin 0 -> 14264 bytes cases/riscv-tests/rv64ui-p-lui | Bin 0 -> 9568 bytes cases/riscv-tests/rv64ui-p-lw | Bin 0 -> 14264 bytes cases/riscv-tests/rv64ui-p-lwu | Bin 0 -> 14264 bytes cases/riscv-tests/rv64ui-p-or | Bin 0 -> 10232 bytes cases/riscv-tests/rv64ui-p-ori | Bin 0 -> 9816 bytes cases/riscv-tests/rv64ui-p-sb | Bin 0 -> 14568 bytes cases/riscv-tests/rv64ui-p-sd | Bin 0 -> 14632 bytes cases/riscv-tests/rv64ui-p-sh | Bin 0 -> 14584 bytes cases/riscv-tests/rv64ui-p-simple | Bin 0 -> 9352 bytes cases/riscv-tests/rv64ui-p-sll | Bin 0 -> 10840 bytes cases/riscv-tests/rv64ui-p-slli | Bin 0 -> 10264 bytes cases/riscv-tests/rv64ui-p-slliw | Bin 0 -> 10296 bytes cases/riscv-tests/rv64ui-p-sllw | Bin 0 -> 10872 bytes cases/riscv-tests/rv64ui-p-slt | Bin 0 -> 10584 bytes cases/riscv-tests/rv64ui-p-slti | Bin 0 -> 10168 bytes cases/riscv-tests/rv64ui-p-sltiu | Bin 0 -> 10168 bytes cases/riscv-tests/rv64ui-p-sltu | Bin 0 -> 10584 bytes cases/riscv-tests/rv64ui-p-sra | Bin 0 -> 10744 bytes cases/riscv-tests/rv64ui-p-srai | Bin 0 -> 10168 bytes cases/riscv-tests/rv64ui-p-sraiw | Bin 0 -> 10360 bytes cases/riscv-tests/rv64ui-p-sraw | Bin 0 -> 10872 bytes cases/riscv-tests/rv64ui-p-srl | Bin 0 -> 10744 bytes cases/riscv-tests/rv64ui-p-srli | Bin 0 -> 10168 bytes cases/riscv-tests/rv64ui-p-srliw | Bin 0 -> 10296 bytes cases/riscv-tests/rv64ui-p-srlw | Bin 0 -> 10872 bytes cases/riscv-tests/rv64ui-p-sub | Bin 0 -> 10552 bytes cases/riscv-tests/rv64ui-p-subw | Bin 0 -> 10552 bytes cases/riscv-tests/rv64ui-p-sw | Bin 0 -> 14600 bytes cases/riscv-tests/rv64ui-p-xor | Bin 0 -> 10232 bytes cases/riscv-tests/rv64ui-p-xori | Bin 0 -> 9816 bytes 50 files changed, 0 insertions(+), 0 deletions(-) create mode 100755 cases/riscv-tests/rv64ui-p-add create mode 100755 cases/riscv-tests/rv64ui-p-addi create mode 100755 cases/riscv-tests/rv64ui-p-addiw create mode 100755 cases/riscv-tests/rv64ui-p-addw create mode 100755 cases/riscv-tests/rv64ui-p-and create mode 100755 cases/riscv-tests/rv64ui-p-andi create mode 100755 cases/riscv-tests/rv64ui-p-auipc create mode 100755 cases/riscv-tests/rv64ui-p-beq create mode 100755 cases/riscv-tests/rv64ui-p-bge create mode 100755 cases/riscv-tests/rv64ui-p-bgeu create mode 100755 cases/riscv-tests/rv64ui-p-blt create mode 100755 cases/riscv-tests/rv64ui-p-bltu create mode 100755 cases/riscv-tests/rv64ui-p-bne create mode 100755 cases/riscv-tests/rv64ui-p-jal create mode 100755 cases/riscv-tests/rv64ui-p-jalr create mode 100755 cases/riscv-tests/rv64ui-p-lb create mode 100755 cases/riscv-tests/rv64ui-p-lbu create mode 100755 cases/riscv-tests/rv64ui-p-ld create mode 100755 cases/riscv-tests/rv64ui-p-lh create mode 100755 cases/riscv-tests/rv64ui-p-lhu create mode 100755 cases/riscv-tests/rv64ui-p-lui create mode 100755 cases/riscv-tests/rv64ui-p-lw create mode 100755 cases/riscv-tests/rv64ui-p-lwu create mode 100755 cases/riscv-tests/rv64ui-p-or create mode 100755 cases/riscv-tests/rv64ui-p-ori create mode 100755 cases/riscv-tests/rv64ui-p-sb create mode 100755 cases/riscv-tests/rv64ui-p-sd create mode 100755 cases/riscv-tests/rv64ui-p-sh create mode 100755 cases/riscv-tests/rv64ui-p-simple create mode 100755 cases/riscv-tests/rv64ui-p-sll create mode 100755 cases/riscv-tests/rv64ui-p-slli create mode 100755 cases/riscv-tests/rv64ui-p-slliw create mode 100755 cases/riscv-tests/rv64ui-p-sllw create mode 100755 cases/riscv-tests/rv64ui-p-slt create mode 100755 cases/riscv-tests/rv64ui-p-slti create mode 100755 cases/riscv-tests/rv64ui-p-sltiu create mode 100755 cases/riscv-tests/rv64ui-p-sltu create mode 100755 cases/riscv-tests/rv64ui-p-sra create mode 100755 cases/riscv-tests/rv64ui-p-srai create mode 100755 cases/riscv-tests/rv64ui-p-sraiw create mode 100755 cases/riscv-tests/rv64ui-p-sraw create mode 100755 cases/riscv-tests/rv64ui-p-srl create mode 100755 cases/riscv-tests/rv64ui-p-srli create mode 100755 cases/riscv-tests/rv64ui-p-srliw create mode 100755 cases/riscv-tests/rv64ui-p-srlw create mode 100755 cases/riscv-tests/rv64ui-p-sub create mode 100755 cases/riscv-tests/rv64ui-p-subw create mode 100755 cases/riscv-tests/rv64ui-p-sw create mode 100755 cases/riscv-tests/rv64ui-p-xor create mode 100755 cases/riscv-tests/rv64ui-p-xori diff --git a/cases/riscv-tests/rv64ui-p-add b/cases/riscv-tests/rv64ui-p-add new file mode 100755 index 0000000000000000000000000000000000000000..8f8882c0fdfd2586921989220b91fc4531dced43 GIT binary patch literal 10584 zcmeI2O>7%Q6vyAJlhl-tY_p*RS{18bRDgoL>ox&ZU-a7WA5kj1h zcBGlN`S^a?f{cr~Qf&ARJ`=N^O{?V^j zk3I1;z^koYW1MSYT*|J5mpOd{3EQ^CbU?sG+M0I zLuj#Do6%ym9!87RdIT+2>ru2=t;f(}rPv~@{+_~J*X)JQXxz(&@Eb?7{x}TzyP*XlLFdi)RJp6tc=O&B>2u&wv_@g?ND8sEsdxE~pSzUI<*0P~kW zG5y9)8Y7GIO#2O^W1N9J#UpdXIdMM7$UH=RjV2kS>7$RhWc zFCZ^~J5+y@ayxRV)gu3;xmGI@aKvhqdpn|#TVxg&%0O!cOd4m|0?=7 z!QEOvKsg@~5XN(!Pni^}hy)1i&quI=xnG1EA)TubxhdSwJv)L`$(>8Y8^|-l-El5U z{x?F@NG%}C3inelE7v{i&^fVEoA6o~!1a@X+k;2{Qo02^-hW>CvNrkBTIuv3Ab%Qf z9OLt!RsKyCOYE;7W707c&xCNd`+L{L6UVYOj>QwWzIJ!ULUG90V_z9J#Sse3@6OIR zWX!t1jGJO;2t0o~+A&b9nBVowkMY4)$FaOFJivIKTQ(I~MYPkbXOsWzyeD z{uBe9yRJCe`B)LSz6aO*R;6y2Z#y5WG(U6A7tamH(dFNcp-K6BEcPegb#b)U2pBlO z&E38ah^3tm)4=(qJN=b@vwNQHSTdyFgVzu^cn#roh1XBka0kvI1H-}V8t>Z%-hT{t z=$vtbVx@bz7&qL8XP}R;#Hw)QwL*LX$M^8wfEuBI=;{`HK5SWkAH}isd#i84GRh|< z$v~2UBm+qXk_;pnNHUOQ;D45ZS92I}t>U{EK+s179^Pe<+nfdP; z|B(5h(H&=ld0yk!m``YYfqAI$>&zE4zR3Kh#&0rT(fBg+I~xCic^bbjk(=DCFwbcG zXXc|CUuAwo<9C?PYP`w(y2k%x{)@)d(#Lh!(;a7;7BqHdHEuGW(D)GZD;m!*zoqeg z%zx8(mib_BcRZua3mPvl_cT7n{0ohbGyhTJCz#*Y_yluPyI!W4@7B1-Jg@Ot=4Unj zK5~=pGnwxBe!KynmmC}IKJe8B{@*e$X!o(_P(Y5Wad2Hf=jC(zhpSL4`{kf`q3j0L z8U(eH7jM^Vm7rV9gfxdDbm^L8Uqa)nKYz>(~#a@$cR zugrdB4k$CC%&0OiDwE5y&9SxFvQmzva;%kOu^g-AST4tUHtX4}XS1HodN%9XtY@>H z&3ZQL*{tWVp2K<$>p86Fu%5$u4(mCr=Zu0^@_i`JoG$v6Gc%>&e60+p%4aGw9s5N; zDAfWeq8Cios?#$2FzmlO9h6R?4Qk3x#alsnHW;qVR00_0b2TiVoWrFcs8vp#$CE+p z=s%Thcr>lXzBQFlZkh_T|BuK01-7x-iyL%&`-vK_$Bgp8=Vn(abnO8Q<31kiX&A;b zim2!2S}%>&S!f@xzI7$cD6|iMN1#H6K6<2S2g{H$fIlOw#mJMQuQB7q)D0 Q{0aJSgQXzbwMIYwZ=STMh5!Hn literal 0 HcmV?d00001 diff --git a/cases/riscv-tests/rv64ui-p-addi b/cases/riscv-tests/rv64ui-p-addi new file mode 100755 index 0000000000000000000000000000000000000000..4ed46e0680df1793e3f6267f7fa67639b8d587c2 GIT binary patch literal 10168 zcmeI2O>7%Q6vyALlh%|#w%)Xawt`i^Kmr-tO+P@DYRZRt;1KoWf+{)gbkkUB;+1z> zx8jghixlAGvPe`)1-T$`;1F?1j}fOHIP};9hoW9Mx(Y}=Ak2Su-p2Nn3L&mD(#+fW z?VIf1 z|DZsV;*szzZz>s&N#uLEWV}OSMA}sn)XTZ!g!wpKqH&Ub;_Nsz@$8@cdh5(fuM+Ls zd*aV#_uF2AoGu>f6Li;xMR#+s=q}y?B_9{dw@cPlKqn}g-W3cG%3$WM7!{xzal##>9-42fOsz0Bg}T(_4b8&+~N2mgS?p0=lAbQhBxx)sa(p7dXi zyS*&V^39E2Vs&KvSNi9=i_1CGn8tgAwJY-c9+j)RDDz_-_^PabSAQMFYa6{qb#7hO zH_0{hPy_PZC*epY^Ggk+E)PlUZ0}SIKDmeR>&p5k`f(lFtj8h?`V8+m-6#0;e<}#Z-rcWjRt)uq;G(jB}?oI$NIh< z<*WM_r2h>3tClE)+xq^fA$2)5dkS#5Vz9pV@Bg<&?%9OH2gNzGREoqU6?g{QYi!dY}Kp-VYsGM{3iI z0!9I&fKk9GU=%P47zK<1MggP1rULJlaoB2v;wo9M;c&Ed^~hAC5|nE5a;VE;Rt^_2 zP~O^x=lXwZIrSw%toz|Hr~kdcz{wopfl_OD)Ta@8+|w}Obpo0tzb}Z>LmpmEt%Wti z`~dUg8m}-vrt$Zl!Ot*1Zw<%)n0Xh^*6AS+HRgflKg;}6jn6Z`t?`KY4;uf3`MSn$ zF#kp4pEK`jyu*CV9KjwWvAQ3?rJWFI>Fr*Zgb3528kMftt~r-x`=lei+p%G+S?6ru6ubGE>SNR_2H@ zN0m9I%-hP8OKi(*D{MJZnM0L1R+)p9Ia-;+l{sF8<5f6bh2vE?UWMaT4pUGML-H3c z*22c6g?eY@c|_ z1NY^jRvnrV6*0%!K*My(Q$*dD`)6gY!6xVUt9Yu#o7fK6vyA%3AmIti#N~|Bf5fw9xA!E2_LPHa6iSNhX{&PRY=AR8)AvXtK9`t z^^g@*irSOuA{8l8n@go0I7GdKLl03;J@mklBNaVx=)owe#G$JDpPjd{Gk~i0JR{A# zncu#7Z}z|AwRW|OAAIy-&ax;gIoco|#gf%!gYslbS=rXQd^0255-T@@24qg-_s16?d6I5qAEUHt0MRi_)MRj(- zqB<|aqB=WaQJt4yQJt4zQRUha)Nrc)SlFZVjm&#JXNBFbTzMSu>`Mt#?k7~to{(d=sIqvnd7|S;{ z`ia#gVGkecEvi@#F>gh#Z=cGW@eS}*5_>v(hvLO+8~sJZ!?AUle}eP(ksmqk$^3f~ zlDXx%OFbUQ^)rJ{{sH`YB=&a32XSpaSF$j_n9x01j#n{1ws4&+amz2Jdkws_w2J+< z9eb~c>*dnJJ*WRxey%0#&>r}$kR$i%u@fp1s&>i$LPe;)pIOBBN$ z1AnX`%RiCjpF#dkA@h;BOG{Wo=9jKh=00y>e~b+KDPOE1^G(+&^ZFL_&n*+>pk)r% z*Am}i|B#(4#cp2d+qJ~Fk84}WiP)m#<}UnZcRjtgpRwOVo7S;RQ;Y&e0i%FXz$jo8 zFbWt2i~>dhqrfv2c&7>+v_f%}tk=;U4Xz%YZq@usV_r5*+04r3A{r`KJMdipZzZq3 zM2K}iJn{^_7Z^I2Cp=hc1&{hPLXZ0zCcI8SvE=s!aoXkP)zn&;vz1RVKcVp&^Wz$S z?>YPo^K;hL_@6TW9nbM;mzxH2U-O@3{)NWpncvoU#QcuNKWDzK@$1a*Yy3;*e`vhR zypY?v{@ctaHNL|9gvNhh{)xs{nP1lUUFNaI*O}ka_%F=wX#5`Yb&cO={z&5wn2&4M z>k;$!HQr-Br|~DuyBb$p-=d#1UXU9a2Y=PL%^VvyPD66D8{C$^7k4W^_#A#X8>@~b=!tqe+tjx4BN0d3L%rRw-EAy5z)e74x z+ZtPrROL`rj#cGgRgPBWa8-_1<9IcWSL1j!j#uM&wIk#=!;rj%i;b{#X`vZi2|T*s zU1}{1jT>Rq3?gd4i)MrNe5wkS!_VfU<^|X&P7BXUjG~}* z;R;0JtMva(2~*`R*)|9fr(Iit&F{VVc%5x#4xuCGZ{D%9ec~z)+?ThM`j!z<8Dq@# zHB6^mMbv$Ha8%|RE^>@t#Zx7A73%TA@Vc5NQ40#w1Y5kO9;}_2G`@63Ii)4khO`Sl Vo9CX+P|aQSM?>`?CcFCle*n#I7%Q6vy9eJ{n4Cw%Jkwjf&MTDyV|J4ox5xxCKfCJypj{=D?&(IbWs5EcU-0H689GSpzX@tm^MW?%#iY&Sr+^z9;OQX`AsYCr5& zXQ2)KXb#zxU~dzAdBk>%acIMFjAIjLAkILXfj9$k2I36F8Hh6wXCTf%oPjt4aR%ZH z{EG~f!0&WlObi9RJ~%zij-a;&PAAz#aG=>?^#Y#v!dd7A@^jwpg%W=D4}QIN{HbRF zcI|xaVX5&=Gr&15{7@fYwG6aatq!zUtxmL9E&QS&z-r+K{{XAC0WDUm2Q60XF|=5% zjcBo2kE6wEZ93bQi{N!te=z?Oi8MEFs@j`(Cca`OEDG4A z97$Yfk6SZZ=II-vcw~+^C!-%HWF7*M0B2kEXn~{}^Qr$Zjhpiu%~nm-U!(p^*gt%^O~aqNdKWe3!RfEQs^-@FX^uteKe(z9t>==O zW10G2QTwPN;|n?(IBo@;f$B&A6jzutyw0Kyjv4aMzmEP5aJE(tP>zQM_|aNren4P; zh5}f@JTJm6pRS89@R|$f>#`j{UGmY(#B0bC!r5^?N&dHd6WKhnq;Rg6lX8!<4&~qK z*ns=K5BEv}?ruHym(tDPcz3_@Wo`1MebMUQNB%Tl7UOfDSN;tZOX#nUF=-6NGcKF~ zckh~b!dSM2v6KbocXw+n6o-sG^p$Z_9KOK)wX-!28ME#$8b`V2&Iu+5OtSNe_ibw;ry zNWT;B9~i~^2k$9*-WX2bd1PRW;=PQ|Xak=$hSPuExJ9wjb6aE$r&c!5M_8gRM&-Ri zd>rR5H4ON50u}-I{{mkga`Uvb0>`xTJYk$C;nT&!+N_n^VjW zcDM5!b5HZ1Wd4Q5rSMe3|(jjo)VeyT(_TZ^G{h*THQbL0<$96*BbJqlZqg^eY4SGs0@@%*ZUL7jjtCCe%)0%R1vv(wiGB8QHEj`uM*A Di3_0j literal 0 HcmV?d00001 diff --git a/cases/riscv-tests/rv64ui-p-and b/cases/riscv-tests/rv64ui-p-and new file mode 100755 index 0000000000000000000000000000000000000000..4d60c11e2438a539c68b4711de430bde071e6a49 GIT binary patch literal 10232 zcmeHNPiz!b82@Jfl#0mAb`&cmxD>%elXZ7mX*EPwP(ldN1|%VbWLbtO-Gp|hI|Idd zZ~__-pD9U`&8MPf?;Q>S{B$5#)^oS%fwOO zzXs&1=QYq@`b#m-=aIh#6K4QM@@LL;5Z~YaK3t3WRR+*k>--3?bmNZZv`1-; zKQG7lzhT@Im@h7z*oyPrAkO&$nBUsRw&c8yzFp2Xu5bQBIq%&-Lm$-VrXKiyR`EkE zJTULrM`-`Z{_(Zy*=@MThVZ@=;g3D1o@{E_Mtz+3!uY4?sncGK=h%%ox_p;WKj&S+ zp;zZHR*okQUHw-m{?Iem5b@s|=f6t#*LWI#nxFPWV*Oq2YZPDV$35bmh^4u^ydTp2 zf1@97icRPraZhL;Q2fC-caBT!=N|qE?Lk5QqjCNb@4oXV_-hKzzn5YoUwIGptbOwt zRLorqyE!(&H`?Ppyu*9meJ&|}S8{H#cOw2hb9Z&GD){^l#bYVvsoWE~Pf`5Ne%!-6 z{2cV~Pw0Mu_-~gv2p(b`Tl2SR{(&C8^ICZJ`-+Fx=X24SHMWjtH2qyr+KRbnK6BTO z#>SK{noHQg zpt2o**FURd#g_=4?3cx_5Ab_{J~;kkDHZz8AP4Ik5)Ak{0gD3oeSsHtxp^hD3dSVy z1B@S*aD(wl2|v08ewy*~N;3aB#(x?};x)!^N&eH3zl6^+{y@TA#Yq@0pRmP_z{2t?r628Xx znuI@Kd`CW+{~_ZiCHzmuZ%KH-_&o`K%=ixJzKgAo`%}UPX+z`1841@I_auCn@wS8) z8DEp|1Bh$%d=-=H9oqsw8sgYU`~Soi{+}>jm7d=>F+n)5goA0$pSI5(vr0{9S&rq_ zu34trY=PUV+fjd^)o`tv+ni}SF3i;DE?u!|)^*de-9~c`n(mC%ij7^%acc%l*Be(L z?2idEF3j7)91> zt=kfIChED?b+^=*Yq(HiO-td)UaGrpt8wuvibnVQKa~-Trd@-tfurJu9Zd|o-;43p zD%;2$#16%GPyA@#6om(#>xoiLi~veF##mc|;doIX;#}XnN^`{vjqxezDPB=P#hkG8 vZ5(kO6hjzhi?6vixidy)`86>(D@`a3p@44PwTqCjeJuV^K{bX^SC0P&UeCD6 literal 0 HcmV?d00001 diff --git a/cases/riscv-tests/rv64ui-p-andi b/cases/riscv-tests/rv64ui-p-andi new file mode 100755 index 0000000000000000000000000000000000000000..b2389dea9feef3d91053dbe6f29bb8b2cea1cbb1 GIT binary patch literal 9816 zcmeHNO=u)V82x%Wlf?Mbo%FiK-LMXutO~+7iE%fA;HanzE)uc{h%AhgPA3`I%rxDd zWW|F`a#2sS*1?4c<|23uUSpo6KsG+sAQ_Txy$+MW|b}LKbm9ciy4~&i?G@n^zxsjA;D)3x|#5 z(>BAH4i5DU=H!4d2WNixBC{d7GSv z|1jKZdBktir3Iq1`GtiR`0?gvVlM87IfAd<`hsX@>mxgCp66qfFweoTnd=&7WSYmr zHEQ8@WGA*0)+B?)lsI>jq-BEJb`r)+gKe7$GYaI6ZjQC=#M+6e?c5~`npw;!kvq0| zrbTUhBeBreXJ&%<%H-Odw*=3c`^4geWIwde^7c`6Y?g@cqWx`hoBnCOMn_{NzGDtx z-9|9i0{wbw?k~jPGs7qMOgJKZJ8_WZ@U`yt9})hDIVN``v{QdIz9bR-)V^bLhb4`=0BU>#R${*9H5|_zB;KUUn(x#s;yQ!}yI1AKy#&*k7Sd`xss) zt$~DVgGRfqWOx@lEL2>#G)v(M+F+_ z)5~9w{PPMwCHWbJfB6Lds^qU3z2ARJ^7CddUy=O#ivP0YcNKn3^0yT}lKc+}|E}c! zRQN5)Pvm;z`9SjX3g49cCklT{^4}`_uH+Mi|6KArI z|Lz3-N5S*m((C`r3I4xHzMQ>V;XRR_f{Aezo?Q2h*VpT>T`4vw@Io)DYAF|(Zn&Nw)f#nbM5|uVRgb(ds!Y*xwRW9E`I!`^Q+PIo ziz!@6VJ3y=QkX1BoRl~vQGRK1n*3@Ql2>1N5)S`_~r#cC7oxMAZWa1kI&FavjIXS|#hnGYN3Q z3MaU*!K!*df(yM@m8x73QvXL$)pJ3pQV&(P-;BqbT|dhqkvJsC}0#Y3K#{90!9I&fKlLID3DM##?Lh7@_I($ zc)ym{dlZgI{DDI1*I1p8Xo=T_V3d9MWW-* z;^H>=>E8G1U&2Q=A=lmhk?85>6PNd<dhqkvK1e^=nrS$r~$dALE=DTGeCac(Z2 z>9+he*#xp#k&>gJe23v)(!T;pLDU8wLgnxC)mmv`ZBX#S=(`u(po|DwYCnnwvBQ=x8FH2<=~ ze*@l?`ZPxK@9n}rRJ>GaG{3h?{--`U`ZWwh%oOCD=?I<1Ui--$ie}u21vT}~ zn(BNv10m9QX&p_;fs5z2hZj%q}?Z)fkC glkoLa(Rnt+$*{Wq1h~P!59R)?=X*n(46F110oW7mng9R* literal 0 HcmV?d00001 diff --git a/cases/riscv-tests/rv64ui-p-beq b/cases/riscv-tests/rv64ui-p-beq new file mode 100755 index 0000000000000000000000000000000000000000..d23f5902f72e74735f97cede429693c1b405911b GIT binary patch literal 10040 zcmeHNPiP!f82@Jfv}=s+BokvyOZ!Nh7;0H(*Vsl7Totv4g0VFhDXg2xBw1{Bmzimd zSa1kMY7b@W2o@~Zi{LSMsfQkdc<|U`kCl4x;9-mQCa&Lm@0-ca+Y}LR@*ceRoA>*E z?|bk4<`2v;pS*GU&5U6{Tr%)GP%q?Ml{Z*6rzP^X3iFV`c0cSB+B_#s-iQ+R{C!GT`ZDgyS4unI-sI_KRYwD8?O`uW<~rw;=hnR?~V zR`=^(gmYT>QXgTpGKg5MEFxA5zX3#8E&NarVYTqZKf-G5N5pCs5V2a1A!4XTra^v}nV-xn2jI}9m-?&Me$yi9^aL#z#LHm%5 zb>z7f=NjW7J7i@>(H{o)$IsxLH&by7bue+c(aTR6pSH!um7i#m470HsxFIvAK8;a`6Qf0p=jMmqm{#2?J1`5N&T75xhF zHxz!I_}dB}5Pw(UKPLVUh2J9H%%s=z8S%#zzC-+Jg}+XGTj6gKe_i3fCH}U;ZxjEE z!hcWva5lZp9paBG{7=L$DEuAbHx>Ra@i!Fy9`Qda{IA6Srtn?j=auvO5P6ed&n&(E zEMB;K@%$T`xyOAm`3U`C;;YL2@?1Qx!h_?y{g&%}@J^`(p6k0oZNqhfmIr}XZ^y?U zdX2!X1+BG~AHZ6@xqRNOxtosL4jQc{w1PF)>+1)uAJi(aQg56Gar}aWISDUHI3eMr zgn0=sNhsTdWx@&}WhzsuGUX~$vNB~WQ@S$ct5Cj58QOK<2e-Lg^Bb$pdT_yWVaZ)> zH2eBBKd5^F)KCR0UTap^`9G4Ld=#Ycg=8I&5$MgS%9s3e|@rFsx}jin1{ zg18#~OLG7RJTc?zfJp^D7gMF0>H(Cnk7L^k z4X2o7&_ie&5GiaolS#6Y>@GXg zSW$4uP3d9l2nH1FMeyJuc&UdTf~Ow$P$U#7kzPEeh|oiD{oZ@uOlDqEL_BzT55D)! z`+eX0-uJ$|nJ~kC`tHT^DNTd0rQi>sk}#Ymw>G190}4EzQVpcwd}AV4wj#XmqXj-W;{a;Q;^XHcUU zy{J))XHlaVM^U2~$55jf&!I+PxdkZhMES9;XW=Wh?s`gd+m|eN7KYr}vL)Et#7yLt z#c~w<=UwJ&WOXo}|5LNCW-)&qrsn{LvvYHIkdL*$<9o3`PXYSscYXx;di@LCZI7}w zEZk?#ZKq=E^iQ#Tc#Sj@!n)YMm|zcCmOW^}qle~Sc0bF*LOZUFYm&VXvljxbjP~8G zq3w3bekNu=6KJzEAOA)o{;8P#RG?iWdo=%K%ziS^niPL0j6WH(PX?NgcC0hY?>^=~ zU;*04S^k06rnxcOkToi7x6!sE@($-6w@hK%BwK9Wh;>5Pw#3=td&WI=%o9ecAM0;&T01*c zD>bdkD(kAOTV&k=c97G0@xA_^T3Y-P!I%Bg`0E3F)i{LX#|Ek4YZheSaaY2CpA)cY z?DqvezohO(t~H#KA@?RwWjl@@p-<7yW z{8x#8Ongt`>%>P=$$UN|J|poq@hcMFAl{VtZQ?g2{yp&@B)&UPJCP9yTtb-{)G6r^mi9WUxSMh&#?oI#tn%dL$0&? z!c6XW_$mA}=h#W-w)7PLY2sz+zB`Qp__`7Y+dkL);QUOj(14cXI$mYXvAsqMyjHat zUVqrCc}~S^EH_*amaFxJ6{q6du$`t?Yt*6PEjz8)*mGR3Qi8>5Z3X!Ct3pi)^_oy; zg_;&>MyS_?Dq5tAq)VhJQjtOxDOQn!6)9Sg!WAiAiQ<(gUWwwBC|+p_npM{Yr@l~e zYfJU2cfIAnyt7oR$Ho=ctF}C-pcgE*8mqh-P;ft5^{Vrzy_V3+;g#py@Cvnh&4U8f zuE3wXg{tSZYV+5zIPCBGpV~0aW~T!`(}vCG7rGcmzvm)rnRKWo@q*2dp2*?(Fog#` zcN49g7y%S;jB}e3h6|=3;<>wTWoyM78{^$@p!udicz^PSpQB+6B`1b3L>fOs@8?d8 gsrSakpe!vY4WSR+qP>eLyx$Q2NT3{J>{6cpH!}Sk?w5^0ojYkizyb91^w}P8z%sC1}Rm zVh|w0$d2bY#0@RpU@;(Q#mKr5gX&g^1NmBVsjM5V4y0Eg-~d;){QX)jW)d)oew?YCeI8)oeq= zYCegG)jWcT)jW!b)qDyOE1z44)f+5qI7SA(=6SEAm{%XSy)o$V#tOFN-XhLI-nRK1 zCI54S+nN~z%%}fi&V>xl-++|)V~vJalT9e+8Vch09d~AmEqO~amV25 zI;6s&vD1roW(P}|Y-2~*_t_({eYZUlvN4K>_l)Q3vxl3;heI~CPrQ3FUY9)-+aI&@ zA*&|r`TZ4f4Lcv(J;(J7Xq~u@2V$Lo>&x`Qco%FGG`NVVDwmM^5p_9F@t(eb4%ZTm88VU#63!g3PNbDolFt*D_nSWbs zFLF#BXfJYXT8CmEk)yh&Pa;plYDxIuGw5srgaJN_d)2g!=SIMs>s4?JJLLon!fPFP zMt1BzOZGTlJOfs7JLsYn&WDtw;!5ruzyAO0Ni7g#d>N5oHLl6;Z)&lLMv;=fV&1>%2E zc%S&+75-D=`%=lgSBQT{;lCh$O5y9oUsd=U#IGp)P2zu5`0t5_baFl`#M=u0Bk?l| zze@adg}+1m9fiM3{FcJ65r48JIiGdn&nx_I#9vkT2JyEQ{t@vFg_m2O!Et3jwDJv& zgH?q;ioC&}3oAL#-hKE}g2zVLxA}eSPZM8Ip1V^RK;%_;aGdu)^v=vpWGhf}J=ZTT zxsG3{fnO_Cqw9}rW#29OmHCS2!+dFR=Av74FFS74FIN_!;?KLaroQibelZWTrSe4( z*RMzzlJKg8VF{-tj7WG*Le3`45#|XgQjS99C{~Vw}Si1WgoJnT~?gD*^=+q%F~xn9DZN_Q|U!-zB}+UZBznrVaRU$doCI+5JqqUFSvhv zB1ikfk`{RGCQ2dE1IS_@eX9x$XD!LdbNBHm&(&ObAD@O@C9ov5Miax&(J+9uRnpKy nh@YV!&z(39=a0)yK}o1|p##n0wM!S#-jIJtpwPteOV$5x$pKTr literal 0 HcmV?d00001 diff --git a/cases/riscv-tests/rv64ui-p-blt b/cases/riscv-tests/rv64ui-p-blt new file mode 100755 index 0000000000000000000000000000000000000000..beb8c76dd0c181786fc55200129a6b1e50c537d8 GIT binary patch literal 10040 zcmeHNPiP!f82@Jfq-%`sBokvyOFN`Z47IGYYiuJ3u8LYDhtOICDXg2xBw1{Bmzimd zSa8TqPg_T@V8LDlkHJel^sq>f;Gy)`W27EDc-W%7iR<^?`(}3MZGwn5c@N(E&HH`7 z_r3Ri^9N>_Pu^I3Go@(|l@$CA)C(9_W(}6D8G)=V!vdtRJpw~qn`NZV8eW2ayp|EY z2qPVvV~B-J)?m>g=*RQC0}x>}j%WqS0p);lKslfsP!1>ulmp5E<$!WPIiMU+4*UxT z8W3c>=gs*rAAp_fro(&->3r@k5d zp~JLBRtMv$N1A;(i|g0n+$Dgc*-MvhBY(2>4d09XSqf0A-~JBZtL@KquQko)uyCI_ zua)YXXKbFWhkK-%Abiom{?P<`(mHKVSn%Mk`IkLroenh%}yUSToKvI|CZ7`^lV)bz@A|?&+fW z_RNV`!*ksm(C}Ql=6I~*x%QK~C|}zgOX@m39rL_x>T#U!4>W#l(|Fq7NUY&&(g!rO zzu{QN*JSo|(R%jGT&&@_tN{(}Zz$IBT;-%L%GWkC2_0T5_S-sy!67wm;q||y*#e02p@SZr}KJj#Dulmq{B2VO1W2Hl!x zZ-VwL9%kLmv-7o5)2eK+rplUC)~sLyIc*r<>;I{w#h(a)tV`qH2ly&;0FNIVq=K); zkb#F?i3a?ffJI~f7XHI!IUT4>{ znOuJwFWiH8_N_-h;J%nTM1O+#vUI;Z7tJg2VB6lii*J3SEPI;%2z5vv+8-^)K@BAZLMDQueuH_ zJ8QLiU%%q{Ro90Ks$kV^Z17z}!TV^#uP!6{uE6!^$al8-|v^?kRt zd=*XLSHpj4j^bcEwc;NtktpDxi%$H%mFPm5FoIb;VB_N_W^^5xLV?f4L@6hF00r#h z*rr6oc~darx!8-cx%vz1<5fRU0#i^eS{QyV21exs4U>fUnYg!h;uz?sL}yN#Q0l@c T%Hq9?A-r7>5BdSWm92<O=+dklJ*HbqH;Hmn4#c#i!D z(8Q*W=IEh9LK`dw1g&_1bpV>!j1#m1<$!WPIiMU+4k!nd1IhvAfO0@Npd3&RChj*@BdiEs1sqxnz zRqEe0Ld3q#8=7}h*Sy-C<;}vdH=DOO_om?r4Wq7r5n#00%_IfqF zCC|Vloe%R!Bfxzzz`jSo9<`?IAq(yvkiQY9Ld}9LJlF_ppohV3V+3=X{hDrShYhA5 zv?e3{n3W5)JR7e~XIQyNcY>~O7IioluG8Mbyn`0lV^)Ud4Ydzia@JdN-f2YIVe2KX zt;V#m@rJAyxF!&qx;CvrFhb|v%sFVC<(eAX6I)QnweDymS{>K`2<=wEt}6hVnlkj2IELQi+MnfM=@*-Bo@`&8z*m3{JRUYk1z&+735N}d20Tu{ zqS5aQ0(L2y=NM`j6Xz!ce@^0af}fH2x4Q6`1b+qJmD#0e-WU8{GR_wS|EZ*368w)6 zzbg3OB;FT%UE)6x{HPw!yD9j*#D6aMMTxHoz9#YC3Vui8uM7S!iT^?HrxWq{YzzK9 ziN7iMFC~6Q@HZv?SHbT~{B6OHO8);Y_=^(1EBHX-_XYp6#McE6srb4cB5%nAf$iY&vbQRe3D;y>{yvkvU!!(B( z4zF>@S^~2Ia{|RkSus>rjFlCGWyNS&F&BD7yUKYfdyx| zRBq`PJiqArP(T$dxs_G6YRGsWulmIWMBnAO(!BDW4L?&Vmwd~sZz}=eR833_kBfm)y_|+&fp|>(cEpm6n@^HbP0uZ;t)cLS}RRMRHVhbgf>W(SU^AzAVqC+sVXg-iIc3B(&JXB5(mWc#`El5&!$3%8=8@3KF{~Q zc{B6*N3!M5-}~_WjHW?cGVnW4&*xl~H(0jL2;^-Q<{^XaF&K)pc~0uQiHhHk+d0vT zG1l=phIq*24Hg~ze!LiU0Ah^C5v@Qupd3&RCnmHF1ePD%dHY^6favTqUK{sm@0sBQ*g(7eryHbP}zWay2-MIYXDS*>cZ~fWo zeAf+eP6J=+L###y5v!3!#A@I-fDo&J9|}UO2EO=*SdC+dSd9WAR^u5&ti~`RR^wSj ztj2Lftj2SQSdHfqvGTQrSlu(#$4t+|H+ja|#*`gJ(J2yi05xOfNo)4})AUf7ozK&^h~M}Tj4zS7-biqB!;J_~M; z>6>SCj;|;3NHanBq67Qd1U6}%W#bk+ylwu)#;miUW?>xX#`REqwl6*#YE_JPx(2R^ z;xm2mnNVAx@trQkr~Bg5q4qJ&kNJ0T{xJ*Kgf+$I54ARp#oTdh(lSNNr+G1N9DCV1 zDPn;*zjVG?V4gHGqv(+d563TI-u+bEKpnenP9~Z$t~nUcM7o>iM4}tzy2G9>o^Q__ zPc%`kdjpy%*RDC1=%QQ?(z-ZbV2-ABot}=Lm%!AMc(gyzqU)Q+)BcVpnrKb>fQI%r zoamx8nLS;+o;|aWXrf%!fQI%rl<1;d)wC|o7nr$}4zD+M6Cm{UqiYtgNo_%6yKP{) zm0`XH;f)cz-$w@TizDt8SBFEKS{3DhazHtt98eA@2b2TK0p);l;D7AE+hyFG({R}) zXs_U5-q}1i*Qm6u+B$FQyjkJRGB!}qhVi}rpGsEziQvn+EdG6fuQ5mP__0AM_zDL( zc-)m}z|RR-H2!~qA01NjQiK|gN%P|O2MsPre1-J$694W~_{+p!)6)5`5^v_xe2w^R zNxwq;Es0+z{%48zi2qgMKO_DRiQgf9ER$Z(7sOi<9}vGF@q5I362DLUEs6hu_(O?5 zApViW|3ti=O|SEicuV5%5`RVF?-9Q(@%M?}m-q+7-<9}B#CIgVL;MBl{60Zm=hw5D zUVj!Z+@pB@tw=xOzL3(@No>$_5vF7^Kk3QHawZO4m+pBHb%xgK|IrVmY z{E5@>?3&kFYq=h*)tk%L?V7#C?6%ivHKFCL*-l^Ivt6%Nft7mWIz-2>3z!q|hJbSd z&I_0q@TP#WMOY@R5K^Wxr7BadG9@chwlbwFQ@#r2tCXQ#cU`cX%Qd&L+N^sUjtxup zYNOfLuen~`@t}q(SaDkG(XOH7e!A|}mk>Qi;97j-*;`(z(QJ57B9BVZld)9yJg2d= zfhI&(!+&W`;9xwp;vXuJ$d5o5o#cNj(S<5u3^RDZ$0twB_&P9!0-uYiQcd*$O4!G- zZHb19reMT#u@~iY^%vg9tA3#Prl0~^82`77Qw2f81R;JV?ya3T4*Im{%t{kVT^K=G RvUf2gYUjm+e!wqz{NLjDuIK;& literal 0 HcmV?d00001 diff --git a/cases/riscv-tests/rv64ui-p-jal b/cases/riscv-tests/rv64ui-p-jal new file mode 100755 index 0000000000000000000000000000000000000000..55442b77f68b51721d287450f1296b647ccfbb49 GIT binary patch literal 9544 zcmeHN&x;gC6n@<^qpSHby%wU02ZvqMgD|$^q8lcc*c;d+aLL z9~T=>A_$``z|`@hYD4Pvk#PLT6|f3e1*`&A0jt0#D3DNA7pGcFc{3wE zH?HN)5%Idhm&9pYV@*Q4N$b=kRmXp7Qi8pI{?C(ZhmI00E?j({ynQjwF(<>OK8G_G z2xm1QoYjGFhJ%6}&am;%;cPDu&gOt{whstr`+;!w1rW}@1j5-@Ksfsv2v=*%;o?~L z9rqgatD5(L>xj{hzPL(<#nrA~aF-0%0`L23jRpVat*T`WkJ!Qg9Dcol^?P(~h3H6Q zW#tw4#nB)7UHBuHQ0u+=i|DrpPdzbOP;>Zr&p9!2r{+1Zq}HP~a$2NxNnCQ6(nsY) z^+QS{XL-!OU3POEY@pW3Gmm!knvXU4#Geg`d%nvvhw>-$(0_jWI(JyR@aQ$BwPqEt z3RnfK0#*U5fK|XMU=^?mSOu&CR)No=!18GflSYDXk#hoRBi%Z?6m^DvZ&QUpg*6rW z2sG#H$G-k!Rx55IWYxMFZXaOVyaSKJhKgaUO?7%VuF!hXhcZfHO5`9+r`j?UvezLQr0W>2LmN?iBk1>2q-#O6LHhX_ z8U{j8825W3T8{&HD-CHiT#w?Zc28gsNj+52TAFO?`Kc}LZpvU4DANK5WhTQrvK_^d zq_$aYTmMJefs|>qdJ9uShtFY0Fo^mp`c6$TV5Y&`%bDE2DV|Z+UOsQ#0GQ2AY2 zMaASEPSM=fzg_eln#U8k+$z%Ie=?!Epm6n?gM(;PsM6v%&c-6yUD?wR zxL~C>4rq&ukN}BFhzl1GmtH_Zlq)wbJpzYZIJ83CsxIIBc;j^&fy4=EMtbwT_syG` z=g+%`vF5#(UU}Ix3@VyQf0Bwa&iTAUTRI_;_dcB^6a68Y5V>_u+Po7jE8};jj0!CB z_#P8{$mJcHO<5V2M1Xx27W0ZwqgFsGpcT*xXa%$aS^=$qRzNGD70?Q31+)VHUV$EE zwe%TxF>huRHilN-98g%}_zi_Lw45d(Zc>Mu#Ph;eo7BVEKmYa0g`-ap%^iRKPVd&| z!yH>WIMnAb2WS2q=2$?OQv<>rd??6a4i5e~%sB*vISnApc>oA=CV?>LK_JYT0>Ye! zfH3DU5XNiEVd+W#c4*h>W4`aMX{3YmUb;-P>9X%h?nTA9;60DmDES|6@m!~Flk@Oj zMtHG~`fWP1LUgRYvT_~#+~7;`EaCemA=keCEzzgDAKK~QIN!s=b2id}S=wi2k=G+M zGF&nDDA&NUj6KtWc63lZf-1>a?TkJ-o+lzd(4{{<<0QCH%ob!Mcyd)h*uls+Q>C+Qgs*|x-ramvETj7 z@}XIu!m9~|wr7T!LHU(w{641d)$u;srZ)Y6a&^-RXa%$aS^=$qRzNGD70?Q31+)TM zf&YmDFU+IRBu>L^GM<84Pqt4l#tVI~y~VqLck8@cLq`o`66gAVYL>i-kX7?6+&&oH z7bp!{goAda;iykFx;?DWgwF|R2ESjB30HNG3N$choIk1f=PLYy;?Gw2a|iGj6o1he zU;hoovkD(7zF*;{T}d zUnqXIQs-BS->mRogSYwnb;s-f{s8`G!SlB~p8v}M`8O5s7xzv0OthzAV&4i+VK_hk z`qFDVtsW&&8nO0v6tZ4IED8FB|8^3ysLgsCy_C^L&|TY%+R;uJ^;z8OQjcv!NhxMg z%GwLWf~14x7HBi>z7?#kC2-e+c$38Vsbc)p{x~>3by32z5>87vL;WC4DeA7Z)40DZ~H( literal 0 HcmV?d00001 diff --git a/cases/riscv-tests/rv64ui-p-lb b/cases/riscv-tests/rv64ui-p-lb new file mode 100755 index 0000000000000000000000000000000000000000..9aa3bcdb88e425bcdcace3f446b7b5bc1fe4e352 GIT binary patch literal 14264 zcmeHOO^6&t6n@>ko2)Uqo$VOcWQoJZn1eFTtea#5f}>){!NZcDiv-3=ZznsL-5I+( zndD@<5eGzJV+#Qz7*Ij*67&!S4>1Tq5RDKK#GgbH6j7KUxy6iMRlS~{N<_q?RZ#W1 zzWVCDS6^4pGCN(*KK{g3+p;JtHvK`|O9WOD4ax@_l@)D?rpQJ+L`x-iP=KyzWJ!AM zHAnR_oAE@9C1NNi8Wfk3UhA^I%x3c>$23L(qkvJsC}0#Y3K#{90!9I&fKk9GU=%P4 z{3``&lng`<QhwDhDG)8-9JV324GP={G%X6_3*_%MfH}#qIyHHsNOBGsNOPI zRPR<;RBt&fs&^YKs&_jqs>m%xjnYnl2R-_9$aH;Dv(7 zQQ>D=g6j>slWXZYw=&S30(Kodql?ng!tpIZl&5+E}ab`X#4%uC4q(CH#*my!E5gyZ{`rt-A2fc>SW&L@v^Q zBK)sr{tuid_>02-sKQI%rwLs@vOufU8J9EawoL0}A=`UILw!f;etiu}-xsWCHuFCtu=N^12F7j|2LmjTn+wI}f zXM)@1BZtw(K!=aKkB#F#EG&HLJZIxM5%(9>%31!(XKXcg=BykOemdg?F^<>;+fOV? zkFLOTx8lbAd6PXGxpW$?Ofd==1&jhl0i%FXz$jo8FbWt2i~>dhqkvJsC}0#Y3K#{9 z0!9I&fKk9GU=%P47zO@E3bd((U(mbdks_|cYUCdzYXdF^!-Jb9s}uD?c}_GH(d-q? z3>q4;mf`pLe=3eTQIP072d4-+@BQ}-I)opsb9^44564RcTES2GG(cC{8ccXy0L7wh z)bHmm#^EWEm)xvp{2>jWV0=o$ANw182jjb~e*aHO{Kj>ang5Q{&!1sD*8Dup_)8id zGX9o^A7=a`4NoKvrE~ppUts=ujsG&^ziIfZj1SoTevUIfrr~cgKBeLBGQLy8-_kK&iJf`UuFDx4gZtz zPc+=dMtAXCxZ1j0#`XMj5=TS*_hkd~bwBq@9H)A+b2u^&qWfUon?0w#zkgy|@z7+x zMqv;Iart22$F-2+uu{*i8(}pL%5iPB7R5AMnV;Dol!HTlP>-v%d8);;LDX;vpCs_0GLy<|RA!T8F}7J@Q_5^nrdVKGWUCyb6;X=tiZJZE2uJ8;OpZ}R z5Xoi#MGjEhLiI`%Q7}JKj;j0SEAfFapgqC9>U>YX9L1F|rZQNxH>}M`2`C>Oo{KAc zVB=8P+3YF~4#oNEd^MzkPt70SyG<9sEK!|I*`$cS&ue>7__U+j)0T|bGu>ek(d4CcxV%ODZw{>~G z`rPi~B35q^ef;&gp={&%Enb+==N?qNo+isETfC;$T{~mKOo_x$HfjO2F0BBkqn(_g QnmImax3vcom-_s_0H#^aMF0Q* literal 0 HcmV?d00001 diff --git a/cases/riscv-tests/rv64ui-p-lbu b/cases/riscv-tests/rv64ui-p-lbu new file mode 100755 index 0000000000000000000000000000000000000000..bfe0d36311c9776523100d1995e224e76a7d86f8 GIT binary patch literal 14264 zcmeHOO^6&t6n@>kYt|T@&UTDzvczU%%t0Av)=jbj!O>s{D7Ylqiv-3=ZznsL-5I+( zndD@%5f7rUv4wyU45%P@33`Zvhhz~3K{P@{5PuR)P()#Z*E$pcT*xXa%$aS^=$qRzNGD70?Q31+)TM zfq$hyjpBjuL3bj_#pDgOtt7Wd-hi;D$fLI9YrWY{5Y@q#`UKT6VNo4?_fJrr0a#QA|0qaM9enXmP@QG4sLl{9s&gwWsf8>C>f8Z~DsoFu!wsb?o;^s%Mcf6`2p4x2!YLXFr%DBhJ;s;|yigE1 zN_?p$xXz$W&Yf2cZ_gm|w`t2X(b~c3>C?d1FTRtm#e2ylaP8CY6P;Li)eaZOM2rH~ zITS9MJ#mI7L_R{J<1X@vOTSu8SgVyw441so#+by<{9-ljRG-8skY{Ij>1V6y3LN|r zd8-;O^DkS?g7AYJr^p*=tdn^ClGQxdmj0g+{zoO=`q64$0FKy3UHE6be$i^S1P=eP z@V|!nKX9JlFAD!75-)w9#B}}W5}7i_N%CF~R?D&Y+ax~OKDt!rb(|vajbK$`oJse9 z0(BUKR<72oF3k#oGXH7gO;{Ku5Lb|IARw}FE%JS zwi3_X${Y9RP4;YP(;2wZMJu2c&FDrP! z_}dD8gz=9RJWg>a?e@ogk@@Ep{ws|Crr@tJK4A9yIl=g-g1^Q1q=LW4_-+ONAjPqR zlsrFTeys4%GT&7Acm)H+pi>I}3+Ai)?JMSAQuyC7zCyWQml>Z_@ZTAqRq(5fzo6iM zGX9Bzo7m_!o(o%9m(94EznkJ{sQffUE7p6nb>ng`MSu=dTKQ_tHm{nQiV z+wwIE{LqiehkP%p1r!C9dUo9is*zugYO}R4qS?y)%mKgbANKruRISZZEt>U%o_^$q zQF)xAnMy?aD%As&0uM|2)&HS zF^UM1a@l{80~EJXy%L7x&(D;@>i+pkbTIH~ufM-K-_tLLQ6-3|3>NJRYICUsln;;0 zMU}m<fVFMh;Ph)G;1+m?2cQye&Y0! z&s}xSYw>uAZD#Jng_w^|G+DBJ{sdseuFKJG zYx8{hx!uJ@tllE}`0H~+*}?N$yfC59y{LFSEiEH#@tRt9?TiUCDH223qy$vDv=W?- TcIgb+%<(z9?LC;dROkN%P^Eh^_-O#ey2^Iyq>51}OZ4vf^j%@}uaBiA`CTn;J zlkr7<5+IH-kIiulBigLNVnUdVHtEGN9>+PVQ4S~vlmp5E<$!WPIiMU+4k!nd1IhvA zfO6npIZ%Z#($0P%?M|;@JoG!)zUFywG50{trSMA7XB|F!fN3c{|KwK0V7r`gAuEBD@Lr= zMvPdk+c09aHetkS-Hs8fbq7YQEVl@&zq5G7G1D;3<~^fpe*JLXAAl}@pqLlfbAk&OF{kG0`H!>w?-$(SkEqMI>*OCY{oSPh19`bl{&klB z4w~n?D1;kRbD*!jhIhfKdp*Rz5QR(4skzxT-iKLm-uAXd+5*4UY23H$y|auBY}}e_ za=QI)OYg+%%7$M%4_}Y8rKHYzuERc0Tx;$3%GvDS)zUJV)-MUIaIvM;(p&l3a!kLo zrNeV-Bz3-II_s`$TWwQIV>8PIG`1HAe-^&5FbAQt&YHSwnU)UE#Z2fFKVv$}TC1$5 ztCnhMU@p@=Y;QPo&N!#zK4s&+gjKUOXY&iXIJfvQKgYCN=kx45IA&gVLJgv`9k}mx z+`K=muxI!tETEJs$^qqoazHtt98eA@2b2TK0p);lKslfsP!1>ulmp5E<$!WPIiMU+ z4k!nd1ImH_)qy667lmdcD_#^Dj}c%T0YINn5HuY}`G1yaGE_8|pVni33n`v4XV`k`It9>P&6 zbR+_Y%He!k<_LKSKC1tzG|Fj^Dhl67hGZ+xf$Uzb5HCPxz-2?h$@j!cP;v zRd3f1Ic`9g-HyLX{CU4e^&G{srR8*W35R?@G1jd6DpA68<~k?@Rb!gkP5MYlNqy_x*3epOkPN zFLVS)yuV6;3oe8MfcryO@Ys8q+G8jQMLq93?^Q0j$XxE#Pp zxpD$H@URGdBJ2@iFJ}?9Phk5+I3PkHPq9Ez2xH4;DWED&L)rxt!d}dzISM!l=aPPb zCMX<$@v`rOJ2qVME62ym!G!0+kbAr`mgtxKpzH-uLKcj8)sx%;$oZ#F2IV1)fhXc< zd=$8+f?Q>+5dp5LOg zMT&8_4-eRQ+|fjduNzx*ao=q##kL+m4*PB6k4rSLX}s9C zm(Q}fl7;p0ug^{8D2;E>!k9lhu;T4%ymV2-+t!xXP8bXQEHNy5qzR=ibRehY9Umc@ Pm*}~>LkWx>%H#h5T{(>A literal 0 HcmV?d00001 diff --git a/cases/riscv-tests/rv64ui-p-lh b/cases/riscv-tests/rv64ui-p-lh new file mode 100755 index 0000000000000000000000000000000000000000..6287cbe807cb6b2f16b8e5077e6b73a27e626802 GIT binary patch literal 14264 zcmeHOQD_`R82)!RX=AM3He2hmw`GYtchV!}peXw3|dpT(HN|Y$= zS1s8~e8S^7*6|^iS6FO_(%z=|5}(8gj;^!mKr5gX z_*V+lAnFO8bVuS$1gx)Z#hFE5J=~uI25rm90QNI*6f(eh?8OY!@VkF}_0)lf9tGGs z^vr6l^>#bPtPXyukI@_xJ(`2x{bMwz2R)jD|0syj9Q@)RqdDu*qd9%((VTnGqdEQP z(VTnHqd6PUqdE7XM|18+kH*&)qXpZGH<;ZEO`dn&G=jy6d@v5#V7!=@*j~b1#PfN+ zMv0$qajw&AgY&>GgB|L{_1my}5@2)hw!YPz_dsQ8=JL~pe+vEc&S(%2^Pm0vAvpgyhG$OE$zy!eaNEW)yb zc^0g8Y!rbFG=^kMblqxB!Sc;^`^>^kTh zJWrkH-$MMWR`W`GEl&h&u($jjvMt=v%?(=ZnYC z-dQ%VJ26{$%#~COeBFtmIKF>27;NZ{X{BPWT;ef_9;jb`higyV#xrB^b1nB!{1Pt@ z2!662yV2L-i#^yWK77IXNsL%aw$YR3H;4Gyoxfn6GVwm*=K{@e4YuhOQ;wbgT#WH~ zI^%ghj@Kq{vdDn=)JD87H{N-E?{cOC8&+^CU9mKr5gX&sKTUY3%=0qgZz{M?`1=ZelJL(IJQBDC>)h_VuMz(Th5r`ee<=8A!fmsAo->5+ zRPc8Q->={w5I(Ko9|;^!in7j6h<{q)e@grwg@1wg7Zv^`;;ZNF8{)4j{L6$tu3WF{ zgukTVzZ3qtg5M(iT?PM>@M{Wg;z76ZzOa>j*@Ua>cLk0WbYGVp#8>CpDR6wNCwUJ? ztOMW)^!DBEQ^xWK>$Sb*Tn&6L@WRrZ$HJNqpP+gd^q3F%ZC0(v3(rD%~!@B5b$B#-!ULT_I1tKweIa zHP2GOSuqXGUBHR3moO1UEw=$#02m1-q~90``gHI*SJK8$naF!U>jkK>By z!u&_K8RPlsz{jwX5{U-Achz}ci$;s&6ZaT4cszch$&#EKS9bApx2qJpdH^}>cf}{? zIxmT|j82r=AHfmKUGEU6VN<;P++G{yxzdIA@vqMvWk1EYXk%QTZD{y-nkZTF_?X(- i-U;Jwj4uq!sFG0W!baqDv=b4snjMvXUkc+*HU2La-svU) literal 0 HcmV?d00001 diff --git a/cases/riscv-tests/rv64ui-p-lhu b/cases/riscv-tests/rv64ui-p-lhu new file mode 100755 index 0000000000000000000000000000000000000000..72f7e5cc145b9798206ee614a98c5c12db033487 GIT binary patch literal 14264 zcmeHOUuYaf82@%RX=1FsZMN3fhPtHx9+dO0CT$7@&x)mjLTJs46t36FwmEHb=k7Mw zKDjjDgCJa8p+W@%;*&lUeMo(aBK`sKPqCa}m1rr7AY3U0A8OBUX1?9*O)DZk2{SPB z&HU!~&G*f3XD{4k_r)ik+GiRDB*ld5K%-c_T`c zwR?KxD6t8T$5_RuT;5=@A<9~t)=O;SCpfy%3TOqi0$KsBfL1^&pcT*xXa%$aS^=$q zR^VSLP=lx^c-S3{a}luqjuq#czfjFrF;)k^_{UhCKD1b!ezaJfyU=2F z2GC-4?naB%S&bH}a}Qdq&Kk5>d2TV*U~B0bvwPtzk9*oQg64rjFablsM5!RLy@a`l z7YaN_iGS4QT&LFt=iVCzJJgH$+pudAU}Nv(o6={=X2LF-w9yD4Oh-BU$I&X9U1E|Fgw8y z|7^9EIxDg2zy=$eq|d^#)mrYX#EO8eYYfwRKl0pHVl{dG8|2*5U9mKr5gX z&F$;eq#XtKmSj~l5Z45D$l~V2-4^NGm{qJ zLjx|o5733ml_>kGX&N;$I75pv2Clvf0!s`nDzQFOMD0zNB`~`*oA@O?@{-?zMR^fj|eD%Ct zBK~USy8J-+xPo6Ld|JVOC;SZszd`r~1^<)qKNQ@=gKpz}VJrKx30L!X1&$4LUzhE~ zSJ!z+;P_Tg@*a-J1K>fl_MPri#-5&juHZkJuYvCcURa*NLDV4Ess*fRWS^$UBrcOlrSkq5rYUWtzV=7#obV^1Oa%nQ{|v~Y_<}f z@I5%<9jne}#^oTa_#u>$1xNkbjF15G!KsW10TamN+de;-c|a(7R{E(CT1IUxIccP$&#EKR}S%W zx2u%8MgVyncljshx*&;^M(U-GM{x#Y*HZ#@Z1R_%+bgp?R<`gl{`I-7>?i*=ZH()) u1uH(DCdv?5d`xX+?}TwP&J)8jrUX=muogL~cEUq8Gh@>3%V4~#`u_#Nbn4&$ literal 0 HcmV?d00001 diff --git a/cases/riscv-tests/rv64ui-p-lui b/cases/riscv-tests/rv64ui-p-lui new file mode 100755 index 0000000000000000000000000000000000000000..aaf4b2d0e138b705e57a4533e6332a5809756208 GIT binary patch literal 9568 zcmeHN&u`pB6n^&ZwxK}RVW=qTfmNbHrAo^ZLVrj|xF8S*kfMfMN+s8sIEkfXZF#1l zsE1fR_JFn+fdmM+RH`^3IOM_s@fY;SmH!|W>aEi9&3L@=x{VNUohQBb&3u0I>$82B z(d@qa!F#UbP-QOtMW&W3&Q}5U!+eP<`gDO@#G`aX=XMn7sh};d<0I2qg;k!SkEq0+ z3NVlII=-(fL={%;3~j+GU=^?mSOu&CRspMkRlq7>6|f3e1*`&Afq$VuLU~)f+FLBT zIq{istLTo1w-x?GoW?EICDgmLL0wXL{G%=<*!vfM-dTR(C8GJcw;mKsb9E2xrd#;p|x;oE-`PLKH4 zX?t&fJTC5gKDfMa2E<32+b!<EfN1VrSpo@eO)8|d`jFK zxIA~LxHF4)G5h$OpRf+$(QlZNHLHMCz$#!BunJfOtO8a6tAJI&Dqt0`3jAjUF1?1P zSuFStIj^AD$#%{y#tZ2n*j6D_VO@na1e$S;cBO!wYS`Xtb(&g7nSS;a<63$T?3PI6uEfDd>FqGG`h*qPGcv!0k zLWY^709mx2CEI!e)EA#_%WxGavl2I}l8kQ1emsmN_04qq`se9~QfBe$b<9W0@xQ|< z^q}4fj@v5Bb-~=%ncT}UPknM!V^s>jAx_?YFrk~(7^;#iSp;W$RrcG4h@6A$KYI0g6S%E~V_P8FNut3D@d RujPI`Usn7Yr;5$?e*>|O0;2!` literal 0 HcmV?d00001 diff --git a/cases/riscv-tests/rv64ui-p-lw b/cases/riscv-tests/rv64ui-p-lw new file mode 100755 index 0000000000000000000000000000000000000000..3f84030a398192d17a2b89ebd4cba3d8be34c134 GIT binary patch literal 14264 zcmeHOO^6#+9RJTu*2Y?!=}xU{yVPO(bx>kbx9t`R#;?+Yhq84qQi$2vY&Y0V;>@&Z zL2&4T2SM06g$jF6E3$$fiXPV9)~YBdS`P&gmHJUBf{;>rtBt=m^PfrbS`qOiyhq;q z&-?v9-!E^nBs=fLC!gA@YZ@g@r)$KsKwu>?pnbR_mSQZ?80i?Zv?8({5TGfBs0F=p zPbQuvGO-gm?hq}H+vPZ*QKu)$}gt>WgGD4muhdPFpBg}Jjh;k(CoTqctz<2-fr;`Wny`N~) z$Rjrz?bkaYvRe33AEH}2B)VllqFeY4AVjzDLqUjc;fsHWZmobsx3ZAv)}4^()=Efp z>n=!iYZWBAbvGoswHgv#)E1(9TS`|QbAV2ZyeD+cn;$QD`)SDAUn<1dV~p9r3k6YQ zjGu1{TWi21>z?bHb8rClo3v|!Xv4t7#1imL^KVCMabDI5w&v3NL<=WgHNE)}k)wch zX1#g6C(q!hs7G*g+D1J=>33t1Xvyf%!rZl7sM+MKZ*7fr!4+e%1fAAdm^0d;Rv>4% zwK>);|7I)(v}Cn&&~-wsM9#+6NUWpF#^N$9UCXr*6E*KA$4qsxyQW#jmbP`l7$U%D9C zi+v}2xHf0lGgF^o;d80SC-^4yN&J`#$MjaGe(Qx_yT`BemGDcr!TYx|wKd0YVn1nO z&oftFSco0jCp8VWvZ;Nv4ztI;^trH4eUf^HTA9=b>o`3k_V$TSjW>1NXEyFDbj{YB zwa@FZ?)=A*PQ*&}1);~@DCkb0QFw9}DTpq4*uwZ83E$56n1nz6H~0a@ z4{H7KpNa5W*HvcwD@MQl6ywLFIL|SDO2S>n&r0}l#=n&CAi@n=W%uWOiS4gQ_OCFW z(fjRBF>Xuv0^@rm{4K^0O8C2szaZfsM7Tj2sm^n3|DI(35!+`a`_I_^l4Soi+spgy zBHIs1@5>L2KOy0l8TTdp560h-@av3!BH@2Bp2_s{tYf2_xGzj;T_)pl{dR<7p#C`9 z*j|qFV1(mTPjU_?s)OhONb`30spC{8>*KzYZ;)H{s($%s)$toH`EI3|T({hsUoHEM znTF@nOr<_`xLU3rbE-|h)~Hj%pQ*Y%bHD2OR?>p#g3n#0=e1Z{Vws4oxDfvMM2lOpZ|r!A z&)vRO>YEYeG4JzF_H`jP>>ek({d^QKayMgbcQn~Q{@m{3B3Ew{bNuzWrR`(?HZM%@ vvl$(ar$uduB_31juAMO<#zbLgJEVltl-9r|oqm$Ls~^vM0O literal 0 HcmV?d00001 diff --git a/cases/riscv-tests/rv64ui-p-lwu b/cases/riscv-tests/rv64ui-p-lwu new file mode 100755 index 0000000000000000000000000000000000000000..1965dd68c64d5c82e750aa0ba99c0008a9f9ea2b GIT binary patch literal 14264 zcmeHOU1%It6h1Svv1^UpX+~pgOC8cbQCW9u+NL15tyoIwLuf6C6xQuz(kwRFb!OVM zP;h9#2SG?3p+X7@>XR=;h14fg6%-$|hy@Xgrd1ouy@QY>xmTx+j}}hvzwZH} zb%RgbtTon?bh)e8@^?uLh1E8t;bZV}AiP`c)rJ#G3Sy24 z{&7RZT0JIN_ukN)gFTqPN!tz(t?oH+U=H}YnRnu~I4|pjSaa?@qS;fgn*Pk7$Wg#L zv;K_Uk*9A+%tvT+#>RZY(r?Bh(VWqw+3D-KNVCaVJM~b~7yfE2me8l6&uT=Gp+(b1 zBhm`wteJX{`M(&8AXS~qwr#L`bvEX9nO*Sx;GGM^YJ~E#D|xJW|pz6rHRw;_gi`&-Y1)`uHAPt(k^zy z&wm}qi~Cb>B(0nQzpup|5ZoU-xZ#&AZj0Zo75FP!{C>f2bnxfD5d2g-r*Epa6>ILh zh5JwwdxdrQ+(M2xUY=wBRJO%iC32XZyiWzM&6Vdjm1%LYzB7aI9=TvF=-96|_9slU zHRqle^rUa+M{%DRv(;Y^{p6Sh-3c{{POrrNUwQjJSz_<_Ce33gRg?ls0i}RaKq;UU zPzopolmbctrGQdEDWDWk3Md7X0!jg;fKosypcGIFCO03s+l0#=@7UI%>gIZ(JRz!zsK!J!ii)z@a{Pb(pNf&3CXB;Di@g-Lq7=K*CH#0sg;ZObz zzMt`fTKD+R#`x{)Dsy}x(;Yv`_;G2R=NUgM;U44XCHw^A-%EHH;|BHG-FaW)_&=oh zR~TQTcgMfR_^^b}GJa6P-(vivgul!9+YR#_Aj+e)IB*t;7Cq0J~&x7b;cypNq=|*;CxUCtoAa_1&O+%yojAM}b$Vr`Jr(#>&Q(GFZcC~u}#BEPpvB18_J{cIb$Wp|pNW)_nF%Vj5Bd+tOQ3rmkzmytCJn=vL95ufXaxXF|RfeOF()5#6(az1Rr>bA5X6W_jr)6PF4fT zvtW75sY3bq!#H0F0YpY7+>(YtJZlf?k%xT-9}spK0eWs zlHNCV(!}R(S1EP1i1KK6@zeXdkOa1mlP%pI0*u`Cq_fH%K&>krq*6NW5NxKiJ@$f5=u>4iI|plF(aua_?+FY4oqCi{J#Kl CTNNh& literal 0 HcmV?d00001 diff --git a/cases/riscv-tests/rv64ui-p-or b/cases/riscv-tests/rv64ui-p-or new file mode 100755 index 0000000000000000000000000000000000000000..9a1740489f529f9ebd51653a3955a4a03815d0f2 GIT binary patch literal 10232 zcmeHNO>ERg6n?Wm$(H`ui)p(hh?)?n)Jof3CnafBwObGfA=*X|Duj@h#W-YDl3mt@ zrD~;GaB9V2!IfGmm6}VX9wTyC4n3qlhaNfh7}P^^=wT76!~tph#`7H3V+U0AR(YhE z=lMMEoAHIYKH(`Yn7Mx1Q#xQ~xLpPl`e{u8>??2{6yW2`83h{n-`~4?4=v~JVt^4+~Z@ltP0xme>3xR7UNf8@&v$0_QZ)U;=4QF`?;83rU1vP-CF>QS8u9z zXOz!T!aQ?!Cp9q7)(IXD*QkqcM;2YR=XHR2F7zhziZa6P^~V3yp{pU!HLdS?2bg#5 ze$Qh%m@l+Xb=97-=t3XI0w1g8e?ncE;`^kL&-Y2APrC215|}&MA9bOR^YoN3e_vU= zb|1%7z}()R>EinFF1j&(9fkaykEDzQ^S8gZXReVcdsXaqV>YW5=FmkIar0M~ZpimbyD#&5qPVv4SX&mr^pF$HV1%>CbbVopImJLB?M<@;yf20C6db>Ft@gixLkrfLL7c9K^|*hZfh6g^5DLq^$Bu`U7H@5YWvl}T*yCkO+@mE zT^nGy|HlUN3G#@ICzOxMaR2MvHyA7Lxu_PA>zdEMgE&I*2iJNe53WgMT}lksw-Am+ z?6n}DXe`0HRG3+4ZyWUGK99{Mc3q|!uCE%Gi_b^bQ6!((bveV#o$W1hOd>9k*XH>& z8Salr0L{Q~vBmb7|q*eiILZC&0sQ8${U>O601yqV?AIcy-uw&4HzCzZ7Sbpd@BFfcfc zUmt9IFA&1H>vnRjYu(K;<*=Yk{0y5bb; z3v~yIq-oK=vlnZQ)2g4ngrfOt_FtM2bmqHe=n;wQAF2Y__+E_8SI7otFCK9JjXQp@ zZ*(yN@9Uvb3H1Pq*hk-{1jAunAmYCM=q#UWu<$-!C6VIl0@5?W;_GhUvF1b<3S{v$ l_oLVe<7R10bWTbWN?pj~u#Mb>i{CyF4=Sh(VEj<_{|5n`2Ppsm literal 0 HcmV?d00001 diff --git a/cases/riscv-tests/rv64ui-p-ori b/cases/riscv-tests/rv64ui-p-ori new file mode 100755 index 0000000000000000000000000000000000000000..c7415e4a6b958fef2c8ddf7ff2bd9d80808a1e63 GIT binary patch literal 9816 zcmeHNL2TSa6#ZUjlMtYGG66yx!Kz8&09rO7v_V2*0a4|^A!>?>Awq}~(v0-y%{>3_ z`SU!sG}hdD^R0^|O{27w=#XSD;9Q+oD0ik4;jfH3wj5XK$>!q}rg z7&`@o@!TSqcdq`xGRyP{A9uT?dEup+w@4G-V!f7duS>21zE(V6nnQWyMG__>&i^-+o7Yj(dP+TH%x^un`zj2h-S?1iPwIAe1>AFffC zwBBw&F*}IkNQY?^vL?4CyJl>F@38|ix(w|dy%%XUvYy&H-K8Gw2C;z{r>mpAb9gJ# z>SUR?78^0Hk%&7)d*{%Iv_-PUwk9wZ;> zPc{dp58;`OVV)KGW&F~gM>#oUjeBFlKa&^Z&pI13hM0b?0a>TLQz9mluZStenTYGp zBgFi@kz=`~c|D%Z>n>RnTf@1$_`RWXb{^0iy6$m(26OpvU*S(i-=EK+pUXXd|59{~ z46I*h{3BVRQ|dpP{n+8_I@0!`4>U4sB`eS`I|N6nRE{+sG<~53Md7X z0!jg;fKosypcGIFClg$_fQreHx$#y#h`6oq(e8^96xu%IZmh8e;PNImy3L z;AbU2U*O+3fxj&It6Kj4??`?@&+`q*`vw11$%h4gL-Jo1cwh407x?!j|676Imi%-n zpU;Pqzf#~s$%h60j^w{7@OLHuYk~hl@{EzUfz6?UqkfIoGQAa#WkX@3xk2U@}6>|5BYnFn^l(&6t)zG~_v@ z{&^&MwJtG*XVBpB{Vz)TJS&L@z8kqx&-I9^=p)uC(6mrVnB=>0bXBapqplbmtM^z5 zDhY-6MihSbihr~4`&5((iTI6rl)L0OtWPDKIK%N~ar{wm{kdm+uS_SMdWPf8V*FnM CBdYTN literal 0 HcmV?d00001 diff --git a/cases/riscv-tests/rv64ui-p-sb b/cases/riscv-tests/rv64ui-p-sb new file mode 100755 index 0000000000000000000000000000000000000000..aa8e846d34070f61d8045f7757b53a2ced9e3a5f GIT binary patch literal 14568 zcmeHOZ)jUp6hH61WX1+zQKeI9EN=m1nWLHg@N4|qM%R^R79k6B0~f_hM--yc<#L?ugPsiL_gjO z_nvou=l8qk-d|o4+9WSM_S80A)1cCHxCS&UGAzjkY**SuWMdLKK*uoxb(|Y!pveZ_ ziq-KPPXbh8g~w_vVnmw_*i0x^N0Zj8#EOn{)Sw(t4k!nd1IhvAfO0@Npd3&RCMsuuoH?_;-gjMyy$BX%o<5xa%|3-Ga9_=mrb-KxWg-HKquZY{=$ z-CBYXyLAgj?AB6@*sWVJVz-uI#Lo8SV|UjjuR3NJjq znpurFo-^W(=~ZN5^g4Pciw6rJb6I7Hu#Nqk<7+lJs|s5we}(y0;(3$% z1}EI*e-|c=lSkd}7qVb&}vT7CHoP;xg8O65||>vpRT|E|zZ- z`S_1)AEnpro5tbEve?HSmT#r}6x&Di4VIt6JnmH+V)+)z|A6_K63pQ<5)pf@I)7QqqIho(!YZKyLgUK5!)*we4{wfN~!Kl-aH+jQZSy*rB z4fy!kaC!C4Sznv1@MnoXX#slAHOrZ1)-elf1I;R?nIg>uX*$1T8rGv4tF;Do6SK~3 z1v}8KWV-2!?mFXAz0XTrlVF1LdU!X33bo9hJk{3kxdjXD3~2JWvR;B)`t)%ibX&*8^YPC84Yz_Ap2{gRco+{1xGeU#j zu*WL!&(zSrP@vC;u5$pid+;)xKhV~iZ5fKE2H22h!#+0j-~bVA z34T8RPt6d&C@9K21Aj#jeDA+1X#jrsY{LTlP!&sD;z!mHf~#dYfnOKEroncoUFS~1 zait=^qyaz1!=}Mj32!01L&6{V8+;exyS3W&pXK=cbESyi6|Uv?5dNaH&U1vHl<+*^ z7bW}<;Xg@uk>du`*|l|FA$~}&#a|8K{z3R22^UWl z4c?OQ2)ofS`Gtg=gomX2r;+e}3BQZu^Y6nb;hN<0y@cx$zKL){!nY6}lJEx!4@-C_ z;fo~val}o09WW)ln{bfu499VRTA%xgFR$}F$MIK8mERpPCARypn+v@zInKb7iPk3u zV>!rY+>Dnxka4_R9=v>dsB&G%XT40y%k|}45Bk!BJ^h(f=Ae@q^0K)>$a#I4eAV2` zxL&FSyq>fN`_kEd;J{`PT1D6*LK|mwh)KH$G`nBS5^+wc%o2RYKvpDyRd}Su6SR7Q zmQUdNJWop}Xzc_o*Fx*G;Ie$vv|h_*7)raYsKrNd94v!}!Xh|g2^_@%+95O8lXA1Y zgK2MnJ_CC*z1hL4dCK+Dc@I*^f_?ei0QV7M?x6uMy%(dG7qPE$hgBZCU z!(wTO@prIT+Vk?+z58*`{IUHnLlcVG-L+_Lks`mO->C(^Z=-yYVkNA{3#P|so@kZ( z&K6UApQ>reni)V0=QaAu{T~-Z+D4#~=dGB*+Cu?>E=_f0WSX9I73yItENW|58jSdRPHlF0^aI{58&gyKau;&C4}CGaDNqBy%YDSm2R%MG>GfpLGYw7`vvc6UdeZ0tocF*u^Z@g7 z4);I}|Mm~wKX+*RX8^4JuddZ@zOo)*Rs;X253m~vwAhU#TI@y_TI>e?LqUMuz(4#0 z><0eZK!Dvyqs4A)MT_0&MvL9}7+UPcHniA{`_W=IK8_YUt1ZCpK3u%z=qY%a7Vhv zIA;@pzIymefYzBG>h5$u%VFa_)9!SlEl+Qr)x$J;*~EJM;@=9|DD2RlOc@zXGq}y5 zeYM+~Ga(rQgvn88H4mkNAgKl18fedV2bu|v-Z(1aEdHgSy|dmK=WW#dG8ma_Xtf#Z z4HnPGc<-!t##@1)IS)awgf=-7Xf`+xG@haQRyXQvkC&ODxU<$3UZ=KEXL~$jhT_f! zS`nPS#$l@Wy@K|URByC@mgiNl7I?iF_amv^NC%eZJl>NLaCSDnMRDKVs5gp7dcI-a z#{J*ks56Qa>3NjZ_f6XOA2!wV3X2Epo9j8n>ias?_xp|d?xE)buM^`&_x)aa`t1G} zsovjhs%LzjHq&#O-TyCB+}{+Q-Hqq-?XyPaeY`K{7L5$6`^mhx|EI@|GjQ9o`x8w( z`=PrV&+5wAAh?0|CRhvtR{Np6I0Mb`K$`*Q$Mw93?Y~(Vp2OIgJtEd++sNF)*tuO4 zdu!k?ub=;w3ETVe^PEU5GzSt8J~oFrj6EXeyd4A|V2;6Elw)h4&4Ke$JsW6?{JSPx zzS`aLm#=T%g)y|@dCSf~vYUGASWt@!|*IvQBBmZCXYNTT>&waFwd+kNR9qe!U zs3XR~eG9#lh&2rj`CT!e=bmck{~)S4w5?u@!Ooh{dl2VM1CWnrgU%`P9ox3Up zbjEps@JkZzb36${W~cx6$p1sh|3$(NCOiFKBK(4cw+LU8@ber`LQ%^5I{81{)fxXX z`5%z{uaN(OY{%FG=_+;eVI#zY_k%`#R&_Bz#Q5|3&zW zgo}@g2CEXDW(OS?cS`3(C;W(n_YuAz;h*C8o#)UZJT2+`Il^@be}wQp3ExM!DdArs ze6NHL6K+fRHxSqHdtgMuM+pZBuW%d(=+yrN`O9&h^lt_Kt4$*~iaQssH4GUZiklTh;} zD)qLxS8=`40C;0%5000sCx8Qk!sLb7C(M5CH6$hlVQBUxG0WN9C7R{a`91Y2h-rDFbR&B0!Oid0#qi) zN^W(0vg|!qufVa&cy+REUUI#1-GdT(!SQDY57RPnQa`0asBt1ky| zdT#lny6|!%#GDp>s1LDQ3AEU)BwFlN8(QoZ{-YqoZs7<25WBS;Eq1E|Ep}@KTI^OQ zTI|+&Xt7%>(PFpGM~mIM04;W^EyV6!S@_vC+hLOO?n@Zn#C=(BBXoNk3t5TX%9xFK zHcK^1{QU*;wc1UvF8s}Kx3pvZCge8*tZCo8xsJFq@v2yh`%D7R*Q_4}IJEDe=}q)d zjx4UT!<$GnkP|5l^1#xSOw z1LR{v{aB-MXn%4lG_v4cGJdP{oBb}II(q{BjyMO=@3jKdt+OZ4??`AAz`ba^!12!H z4^zCu;Di)!E7Yec-ZZXlBe?1Do2B2>x1z2W?LU)~Qw>?yRyx0d&wmrw^%D8aHWup| zqxuJ>pZ#?{g?dq4FO%PVqi&%_qOO4IAK-Xj#&xk4i*-#<{r%Ff@J0UK{`4AS?})Vz z{&dWq#QuW-^-UCW|43*|fjd#_mA=8}`5fimyCMu`8q>Jm)jhZ`5oPbZ+>CparY zV+Pz8YMIcO6??Njhk68apR8VozQ)j;W2PXv+JO3}q|>LLxaRovRw9kp-G(!l-1kRl z%t_v?;GLGdlc#Z+;G~GV4(g`__cZEvP0Z~k?tBw>_PFF49}`#b)5ITQ{;A{0zar*e zMEnKGpP}5d?-7Udf8bceE%AOi^`5(G+>W^-HyHF<#3v zjrk(CDf#o1d*%pn7Gs<|?p#Rx!%#m%Yd>}b`Q5F2TkyHwck4D@k09&BdOLJ|`W&}= zd{xX7dS{z>LvPpde}TyB5j978;{>@qxWCMpE7n|S;_f{vxpq3L-HG%Td?$_kl`&te zd1EvGP2z=Mry{Mxq@BY3(HV2r(ly%J#2FGghk)84*I|vrq-mf&%VM5b=U5Z(&*eeY92!ke`V8SZn@6x=;P~)8v&{<5M3_JK?L~n%RUK7!V#v;XOLF^j>z3 z`mKr5gX&dRbmI5*|J0K5 z7Y2dqm&9Kc;B)@x!0{mh`&>9aRG>8cY9HF*=Y|3UK0biWfV-hJ&c%#lq(B_SIXg4Y;7t>BL_{;Prq z0#CvPc5B|J*?(1{6@QNL4GR7|9PC-Q*OX25W6s;gtCJ%9AbHceb43 z`&3ISw9Ei9IB(%c`x&1dp=OJ5ap1CIpdXJg_gD<@fz5pRKDT(5ay2)aJVB3%#EJ+olfo>{%L-9~ zNjpVr&W}{f+BQceY>etchTWup+`T0+oyjoa_H) z`S>M5IGUHo>x1;YK;~nfaM>_oIO4)$*y!9SI}SjEBo%_H((D!!Gxrw}b+SK)Hp5uR+j-Do!aM$IGN z2^`+paBS}R#C@xul%M%7cRJkbdI6`d)mwhzbev7w>2ufXk;l7^pQ$^&)Z+C3jZxkp}A05zDbF@3MHs_E$RD}_#3qpCU6-A(LUXQiO!WcBYnpbR}ZzX#cliQ za|-j7xESxVl$K-d*W$6Us}5OMiK$R-A^a~<#nl?&x=q@oLR`D;&s}j6s&QpI%b~2g WOWCt1rE5=FqHWc_mElBjwEb^4)xUiJ literal 0 HcmV?d00001 diff --git a/cases/riscv-tests/rv64ui-p-sll b/cases/riscv-tests/rv64ui-p-sll new file mode 100755 index 0000000000000000000000000000000000000000..1a46cc19268e419cd41d0539c06acaddbdc7ca86 GIT binary patch literal 10840 zcmeI2O^g&p6o6m#?81QPHrt2@L>m^6M6=Exuo$8PDA^cdHVYU+h{Mnf%p|bWOgFm_ z4|c$V8V&<(gk%ryK@$!fHgXsam~6xYi5HF}au~%#jzfqE2g3SZ*X!x&0%D984_!&s z>-y@|d#_(r_ssP4XCLg|r3nFH(cmF)&m&f(2FvA*Qc_!l5zw$*2nzz;eu6qRLGgO! zjfJuo%21DdETAEi8Z0_^y>c|@0E9A}$2bv529gXU8AvjaWFW~vl7S=xNd}S(BpFCD zkYpgqz`w{q9lSp0ZL{DHcwnXHQ~p2`tUi*nV8MLK7y#@Kz%dvA(zEssKplVk`@db- z^UCW0Lu=oATa)Z zL0`<#_(##WjG?u2$ByZ9L+gBTo5puX<1&_(u}Dmx^P9eZ6Z~^2%t@R4e;Da;Y@r|j z9_FV*`5BFLIL@vPygp9#bBpcy$_oKN{ENcsE{?#&<;Hwj6&d-i*Nf79+iO z+)og1QQ-Q&8|ifB<(lHU`43aL-ZZ|A*E^)mpD^KQp$e=Fnxs->w^n}&4 za|T_1!QPf@XQUS5y>tH#Z%!zdEk_jCi`a0S(u8WlTS?&p8UuH5QMq;q|ke=1?58Ua?rZ zc`-HI-^-+4TdwPK^ODhUe-29BjtKSu#i8oQ;wX~+m%=zm_o-OAc^M=7OTt(}-DlaC z>vTxN>pvaFLwezy*ty2yu{FH^^x<^``K7e4F&^PzeorC;Eq?*~DZuNciTOLJUBlh`DV?CEOwCbhj$i|6u^4~X z|5HiHHxWEl55I;*?+f${rU1XRDFuIiLmxbtS1{n?1T2EyFYtmxZe9(fz&UZgp7}O~ z=a`Qu9Dgcd5%{J=+|C~62SuD8U|wAq=OyN@qJNb6d4-=~{++^I<~J1nDf2rDKg+zM z@GqICwRoIO=BC0gGapg-4D&ICUtw-5e3p4r;n$g8SNI(By9&R>9Jh)W9CCA;xvB6w z%!>+dGp{QAKJ)Vm?=Zir@JGyVDO_%S0e>hwO&b~q(|z&yb>^nRS1=z@xXFCC!Z$KM zt?&%#dAdIy=P2`n!pE3b6~3SO*9t$x{AYz%nLkpv&D>lNkLNV=-3s@Z zdkX)8`BjBCncr3TW#+naUC%IIr|>JxM-)EGd{p7rnSZYEACc>HpETp=`^$6quK~wK zxnKSM9Q{9;7sL0qXeO37u?Bt>4wiLha_9E#lf!jrRGf-inygrEy#a2cY=_5Fjhb62 zx%Fz@aiLnCIC8vFs+_hewp*)DK;5lY8a;it;<%+894*(5LvWmzq9Da4DK<;7MT!wA zwn~xBu*|Z|v1ChGHkD;tSvHnsYgsmzWqUccmt%XIxW6gvv;ABs*-wuB0Zg<=I}I?d92Cp6%t?UY_mc*uyhoMN*C}^)-&ht-xy4Xq7>a$o&Puc2mY%7 literal 0 HcmV?d00001 diff --git a/cases/riscv-tests/rv64ui-p-slli b/cases/riscv-tests/rv64ui-p-slli new file mode 100755 index 0000000000000000000000000000000000000000..82ff3c3b7364cf8cc9353c24fabb66a29d1d44c1 GIT binary patch literal 10264 zcmeI2L5x#H7{|Y9yHF6_N8h?uAXr$yjbd%fF07HnifBkQX0x!-7?N&zblFCB+w?ss zMiXCHE_y1?0g_FWgC-t4Z1hkL9*A)8$iV{#4{Nx1@KAy#90==w-h6M{4iIBJnY>A6 zzM0>AGvCbr&1>^s-luQA^Hxj<3R8^k61RNCimE_*e~-4REYbwUP_CzSf$xBVmMVhe z_u3y5x)s{cPsLcLx-zOjvdHhXM}h`XXv1-gBNHhQDG(_TDG(_TDG(_TDG(_TDG(_T zDG(_TDex~8sF9y=U(SrlL7$xDYFrMs$Vn)>Ob)Ha?Lk6&kWSGcDL?1fAl2~fFMqpu z^qJ>~Ms~h-zt;I`RU)R1hkA)@$6%4|I4rV_cK{OE#)|@pY~#USBHQa>k?kZbvb_No z+1?0?Y(D{uY;S@^wx5JWwx5DUR%?^U?(X6p#~PqZD(?B1a9dM3caqZXWHG1NA!Zry zTu!Y~^Pf7(*B-FQe)=!r93Q~?Ejlnwv~^&5x(z9%4$aZ+PyJ%L7eX<=W&n&KAb&5$$H%*ueF9nXN}$l21|t65!Xm6W1Ljuo;M zYQKT;Vv?NU<_p@dBbL;B@~)6#MvWhp)LGSWI;&FD)p%wq&I*{X#_!R7L7aP1w8+`k z+@%@fTwjIX6>?G`>xg!od?}X6NjG=4Gdp%H`BqBBX^)`3Xs4vOrs8M1eHPYx=+M&Q z$Sx^vs`-u0F;oR~z_T5qaTe|&N(^|jUKMC}w zS(o@y9Q&7d2T3x>tveiA&>pL{{Kwri2|?ZvCu}mQ+fiETc=Q+y!xaj8}Fh7>)=OyNK!+)0f1%uBszie=i`F95YnE4HZ zpJ#r{;GZ%7!{9CExHNuH<>E5)A%kCGK5Fo9nIAUzGV>XOUuAy5;MbUcZSbF&-!S-1 z=D!;J7V|$1zQTM6??{3w7r!$fHF$^lq`~ho|HR<>=nGmlcv2l`bpB#+i}`(nr&<=QXM)&OkhM-TzbCiqY!y z;5BiW{Gej#=GymU+*@QDnmwqf@oWDG;rYpE5B%=;rD9);D2q16)(uQYGMeb${cf*{ z)tgiscgsV`&uBD}&=#-5N&R0Yb(7L;@fy6lc4o?4-K85dMnI!Uo8h*$cReI1(@Gem KVo-JqbNt_9rU>u= literal 0 HcmV?d00001 diff --git a/cases/riscv-tests/rv64ui-p-slliw b/cases/riscv-tests/rv64ui-p-slliw new file mode 100755 index 0000000000000000000000000000000000000000..93802b3633a32177d4f5013726fe0b40f1866afe GIT binary patch literal 10296 zcmeI2L5ves7{|Xi-Gzea4xJTOmf*lHNYvD}7FZJ#D+IF#4jWbyLr6*)y1O;(w&@IX z)q@k(i^jvim_X7*xtMV9K)lq0hYemlc-Vsnk88YeEKw5KGUpPV@Pt|0`)#h^ckN4{hw*`TZ*R93bnnjr)2R@xHzj!J0CCMy1* z{b59nVjKI(7+d5aTQ(>r`Ga;g8W6=cK96x?5(N?k5(N?k5(N?k5(N?k5(N?k5(N?k z5(N?k{)GZ{@<-g)?P56QlaubH!m)sy5ovFeL%ozWMi`ILB8`#sbKV=HI`;nIZ&&AE zc!_9g|Jx7h-LHEgVp`bLhp3hTi)y7{Q7ya!2vIG(CDxU0y?!2A;(dmBAro@;8JO#}Mv>IAw^G*77J=^DsCBkxZ; zi0_#xoG%+0ORm4@{x-1ox8ga-VC~rS`>sBH4EiZw z& zRAjRtn+s?tEw*D{|4${QzC`eKzZAYcz&7g%92*d=V5?6fbg!pj!s`SSA-^y1qb@fu zMpodQVSa%5TN*DgpV2tB?I;3YN(|34&-|Qk^G`Lt%>0JNJ?7tP z{A1?p8o$E)7ma_${I13W<_|P}gSlx8U)N3M(;C0Uyrl8l%+G54d*-VeUuPa@{3qtO zG`_+7XN~{LysPm|=Hu7{M_q32GM~|Sm-$JJ-)HV=TrGV;H#MG?3mOMEG;T8gQ{xlN z_h{?NW`yc9Ej~8_E=wIjqbPWsWK{qs*Ji zc`@c3B_CT3m*;o|j#uD#1&&wXcmFv^8Wv) zGKsV0D#B~zxcE`WRKrK#oAJ>S+t?gLN1p%aA0u8zw(`LL!cZvJp69W9A!SBF5hgg;xEH`&bNo^K}LBqBSR(ZCa1a)e> z;Y)O5M?0BK$L+f15pN|3`7}- zG7x1T%0QHXf02O_I33nY@r>K!fZ5%Qxjj`dJ4h~p3C)<%1K96@N$3HxGmrE@3BUWh zKVClk%yR$(TVMOD)cCCF;+zJ4sdup&8cM823?){h10_}ie<*OV8u-QE#cJSh11?sh z8zoj_HA<|;8kAU#Cs1NFoYZ?v=DnZ^t2&;r#-QIC z%O)h-$1ILKk)RkQ|EfW@MyC$O(|-!{L?_0t!_ZNHjh#o2){qZWKljeX{8$6D)oWh@ zEL^yvTh*;JM*`2Y+p20U^YmpX9xq4uqXp$;&(%2QK}X+lFgMM z^8c2!59WQ~iYoa(B010dbrbCu$^W?It@AFC|M6OU%a#R4@AK!b4PbxX=ySy~>BmC7 zjG?xF-@b+Ufo-n1OZqoMy^N*iR;vs1G0a1q^rNBP&&9}yD;i+-&At)pTH^wN=Qk4S z;GvhRATFKsheEwB^+8;5(jN%*WvLJ1N|1hEsIT*QiYqJ3^|RSf*Jy_8G$t^=uh!!C zn+wiZ#;q=c>o}7^-VSH_7Ut(CF>f0B-}|UtR_+D!-~i@l4)dpBesFySERqX zhU>ShR#oi+f3Eb`&@jG?++St5Ri*t)`*A{;pO#a>e!PtP&fAY=Vd`g*C(su6dCU>G zw}kmgIbqN>>Fsy9rbes_?+<-=O~v8fy77n7ZxzQ|gQ2ZlUxV%`t@eH659NG|m_O@< z&|a>&XRnUYag29uED3Y7wIdwE@%XW<_hVTW=7!mAp?5*&D=cO-)8Um=iK<`8N{M%=zl%g zQw+35ZE*zoh--L#t&?_jxt1&DBSHI1m$nVztvkh_+6OUYX@9TvV<5Xn;t29FM(4N2 zkHfcptZ#2mPSE*v`>~LnKc?+GgILPszXR`Wu&0;yFvcPrjPEQm(Dq!$ehf6cH)`gF zv)V2Ey<6HWYUY))hBn!uUi{n;!r3FQ7aYHYY)O5M|(hn}OGp7+R%hndd<~kB6O=^Sd&|R5_8GrY29#X=+Yk z1KnZ`ey{(h5|eKtII0~!hK277v?ybM4{b`puiwxC_nQg^{5b)Op!W+L?~t2kJt=TZ zJKxTHufkKzhZT;GpjZUHDbeodF!K|logZgD)z!{(%x%T~H1kUepJskt;WqQz3V)CJ z_X@wj{8xp4#JodmkF&~rlftht&nSG6`KZEgFh8U4CFYkDev|nZ3SVY^N8xvv|D^D{ z%scRVns>;}56rhIyw3c9!hdEyq3{Ot_Z9wt`E`ZMtuNqPg?H12M&%z0*O_nXXpg_2 zc}C%J=A#PV$$UcL3Fem+KFs{K!n4d93LjzK-`O7L81n-PKgQfv_yqGsg-& zeCf#XQqIjB^PLKJm>*I2hs-Z3yvlq@;n$eg6~4$^SFZOP%(p3giTSX?Z!#ZI_%id0 z3jYSVPWR7vdmg@9f#35uHp+eMmlf=PW1jWj=i)rSh|-%^;b5BYriRR8LxUx#6s&@s zJ6|yEQU&ZvzU&{*R*H5ZXP2f*mJL(+nNw#9xx$=TDBH!-43zAtLZzi|7c4uMg46lp z8SswNQe>ofS&Cg!3`sF8#Vb-I6D*S~Q!Lq2l3gX)SCXA2*;|s`CD~t!{iWDnhR0`k ze1^woczlZIOYwXuwokEritSUrJbgPWeZ6Va^^b&J=AJxCxgylkT&;!rcojcVoH!#s vG5os)c4O^k+|LsKW(i|wM#7;J!}36xQ0W5x)b-f$b347^kd-26)$xA=NrVPM literal 0 HcmV?d00001 diff --git a/cases/riscv-tests/rv64ui-p-slt b/cases/riscv-tests/rv64ui-p-slt new file mode 100755 index 0000000000000000000000000000000000000000..b2d23f64de4321d5d79225fae2d0adb477b1de8c GIT binary patch literal 10584 zcmeI2O>Epm6vy86aqZL)22KLX|cfchf9tvhLdL z22q6D8y|-)u0%x-qzKd=I7IYN4jdxHfnyFFdf*TQhaNa=1V}v~!h4?Q-SwmqLfnu? znt7g|-~8vz^Vs|O?vZ0hH6b7_8vF*_3y2k{!E$|%wA2=01T<{dK~Ln{O;D#MDnX~c z)FXSbjs0kj=#^wNI(q;4l_Iu$h^aA-gulGU~Kl_J2T|M!{ z(*QfRzw&3b`RPiCa~k-eKE!HhXt5eyXt5d@v{()Nq9DX-;0ON@tFaC(RwIiRtMLe0 ztj2n@SdB-~Vl_6P#cDi;7OSxlEmn#x#Om!TEIWEPd`$CR(S+AHZh2!c;Efe5$qq6z zky{qUDEYTd@-@13FdqLyIH$WYejSES0&M9%dGapu9gQ!dwK(r$vlZS~O*EaWb89b+kg z(?{GzZgu#NfwQ@OlyW|Nd1a-oGfw)4?*asLEhHx$m-G)3Z~GGuNdKVJ!8MCz)}nI_ zaQf>78gnCPuC(pxke7SQhou8-k2jqO6=SX(}oPqjF?XjKlFH-y?axXPI z*0n_O?+bzAi1S8TO^Tm+r#}dse<*|{%-bT|nTzwU3+EHp4q-mx`J2Q^#}v-C^HvDt zi+$R+!V=Ck*NXOX?2p&c=vs&SyASt-2|xEA|4WW9;CSzO=_}`?+#7WLJN^5}pR~s? zKJQuSzaV3Y{nasgJjb|jwtBl)%@N14Io5Us=67dj+!RL?Pwd-@I}n(^?b5dy#Sz7< z`nTe42)sVqr2m{;ALjSr+H(T;&sOORBGN_QRk5_R=W%`Y0qNh6+LQ}bKk|?E5$SIx zfAYb5N+jZFwTCsQ@4RF;F}7&07c^(!ymrT=ezX@g zr{QWL;58CUBHy}K#&LcZ9Np5KKtOnP6F&1dt$sG*{ir@KJslP>6=_K`kY*swK$?Lx z18D}*45S(OA7|jz94@X_@tlhw_TXW6?c%8RbpjRv`2T_+I^^cb$O;^j+k{-wefn1846@0tIo@I~goEBqew4PD9gE-^P1exLa< zg*TaBQuqVr^9q++U%)+uXK6#@$xJ30kIsBZ;RDRa6>c(bD10yT1%+G8?<;(Sd4G2@ zo&xj33Lj^{Gtt$rOG*oj`PwCN%NvK`=l9`W<;9( z(&Q|*Ikq-iR?4wdj*ZN5&w6>*%d=jd_3|U&mOKy2GiQok}jh6 z(V;Fu>;HIszQ8s%yYYa=w_Z`>{b))LeBDfxLZSyShMRr679v`5vY)%w;oyQU>T4G@MnZ}?99mAmM`QmuS}?PVbdDpPtltjEQP3TH|qGm E0d>ZBJOBUy literal 0 HcmV?d00001 diff --git a/cases/riscv-tests/rv64ui-p-slti b/cases/riscv-tests/rv64ui-p-slti new file mode 100755 index 0000000000000000000000000000000000000000..e2c218232770c876cf126f1eebf07c881f691770 GIT binary patch literal 10168 zcmeI2L2MgE6o%j0Noz{Mn`~M_TNNv5%Yn++ZrY}(QVj@{1Ba+35<-<+XR=8wCGpC; zjf*&RRdIon%Oa@M137@w1BVD9rN@X9#~ga#7{sLq4z3VV4-w{{owtrXB?82CMtbvh zzJ2rF?7tI7yV~3Dy!UR(vM6aO`ki-K~+SAj@%f3vLltO=y4#cs8656thTiEL_ z52#V%lQ>!9fIO9x9hyyHub+wsM2S!4F*eR9U=%P47zK<1MggOMQNSo*6fg=H1&jhl zf&ZXDox%bC_1r|14M}7==_uPGF(Ca03F@SsEMc6b1&*DA zR8O7Z3AvtFBdN(c)+BYXawLYEXCl1FaMo>R1rnppQxO%wJTP#pOyXp7EFurAz;V+g zMkI^#g(}|-633dkO`=fMkaIl}c9$VevXI2l=1DcTeOs{>i4)Bea_;@G-Pv2?nw;Om zWxQPbhOB=~)k<<~$@-%`Ie1;$a{WiSUPsN}k@LZ1EvzYCS6j{>QLN2zWT8IT21RSz z9A{hNOK&*dQ`CkgYuHx@vB!pSUvl*8(W`%|8aYc0`?iWh%sN?))T=jkM8--@3YIwG zA6Bu5TW?VutH%!~xyzOq@eir^4dli;lKP`b&S}(dW>k!=YOjZTaou&^u%OR?ird<& zyS}p*+g+z;VSl8eT%u2CiI$hzqz>V}Wu3Kzx3E4B_pXodhqkvJsC}0#Y3K#{90{>cpH;V{u)O@i@)~h%iY^+|GsFl1zWm$Gr z+0Dyt4jpBzLwK(LrK(plc1z~*1 z-OI7JFsGlNW`0@YCFYYFe|sN(jrnz}KmUi!x6}Q+!ras1=b3+^@nz=sG#)VjPU9al z-_rOU=8rV~Df7n~Z!zE1_&w$$ss8I)V}4fS515xVzQOzhjXz|*r1350p~in={)NW3 znLp6@&&;CfM&lW|p>gsDjoZwB)A$i^TmHS| z`t={*ho6f%I&D9{u}}OJ=H=x39XS*2HCS9%<0OQCZF;qODPO0C>$^c^)fGX#K|!PH zCCAN1EpRJAeX;Hbv{+r4TXHMzE#Z1Wt-eC_V9{;#j04vXDkYk))|MzfKBwG-a_5!1 zpxi~}CY8IST(Q8u$iBp$GZi^ik#iL}S&_39IbD(Sl{jCC^OZPXiSv~>U+Fw~Ro^Ff zWv=4a7FMdk&4x>}?m}&)XI$}vY9pWuqG-NRUyfCwy#LX1P@RPj8p7%Q6vyA%Nn=96n`|0F8x<>Q%Yn+Q-Ly?nr5X^ZNF1V;NPsH2&SaBVO6-+) z8wYXdD&hhsmqk#i2XX+Z2M!iOa*q)wjyd$eF^EeK99$u!9wN+pJ8%6lB?82CMtbvh ze*5OV+5b))?P_no_3qmV!+^LY;CJ9rK&(I=wkM~hr@jF5kidQfjzqD;1WoFq7WDhe zLvj@RIF4!@p;H;^u$d6_`>W9aAolS*#@cBGv;tZIt$lyTD)+l;3 z>sj<@)=~6m)^q65tmo0A(b_^Z?{wj@Fo)qQs=J*qyv8-#TYxEVp7yYk$hQ8AFVFri{aw78n-k)gL=Sv6Ry`#I$!* z#$sHn0a2_PKOW~U7-GU3mGMo?jq8Z(PsKSGuzo!yV@z4Q74+h|>%3{8K0`8Yw^z5d z-;3?8(=~8^Bto0?p>+p_Xt;?MbO7&L+G@tSHE?|{-a9)X0t3Q3WBB(u_Vhmfo4xIs zu#1wCuTvm9VoEXLj3&>&BXQ!T2xozAjGBW2X+6QY!zyb=lI1ku8ElWtDB z^U__A?xJ+_(p{1+XS2_-&$H)DIZl=1Tscmb<7_!jm*aeS&X?zWdCr&Te0k27KM!un z^T4Sr7rpXorR3kLIk4ocmMeYZqUV=tJ`^zuR%+FaNEOI>A8q)hCG>tx`nCATceea& zxl;Ba%Nk~*U*>Gd_iN>)TPRX=kN!`00w>ch!PmHP3!(#44!hrb@!10V*qy-xn&17! zj`vAMM&R%AKr0N40J1p7xvqlYYDN1M>AyiK>nkFLLZ|;b^c%Z)zD7> literal 0 HcmV?d00001 diff --git a/cases/riscv-tests/rv64ui-p-sltu b/cases/riscv-tests/rv64ui-p-sltu new file mode 100755 index 0000000000000000000000000000000000000000..55513a03a93ee0ba8c06c4ef12e114c6aab201f6 GIT binary patch literal 10584 zcmeI2O>Epm6vy8=gQL$QDDyV|j4$XopSPE1Ts!-GqsX~=DTW6E3)MU47 zw;O~IrsBZYVT&tKkpmGbqQ{gXrH39OP8@UK&;y4cIB?tuka|EY?|Gg#>q#PnxNz`D zWvYkL`8hcV9bkToVG~qQP&#t$$qpJ+@Cm1LWtP?twDC`-eYWJ@x1l z0Q>j7^k=#8MKi=X4ScB&u^Jj$tVRb~tVSnVtOov}AjE3mi+_mK*ohXa(Tx_X@c>$^ z#xAs2jR(tdv`b)jN<|cl9p#jOM+f39o+A^2TAn8_!vi9b;x9 zw=Bw0^6whtYjo*gJo1Nd&vjw`I*gtH80)xG*Y zn#025?Dpzf+dO?Elux7)YvL@Mkq)6S!5yl-5#k>+44h|!Tj1)%E#wvEI_8oCx4(8G zgbH%2&3_!+f!gb&`KZufP^>qN-u1R|6VyMpfb)d)hM@DZF;@lL$7{#qzOBaxH2&2n z{(Gne#+TzMr#g*4whRy~1dV1g_97i$F76vmjKy;!mZ<;5*4&%=SE&DJYy6hSwo3EA zK)DT~hDNW@j6{BG)Ss1efEGqMwrky>{v+-Eo8wTfAlyB*kr38U`&GET6rV#~xSv<- z5SAkD+#*i8n8MwA(F%clu}y1VSi-$lv7+lC_Q$ngbnL`yqz~7X2|xFr{7a6{;dt+` z^p$gx<_4{ycK<%|r`Y3|pZB!%Uy-@Q{^}S#o?}9|L*BtnbHusqiDOp;p8qG?^QJta zd}7~L-hpuYYWt*bBg!MnS@mz_T^FeTUg^Imj}P_TI`*Q#^*@HJ)L+v?FE z{dULxbZm6JC-P{;1`UsISJKyt;wSuDdgvM+Uw6B|j6ac#-_paR_?;m%nofq+Fll6I zZr?@8ZeecG+RJI~z(wu06}QJVw_edgz;h(lgwwiKCUE`=-rF!nARxTji_eYT&G*+W z?zx^0D=0-;QUy{4QUy{4QUy{4QUy{4{-+AOoWaDZCC|MKf<6`Ks$M=aQnD*newH=` z+Dy@A5;xE-cHw*dKa~#oB|@P3b>PYcW5p@GSGQ3ePeBK;dJ|zg74+^IsHxmU+K&T}&`Pr0^N$M-^USenR2% z%->h|JIHmq&zMOaKHi2eL>xEDec;P&{J&a=|hstoQ3sDhJe%X$9M9o+4##sip2P7Rj^}VZhvPXM&&fii;CWD-o6LKq>A8Y`sak~d z#p%*qTRZRhg{lvE^n$5sc{WlXhP}6D{la;)epT9;c+W4+`@^NVk`Kdtu7;y0=WxOI ztEKao@MO?B`cGvLN7HJ=KeNXrh<0?@Y<-W%y*akAIfy$nzV$?n*P|&t@VS{NxkL+K z7~43uqF@*^C6Uj~jb56oy-*vkzD*@CB{~#+bcnw*ut`5Xx+R7Iw)k&^jog`$xhWsy Zu%t|=G@*B!@n`AB4VGNA-Pow({|4J9hU@?U literal 0 HcmV?d00001 diff --git a/cases/riscv-tests/rv64ui-p-sra b/cases/riscv-tests/rv64ui-p-sra new file mode 100755 index 0000000000000000000000000000000000000000..8fc350e88863a110847ba161b631416d5034763a GIT binary patch literal 10744 zcmeI2O^g&p6o6m#?81u5Hrp$%N^k;#M3Z%9dR$gRv_&NZi5dAZ#E{Gm&A?6qJI!>% zU_98c7d0M6+9=7IxCco%c-RQZa`3Pb55$X*kjTNq8a;R%f+idY>w8_VyQd3?Fr1Tm&3Bqwx6I*O<4S1 zxn;TRMKZFZIhK(sPYo6w{9d^|>;ObE8pk*jSq8EUWEsdZkYymtK$d|l16c;L3}hL| zGLU5;%fNrgKok5v_l0~p81%s&Sjq*19kBaI&Vda}Ib#s8KM03m5XjEnGYCz5_78sh zZ1>|&1FT>7>YZly>!kqaH1MH5z-nkHu^Ks)SdBiESPlH4Ai!$igMWb4z~2S}ti}LJ ztj0qqu^KB-Vl^H{iPd-nC0656lvs_GD6vv(0akZ|b<@`S;Y*tLv?konu7X>E5w~I$ zB-_d?kGxQz7$yIqOSVS84#s1D3wwV*#;?QXy#P=3@7+6(e0}F!crNxQ8lbH{{~f^0 z=`*_9Sx0je@H_|Hj@C2JP?_SP9L)pxloRupyfvQ#KM;Aahuixk*CW0VhyvIn?RO=2 zBEA#|3+y%RJ(4dnzl*#Awl4XMkFkrcpgDqE7j+Y054CsEm>Ivj)I0yo^exmoq^~6U zI1WqdebT?3=;L^V)OSd~GtozJX(08pq~DR~qu6k5#2lUf_Idx*DU5q0j%^zI)5b_3 z7D&G>(Q|B<7ZzrwbB_e#D(T-y^igcNrI~3H*L9KfTN8a0+g;S#6M^WG-b(aQY?L<; z_UiU4i4N|B>lVkRlYUF0*QGv=El>KF6TKt#xhS>*>BkfOBI~2rEYgo9`tDM)rWJwv zqf9w9aQ!Y^4fhkRwXnZ(N|NKbUL#KX!x6TAtP}v*>bNf`_r9>da0&)qBat8SZ{(Ka z^*V%mJP*GQ@4Aco6vuaPygQoM$~+o$jrZCQkv+{fi}AV7CH69}p}jgr-*s2+(>Y2MXkGzK0*RZr( zlxz9Gd=xZ1KV8~(MY!%1gK8hgU}>1Yl~D|2cTXH~J}Pv6E220e+xz*Jdt`#nZy<_= z?4mKL^NeG0$bVk|T`=E?_b|qH3>j$VHK2X1;a=73Cy!|tDq$b@`K)H2aWu5CHm}0Z zaUpyYuNQd@%;9(kKRXMW?F$G#TZQ+rRrh}0-{&6S>ac(zXC=!(mVqn-Sq8EUWEsdZ zkY#`~@LCZMS`F7e0peLa>~EbID>q6`p?Z{>8a0QgIfxAmh!yx;|8FHH-$d|LJN(+0 zyf4tB%mF^=C*-(HsHRpy>ze~9^~3O~yH8-;t!zgPGN%x@_CH1pdE|CsrRmX5Q-d|csYneS8h zEOSrc=b3-5@Hyre6@H2Nb%if5|4ZRlnCtj^OnAu6RpteS-(X%*_#$&h;eRskD7?%3 zTZP|d{-eU>))(-r!Ut$Wqq3`To%x!+^m&ai->L9Cb6??`n4ed8f%$cXk2CMr{4Dbu z3ZG>@ygZ$^bI5i2e9Nc#g$MAMY`Z;G9^3KO zXcJm>x9(L>)NQZX0Ac%)vfpS0_a*Jw^b)0?cfdiq}7 z^{OQ}RBIf8@Ys~1EX9jbj7hOsig77klA>5(S!7va$)1Yrs>r^I?5xP%itMh){z~kx z#QsX`uf+aJ?61WBO6;%1{z~kx#Qse7XR<$&{h92~WPc|6GufZX{!I2~vcEF>E3>~c z`zxE^)La+pQwOVV)2im0;9;|EO0xfYNJ8 zIT;;!^^@LcW2)i7D6i>gcxNB2d0wk=;5aT?xM%)P^ArxIU5kGMM8yveblHvH7i6u) zG7=l{fX2sn{Al0ir3K#CQ^iX407kKoV;u#<_PiwWzMg1luHHg@yh`sWeqN&4@TExn v9)#U7tOF9m2uu8%BZ-|Ei9DScmK(~1N*C~_t^1C@O<%sSSYewq>iB;EJz^ke literal 0 HcmV?d00001 diff --git a/cases/riscv-tests/rv64ui-p-srai b/cases/riscv-tests/rv64ui-p-srai new file mode 100755 index 0000000000000000000000000000000000000000..1bcb4e094b48cd41ff446cff42be04ed0106116d GIT binary patch literal 10168 zcmeI2O>7%Q6vyAJoz|2>w%N3pwklS?Kp+|0P1}Gfbqf^rz#;0#1yyq0snZxW@oIM) z2Z6-4Ie~g`*#nh~AQz+_D}- z-@KW5`=41`yV_4qzW1&r1fdhqkvJsC}0%$ z7YZ~X$_B3&CgRZuWUiNqN82E?Wbc54Ud9;(Y>&ca7zOf^XGful&;IeRH_yEA62QK_ z$Ny}0zwX7jrh^alF=od?i`mJb#q8iafEcrbFA8GJ4nFwDn4QgNF*`Z5n4M?PVs^Hm z#q2zb7PGSzEoSFAw3wae(PF09V$8t-_kpxW;0s#!x+Q}4=~6HS`C!T|DfSk#0`gLc zVpRP5F8MkmHaOe=5c2#8#&5&Xa{#+W&YfFEzOVgFaxL;R3((hI{uZEf{c}5L@1-?L zc%8YRZ4In5HbL=_Mjhz(;ig$ao9?lVU79V1t2Xc37Z@({D z(^Y*D$UUt>zb{!^sJ=F>KhQ@pSfKirK#sNc^v6*gsJ*yD@$FuYu3f|U@<|+vSYLGV zu~-3_Z|&^&VH`iKtaKJLTVt_G@#p(}6i24lSv-V$wNCNx==UitI*al`EV>l`c)u^z z0|dr5PVvR7$u*%4wve~HF*=*Xoi)#OGMn+Nj^X|m;I|#8A1mDpLXHP^-*4S@=xh)A zj*~C#M@h&%!Pe9_-IK&$A7h_>toF*K`M0EFk~q>B@@WiH6n}2Rhvr(tI8whPR$Bi8 zuHVY0e#!deoA`H6Z1|6*YkLCs$BL(1SM66MMRvCDyFHpgazcp7JRP%r<74&B1F1h2ERVo_+DV3GXwY#swI5Xhb%nkX&CTz z0wzJ<7eq;wix(3saLh1QpFapVrtu2h(&x_&t-)Fu%JIt%h7c~EA<~KAx z%X~@WA@lDv{t@$^G=81=eT{$0JZlZd*=AnQ_$}tgG`__Atj2FM_cVTo`3;TVWqw=Z zE6nd{{72@$Xnd7B#!7i8TF8_hXrhBI}4pdHqO zuv&rXTH^{N^+U=`D05huBg!0AW>T3qlqr|kmf2R=@=Rr(s?2khd9pIkR_5u-JYR+9 ztMGgkp0C35Rd~M2Veo1}0QI>`)u3^Ct`=VP>u|AtxiL4;t_ESv521=)Fzq*I6IGxX zd^j7{E}{*6WoOb_SYHT>jk!h$Mb@yG{4y77Vdyt5UPY0TJ^C-jE*wm!1YhH(DM~7~ zYHob*#l0@u)EvYLjo+8`?#xgi9&(&_n1_gixh4^=5a2x*IEY zn?)euHobs2q_qTQfVg_3 zndkY5e^8(XLDGBKEQI3$IH`Uj9B+Y>CPt_cg|JFrN97Ip@bPe;tmU1IUb>JJ&(Jul2P!7w0n#&{yw#2hhHDQ}6~>#mIG&3qac~fSwCbpIC{j^ zkv&9K1ZT2galdw;LuRdaB24sJL;o`VK*Y#E%1#^J#{o(F2qR(O7gI>FVem|t4t(Zu7Xkq%iGoOI*hU<~v4 zvD)`t9Zs{EgOm{(A>wQj2!exe&4*&)*!3MS1|k{LGGdx8Dwm zg|O9yFbL*EKGTJXcC$H$`Dl24dp7#mcIV_i)WCZe^U`qrT^(~PJZ7Dna-DSz^Gk2^ z5$pUV*Xe0^ev?A4RiQEdE;@5s?j*lPIM1xPwvpI^*USX&GZTKFJo`}Y1Cu$sy@`R} zx^3`lY}j`v_vQN|$DBz|k9?y&BK*}k`q_ta@7R3(?a>^ON0dW4%Av?G|80>EUoW$U zc|?99S04WY#&4t|KOR4d&G+gf|A{EJ%TV8ByBO`CfH_~d$q;%hv)ZLS)x!K-tqm@O ztzsgx7V%|=33c5J+sA9H%wPj4 zwhf=_|EVP8mk5FCm%y(N@OyyAaC{h53O?#X67KdD4EQ<$3*+Ax1mcjI=Y(ZAXOtfx zeq7-e@hOF$+=NdPKhH+jf1miBU`%ed6CL{3GH&Df}Aob%lRQ z{DHz-#M9bn{Q3(LS(_#eb)6y77gr11O1mlZCzK7(Hrp5hyt4=VdaC%#|dY2s%TZW8}k;fIKS zuJ9c3Wra@>zpZeacu(P{kn8;VHAnTF-h?}XW20POA8g`ZBW^4I4=>^ZBCf*0ao&6D zjkm30wg&ZzSMf_%Dvn>PgI_PZ(Q%_*^(!U6Hed66m@hBRT&k2ROHRf0tF=X_`SX?f zP~We3e#wH_a`h63<0H}(qhQTcxO zUnPUH`L4p(&`}A*fiAm`zE`7Bn`~qb;sKxk=#CTZD^q&lePyKBBRzmD_HnMOU^s0` zBJV4MQ66i!@IGEe8%khG6eOkPpWhwEnvz{elf~EUgWQP;BX4xDqy$vDuw#??OI#Q% KwrB^9I{$C02Y7=3 literal 0 HcmV?d00001 diff --git a/cases/riscv-tests/rv64ui-p-sraw b/cases/riscv-tests/rv64ui-p-sraw new file mode 100755 index 0000000000000000000000000000000000000000..4a267246a122fb1d77eb053c5a0997329878694e GIT binary patch literal 10872 zcmeI2U1%It6oAj2O`5d+WSXfpYN<>AEDCY|Y@-z&TP;C~to@^u;$}PDCJSwLyEAPf z3XY8rDn4vGqJ;?Np+X;g2vSHv9~MRMF`{4}SNb9%xTOjeO4f7co|)ObX%KzzX)fG* z=6>hgbI+W6XLe_I-g;@@UQGxHiUzlUdoD4P8Z6hgOG&K>BcNg12djMBUV=I`esMeH zoj%zMWMD^gtRhvC8Z0`vopRLg00c4^$2b;o2I36F8Hh6wXCTf%oPjt4aR%ZH#2JV) z5N9CHz`w{q1>7F{$z;wOaKY+tC%l0=SUn`?!Gd~f zJoqTU=1tGvskA^uzFc{3&1 zZe~g3sT9R1`PVJ7HF|Y09{5vO$9ge-9d;f9c%=8xp#|id>!11OV!f{c+Ug5m0L-4h zsN3~TG)D^0v)`_39rFz4C?3ku0)R_7+4WP>Tu6ZHi6mI-rjARl2fX2l6j(!3W0F?` z-u8qE)`qFqByTcbLY@apmweX6*hNdw9A2V@x-qZ@r;gE>S+~{hoPT!a7V4{{KN{)7 zI83Q`Nq;2Lhw%uhuao|8qz~fKK073+~%*W86bwY%|!OF@`+R zAbmd4b8O!<8nZKrdp)s8`d1=-5L==>JCntAZIXUpqz__SLcKNSi5BT!j`Trnls6F8 z`l-=K2TT6Cg|X?R-y7+5sSjgIlK#a=UzPeq5L=4$yCZ#*^+9YV>CH&rYDa6D7q~y3 zTS(q)&${`XS8ssly5nK~4&(-BXJ*DRe;S_Ov&-#Fxp($##x=ALV;(i!KhG>ASHlYa zE=qq*4fo%U<#wUJzofsGhVkWS%?;dNUoQIlo%W)zKB;CT$F=yLIPKr6u=Fz-56D)> zeM@`871l@9l!4c9;D^rNNc7?TWDu{xB-~iHe+jQ69AC%r_Hbk?*V&+ZP^bMM+0%S; zm_PgR$X>3yZ?BHg_b|rdr zhW^)+J;gw4)D=gVkEDjz|2k>clxw+SK2o&5bZOfX{<>2Ps(l!PN&EZ$AO^Bq7Dt$m zJe}W~AdbNHZocIn8Kd*-4`Ly^U`*F}hOt!1e~$+(*!60-hcUi0$UximJCUAz4A=q{g8 zwhj#pIWBPq;ta$Yh%*ppAkILXf&VQ7FQjp*TG_VFfp`oLdu!)*PKgs+9g`Z}AS>X=zuN3|U^Xm#f z&-}K+-(xkGJ}@P69RsNB-i9ly?epTdWjpHO&` z`I`#g&b+Sh6!WhXKEnJrg`3Qiz1?w+G9OiVp1Gs&Bg`)=e2n>`!Y7#H%SEoAT5hV$ zQwpDEenjCe^LG^fF7vAjuQP8d{1S6rxvuA!n+m_e{Gh_;nNKME8uMv|H<({l__xS) zx_>6S^Yg;zUm1bvY_LgRMY4(?4e;M|d@Umyvg|L*{<7>Z%l>lgFBinm z{&HEU7Hu0!lP3yxd3>_yoUN7Mcxk*m+0if9PO;`d0j=Ox{BG=0~p3Wj;$&fMw61r?-h}j=ISie$E$c*ag&Vr#OU43 qXR!7&9%6}qvqZ5oBjM7CVY#hLsB{5;y1MK5>Fxe-Fr^4vb^PC(NpTJU literal 0 HcmV?d00001 diff --git a/cases/riscv-tests/rv64ui-p-srl b/cases/riscv-tests/rv64ui-p-srl new file mode 100755 index 0000000000000000000000000000000000000000..7cd05076fe8b160816611514a96d16a7fe70c675 GIT binary patch literal 10744 zcmeI2Piz!b7{I?b+d{!=hYn%|f&&F5nymZJQVr1+kTiyvrGO!%al1^nbQ9WLb_NzB zi4*EUJuQrhBqgy2Njx@kSPmSBUW^wZF_D9Z8a!}ZLQFUi*YBJ6&F;=?(dfy;yyU%a z-tYU~_rCYdo1LB6{rH_j2Q?ueC>lHj?zzOW)LY)O5M?0BK$L+f z15pN|4E&1>l)>$>Uo|t{fD2Y%E9MQ+7V?Nqu*G!>nH<{d-csT3kz{Kh!X{ zZ^zgNgV-9w*q=8BJ#mZl?{@Su#)end7v^K@JaL=!V;#MWv9W(2EX)t@^u#jh4|eo2 z#>PCJ+xh)to@kQ(Ku0fQq`i!LN8tI{*U`aa|NORN(@CH0=yj=Y$7YiL&5phz_3hXa zq~F`oFH3zpwk+x2=;)g*nqS726S%)d7w~17S8oaf&*Sym{@%m=Fe$97m647P*L;U` z8m_4#tZip99*{kb_1EbN>x)W;uI0`cnMWhG7O(L^ye>?*H#q($?rrp67uHrg5w@3k zHR!XUdyGzFXx>F(4chVW7@2E-j5==H_+yW*7qKL)P4>&-aU5F^*Tx{OTf)+7yTi82 zK>jIj;dM|yYs*WBzJpXbjn7{#VXHxoTqkwQVcySBa~gE6}X1 zwaqKW`15eig0;8f(lxxkhiDAN5}e0SOzk|Gzdwkn+kQn{?L19tc>el=xPo|Aou{3riiYQ}2S1M> zeYm~O@;4feqZ4U=0m;Vct)8YQh1j61%;0>Us8CE`R@up&Rky; zo_CUYR^cr&OMUvNKbxcJ-a2?c`H1T_~Lf|2Qp0MvB*@ z7?EO+6r)nSE=4lIGRZQ;zn68#*{j&sd`@>nMa1y0cm2xIHa*F4jcxkTWK%CEM z+`qHO3yxDQoji*tjd#s|7h7;B?OOa9ASkYXpv!Li|AMT|vJAwFctGRZcl==An$iOA z>!Fej^#J17$FUU!!7%Q6oB8Xlh!TJY_n+yX%)6jTM!^)yXg<8QkPamLE;dlM5<6F*PU(}OHI6Z zw{a^Dtm+e-Tm}iGNRSIs4;&&c?tw$asmI*HF{m6kx{8o`h-%*KyiM$BBZN31%}6tE z=6i46ynUY8Xh-?t;>RCaj6qr~*Z>;El6kVh^7NRJvi0B$SlI4{U5RbKgtlyw5_ijA z`qU_ushwP7msGj3!D2()Ehm!!Kq}LDgpDv6Fc~lzFc~lzFc~lzFc~lzFc~lzFc~lz zFd6t48K^?s7ryIGh=CY*wv!P9P2hb}t^kKl#u)${55Nr=0BOfR8GtH&`-|W2U3&F( zfbk>eHmmI)Is(^p@S|Q}bu5%voeWB>4&DI>tPWlj2&@i%_zSGgZj@M^EK01-9+X&} zy(qCdFQLThyo?g7^9o9=&OVe_Wo!a#c+7jk?SA-Hu6x&FVRJekPQgex<>eJSPs~N0 z&&wDU|Ftb`oqijf1Aj4or61$B;q(l^!Ty<<7V`1tkIA#}uPi`YyY(}`(%rA^uz5tT zk;muEhE1z$oxuqikIYdEAa>ROS{aB1bAb=nbBfupl(9hw#}bW=ju4NTV0o#3N9hAi z-$1=5^=~Qtx~6wfKPB~VO8rud&$HHMJ!`P5Qh!`PyCY)~nRZ980QjN$QN?6T$izk_ ziHXI)$LdFvE{#W!t_j>ub!jZ)q+13)Sa;PtJ%$zFL-nzid-yQMIGE&S9QzGtP_TzG zzC+tO8(N}iFEuiI1X~3@QXk#c1<<;19+n#8M+I94K3X5y)~!RUfxl7X!lYnr`Fz9M zx;B&h5r2P%@eeQIrIKhOTSb2vz#Q6)e-jMJ{hR8XwE*|=Zrsy@xDQ--JT(1G*}9C6 zg?6v)IymwiblVR~dkfdhGd>*d>$Vs4J0)}Ud1KR?LhcdfF+LjZ?Vgv!l*Tih#xsTf z>)9SV>2nQZN^O(aWh__a^Y7}mO=6Mu$(%OZnqyBtQ*i{+za^%;)Zk+*ovK-}Ap?}`1-pQjg`vCxKxxU?xI1119|1119|1119|1119|111Ci zgA9C7z#watkS_vz1H1jT#ZwcNVvsM*%cd-wS=n622C{4~e%Jp~!A~-266$+{W` z&M)4X`e^a9Tor15=treRpGVaiM745|_UpAurATs4efuDo#lreE@Jb3ceG)di?V zbAGLB9Qk2XD#C2JaubsN2_+_!IH|-bB~B}GMv3>7DC9{NNES(wrvkYukgozcE0DJW zxhs&rBKa$lzasf7lD{JPE1ra)9ERX8TrY){8w=&=R?UZN{*B5)*SHi$)mEO!ZB zy4f66IWT_d%350JtKe|j&W|FVVHCkQSaq#tz4_S z$T6OZ=Su7<)TY4jx*CpR%_cyEfFAN8@CM-5~cxEL=RTeaHuM|?#4+hHSx;3 zt&2FYsyP(I!R;QXWC?lzsRs@fLNW&q5#qoxxAYjqrAJp45{Ihhy`8tQJ!ypy5~m$$ z=HL1D&Ahj7XS~{#KYj1?`C=2*%~7{7|;JHtn(unzYZrB08%3h3mxQBt?zjkIK2 z$TWgCvn%|Vj{E|Rf6a$(kNo(tZqFAsjekY5z>n8%K1A-3f98QNP4X64 z6O9>ZPyXT{`E9T!8%HG%{oMuYU}L&t9y)|^B!g?4!sDiq^u;>OKX49x`z^iQjE(tX zgW^BjABXc;B^WR*8awUj`^V1_KJDG zwGO`LEeG+;=acPba~b2&F#i2JZ3^gnO0=8KM;Moe^G|lnF?hl}H|0EA8pgM8r%f== zn4G7p;q^_>J!@|SxyAda3+tAhq`eT{Un4e(dn1YK$%H@lop~(pw<)X%NAKHhfkAs| z&~}1sX&q#Qb+ z{}<4IBOcn3|IjzB$!+^&=-U>UU#(pX@0%yAuWi6JB~lyfd@oxVpN(rLqgkE+|HfYY zZP~kX4?baEIy$Uls8NYB5M?0BK$L+f15pN|3`7}-G7x3pf6l-=S#(&hI@T2sFXQ1z z{mSutHD_l^tJIXKS)yhU8%T)V_+I}{1z(5B#8d5J`0oS!Kfn_>z8orrW{AUso`L~C zCtwlu{{k;KPoH zP7wH2I9OKB{@~pY&!%fouQ(OAbfsdswK}-Q%Q=a%(F!$Ay*h+Tx{3sdCk- z*lxA91~qr3QXlBM6~`^*V5wZa1i|qeQu0!cNjWa%gp^q+Z%WB#ShK7-R-P%#Q)PLs zEKinao@bs9IeW>5%I>o4FUS6J>@Uaua_le1^X86$U3MI(tSy$D>hfCIy(z^w zF^R#d|1V7n2h%FT&&Xl%f&*Q4xBqX(XA7*M9K{0~zx~7r*O4hL@VPKl3PU}BH1=_< ztzbB1N+O>N{j=n2uuva&&5q)k5*6c8@pC!MU`@y_OtRu<@_y{hNH(TrXGL+SbYU-= VZC|?_6120F7%YXL?KkT9zX3k@GFJcq literal 0 HcmV?d00001 diff --git a/cases/riscv-tests/rv64ui-p-srlw b/cases/riscv-tests/rv64ui-p-srlw new file mode 100755 index 0000000000000000000000000000000000000000..a2a3acc74242aa7b85fce05c42da69e9060e8eec GIT binary patch literal 10872 zcmeI2PiP!f7{I?bo3u%-W}2xr{-JK0R)a#^f40#U9h+K$7Fk;>r35$I$tGE7vfG`p zi6}TU7Znd{M^s3`9uzzVFDbN#AP62K3ijY3QV-(AEk)=-8ozJeH#0jg38EJ-^WeR2 z-tYU~_rCewo7tV&efP!V$21`zC>q=b?zzNFYOq`#kdj&xhCsu1D{S#?I|=I4_{D9P z*SE@EAOky^V+*O$)L_xUZI>f{2OyBaIL3)cGLU2-$v~2UBm+qXk_;pnNHUOQAjv?I zfg}S-2L43`YT$O*Po)c9j|*1UTFUEbg4IEC5iD3s89jjg9+-q4AUo@|9;o57zxT^W zCm(nepnvc4f7M!_uX#A9fe-Z_RzpLH)kvYlYILB)YT%0k537L>{vK8X-wk+JjV_c} zjc$}!jcq8g8uy^YYHUY|)wmZWR^vXDSSdCStG(a6W$B&pDb0IP6L#}N#x6piT{JV2 z9buM6p2<**l7G`8TccA4u~TCz{8!VPAwttZ+_{Yi}is9Xsa)M4X|+W zl5RKm(i|B)&n~;EwawF8pm-=pO8_qAt+iloFV$M}L>;V$W=~5V z&h0MD-$tEF^S>^2;ryD^HNo0F`l{23-hUNPppvsl}OJq4IjaI`}cWbmGs9WJ;ybVYcoGQ;)xdNUyAfW zY`8xJ2+Yq&q=UQu`h>CRq(2tvb*T?yOOyU+q_0bT7+Z$)M{7ZLHt}~!`dig-{SU0S3;lIVe=QB;D+K%W+KRugai5L}>vBCOIj+U`#A%<_g{7a* zc~FOIE4VlDUVwW|SfA80241UyA3A>{wH5Chy?Cvq;pWa0cky~bzfBx(4@S0foejFz zwA=TRJ|+@+-qShyMkDj1ztb}nE&0OJ;jRGYs@yxNsIQ+BXQdeVhM8s8eYGBF?-)X z=O&0fj78Vb|1Pqp7-)@RafJCuYgX^2cFy~t}|5y#i@-kH%XSAh4?4*Wdb zvHo*sgU=#chh+>oDM<#B3?vyyGLU2-$v~2U|2+dQWHE$B)wV8xcpMKq8y5}~s=0cm zG)+yJnh9#gv4JkJ4WH}(so*03nYgMQe%*@xFVLn;0X|?Tg*G+- zf5^>)z7#kn&i6AvtneK3A%zcb!cQ_E6>?fFisPJj#UntyReqG^j zGrytmi_BXJf1mkwEgol+`GCSdV}4ZOSD23~{43_~D14FmWrbg5eqG_q%zsw+cg*i7 ze1&-*zNhgIxw*l7Na3r@Pb>U4=5q>fG5=WMcbH#SxZL^zepPsve@O_~-Vu*eXI@Zv zAM@i1Pct7^_yF@cg=d(5q3|K*KPud0-qjh8bA)+D;YH^73eNRY!p&*sA1Zu|`BjBa zG5<~Bb>@9r;{NBDn+kWCpHujI%r7gv$^1Kof5!Zd!mltNP_Fl{m>*X7BJ-lcuQDG~ z_%id$3jY?lPWR7rJP$u?!f*N<8|D7?`zH2(FgJt$bMZPpiPE1};b2+0qvwZTZVc9- zQL!sd=|aVFY7KB2<$7>D+o(E~l2e{uf=2)_)EW66GuPi&uvbQX|%d)>5`^&Mv z0*^27_yUhF@c10hm*e?zY@cKM9NXstd!8@H^W}NIJkOVBe|h$oXMcJ2muG)@_LpaW zdG=Ree}y1^_E*S5y=>c1nHewH)ybK%^Jb$0XDgG{nYMn(cFGM0N@xWWjoP%oiZE!u zHSLtoqI4QkP6bC!WzHF_&Qu*3$@xtMO-upt$~l zF1z9X67%Q6vyAJlQxvnY_lN*S{19MAA-uP*C7e0f~AxyLOq0jNPsH2?$&86HL>g6 z#z7!;(;y)b2bV>nYLMDPk$Q|MQhMMJaq59X4jg(kf&+&hTvbRMD$IL3ZyoO>5rQMy zk!Ie`Z{Pgq&D-&Ayz%9?j~&&7fT(Ej2)O4Hv#G%{yI)#rZ5Ra&+s&{k^zA07Qxg`y z(|){3_97ek(H!BaG<)mdhevG37)Lf5$2c)b29gXU8AvjaWFW~vl7S=xNd}S(BpFCD zkYpgqz`w{q8T>By<@8X{>x0wNN(H@jaJtAYf&;CT(F@q`h4au02LcXW|ZMYWaa}Cf}U-}MU;mVh~ zTi;D{n7Ga!x2|=}(>Fx%ggN4zp{%o5(B7ms^3b z!5OHHQEo@(S}pQlnkSucaGt9jT>|ha=OIslABZ!ge}s64Kk^FcACWq^Ht~?PTCIh7 z1ND45f0)KC_{~r5K&ph&{JT)nQLjkN{UKinx zPuC%h9E5YdVg=9$d2WuliCh=Xu8Su5-|_Y6nhEEtifPc^Vjar2k=l&=ybt$A8h-6R z{+HA>alCs_`m#3p(mv?)?<0Sj&lb*r`=a!3%2*Mdczt%YW1v_uziYKA*LC6a*LJq! zVBa;dv~zM3*H;^C$3p(=>9=E9B>e&Mrx@rO#o}n^V_7(Qt$)?85$eW#+xb|b_35j= zcx^b2n14Hl2IX&C8l*L+?;GuZfaQs77Dfsmmy5M0; z!GNz5un5547x>{JH_wJv;Fvhy%lweSE#{*Ne`^DNg869?*Z+X|!A)_VXYMKf6U@I* z_!RS73ip`*pzx2F|E%yU%pWNHGv-^hc${_S2Niye`7wpxWbP^aHuG;3zR3K0h2LfV zlfsvo|EBPJ%pWU!g?T@|M+pzPxzGH7!W+y_D*SimpD4V^{I0_PWZqD?-1-8xcE#iA zp$&~E4=G${KB@3Q=GPRSW`0lM2beb%ZZhB59gk;}`7wpt%x4uo#{9Oz$C=+(_REuuW%g+=YuUrMMTBtshR4v7W_x7VBB8mt(yg>*ZK4$9g%|%duXL^>QOnDYz~a zr_bfx()sCvcd1&0v&HkJ>5hKh^$JxF^5_K<)$&xBb;!6MPI-m1XuYbmlhKh^ob@uL z>5>N-zDAkw$(Sj4UbS@g5?%z}t^eKZz@fAY@ilr>{O~}R-S+S8_^iz~GW+m=#MYd9Pu-g0rzOJI`C%brV(pP#7-Wn8 iCRmM~8JW6#P{VCyLZu7aHyA%kf4pF^!*;b%$Nvp;PnB%| literal 0 HcmV?d00001 diff --git a/cases/riscv-tests/rv64ui-p-subw b/cases/riscv-tests/rv64ui-p-subw new file mode 100755 index 0000000000000000000000000000000000000000..77018c80a44da7c977e470992ae4d9b05e5a8dd4 GIT binary patch literal 10552 zcmeI2Piz!b9LIle+J%ZphYr?N2yQ^oC|PG`Yg;YR5s@^8Ljw|tAz7ATOE=Q)vNNy{ zO_0 z%OE#Ric#{PTI6e_bTFR(LpUc=7{3l9#{jmcjvZS>zPs^5xEALd4bWF#{1IUO%D1}P z*hO=gxXwPep>@qOFhuc$IpUm*eVMT-4}r*lGg$v9z=s(I&a=Wza9*m92Vf$vGGA&3 z!Ukt&{Sf7LWVYQV|HV1dnE+>?erOTEr<{kp2mC;sB>jWLyZn(?N&kS9#jh~bH3v~XSmGPam_)>p~ z&X3AH)Cyw@dUT9ynbtoX0L2vLtBLV6Y5mM2f67aX);|=$GUjms?)jAW3~~_8jj9zu zGvs5l#7*S7aCV+E$^V|ON7qO=-&IY6_7dw*evO`uxUUCrFJ$1iZAbo+x+acy_eo#Y zCSSVl-TnjQPxINr8FXKl{w*0xj(G+9hXNC9#&R+#bM}J>HaBVBz>$k4H zC$4dybahz5R3s(IK$3wZ14#yw3?vyyGLU58e~^LqbGXP_*>x^}pjQP_wF|>TWvgly zrl~1XGfB;9Y@knU!r%4(RC?r_2)^ovf6mhT25WHq!&WKy^B8*Jaa+NFj}x#6!1oLM z@Q|AqLo0AhobO@2U*Q(>QH6i74nNBLgox{Z%6!L$I4>~w6#q%)R~0_Z{I@i|I($j#5p(+Y1gKdA8EnR^OvF~6hmKbbEpTyA{y5{$Ge55I zH1n?%o?(7h;jb}oD%@ngITfFGl=*&z+svmFKF<8Q!Y7zNQ224?zbO19^OnM=nB&Vu zewbQrs?0|fejd3__mfQAe{LO)&yvs|8|CwUV;%pS%x&d<^#%%r^C}!1=d+RFPl}ha z6{wZml2^D;a=c0nyjrmu9oK7RuT=0VQx(^Psp8D(v!z1mqEo7R<;o0Hys1*HtM8Ru zuVBGsv3wT7mKry)^9=Poec{(oRK3Ug@HjEzgua$nrJHhTn|Y zqUY7hr_SR=;9dFO&2}70yAU6vN5u~hblL5^Z^vhCwvpM32Qb%7 literal 0 HcmV?d00001 diff --git a/cases/riscv-tests/rv64ui-p-sw b/cases/riscv-tests/rv64ui-p-sw new file mode 100755 index 0000000000000000000000000000000000000000..c8c81966c4281b02ccd86d607d4c6515ed623244 GIT binary patch literal 14600 zcmeHOU2GiH6+W|TmyMg&V^1J14lvmXzeUTey~(<21nVFI4?Ls<3xtrC&3I$4NWAXO zkcGZGJ1w-o#xXyr4k#0G4cqOfc%!33mm z%)oWrx1WJJ8+h}(?e6c1RcvEFmVQ`P_4>6~KU+P2bMhY!9tQ&0ToJ zcK5-EyRT#mY!6{3;$f@uzHwAFPd17U;3)3wP93yb--FQA^jFWlx{;S zSQ-d56CAy{SNL`QQal0eQB7O4USobGh)zPg6{HtK%?4*%a}UM)vN*IjfPQW3b>`}4?a)oYn$I;-t~?8 zo?`Xw7JmMplKS3Ze*XGKee*sMe!~r^~Jg*^)0aa3c|1S zY4K-;;Zg1AjByOUv&?KNcnvk&Ul?u$!Az(vg7b32rkI};^V=Us-%X*vvc9xr!qzO_ zlhmG%gKP?-@$HWzXH%#xgY!Zo7it}TSEH3v?UuiCVe5AE)h0i(%ppkMu0eDW@!;YG z=jP^JMrs)EfeByS_{dtQtq5M{_$B0>7rZkc8u%KpvWze3SF3-uEKZx#indqPKhy0~ZF7Tob{%SRnCjuq>jMl3Ki{{+Xc zK3AFiSNnVYrwRX+6z6He-;wYJ;U7!*bA+!+xXxlSzeDnWkNnpp{|@1WbZ`CV2%nem6~dP#{8Pfemhe@= z@9yi3|5w5fN%$4QUzhN2315|P@lw&ilUM_7DLr9mhBB?%uPd`-e{;`r6~ z&?3A~()mupGZKCe;hQCVC*it;|CI18564^_+6XPxT2SF6uK-J7j8y4GIR^~z)5O; zM{yiXgNMQ-IARJM#Q};?otrMZwVAn!_e`S-2dXo*xvq8D^(qYy%IF0L8}-9nN65L) z9rh{*(0UDFXXBYyeb&p>=4u|~Nc9{ht3Zx_g5@fn*QgzM25Y8Q%l~dhk;-ltKGqgD zpHJv_Y{~E6XtzW*Hn-t~@$r=>T72(JvBb}*o>uBv0pxJq!;kO3EgZ=tEGjEm7jTBT z=M#V?HW9_=+{P};)!o<{KdrB7v&3KR6I)ClR%?blN66x1e;a2fjG2daip4Lagwhg* V&@ItUQ26-4F0t6#g|Vs3|0e;fu?YYG literal 0 HcmV?d00001 diff --git a/cases/riscv-tests/rv64ui-p-xor b/cases/riscv-tests/rv64ui-p-xor new file mode 100755 index 0000000000000000000000000000000000000000..326f8d2c7632f884505752dd7411be800963bd38 GIT binary patch literal 10232 zcmeHNO^6&t6n-@`yF138?n(QzW|!F6{0Iu;Oz)aqMYNNkgb;8^HWDN-ne_H%2eLbp z=}so1V3YNro+fEQVFT_#A;-lW#)F5A3VO^Tha4kba`4b02ss4CS6#0s-8HibdXz4x z`l`OJdiCB{)zvdifBNp>_cDw@lrnG+sO53aAb+Cf)~ewVFMt-XdKZgqza@8qza@8qza@8qza@8qza@8qza@8 zqza@8{0jx@;N_gx^eJEQz{+>CzS0IO$8jAj=w>wqu&uypP=NQd<`k&oe}DgvOGjUL z31H{MI}hr?w_P9S)bLNek6FtgV%D;Vn6(@tW({8y_?R{PL7U%+3v zhx6)Sjkk_>)IeGFpo@Kh_tgs5QCFsjF=%f^3w%Gz{FQ9rvl3WaTOV|wi}M6Z!oG%f zRO!1n?eY#;4#pV%x|&$nhb^Z(k$ApcK-b)|85voVv`2aRc< z|7Q=$W3Fwe;lA;i2iE1rLB5~lKJi$!>`_x;Hbw2*h$Ho-JvwcuJ8+?8CJ}MsW2j4SEUF2A9 z@cm;9iY1C8VT1e9i{my}&$fz#;^1Qw>l4K?aBTvFu?$?7S%&MY4vHnTNB2=*JOkI|B(t`+w#YsSzeHS{$J1cAKk|M4 z?^E#%m38w_|FgO1Je<6aac845t&Qt@HgnCyX9RyPu{CCW)yQKInZf zkl^u$os{seKIGtTSE2!5Ctzay`vNblQt@Jl496t--Ne5o@doiT5`SP5{wVP$SknH7 z#P1qO@)hFSQvU_wf0g(p;_pbjOZ<2yY5!y5XC?k3@t;Zj7sP)j@onP&lK5|kpUEcY zT_gU2#9t-;Cy8GtK9@_{`H^^2;x~x@T;hKx{-(s=ARb>Md0~}`Tg1;v{B7c|Nc5-+wsgR2ss=NlR?-jsNi_(0-EiN}w1yl^TibmC2k-;KP=?=L;s ze{vK4K*(bu?f*lY^nagtGy2|#{CO2IoLAz(vW)WlfjOgCho!&z(Tcl2EzKJfGGj53)m}Q zTEL8eHw2VRgk?g5kSvwSRGDm*$yk}JmC0P0>=|UwAbSScGsvDn_6)LTkUe7>8db*u zdwIU%)J`u~-E&PFPT8kx%dvLFajQ)iD%cAan)RhnB`7){ExFZGh;CEhVpMbO3vRKt zTyvpFnij*8y;ybKX6@8D6pdExzrz>~<-2D1p$RXns)Fc!FGkl*!U*lagSueEx&H7fpDUht8}E|7oH*jC`q6wpf_?r8n j@5FIf+a(&ur3s}b6tG(_b}=L@?~4Z&m@$r54N#eS0cTzFN-35nDRu95Bi7|;F*sdshSRw2h5DAQvN+)U9%naSN znTUc-;zcjc+JXxK-HYHcco{E3@REZbyzgbzgL~{HcoWB0KRxNG7(_e?Rq*Po`ue@D zS6^2*R8t?kcI|cBvLGuq9D(Y^obz~v<<68uUVE?rHr7KhD13{Yba^F8oX7VIvX^1z z$Hy4tmrA_C;zFFqtD*ytVHT%o14aR(fKk9GU=%P47zK<1MggOMQNSo*6fg?>3k4bw z4@A$EW)mj{I@~QJP8;X|$9>Vk4pv-1{eJWB?J3;E#d?jo`*VK_f$mXk-`>jXZ*gM$RCjkw+2H$XP@* z@)#l-IfsbGb4$>o%icrk7U6R~?v8Cm?dz3j5hkKVuOhiCiYp;ssqh>n|9#4RNzn!J z`0o~7E@J*J%r604C@w8^ke_USCFVjuwgG+J&Nl#iJD<8y`w}0cg7X}X+IDW7(OI4k z*Qn!mVK0W19HwdK2)cW_M|l4d(DByAj+;7otxFEU=@4x17ShD30G()^mvQMQ7}x9& zyvJ^#n^+#u^R0ZE&d3L@?Z+q*|jVl4u_*c$JoI7ST3rHz7HcO*UjIorO1T?Ou-bRfKk9G zU=%P47zK<1MggOMQNSqhzg6IsX-qu~BDw|EGuSMKTXVC)OtVtmf8vH1CdSTt4jq(BQ}`uWR> ze@WwK6u+SHub#r+Q2eshfB&}??-ly_s^Ygb|24&brtzDK-`9Ai_#ZX?J;guJ_#MSh z*!}r@r1)zZ-&XvG8h=Oe`x<{&@%J_UYsHUgI_xWcO5?v({IbS>hrG+zNvS{oA5P)# z37)T(e*a%i@&8TnUUqJUM`C#vO^mDYKTgrO$$~~58f?Q4bA9GVtU3d0wcsX*_VW^ECA=VEPQtu|1qm-o zn64}(NO1