From 1b095a11de098c506207d56843525008e813101d Mon Sep 17 00:00:00 2001
From: dgyyy <dgy2049@outlook.com>
Date: Mon, 11 Nov 2024 14:51:35 +0800
Subject: [PATCH] fix(tcc): add 'ref' scale input for tcc

---
 src/common/bench/bench.c          |  11 ++++
 src/common/bench/include/bench.h  |   2 +
 src/gemm/configs/ref-config.c     |   3 +-
 src/gemm/configs/test-config.c    |   2 +-
 src/gemm/configs/train-config.c   |   2 +-
 src/gemm/gemm.c                   |   7 ++-
 src/gemm/include/gemm.h           |   1 +
 src/tcc/configs/ref-config.c      |  18 +++++++
 src/tcc/input/ref                 | Bin 0 -> 21332 bytes
 src/tcc/input/ref.c               |  87 ++++++++++++++++++++++++++++++
 src/tcc/resources/resources-ref.S |   8 +++
 11 files changed, 136 insertions(+), 5 deletions(-)
 create mode 100755 src/tcc/input/ref
 create mode 100644 src/tcc/input/ref.c

diff --git a/src/common/bench/bench.c b/src/common/bench/bench.c
index 524032d..13e426c 100644
--- a/src/common/bench/bench.c
+++ b/src/common/bench/bench.c
@@ -67,3 +67,14 @@ uint32_t checksum(void *start, void *end) {
   hash += hash << 5;
   return hash;
 }
