From 6b443d43f899bf3bd1e1c6a20f51c1d15b649eb4 Mon Sep 17 00:00:00 2001 From: nishant-sachdeva Date: Wed, 31 Jul 2024 14:39:34 +0530 Subject: [PATCH] Sqlite3 tests fixed --- src/test-suite/generateOracle.sh | 6 +++++- src/test-suite/gmon.out | Bin 2919279 -> 2922708 bytes .../oracle/SYM_llvm17_p/sqlite3.txt | 2 +- 3 files changed, 6 insertions(+), 2 deletions(-) diff --git a/src/test-suite/generateOracle.sh b/src/test-suite/generateOracle.sh index 76b03b96..cad027da 100644 --- a/src/test-suite/generateOracle.sh +++ b/src/test-suite/generateOracle.sh @@ -4,7 +4,8 @@ # SEED_VERSION="llvm17" -# SRC_WD="PE-benchmarks-llfiles-llvm17 +SQLITE_INPUT=./PE-benchmarks-llfiles-llvm17/sqlite3.ll + DEST_FOLDER_SYM_P="oracle/SYM_${SEED_VERSION}_p" DEST_FOLDER_FA_P="oracle/FA_${SEED_VERSION}_p" @@ -52,6 +53,9 @@ while IFS= read -r d; do done /dev/null +${IR2VEC_PATH} -fa -level p -o ${DEST_FOLDER_FA_P}/sqlite3.txt ${SQLITE_INPUT} &>/dev/null echo "Finished generating P level files" echo "generating F level files" diff --git a/src/test-suite/gmon.out b/src/test-suite/gmon.out index 08ffe464995b65bf78a675513743c08982bcd92d..68c7bac5a5745d59189f66aef3dbf2892abc1c66 100644 GIT binary patch delta 1926 zcmZvdOK1~O6ozMPYnwKS)0eeXYkVFbMMf7s7Pj5#O2&l>R!ZCog@9;xoroT)8%cfC zCndNND$91#K{B-0ZAlL{i5ULQW5o!=tBGe+(Aw&@B5gHJp2r+~>!YTv@p%I}8 zp&6kCp%q~@LL0&wgm#1ugtZ9k5Y{7fB5XiNAZ$d~gs>T53&K`}Z3sc=c7z=WI}vt0 zg|2-#={<`2w)chmi(igXe|GR`rv!HIj+CMEjm`0>0n?SBv%uzD%rpfKw;9mS3jIA( zUrx&Z;rilF9&1!jy?+J%;;~A>34#3rsr$q~HpWbt5!h*#mwf4P(CpOP%N_Q$7@Z~$ z@In831G)zV0*};F>JT3k+YQqx@Ihgo*Lg~HpDOrFV12CrV>JJ(S#^^#$Glov`jL{?zv z*2}yKOqCx}bBYG9kXo9pkYvR;L7OXrDmyvAu>Y75pBA{M)qt5{)pd}+zkz8&)t88t zA+5=k1?nV%Ie{mog32`v&FNm_^P|g$R8W$kZ}pw$^G(#b&g$R@kF=(&Ks~8?xa_<@ zT~5%u!DZT{$003Hn*^V!romV>}P|r!w85Pr)lV7XU zUZGkgnA575)yiC4W)e)@4#yMB3eIu~o2K+Jhw;q6hI*bMqv)Z)TqEmIRVvfBDV)-@g4=TP&Hs9+pgZ zptt-kYN$_Sd4j5Y;w~VV2u%ph2oZ!9ge?fI2vLMKgcw3QLI*-8LKi|ef`!n7(2LNA z(2p>HuoYntVH?7Bgdv0-2s;sWA;b}OBP0;^AnZjLM%ah2AK?IkA9@hs5W-=Ek=Kws zhK`y3$ZM;va5eoEno9yR0$UVJePScN8ZbS98G+5pwAR?jOFKdPJHy}K0_{#M+D2Pa z`5B<~E{4_TTzO61e6aC{O&V(SGn}di+KY1xXFtbi_5)gz$1wXo0BuL;NS6O4wYEvk zs{X`08`>mjJ!6c{W2qxoXUye62RA_}o$6%F$u26z>UK{1I4FZIW00<_p7wYEQ|jXh^4&6R3j- zT9^EGm0yrK)KAohx}RX~GAHT&JHB8R1y)Y+))KU**j&ECl}@QHP|s9bXeO>I!_U|K zL_MPaY)Vf>*1lT%5(*4 zlb|&dHY3U$6XDIGu zaleM6s^1pqUf@6ZCe89e7~T%IAE$k~$8dJV;m3)tsCS>~YVb{5bQz8ZVfk#QKgKZP hL1=%NAh>Wk@Q7+SKG^`CPe#?t!9O4M)oLct{};qr;k*C< diff --git a/src/test-suite/oracle/SYM_llvm17_p/sqlite3.txt b/src/test-suite/oracle/SYM_llvm17_p/sqlite3.txt index 7e5ab73b..7fb8aea4 100644 --- a/src/test-suite/oracle/SYM_llvm17_p/sqlite3.txt +++ b/src/test-suite/oracle/SYM_llvm17_p/sqlite3.txt @@ -1 +1 @@ -16914.214172 1840.963612 -8056.768579 21579.305453 -906.262205 -14727.750711 4137.897728 12411.245494 -6586.577729 -37492.964734 -23503.579107 24019.665282 3178.140591 -4723.500753 5407.842244 7912.921167 -3458.007608 3013.286848 -43144.929418 15115.546246 13531.053632 4908.258806 -5820.302126 -7871.660645 3889.551273 -10608.906240 1448.299046 10127.834420 1014.800933 22875.036123 -11217.396606 7132.652507 18359.679961 -541.432431 9754.327113 19447.189792 -5458.297947 1001.803515 1260.266054 429.515246 30198.629348 18262.393044 -3520.028532 10885.129589 9038.867032 23509.461660 -2190.924487 20668.772705 -4464.237518 -15003.251139 10138.776080 7383.103845 -17749.750384 -2971.023222 -14480.273423 9624.178060 19172.138324 8872.303230 -11147.777716 11520.362299 -11789.698651 -2464.035909 7416.324752 381.487262 27537.998172 14634.787225 15946.290784 14708.178722 30142.986762 -11951.156505 -2847.544498 13036.279684 11946.873288 -2281.002892 14178.835480 -9445.563955 -21959.072204 -11427.626110 14.950048 -38164.969681 -15326.407916 -604.005724 40969.720254 -22921.026771 1021.245459 6482.292367 8335.949495 22709.037213 -15671.772052 -634.916992 -16388.880672 -88.372465 -10411.435811 38141.528995 1444.237535 7092.407774 -3015.810814 9673.987822 10480.803898 17367.615576 -5099.230566 -15713.135321 -16277.581293 -37081.163429 -8470.125739 -8772.651484 3261.668365 7589.841179 -31083.117699 -6787.744450 7673.834177 27727.294920 -34264.453388 -1024.019126 18412.358452 9384.182441 16855.866440 7579.575966 -20625.224866 4570.472021 1587.196202 1714.091642 13996.430750 -8729.059297 -1445.531903 -5345.869665 6737.841282 747.071812 5712.435997 1316.571824 -37393.893115 -11137.285625 3457.923217 -7597.644020 934.439596 4310.015852 8189.372290 -13761.423625 12699.496546 -14782.421306 18183.527744 -33691.703352 -517.262789 -11239.399834 -19974.966452 -3504.060581 16885.975472 25761.155805 14053.165475 -6681.317758 -6153.418469 -7325.079859 -30356.658229 -34656.871696 6283.765911 -1758.163001 8988.464773 -1522.551626 -1673.995728 5009.828211 -9656.368676 1426.665633 9335.348034 -11649.556808 -1566.318860 -6295.734684 31544.197891 661.649733 -4830.674434 -14478.650575 -8427.805505 -545.973874 2502.690463 15002.196104 -6300.676337 -33845.085246 -34194.679896 -18256.095681 19120.451916 -4796.204741 -1357.198324 -13606.642437 -3021.046722 -18445.044067 3332.247063 -17445.313795 6821.379552 -1561.129509 -13353.268278 -23115.474322 472.936692 -1898.996769 -9484.504976 -5017.053747 -15333.591479 -5749.949470 18458.335412 4047.862621 8084.542286 3028.814311 1129.188741 -21428.210033 -19353.038396 5786.410664 -7532.951615 21430.806942 19577.147353 459.479687 -18445.971763 -4433.705096 -27620.540913 19828.835893 -17033.978568 4474.063320 -6138.081727 -9289.859715 29276.565507 -13631.410108 -7187.016573 -18083.697502 8781.137185 3854.077762 -34757.682776 32445.021522 20843.803376 -11541.272980 -4382.951260 -1828.406638 2398.068724 18359.047156 21539.259133 -15484.985073 -13341.607581 3250.685126 -6791.923469 -1860.182208 -395.840937 16642.290996 -16803.371117 11532.507834 -15286.484050 -9243.681272 12537.733834 16148.825960 493.864148 8958.987453 -833.191497 -2730.725876 8574.123858 17163.311834 13874.951473 -6250.890749 -19190.295017 -44012.399335 13558.447731 -8566.129714 -6785.466744 -403.105960 -9429.032390 -19264.410796 3993.546581 -5802.231716 24354.598056 802.353023 -11928.318532 16617.764262 -27415.844372 -24580.951602 -13247.186538 2753.917039 -291.838695 -5530.368520 7072.636033 -7053.490037 6451.836519 9084.519734 856.179694 1720.038980 -17071.204665 -10241.571031 -236.670560 18695.744940 8736.999602 -4602.100388 24403.244235 5754.482284 -10343.410231 -6480.548159 858.463332 31.853096 -2285.052285 -20497.891846 -9698.522648 -9221.781745 8000.340915 -9367.694417 14972.296732 1337.978384 1709.723559 9941.290745 +16914.214172 1840.963612 -8056.768579 21579.305453 -906.262205 -14727.750711 4137.897728 12411.245494 -6586.562078 -37492.964788 -23503.569943 24019.669262 3178.205893 -4723.530913 5407.877824 7912.934175 -3458.056365 3013.332508 -43144.954157 15115.587790 13531.105645 4908.255795 -5820.292873 -7871.662108 3889.509265 -10608.904523 1448.248686 10127.800801 1014.830101 22875.078128 -11217.396718 7132.679162 18359.717864 -541.438802 9754.257737 19447.217860 -5458.309037 1001.817028 1260.314788 429.579484 30198.570108 18262.427973 -3520.038288 10885.075944 9038.812628 23509.483794 -2190.944232 20668.774651 -4464.250265 -15003.294026 10138.764168 7383.131005 -17749.769020 -2971.040689 -14480.221331 9624.128167 19172.139926 8872.318439 -11147.725663 11520.408401 -11789.705205 -2464.030694 7416.382130 381.455867 27538.019036 14634.787225 15946.268038 14708.178722 30142.986762 -11951.156505 -2847.544498 13036.279684 11946.873288 -2281.002892 14178.859285 -9445.563182 -21959.103018 -11427.728832 14.912112 -38165.032505 -15326.420244 -604.005724 40969.720254 -22921.026771 1021.245459 6482.292367 8335.949495 22709.037213 -15671.772052 -634.916992 -16388.880672 -88.372465 -10411.435811 38141.528995 1444.237535 7092.407774 -3015.810814 9673.987822 10480.803898 17367.615576 -5099.230566 -15713.135321 -16277.581293 -37081.163429 -8470.125739 -8772.651484 3261.668365 7589.841179 -31083.117699 -6787.744450 7673.834177 27727.294920 -34264.453388 -1024.019126 18412.358452 9384.182441 16855.899739 7579.575724 -20625.235935 4570.472021 1587.160090 1714.091642 13996.430750 -8729.059297 -1445.531903 -5345.869665 6737.841282 747.071812 5712.422391 1316.527676 -37393.900410 -11137.387835 3457.965800 -7597.703070 934.481986 4310.015852 8189.372290 -13761.423625 12699.496546 -14782.421306 18183.527744 -33691.703352 -517.262789 -11239.399834 -19974.966452 -3504.060581 16885.975472 25761.155805 14053.165475 -6681.317758 -6153.418469 -7325.079859 -30356.658229 -34656.871696 6283.765911 -1758.163001 8988.464773 -1522.551626 -1673.995728 5009.828211 -9656.368676 1426.665633 9335.348034 -11649.556808 -1566.318860 -6295.734684 31544.197891 661.649733 -4830.674434 -14478.650575 -8427.860576 -546.023168 2502.741735 15002.196104 -6300.676337 -33845.085246 -34194.679896 -18256.095681 19120.451916 -4796.204741 -1357.198324 -13606.642437 -3021.077596 -18445.043532 3332.247063 -17445.313795 6821.379552 -1561.129509 -13353.268278 -23115.474322 472.936692 -1898.996769 -9484.504976 -5017.053747 -15333.591479 -5749.949470 18458.335412 4047.862621 8084.542286 3028.814311 1129.188741 -21428.210033 -19353.038396 5786.410664 -7532.951615 21430.806942 19577.147353 459.479687 -18445.971763 -4433.705096 -27620.540913 19828.835893 -17033.978568 4474.063320 -6138.081727 -9289.859715 29276.565507 -13631.410108 -7187.016573 -18083.697502 8781.137185 3854.077762 -34757.682776 32445.021522 20843.795104 -11541.262047 -4382.903431 -1828.406638 2398.068724 18359.047156 21539.259133 -15484.985073 -13341.607581 3250.685126 -6791.923469 -1860.182208 -395.803710 16642.242498 -16803.371117 11532.507834 -15286.484050 -9243.681272 12537.733834 16148.825960 493.864148 8958.987453 -833.191497 -2730.725876 8574.123858 17163.311834 13874.951473 -6250.890749 -19190.295017 -44012.399335 13558.447731 -8566.129714 -6785.466744 -403.105960 -9429.032390 -19264.410796 3993.546581 -5802.231716 24354.598056 802.353023 -11928.318532 16617.764262 -27415.844372 -24580.951602 -13247.186538 2753.917039 -291.838695 -5530.368520 7072.636033 -7053.490037 6451.836519 9084.519734 856.179694 1720.038980 -17071.271865 -10241.539163 -236.615965 18695.744940 8736.988008 -4602.100388 24403.244235 5754.482284 -10343.410231 -6480.548159 858.463332 31.853096 -2285.101590 -20497.857665 -9698.512085 -9221.856113 8000.390882 -9367.717354 14972.344512 1337.978384 1709.723559 9941.290745