Skip to content

Ml llvm project opt testsuite #42

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
wants to merge 3 commits into
base: mlbridge-lib
Choose a base branch
from
Open

Ml llvm project opt testsuite #42

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
4f01ef2
Initialized the testsuite
mvvsmk Feb 17, 2024
1623f59
testfiles and oracle added for posetrl
jayasriveeramallu Feb 17, 2024
07547cc
Added RL4ReAl Oracles and test src files
RaghulPS32 Feb 17, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
The table of contents is too big for display.
Diff view
Diff view
  •  
  •  
  •  
12 changes: 12 additions & 0 deletions ml-llvm-project-opt-testsuite/loop_distribution_oracle/common.ll-pipe
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,12 @@
Dumping input 1: RDG: digraph G {
FileName="common_5.ll";
Function="init";
LoopID="2";
S1 [label="0.424936, 0.495854, -0.569568, -0.115077, 0.053268, -0.394252, -0.644927, -0.299504, -0.217683, -0.124312, 0.562584, 0.779334, 0.354155, 0.759829, -0.727247, 0.436141, -0.853373, -0.150437, -0.369204, -0.334137, -0.586572, 0.214017, 0.258231, 0.205927, -0.432322, -0.555325, 0.940329, 0.535603, -0.941453, -0.236575, -0.568634, 0.375318, -0.595836, 0.275419, 0.133879, -0.069238, 0.916876, 0.519996, 0.584175, 0.571328, -0.050006, 0.137838, 0.677830, 0.015901, -0.474007, 0.029141, -0.101271, -0.659290, 0.234979, -0.033524, 0.293150, -0.657417, 0.265267, -0.440917, 0.461881, -0.574649, -0.119805, 0.338758, -0.565200, 0.653178, -0.071956, -0.210103, -0.292482, -0.328490, 0.468524, -0.377047, 0.247149, 0.244561, -0.081563, -0.426113, 0.050633, -1.000097, 0.101904, 0.177986, -0.019590, 0.356247, -0.767175, 0.519374, -0.095045, 0.156882, -0.141012, 0.989193, 0.187092, 0.296789, -0.564899, -0.006862, 0.744498, -0.539694, 0.115314, -0.062628, -0.523323, -0.133663, 0.823720, -0.343012, 0.235463, 0.349922, 0.728349, -0.444645, 0.469728, 0.474358, 0.173482, -0.718799, -0.048431, -0.410637, 0.231207, -0.153570, 0.346916, -0.068115, 0.597878, -0.453492, 0.571532, -0.082681, 0.612614, 0.638011, -0.156794, -0.147277, -0.438182, 0.716750, -0.330835, -0.620315, 0.452015, -0.547889, -1.131255, 0.505840, -0.449416, 0.064526, 0.631866, -0.002344, 0.540320, -0.356328, 0.392107, -0.017547, 0.538956, -0.626381, -0.396295, 0.132951, 1.192687, -0.042299, 0.172320, 0.641599, -0.336661, 0.473137, 0.142500, 0.568087, 0.134449, -0.072767, -0.566792, -0.615750, -0.145725, 1.283758, -0.097139, -0.049181, -0.036292, 0.049398, -0.056661, 0.133719, 0.573513, -0.424862, 0.409596, -0.497193, -0.161567, 0.117041, -0.197951, 0.072623, -0.011338, -0.157668, 0.392993, 0.036502, 0.964107, 0.268223, -0.447387, 0.027709, 0.105183, 0.575479, 1.007867, -0.153748, -0.334516, 0.236757, 0.299750, -1.148431, 0.628229, 0.247751, -0.497717, 0.219850, -0.786461, 0.063562, 0.606541, 0.270247, -0.808831, -0.492442, -0.419176, -0.116026, 0.930398, 0.254551, -0.237352, 0.605059, 0.945058, 0.748735, -0.063409, 0.578484, 0.127260, 0.719108, 0.499521, 0.662140, -0.435250, 0.022909, -0.074099, 0.039450, 0.288518, -0.117726, 0.026787, -0.753477, -0.169297, -0.708459, 0.254091, 0.713199, 0.271369, 0.231143, -0.534539, 0.136041, -0.166130, -0.780661, 0.493541, -0.411158, 0.313679, -0.204886, -0.922285, -0.895668, 0.614301, -0.332741, 0.013307, 0.281352, -0.157402, 0.294587, -0.390130, -0.047102, 0.409164, 0.698367, -0.007958, -0.068493, 0.878851, -0.145093, -0.309160, 0.054307, 0.680944, 0.345650, -0.319929, 0.033054, 0.843486, 0.563909, -0.331923, 0.248577, -0.107921, -0.408887, 0.643894, 1.001186, -0.497495, 0.304220, -0.781407, 0.486865, 0.772818, -0.135189, -0.078854, 0.357926, 0.219425, 0.522630, -0.136174, 0.249678, 0.196669, 0.137276, -0.146882, -0.687348, -0.099756, 0.010256, -0.598166, -0.599769, 0.073949, -0.154515, 0.764445, -0.507723, -0.601475, 0.353659, 0.634352, 0.124409, 0.413833, 0.564198, 0.413340, 0.494717, 0.798013, 0.141288, -0.342532, 0.859493, 0.636742, -0.315004, 0.552441, -0.379130, -0.043350, 0.311587, -0.510342, 0.256755"];
S2 [label="0.429078, 0.583386, -0.522594, -0.221446, -0.010989, -0.470600, -0.706511, -0.318455, -0.200180, -0.134456, 0.599870, 0.783035, 0.363861, 0.862402, -0.787859, 0.445441, -0.928248, -0.209989, -0.378256, -0.380686, -0.592213, 0.194930, 0.286064, 0.229188, -0.538285, -0.589674, 1.048012, 0.575184, -1.027109, -0.249145, -0.618740, 0.408641, -0.667878, 0.220070, 0.109348, -0.121820, 1.015759, 0.570354, 0.663707, 0.678148, 0.023306, 0.229100, 0.752449, 0.092104, -0.534653, -0.034049, -0.111395, -0.696806, 0.218426, -0.009886, 0.323307, -0.679064, 0.288664, -0.469575, 0.589803, -0.652947, -0.095119, 0.465602, -0.654633, 0.766690, -0.052048, -0.344972, -0.255473, -0.400024, 0.390220, -0.449558, 0.353908, 0.341404, 0.000925, -0.541537, 0.031927, -1.187012, -0.012418, 0.120769, -0.072391, 0.413193, -0.859093, 0.613902, -0.016545, 0.210992, -0.148830, 1.106638, 0.166941, 0.258967, -0.624260, -0.067810, 0.827794, -0.612473, 0.123092, -0.118133, -0.557618, -0.138699, 0.915082, -0.389786, 0.252087, 0.319832, 0.835989, -0.496135, 0.483088, 0.527840, 0.181296, -0.899279, -0.056668, -0.405595, 0.200919, -0.169126, 0.403137, -0.022915, 0.569697, -0.463080, 0.583375, -0.106289, 0.758905, 0.717007, -0.178689, -0.159614, -0.522014, 0.764149, -0.393477, -0.728374, 0.492580, -0.600084, -1.258202, 0.492783, -0.495506, 0.045764, 0.674527, -0.011135, 0.603636, -0.387619, 0.368993, -0.072029, 0.569786, -0.666466, -0.450184, 0.232163, 1.290346, -0.033672, 0.228364, 0.756171, -0.384121, 0.563086, 0.196084, 0.586868, 0.190436, -0.068451, -0.601105, -0.596378, -0.219238, 1.400094, -0.074789, -0.098634, -0.024103, 0.056650, -0.064146, 0.131248, 0.647228, -0.461729, 0.350946, -0.479774, -0.234896, 0.242260, -0.238336, 0.089514, 0.026577, -0.147855, 0.428348, 0.025447, 1.116503, 0.310398, -0.482939, 0.033398, 0.190608, 0.555405, 1.113157, -0.139853, -0.310457, 0.309963, 0.352471, -1.242553, 0.721507, 0.212834, -0.547951, 0.235173, -0.829077, 0.054872, 0.660373, 0.216462, -0.861866, -0.555599, -0.452424, -0.041984, 0.995281, 0.261449, -0.239242, 0.670738, 1.029346, 0.785405, -0.062557, 0.613798, 0.171081, 0.844793, 0.613526, 0.667605, -0.447313, 0.029911, -0.076688, 0.023948, 0.296802, -0.163800, 0.104366, -0.857977, -0.273150, -0.783675, 0.403429, 0.798279, 0.364424, 0.242937, -0.536469, 0.238593, -0.174831, -0.868788, 0.524835, -0.384005, 0.335622, -0.259130, -0.942215, -0.986399, 0.690034, -0.361084, -0.007150, 0.309680, -0.203731, 0.249770, -0.456925, -0.009715, 0.447930, 0.736171, 0.029739, -0.076666, 0.930115, -0.114769, -0.376063, 0.053629, 0.795839, 0.358248, -0.339208, 0.032372, 0.956064, 0.594129, -0.381237, 0.282643, -0.026850, -0.458424, 0.658380, 1.118822, -0.524652, 0.349070, -0.789251, 0.535622, 0.857594, -0.117557, -0.136494, 0.293911, 0.164573, 0.610488, -0.071434, 0.241994, 0.179402, 0.123827, -0.148135, -0.667629, -0.139153, -0.005407, -0.698942, -0.569201, 0.087541, -0.222164, 0.779590, -0.479501, -0.650306, 0.354564, 0.736468, 0.127195, 0.433362, 0.701297, 0.464138, 0.443446, 0.975349, 0.137662, -0.381018, 1.031910, 0.646894, -0.303268, 0.571131, -0.391290, -0.102960, 0.320029, -0.561611, 0.277330"];
S3 [label="0.222891, 0.380956, -0.371743, -0.074924, -0.004743, -0.269068, -0.421528, -0.215674, -0.168725, -0.048529, 0.466238, 0.563073, 0.172810, 0.566711, -0.585321, 0.351362, -0.495384, -0.122458, -0.171153, -0.154917, -0.374760, 0.171757, 0.163605, 0.120671, -0.314321, -0.359124, 0.687047, 0.325539, -0.681780, -0.191594, -0.521866, 0.239667, -0.438166, 0.257613, 0.158459, -0.032239, 0.551438, 0.330778, 0.435802, 0.307652, -0.069843, 0.058256, 0.476156, 0.029439, -0.345028, 0.036926, -0.125966, -0.504850, 0.126818, -0.048500, 0.170361, -0.419696, 0.162211, -0.247383, 0.253980, -0.366829, -0.053946, 0.248284, -0.331748, 0.464022, -0.011472, -0.227923, -0.266925, -0.249719, 0.341707, -0.234275, 0.160543, 0.179734, -0.032812, -0.253835, -0.023630, -0.609966, -0.018323, 0.093159, -0.053722, 0.280318, -0.520927, 0.409313, -0.062565, 0.122627, -0.136249, 0.714686, 0.050047, 0.174261, -0.413513, -0.071235, 0.525153, -0.416750, 0.117977, -0.067693, -0.374854, -0.019330, 0.480896, -0.330363, 0.071774, 0.218552, 0.520005, -0.321441, 0.259390, 0.298349, 0.145077, -0.531974, -0.083884, -0.252767, 0.177826, -0.108711, 0.295347, -0.000777, 0.361318, -0.258670, 0.419146, -0.076980, 0.411189, 0.415288, -0.089703, -0.063850, -0.331323, 0.405400, -0.195200, -0.395585, 0.312632, -0.355996, -0.813285, 0.293794, -0.288231, 0.075839, 0.387604, 0.018238, 0.372594, -0.250117, 0.184855, -0.024446, 0.378471, -0.496008, -0.218365, 0.073728, 0.794558, 0.001138, 0.216772, 0.449552, -0.215789, 0.327245, 0.127546, 0.386739, 0.180782, 0.023624, -0.306728, -0.392538, -0.077218, 0.838555, -0.049786, -0.044092, -0.026428, 0.043202, -0.017821, 0.078119, 0.404066, -0.305597, 0.263598, -0.250824, -0.172573, 0.161319, -0.126660, 0.101063, 0.081509, -0.118993, 0.248811, 0.008256, 0.685162, 0.258674, -0.290957, 0.031653, 0.017085, 0.410461, 0.633711, -0.055082, -0.172012, 0.176334, 0.250882, -0.843014, 0.402195, 0.171714, -0.342924, 0.172590, -0.521603, 0.064795, 0.384083, 0.094556, -0.566460, -0.290247, -0.246763, -0.094279, 0.645159, 0.178102, -0.154492, 0.388332, 0.629813, 0.467462, 0.030658, 0.401024, 0.123945, 0.502452, 0.369818, 0.352270, -0.264400, -0.037112, -0.033089, 0.016573, 0.227866, -0.076208, 0.041335, -0.498354, -0.108917, -0.468097, 0.187246, 0.525170, 0.126195, 0.070836, -0.389684, 0.097883, -0.100261, -0.513180, 0.373323, -0.205541, 0.235501, -0.068811, -0.600628, -0.542244, 0.433884, -0.199754, 0.029833, 0.180777, -0.100297, 0.110844, -0.260683, 0.051987, 0.353332, 0.455928, -0.014242, -0.115942, 0.571893, -0.017458, -0.234713, 0.073301, 0.412317, 0.178964, -0.194196, 0.010038, 0.597739, 0.360188, -0.225910, 0.147059, -0.015546, -0.316365, 0.399024, 0.582037, -0.326037, 0.228244, -0.482007, 0.263426, 0.512907, -0.046964, -0.096372, 0.220590, 0.113116, 0.436178, -0.144946, 0.120204, -0.017995, 0.024782, -0.105999, -0.424622, -0.061562, -0.028100, -0.424499, -0.349683, 0.020695, -0.053357, 0.465519, -0.292626, -0.410132, 0.186604, 0.514085, 0.061808, 0.287124, 0.420321, 0.267291, 0.264696, 0.520431, 0.130647, -0.258909, 0.516457, 0.463937, -0.176894, 0.320207, -0.254612, -0.107516, 0.251389, -0.354506, 0.190669"];
S4 [label="0.472155, 0.755385, -0.584019, -0.082351, 0.062936, -0.650754, -0.846574, -0.353190, -0.214281, -0.193659, 0.832546, 1.168127, 0.408070, 1.073678, -1.034510, 0.683052, -1.048857, -0.347546, -0.386156, -0.384659, -0.911632, 0.318172, 0.325997, 0.244892, -0.668647, -0.705306, 1.334126, 0.625150, -1.359531, -0.259396, -0.863569, 0.415759, -0.823894, 0.297874, 0.116565, -0.106166, 1.173578, 0.636348, 0.814890, 0.556252, -0.023104, 0.268632, 0.881063, 0.035530, -0.651649, 0.025614, -0.111398, -0.941945, 0.177131, -0.028520, 0.378559, -0.859109, 0.198032, -0.522740, 0.375714, -0.749110, -0.227684, 0.754446, -0.829361, 0.975074, 0.009474, -0.117886, -0.226873, -0.259065, 0.467965, -0.354507, 0.369243, 0.261346, -0.004710, -0.611670, -0.005265, -1.296719, 0.019780, 0.243771, -0.023101, 0.608562, -0.986502, 0.673748, 0.040748, 0.295210, -0.165117, 1.295373, 0.107567, 0.362097, -0.877399, -0.072466, 0.947840, -0.802951, 0.220650, -0.162553, -0.692302, -0.147572, 1.058549, -0.471519, 0.101226, 0.350892, 0.792222, -0.616076, 0.703483, 0.629465, 0.143991, -0.934577, -0.173706, -0.403324, 0.325201, -0.204590, 0.508962, 0.016989, 0.899350, -0.474144, 0.630970, -0.164899, 0.875892, 0.890422, -0.237637, -0.344633, -0.500290, 0.874708, -0.294590, -0.909922, 0.552339, -0.695016, -1.489916, 0.524796, -0.605615, -0.046437, 0.887856, -0.022978, 0.759755, -0.512995, 0.388231, -0.197937, 0.668154, -0.913707, -0.526447, 0.102227, 1.433241, 0.013238, 0.332511, 0.948532, -0.483389, 0.681872, 0.312100, 0.697475, 0.356600, 0.053379, -0.605489, -0.773208, -0.281152, 1.652045, -0.019704, -0.122856, -0.367658, 0.076816, -0.090737, 0.223999, 0.786028, -0.516452, 0.454678, -0.451122, -0.141058, 0.086887, -0.332596, 0.199511, 0.043028, -0.278782, 0.424737, -0.099079, 1.269818, 0.458087, -0.588954, 0.026112, 0.127485, 0.664164, 1.427370, -0.111099, -0.352537, 0.453391, 0.308900, -1.693535, 0.631831, 0.116336, -0.739448, 0.275900, -1.061356, 0.093601, 0.760687, 0.225074, -0.963529, -0.697284, -0.609544, -0.113472, 1.134034, 0.259815, -0.465169, 0.856971, 1.349759, 0.861747, -0.248520, 0.669217, -0.029851, 0.985056, 0.613839, 0.806336, -0.472097, -0.054941, -0.067958, -0.003385, 0.419958, -0.046226, 0.138296, -0.926033, -0.280960, -0.868925, 0.437801, 0.967877, 0.200133, 0.259530, -0.716054, 0.359479, -0.156254, -1.003172, 0.579672, -0.364812, 0.346524, -0.031164, -1.206660, -1.278883, 0.754281, -0.407625, -0.032437, 0.346793, -0.313595, 0.378751, -0.573445, -0.043930, 0.764168, 0.921446, -0.007669, -0.053731, 1.041107, -0.245569, -0.468730, 0.029130, 0.854189, 0.310910, -0.392453, 0.047240, 1.229606, 0.714233, -0.492622, 0.390046, 0.023295, -0.556666, 0.638690, 1.362898, -0.567454, 0.309029, -1.089512, 0.668733, 1.017777, -0.174996, -0.267159, 0.434061, 0.225769, 0.791766, 0.087570, 0.202654, -0.043074, 0.056277, -0.108858, -0.743616, -0.162835, -0.013304, -0.847511, -0.735754, 0.148933, -0.303569, 0.873613, -0.523936, -0.734581, 0.548526, 0.920608, 0.115959, 0.453845, 0.867174, 0.519693, 0.637030, 1.119475, 0.273647, -0.429362, 1.263600, 0.972389, -0.309704, 0.642115, -0.426640, -0.149758, 0.451874, -0.631432, 0.438881"];
S5 [label="0.472155, 0.755385, -0.584019, -0.082351, 0.062936, -0.650754, -0.846574, -0.353190, -0.214281, -0.193659, 0.832546, 1.168127, 0.408070, 1.073678, -1.034510, 0.683052, -1.048857, -0.347546, -0.386156, -0.384659, -0.911632, 0.318172, 0.325997, 0.244892, -0.668647, -0.705306, 1.334126, 0.625150, -1.359531, -0.259396, -0.863569, 0.415759, -0.823894, 0.297874, 0.116565, -0.106166, 1.173578, 0.636348, 0.814890, 0.556252, -0.023104, 0.268632, 0.881063, 0.035530, -0.651649, 0.025614, -0.111398, -0.941945, 0.177131, -0.028520, 0.378559, -0.859109, 0.198032, -0.522740, 0.375714, -0.749110, -0.227684, 0.754446, -0.829361, 0.975074, 0.009474, -0.117886, -0.226873, -0.259065, 0.467965, -0.354507, 0.369243, 0.261346, -0.004710, -0.611670, -0.005265, -1.296719, 0.019780, 0.243771, -0.023101, 0.608562, -0.986502, 0.673748, 0.040748, 0.295210, -0.165117, 1.295373, 0.107567, 0.362097, -0.877399, -0.072466, 0.947840, -0.802951, 0.220650, -0.162553, -0.692302, -0.147572, 1.058549, -0.471519, 0.101226, 0.350892, 0.792222, -0.616076, 0.703483, 0.629465, 0.143991, -0.934577, -0.173706, -0.403324, 0.325201, -0.204590, 0.508962, 0.016989, 0.899350, -0.474144, 0.630970, -0.164899, 0.875892, 0.890422, -0.237637, -0.344633, -0.500290, 0.874708, -0.294590, -0.909922, 0.552339, -0.695016, -1.489916, 0.524796, -0.605615, -0.046437, 0.887856, -0.022978, 0.759755, -0.512995, 0.388231, -0.197937, 0.668154, -0.913707, -0.526447, 0.102227, 1.433241, 0.013238, 0.332511, 0.948532, -0.483389, 0.681872, 0.312100, 0.697475, 0.356600, 0.053379, -0.605489, -0.773208, -0.281152, 1.652045, -0.019704, -0.122856, -0.367658, 0.076816, -0.090737, 0.223999, 0.786028, -0.516452, 0.454678, -0.451122, -0.141058, 0.086887, -0.332596, 0.199511, 0.043028, -0.278782, 0.424737, -0.099079, 1.269818, 0.458087, -0.588954, 0.026112, 0.127485, 0.664164, 1.427370, -0.111099, -0.352537, 0.453391, 0.308900, -1.693535, 0.631831, 0.116336, -0.739448, 0.275900, -1.061356, 0.093601, 0.760687, 0.225074, -0.963529, -0.697284, -0.609544, -0.113472, 1.134034, 0.259815, -0.465169, 0.856971, 1.349759, 0.861747, -0.248520, 0.669217, -0.029851, 0.985056, 0.613839, 0.806336, -0.472097, -0.054941, -0.067958, -0.003385, 0.419958, -0.046226, 0.138296, -0.926033, -0.280960, -0.868925, 0.437801, 0.967877, 0.200133, 0.259530, -0.716054, 0.359479, -0.156254, -1.003172, 0.579672, -0.364812, 0.346524, -0.031164, -1.206660, -1.278883, 0.754281, -0.407625, -0.032437, 0.346793, -0.313595, 0.378751, -0.573445, -0.043930, 0.764168, 0.921446, -0.007669, -0.053731, 1.041107, -0.245569, -0.468730, 0.029130, 0.854189, 0.310910, -0.392453, 0.047240, 1.229606, 0.714233, -0.492622, 0.390046, 0.023295, -0.556666, 0.638690, 1.362898, -0.567454, 0.309029, -1.089512, 0.668733, 1.017777, -0.174996, -0.267159, 0.434061, 0.225769, 0.791766, 0.087570, 0.202654, -0.043074, 0.056277, -0.108858, -0.743616, -0.162835, -0.013304, -0.847511, -0.735754, 0.148933, -0.303569, 0.873613, -0.523936, -0.734581, 0.548526, 0.920608, 0.115959, 0.453845, 0.867174, 0.519693, 0.637030, 1.119475, 0.273647, -0.429362, 1.263600, 0.972389, -0.309704, 0.642115, -0.426640, -0.149758, 0.451874, -0.631432, 0.438881"];
}
Dumping output: 1
Dumping input 1: RDG: Exit
Loading