+
+static uint32_t seed = 1;
+
+void bench_srand(uint32_t _seed) {
+  seed = _seed & 0x7fff;
+}
+
+uint32_t bench_rand() {
+  seed = (seed * (uint32_t)214013L + (uint32_t)2531011L);
+  return (seed >> 16) & 0x7fff;
+}
diff --git a/src/common/bench/include/bench.h b/src/common/bench/include/bench.h
index b96a8eb..9028a60 100644
--- a/src/common/bench/include/bench.h
+++ b/src/common/bench/include/bench.h
@@ -11,6 +11,8 @@ extern "C" {
 uint64_t uptime();
 char *format_time(uint64_t us);
 uint32_t checksum(void *start, void *end);
+void bench_srand(uint32_t _seed);
+uint32_t bench_rand();
 
 typedef struct {
   void *sub_config;
diff --git a/src/gemm/configs/ref-config.c b/src/gemm/configs/ref-config.c
index 14987ff..fe17f25 100644
--- a/src/gemm/configs/ref-config.c
+++ b/src/gemm/configs/ref-config.c
@@ -1,3 +1,4 @@
 #include <gemm.h>
 
-bench_gemm_config config = {110, 110, 110};
+bench_gemm_config config = {.m = 110, .n = 110, .k = 110, .checksum = 0x503d0fe9};
+
diff --git a/src/gemm/configs/test-config.c b/src/gemm/configs/test-config.c
index e1d725c..cbcf50b 100644
--- a/src/gemm/configs/test-config.c
+++ b/src/gemm/configs/test-config.c
@@ -1,3 +1,3 @@
 #include <gemm.h>
 
-bench_gemm_config config = {50, 50, 50};
+bench_gemm_config config = {.m = 50, .n = 50, .k = 50, .checksum = 0x53c1fb28};
diff --git a/src/gemm/configs/train-config.c b/src/gemm/configs/train-config.c
index b20fa67..17b3714 100644
--- a/src/gemm/configs/train-config.c
+++ b/src/gemm/configs/train-config.c
@@ -1,3 +1,3 @@
 #include <gemm.h>
 
-bench_gemm_config config = {40, 40, 40};
+bench_gemm_config config = {.m = 40, .n = 40, .k = 40, .checksum = 0x1efebe93};
diff --git a/src/gemm/gemm.c b/src/gemm/gemm.c
index d7c6a4d..a8432c4 100644
--- a/src/gemm/gemm.c
+++ b/src/gemm/gemm.c
@@ -15,7 +15,7 @@ void serial_init(int m, int n, double *a, int lda) {
 void random_init(int m, int n, double *a, int lda) {
   for (int j = 0; j < n; j++) {
     for (int i = 0; i < m; i++)
-      A(i, j) = 2.0 * rand() - 1.0;
+      A(i, j) = 2.0 * bench_rand() - 1.0;
   }
 }
 
@@ -41,8 +41,9 @@ int main() {
   memset(C, 0, m * n * sizeof(double));
 
   uint64_t start_time, end_time;
-  srand(1556);
+  bench_srand(1556);
 
+  //Because we init A and B randomly, the checksum of C will be different.
   random_init(m, k, A, m);
   random_init(k, n, B, k);
 
@@ -50,10 +51,12 @@ int main() {
   matmul(m, n, k, A, m, B, k, C, m);
   end_time = uptime();
 
+
   bench_free(A);
   bench_free(B);
   bench_free(C);
 
+
   BENCH_LOG(INFO, "OpenPerf time: %s", format_time(end_time - start_time));
   return 0;
 }
diff --git a/src/gemm/include/gemm.h b/src/gemm/include/gemm.h
index 6ace54b..795b34f 100644
--- a/src/gemm/include/gemm.h
+++ b/src/gemm/include/gemm.h
@@ -10,6 +10,7 @@ typedef struct {
   uint32_t m;
   uint32_t n;
   uint32_t k;
+  uint64_t checksum;
 } bench_gemm_config;
 
 void AddDot4x4(int, double *, int, double *, int, double *, int);
diff --git a/src/tcc/configs/ref-config.c b/src/tcc/configs/ref-config.c
index e69de29..e8277d8 100644
--- a/src/tcc/configs/ref-config.c
+++ b/src/tcc/configs/ref-config.c
@@ -0,0 +1,18 @@
+#include "../config.h"
+#include <fs.h>
+
+Finfo file_table[] = {
+  {"/share/trm.c", 269, 0, NULL, NULL},
+  {"/share/trap.h", 110, 269, NULL, NULL},
+  {"/share/ref.c", 1844, 379, NULL, NULL},
+  {"/share/ref", 21332, 2223, NULL, NULL}
+};
+
+int tcc_argc1 = 10;
+char *tcc_argv1[] = {
+  "./tcc", "/share/trm.c", "/share/ref.c", "-ffreestanding",
+  "-nostdlib", "-o", "/share/ref", "-Wl,-Ttext=0x80000000",
+  "-O2", "-static"
+};
+
+bench_tcc_config config = {.file_count = 4};
diff --git a/src/tcc/input/ref b/src/tcc/input/ref
new file mode 100755
index 0000000000000000000000000000000000000000..f8cc33e39367499ad564ec84375b7347098beba9
GIT binary patch
literal 21332
zcmeHP3v`@Soxk(=hPITxrfGTFq0@=9lnR6pUcv}7T~|1WrBwvAmb8L^2HFNe(SCI@
zaXsLQXDAVlNTCfPt%$azyj+Je(^V7?D~9z2RiIP~me3~BHkr)+e*b&F@0({5#ND%d
z&dxcv_x->B`+whizjRgdg84q5PdPuo+NW4sdY-aRVZJ~~{S*~ZL3Nx8DNE{Ryp7zx
z^*p7REH+Nk<E8Cl^dS)*Q>di>HjKZmRoP7UPf+TX2Csj?&Xr5+%_p3&&o>mEH(5pJ
zu2$io&mTrxbk_QzK&)e^HE5|el~rMD5^@{4QmM$3zQC;2KFsr9VaxnNv~jXOI%~Bb
z^8?QOXk_zHbZ%~tbE0$B50=7XxeZ%nZu$!0<_4wLiw6R+L?L5YSg*m%4Gu-^ZiVr>
zJ=9xlvhu)r{a{<~Vu203{J_f(yaFTP#dTA$;82sbMMdWkw_Ksd{3^Q0US_TzlDv^L
z$_<5MY1KNFbW#&RBOlvb+%cxDcSk|S&(bvY#@plc_zrJ8#&EpAZHTF^WlCkz$*GyN
zrJB;+Dh0eVYhr5pXF&JR_9@{|NNutnR-`relj^om<~l(nOLc*lyX@?nsaRqt+-U(8
z=s9!qP^O{L!04RhzzE!jHLQG`d@%D~1a1FDT7|82(QA*t036>E9Lw6Xf8aiA$VU|&
zqlOk4E3TTBZSiZqlXj#<Jmj@0ziv}UNSn}^@~DhFP8!vE<^1Y7MDr_a)#I1mTkLvG
zhj?F#Jay?l|FHTrvwzXnJ7Zw9bP&7@EyA&+&&bh~dUE0HBW#`MOMzC9-#Bq=&2@tw
z@d>r}v$#T@(h*OdurJ7jx3}%@arf3}sQ~1uHIXOmF+!6DS0<14U_j;|Qx*M3di|Aa
zbRO=m0hx<N^3ZGO5p+H5!Jp>MPYgvPTU1-`-FqQ-dqyK)hHtMq^b+_UeTV0}i-R@6
z!vVAaj?lqU{n!Y61~l&Zp%VSrVAlWhyIems!usp$tiO)y)}YfM?7Sa#o_0D|X{V>d
z)&yedkg@rP8Qf_b2g5OIl9o;TP$Of5B{mK=SZvlHZMn>wCH5ZkT-z8jGVRU77(Fjh
z2)D!bPo)jDq3@_Ka_oMhur>Y2UqOeHo072AfDbzhJK>E1jDvzB`PNQ*nctvoWul<v
zW^q6LSJ&n6L+kI|uk8u^2jOYmD~K<EeTD7Be&K6oGEWSmeXw;YWDo9C<Dc;G#~6eE
zV9K)8y0M!v2exuiTHERV{)vImDTPh>yw<PlX|qH3(q4<LP3C2NjX&+4#tD22z>fvs
z$AZR>RoTyQ=pla>_=Uaxg)%~#Ynf9oMH{tW+S>i$4`kA7nrI_D*|b;Jk&Ws#0MmgL
zj&(aeE@=4g`7Erb=>Q#ed60h2lii%r-yK>u41ONW>>>4Fl5d7b@UvSS88JAJW+p}e
zAFFXl{=&ln`rFtsv?-nU8<_y_W*jgwZv42j$Nx5bwpHPi9}PZgWP2rYpM0VWeyP3c
zEfx_6ECG#1?VB9BYrTw%Zw_1i#qyXi>$Yq8%MPTpU-H+mKO@LkkHg=w_2dD1ULs@p
zA3FQhxaNj54)#9c5MA4?{faA-`Hjx_6ySJ1uXC&GkBrZ2vhLG5BXo;jh&br&I(oAk
zHgzg&>Qva&X|$=~kQ$eP?u4yeUzeFLa@@GSPx9lCdt-L%G3o*{X15uGJVJYi{6xmN
z$S-27irl81dLwK-3%|?!A|LjTJmQDGBEL2eJ&yUU7Um;YV=<rg37F4(I_B@e_(se}
z{?Pj|ANjMbn7^k5X9vW4_W*_|FCv^hEitzD+y_{DTAEpoZ3MhMElHO97XW5&3*-=f
zya>3xEn8T&765i{OU%dij{tse%T6h;1N`0=D}eS`AK;@sh;nlm;G=v9%8PCWe83rx
za(X7<?`>H#73H2E0RG;V<gpy{Ea2~L$v2}M`wHOiZLvOva{GmVzqh657L?cg67W%e
z8D;Azz~9@_eXS4ey8wT0OZ!4U%CHOT`&t_E0l?V}_<b$uBSK+o%Nu|XzJV96-AemS
zoMz&8$dY4+Fs9TFWgr9E7hz1gzet%2hjM-50~#UAp;wFHX^kp_wx-VQDus9`6+=v)
zW=y}umESTr8pdu719q*OaeJA(Mu7w3cEGpNa<0-cmOa+Ua0C2H1N_Uhdj17_hE42%
z&5aqI%z}0jb6Y|SoPh#3Q=~AaH9`NF4H*CE(E?*MEqK;S40$oV11pP|ZU)Xqql@8*
zQ|+~FV;>VW)=n6kp!Rz4g~11Y(Zp%Jx{rAAoJ+hGkJ?U#afb0^qu<2vHs}$DZ6pt3
z(vQ80pD}Chr7ab|EH*-o!J2YT9F5)d__Jt+w#N$c{OPffTb`>!ns+@@yuNry_r-&{
zZ;^@fIPamL?qlplo;L@)d69tb(>!B20A7v;N6HKFl-$*wokpJGV@9;`ix}TnOB|c+
ztX*=h-IF4|o#tFS%baUJsu*W2acw$u%01U=d;Av85{LtZHzhpCzG?Ks2mL6$-x%I+
zHK)y<Y!f5avj;d=%bxO=I(te12k}FK^ZZL)oTt^&>+DX*$iXstzT>s6i)*jlxp4Tk
z)r-|@H=BK{y78OPnEqGxojjjsO>GY?$VSPTQTJcu;npz}fG=)JoBIgiTeb)Gq&#MG
z_n#dhW^ib4o#(AV+T-jCoWh|=YE#3*DwFRoMkhIT*O`+)r+g0XUo^kY8=hv_r=j!p
z;)da6%8j?}W9sRNqhDHQyB%H}p~rW4wh%h#_@s<w`*9vHXNU9*Z(kS>zk)uMq29vx
z2z;aOUaYRn`7hzYr_C{URu%A%s0E)g9}d}m#^Rce+fQ=o*q9iiKSUqmb*zDLO`+%g
zU7&ZSbN&Z2ogpQD60v;d_C|%iQlIIk%+N3D7=K4U<*yv4<fPHz)amIW*79(wrI+!I
zw25JBS&1!C8$gp?!ke;o`}@$Nmqjni+SUD}cMZE*_imN2Q#h;YyB{TSIN}+ckF$sy
zaE5)i_nNM5jq+a89Y2bDO|9>rtmK7}hszv!82(<<hW!WK9sBRxYl?1me%ygkcCV@J
z|F^({@_S8fU%m;RmEUXX@&8(fH&r?u6@P~~UGxSrin!5>dl(NumaLs3C(zTetY;A4
zSC8p2W8#NUwzyB~Z3^RCf5W>zTkg)K-Mv3`;wl9nPkBV#VeqIu&IUdlmy~hviLk9T
zW3eh3#JDpY`7&p&H_Ok3@yU>J+`lkh2qLCvaPIc8Ch85i-$5Vvz?i7Oy4>}He(WdS
z#3kCO;|&vU!_Sb0z?t(g#>@wOa5rb@Ls~lXaBt<<Ma;|Tc>*(sIiRJ!H<dot0VB@2
zkb?s<p6A`EyqC&yjNmEbcvl2m!3XjJ@#2oY0OoIPX3Ww*mvAJu`xDRI@vDsdjQV|o
z?<Rzo0xfiWt*}1Mv~vGt^jp8F;O;6>FflmvzN5e~pi!;&j2e7Y!UwVShA!deq@h{1
z0echLRGx2SJoZnVyz%kLdOT&i{9Z=JgI~fs5B_*PKH-fQo|e3Sh@HsKt!*dfAMfh8
z@f+GtY@hA;iRe7gu`yQ&G=^|?-i-S^yz}6^<jAfUOWM0gYuA?GJw@I~#FlK2x$Bh1
zlEPd20{D3F9x`d=wf&cNbw2dzO`%U&yZz4?|GJi~vhg3RBO^t;twGl0ZO$k63-A-X
z%glWBt4~DN-YaJoQ-3^qFY6Jf|1sQmqJE-Ne>8d@>v5<4Nc8@D)%0bEm#zHPKrHXH
zKT5c!{Sl#&UT;hE0k?fK+dUaqXX)|DO@UYv@XXmp%l{d=Fa0CjFQZS}zb;L`)66<Q
z<oY<<m(VbKs_wHM#9BC~l+ml%%wu20ym*sY?*ZU~d8IJzlMI~|Vtl@R`pg-47&>pe
zznsq7zE@7?ZTFSad0Tfmowu#`=xnX`=!|hLovm(<&fD%Gonik%hOg_QwoCVW1EO2~
z2Rz!xXBj%(!#+Ld+_mf6IqACt7VT^49CfUr-(4kh?)30U-=XPRIwyM!Xg9{dzq17X
z9fYsj{kMBCl547E!9K$9CQ~g7+35zSZ&k~Jnr8NRYqc!Ir<!@}tB?hIidpZLYFWrm
zGJW45{uxW{FSpy-2?p-J5N?hB@pWXWDlVWeGras7Wk;8{b!xea)VM#$8rzujY@_x|
za$gdKofQ9QY%uJa<0s5ntl9>PEoyMiV%93protY=-c|H}+3Qc>EEeS5ImYp9r2Vt&
zBVCyJ8=W~B`fiM+Z6uANj<1Nh_an}GkhedK0ZhDA!l$?}(<>dADYScM<<394HW@L0
z*&Ud+zxxmy928hqgMORS_U0|aGvBDr_(JE4LQ%&z#@ff~cpwh`#Kkw3-tP!cBIFHt
zYW7^hn_=HAxIZrr<h=~&23RJ(fKNv(FqN?g?{MI6JQ|g}wRDu9o3;IYiQ`?Lj6K0O
z8K1SR)ZXr>Lz@Bkpdfru5O>^G<-1|@xZe=BLdjhrV%844;l(J|632iRf<NSzb@*YC
zIVo$rlB5^v3HWRDt;P8dWw%e}1qaQYKHiaVP6up>D@hZ)0fH{FE_}Q29rwJ*A**ww
zK49MH*f-$PLdGNp0wJtv%bH#v=UJx==<iN)xDUjdfL*#K&TB!)Q4oH_GJd2F?*ZfR
z9xx8H8efZ6!q<80asNaejjN{iEv4T-6x=r9HRH=H@8zKPdGq#SVov!kM@jrixucwz
z`_Y3&c4YtI=5`a$*@($I5HCW`7{40&pk8oeXSAa}(E19`7|!<uGH1Y<16q@B1Deh`
zdGFEV)uCty{2a%|nWrMb!Y+Oz6m#PLthx8|#t{zW5%1`UgXZ25@=dtl$=uD5Q&|Hs
zTy6ko`#8^Y`kMg{25{~ddn511CGCxggLwA?O<^Md$K1U>2fMT%YwiVYms3Xg-V7LJ
zba3bs=DAkBgHn^QKc1^KT_F!ub41nvuX&B(DQQCZ%`SYrOK?8+Cv-x4aDewvW`8Qx
z2wm!=zcDyR_zh3|CuUvJ+t4>SfW46>?i}`Y>G6*l{0DeeO2rZ-a}q*Fu7f)kXZ%*`
ziPJ_nLN9@3Z_%(^{^0wpjv?XC9P)={jQ98g9215gSzpTVK*Q{C?&BZFJWm#(`%$qK
zpj9op;$1%K+K$9vYait^I}R}Ew+0<Ki_Ti_>8Hx#o0SeDQ(3&_&?k}hrTfTfTXdYr
z8Oj}lCHp`<SZg1U|J<NC_agq}K5~PiAF>D8m#$-9&==AOuqyFRRN#%Xs>s=B@Wx!~
zM<elOIaq>s5cOQ2)`wF1V+_V>ywy65caV6-K^N*Y_L0!_nH6}8J)qrDplK=nIy4@$
zL=I3+l;A<UI%?p7F`$Q`-<=*`%IQ{(&*DD?VnM^t|AV${rpOrecLZCOFf^0*7|)*8
zv}JauXUkM0=tEsBw_{?Ha^!{FZy@KHco6YiT;Cf=9OL%uxQ2X%O!FQ?Ar5Jz-sBGQ
z%%NqJxaAHKme_j1Eq74cEa<qtPrC{D01jjdaFD}Z1!Y~@WLaOnt>OCKIDOZW0G)zn
zp6q7?JdAxS$79gEzpo64{^|V~`|IN6?2Y(|E@*mTZ$aY+g%3j*NBtRy&RP$flRFrV
zFb^U&g8!0O5PdQRZPF+7DHz{44s&p3gD(-kp2Zs->J81X^SOT74$xA*lc{Xy{Ty&X
zTnC!<<nc}|?-K{y7)D}=+@OOO;1rq`;SLNqwDo?o2zca^v}ya^;rK&CAJvY1h}>vg
zZSq6Qkqc)c{lNi^yTaXLPOtBLhpTa@*bnTJe&Z=?*ZZLl-%R}a5knn{80t{OP~%Mu
zRdr9ry*XzTv3t17(KrImT$Xe6CFUNCc1mPg+M2rQD;OK~7O|EeYn6T@Ty<9K3h}KW
zv_Bk*gEw*C^rYO6%m~9Dn{PEPm-xy(6S&`Pj{KbtVBtJ-ly{~PAMbrv_^jL)z85}&
z^oB1q-xW%GHl}f#zo#5GYnq2!{E~NvTXOR7xZypjCT{9zu3O{%V%TpE$wQuFz&nXa
zO-v!Yg`OhsfGjW%(hd%qyU+>cbsO<WZm<##bk&gup3}@(LZ2I8GX-Y(9E@2L)8C09
zrt;!|(zUr(5ck04ILlfK`5lDlj_8-%XJZd~txEiYg<5MNCVi_KenP%uls#8}8(3FY
z^c}L%YmFQA!lE5Xf$pHK6N|m-+!-_W3WqFhZ@hlk{zQTM;au0o!!IB%-9H+g3WrYg
zWgs6~m#kiqS3O_f5B%M_lze>zdF405HFQb6RgP2sRSzfi`n%I1>!smwioaGHr|hme
zI#gw&qOLs*4s~gp@@L*_d+!-&KUeOEcgTGl#^76^7XyeH$v^T^_n-R$`zZ_VxfZt4
zoH=nm#oJVp?@qxXzLR&w0n=8$ORdd<_ukpFhTe|?=X_6XoX`D@hja3|YMlMQu8p(y
z)B5~ShVQRZYbmSm8sDeu;QR9ue1BF0-+!--Zx%5W>>qgH>XfGMQ>nFa!58198Q(R!
zce!f0NdL4p&i;S%aJGI@jq|q0YvU|;ERYMlYgWmHy*0Jg7Q97n%zIoo6jAsF8gKL1
zYiOFh!(=SH$KY>wV3!M8rm~xyx%#|{cm*+$_S>@e5&bspi~bg|`KubH{h-75sIf0v
zSJDrXChlFY_*V6hwoOUA<-^Zwo!Xe{PF9Swf1t-%cw2DBrN5u*PFIXm8%C?k<+i4|
z;%`85ptaUl?g4f~{+1((J3P=%WQRQ0`s>6Y&UZ*1-dv2)bD`((U3!1{?|ODBq3>4b
z!%l?e-&J|H+M2kJHbLwJ*VcEdSl@+Z-RZ&7v7O-O^?%#zFI}tic6TlJ{vc5TH+`Eo
zFX((n{y+0KAR+_lTfFsa#cK8~wQae&S)Xs?e=g^*!=q7r)2-L<7-9X6I_szYF8M1t
zpXgYow)_d-n;FZd%ia;fJ?)4cFlP<Ekvf&K)VZpZzfI2Hmu2O9^cxTx9W0}dyMBD+
zZ_4!gU-0OIb<;`2DA4Ui568>#2z{wO9`S1tcO7_lcvx+9@TjE6we|7HUg6*|T7OEt
zPa(PYx3syV`1?%RE4~j3<8SSv#x~;b&t{nOU7f!p)3yg^q7ZGrwmX!Mwc-mTUxs#L
zo7{Rt+b69L*?rpXCrs>_-3$E1*6Vh}EsDN6{+82DKDKtqeRMD&-(bLg3GefZOKC2A
zcfJ?Y^0k2DUHi#zqk4Dj6&TK2vW$ygWOQXjA0u~FpqJ23>@I9z4BygDwdkvOPY-_N
z$Pe@WQ>i~Q<b7*v19hkSOxFi#eE-Sd;lmkq*zZqCd#s0Vv6cP~Mr9|OyMKQFi?aR(
z3Gw~}`FjD{Y-Qtby4E`5@pjp3%8F%vvyU-x-r)~rV(qH+HrbPvi7nG*+|kQEdw1;5
z;G7`+Qr=lo?lI*V7=!l;!oXd7#@b@ai{FOtz}>+br~bDL{)SYKTa0qMDc{|n!S``y
zjlPVv$dqTGoOH|37v6u4{(EFs*881%nBmXt*r%39^%wHhvumN#>+5m+c<kAnIU4l)
zn&$89cf#L*)xnrNXx<+Dy1vCSI_i_UW%<P~b1d{G+>rL+@6UWSY(P~!F0$j&!y2RE
z#_Q9=$~n5(Pg-dEK7X!Dhfdhta{GQH`120FqlYZJ_#_?v)csDprRVVn@NLI4`W&<E
zj&=9o8wvQ#uw~s5h&8LOlX?C*caFrluopQ0%x28C74tIbo@dH+Pfa2{G%Wube%oNq
zN4N3Y3(D|lc_(y*&2wx;0JI9nb~<t0VfFl~%!6LbJh7pWYs@uwwC3$N;l*^+R}&AW
zpab69aUAy@v_oh!b_jgnU5bVm<UIx7kb^qT5?g8=KD;eeh%tlS+Snh~-lxwm=6fEI
zal0PB@m^d09aEQ#SK~|`)46?~sb8n_?Dbs|pWENjdHnl2&+an$ex0k3sn0R>1v<A^
zn(vHm)p>k_$)7asJ5Al(?Ztm;?)c2#Ze>q5cgUBT{2F5qOnj%lYy8!tI?w*x)PHUA
z7meIhes47Fy$#>gQ=qr-%zZ<}`Cj}?)=I%=lJ?HKm-n5c+<gXgKloiWSI+hl$3qU8
z7jzzk?XLy5!MX3J%!~%Ef!9HQ1Ne|J*d^Gb5q;})_(a?dTZV2g&=$a#)w)xxmL-hC
z`5y1hPnOXc&GO^_bKyrS7K^Kp@&C}Uhfv{<1BUB&`T`ti<^q=O%q3j*1(67seW=^0
z3S5k<xn=?Fz`^Y+g~>J9$GNp&a!m(r={_8o>>I>CsLRj6#es>s%|6a$AAel4^jBFg
z?PIyJ|Nrad6#Cyx56aJYB>Yz~^8d&jhI}Ft{<|494vD`hNQWX(f5#$mKZhW}O)APd
zWqu6OWTb^xE{j~({@K>6BbP64`@-iVpJ}@xa#j21u3ZsnyMEd7$Vzlyv*e36MwYf+
zfzcWk;SrAz(&0!qAU%tQhp?c17t+_U(&84S8kYFg;4Mc}kTFD^gap^FnvhzNmLe@f
zIvxP$BAtM=52+8SAF1-kxlTGCWhW7ilWvzum-wIf5cJbltDo7R*S-Y!J@Fyvo@g!F
zRu_xxb8su~2awfDJ+pzjs#F2#ZKNGYtB{HXq_>fFAg#jKisfdYX)6H#1nCu|kD>l1
z^0$y)K>7vJ(@6Y(g=Qg<N8PCJMEWt(9Ml&ek$(qKpN;%y$O$)s^h=bn6?HVyR3uPZ
zJ%YA868Z8Y<ol84n!X>Pd=JudNTeUj???V5^0SfmA}21#A$<brPpH3&beC!WG}_KV
z+JgGSNDm?rKf)odl(pR`ABCKIVA_oIDAE~d`z`XHB3*_u_fEQe5M}Ot6UqgoPon%6
z<V%oqfBi`8TZgnBiG8@@64^ct`6Wm_X!}nj;z}GgBHwG;E=HaB5DvnS;$uj}gSc}K
z+&k$-x_!sw)DOZSUAe|tNIOt}9_d#|q$AS+633p1L>VN{-bNxHNq^!-T$4!Ck<K-V
zxRCzmAx%Nrj`{`2--C1lQUvJ;B+Aa|$Vn&e2VtJzaXIn_P$%vep-g_>Z^~KZq&4yX
zInwWt_92lMe?X$XuSLEP`S*}hmPiZE`3Mr}NPNf>;zSvG8HxDgQ+oAllxbu3Am{i?
zk)lZVp?*Aa%HZ!&{woscO!=S;a36$2fAwLM$%{WgsBea_o%dR?I01q^4a)I6kev&p
zZv@l2_ZN%pVEC!`fd6oYzl4Fi6+}K3bFYW-n)@FZ52o+NMqdImS{h+)plDZN>}!~J
zI`RbShhg!XUMd#91tNYerqneM_WcmHi4d@-u<_Z4EA<$Z@&qt*2{v~O7<D%UB{WW{
z6)>`6fMY+H^B~5317l7DyeGim#n{A|L8bB#inF1JzXd_Q2Z1geC>G;X$OP=_k+6%H
zH||WO7Gd0E<gWwItD*Q;Lr|`Pzy#3$Da?5a_>GA`AGZ{Xt07dEO#^Si+~+~So1myC
z0mlrK^kLxrI%u#D@E*iIe+8zryny-dQ>qhq9{C3JZn9GE18y&a#_fH@VmBE23f7qb
zLAVPHyAiPG0N?X5b~?r_z+C=(NZ1<eofp@X#wQj1oZ|l2SK9B?ot$u;MEFkG$=Nns
z;zFhHQMFO88wav)xPI=-NhlU8;j^vu$9~jTab32vZhrOZHu~M<z+zjy`DibN@6L7R
zn0e0pvVM+vC#e#j%6cWN%6{^KHfs|Ke}rxxb~WtMT)%3YI96RUX@)9X_;GdNhkvg=
zw&H2uD>r{2F#BikwRX2g54rfj17n`ub@o{1th1f{9LMpT$N7Xqc!W#%T!-s%-DOCO
zM9`%^hjbkh3710pI?~NZYmg{gP~m@Aob-=|xA0_Tk7-i&BS_brBK!lkN__>${~kHb
z$Ul0`8$No<l#>@;|81_LCLLr*A~MH#j6B|W<t%mo8z+*?D$=*Zhb9)Kj<WBHWYl-h
zkDr3oaQZnt&MM~5P^N#7b<D>U_GbkMD#bfcTMlR|kh+lA#<AQd%&R2&snP^fEOD)q
zLmc!xpFa?^LWhhQJMPf&hfSC`Y4Vit)P`x(4?p6_qmDl2Ju@Q5&Wz5AHNN+_*>jGc
zd&0c;op{p8O{X-U+H%_IXPkM~`_DcnzU1=OrOQ5Z#g(7E>gsDg_xZMKuUo!iW&8DC
zxZ%bxUiOJkeroZj>-T@@rZ0bG6>$#%7sd)|-pXY+tW@)sE?K!m|2uDao0@m|iWO?!
ziYr&FT)uM2<s3HJ9|_Jx_?w~INa~O0;ve%92B6H?pX1;X75{%p{$G)-J3nU}V}ECy
v{9lt8$Ny{6`8ng@8ie+Qch+)cp9LrW3Xw2BXB^`yj&Xh*7jr7e9UT4(N?b~p

literal 0
HcmV?d00001

diff --git a/src/tcc/input/ref.c b/src/tcc/input/ref.c
new file mode 100644
index 0000000..6613270
--- /dev/null
+++ b/src/tcc/input/ref.c
@@ -0,0 +1,87 @@
+#include "trap.h"
+
+typedef unsigned int uint32_t;
+typedef unsigned char uint8_t;
+typedef uint32_t size_t;
+#define NULL 0
+#define LENGTH(x) sizeof(x) / sizeof(x[0])
+
+void *memset(void *s, int c, size_t n) {
+  char *p = NULL;
+  if (s == NULL)
+    return s;
+
+  p = (char *)s;
+  while (n > 0) {
+    *(p++) = c;
+    n--;
+  }
+  return s;
+}
+
+int add(int a, int b) { return a + b; }
+int sub(int a, int b) { return a - b; }
+int mul(int a, int b) { return a * b; }
+int div_safe(int a, int b) { return b != 0 ? a / b : 0; }
+
+int test_data[] = {0, 1, 2, 3, 0x7fffffff, 0x80000000, 0x80000001, 0xffffffff};
+int ans_data[1000] = {0};
+
+#define NR_DATA 1000
+
+int add_main() {
+  int i, j;
+  for (i = 0; i < NR_DATA; i++) {
+    for (j = 0; j < NR_DATA; j++) {
+      int expected = add(test_data[i % 8], test_data[j % 8]);
+      check(add(test_data[i % 8], test_data[j % 8]) == expected);
+    }
+  }
+  return 0;
+}
+
+int sub_main() {
+  int i, j;
+  for (i = 0; i < NR_DATA; i++) {
+    for (j = 0; j < NR_DATA; j++) {
+      int expected = sub(test_data[i % 8], test_data[j % 8]);
+      check(sub(test_data[i % 8], test_data[j % 8]) == expected);
+    }
+  }
+  return 0;
+}
+
+int mul_main() {
+  int i, j;
+  for (i = 0; i < NR_DATA; i++) {
+    for (j = 0; j < NR_DATA; j++) {
+      int expected = mul(test_data[i % 8], test_data[j % 8]);
+      check(mul(test_data[i % 8], test_data[j % 8]) == expected);
+    }
+  }
+  return 0;
+}
+
+int div_main() {
+  int i, j;
+  for (i = 0; i < NR_DATA; i++) {
+    for (j = 0; j < NR_DATA; j++) {
+      int expected = div_safe(test_data[i % 8], test_data[(j % 7) + 1]);
+      check(div_safe(test_data[i % 8], test_data[(j % 7) + 1]) == expected);
+    }
+  }
+  return 0;
+}
+
+int main() {
+  memset(ans_data, 0, sizeof(ans_data));
+
+  for (int k = 0; k < 10; k++) {
+    add_main();
+    sub_main();
+    mul_main();
+    div_main();
+  }
+  return 0;
+}
+
diff --git a/src/tcc/resources/resources-ref.S b/src/tcc/resources/resources-ref.S
index e69de29..53c68f1 100644
--- a/src/tcc/resources/resources-ref.S
+++ b/src/tcc/resources/resources-ref.S
@@ -0,0 +1,8 @@
+.section .data
+.global ramdisk_start, ramdisk_end
+ramdisk_start:
+.incbin "input/trm.c"
+.incbin "input/trap.h"
+.incbin "input/ref.c"
+.incbin "input/ref"
+ramdisk_end: