mirror of
https://github.com/TomHarte/CLK.git
synced 2024-12-11 00:52:13 +00:00
18 lines
15 KiB
JSON
18 lines
15 KiB
JSON
|
[{ "name" : "LINK.w 0000", "initial state": {"pc": 256, "sr": 10012, "d0": 920922946, "a0": 1444597000, "d1": 1037326300, "a1": 2039166472, "d2": 1070877754, "a2": 579372430, "d3": 181965970, "a3": 821592318, "d4": 285361268, "a4": 182255222, "d5": 735864332, "a5": 851852338, "d6": 313504850, "a6": 1956270670, "d7": 1298644666, "a7": 3570975660, "usp": 58789054}, "final state": {"pc": 260, "sr": 10012, "d0": 920922946, "a0": 3570975656, "d1": 1037326300, "a1": 2039166472, "d2": 1070877754, "a2": 579372430, "d3": 181965970, "a3": 821592318, "d4": 285361268, "a4": 182255222, "d5": 735864332, "a5": 851852338, "d6": 313504850, "a6": 1956270670, "d7": 1298644666, "a7": 3570969712, "usp": 58789054}, "initial memory": [0, 212, 1, 216, 2, 195, 3, 172, 4, 0, 5, 0, 6, 1, 7, 0, 256, 78, 257, 80, 258, 232, 259, 200, 260, 8, 261, 142, 262, 136, 263, 22, 264, 144, 265, 66, -1], "final memory": [14205864, 86, 14205865, 26, 14205866, 205, 14205867, 8, -1]},
|
||
|
{ "name" : "UNLK 0000", "initial state": {"pc": 256, "sr": 10015, "d0": 989949938, "a0": 803545216, "d1": 1532794656, "a1": 1807272976, "d2": 465970786, "a2": 828204464, "d3": 1845640146, "a3": 1790910240, "d4": 1420153360, "a4": 697624134, "d5": 1384285568, "a5": 1855607972, "d6": 1997210232, "a6": 1445663670, "d7": 1942966614, "a7": 2866872556, "usp": 58789054}, "final state": {"pc": 258, "sr": 10015, "d0": 989949938, "a0": 1419671592, "d1": 1532794656, "a1": 1807272976, "d2": 465970786, "a2": 828204464, "d3": 1845640146, "a3": 1790910240, "d4": 1420153360, "a4": 697624134, "d5": 1384285568, "a5": 1855607972, "d6": 1997210232, "a6": 1445663670, "d7": 1942966614, "a7": 803545220, "usp": 58789054}, "initial memory": [0, 170, 1, 225, 2, 0, 3, 236, 4, 0, 5, 0, 6, 1, 7, 0, 256, 78, 257, 88, 258, 240, 259, 0, 260, 40, 261, 228, 262, 112, 263, 234, 264, 104, 265, 204, 15016064, 84, 15016065, 158, 15016066, 120, 15016067, 40, -1], "final memory": [-1]},
|
||
|
{ "name" : "LINK.w 0001", "initial state": {"pc": 256, "sr": 10006, "d0": 2076165244, "a0": 469802952, "d1": 1794976258, "a1": 1828344698, "d2": 315711956, "a2": 645851170, "d3": 1886253208, "a3": 1438262252, "d4": 1104086648, "a4": 797738732, "d5": 2125599662, "a5": 854460502, "d6": 1563068196, "a6": 694526432, "d7": 319716420, "a7": 1807105314, "usp": 58789054}, "final state": {"pc": 260, "sr": 10006, "d0": 2076165244, "a0": 469802952, "d1": 1794976258, "a1": 1807105310, "d2": 315711956, "a2": 645851170, "d3": 1886253208, "a3": 1438262252, "d4": 1104086648, "a4": 797738732, "d5": 2125599662, "a5": 854460502, "d6": 1563068196, "a6": 694526432, "d7": 319716420, "a7": 1807125914, "usp": 58789054}, "initial memory": [0, 107, 1, 182, 2, 61, 3, 34, 4, 0, 5, 0, 6, 1, 7, 0, 256, 78, 257, 81, 258, 80, 259, 124, 260, 168, 261, 190, 262, 96, 263, 0, 264, 168, 265, 238, -1], "final memory": [11943198, 108, 11943199, 250, 11943200, 83, 11943201, 122, -1]},
|
||
|
{ "name" : "UNLK 0001", "initial state": {"pc": 256, "sr": 9999, "d0": 1167414216, "a0": 1915029838, "d1": 1320146126, "a1": 1569086484, "d2": 2042399332, "a2": 537351428, "d3": 1226959276, "a3": 1096714760, "d4": 1366573238, "a4": 632845926, "d5": 658806400, "a5": 1902458338, "d6": 133497674, "a6": 733266582, "d7": 1722496256, "a7": 3239157114, "usp": 58789054}, "final state": {"pc": 258, "sr": 9999, "d0": 1167414216, "a0": 1915029838, "d1": 1320146126, "a1": 1549569636, "d2": 2042399332, "a2": 537351428, "d3": 1226959276, "a3": 1096714760, "d4": 1366573238, "a4": 632845926, "d5": 658806400, "a5": 1902458338, "d6": 133497674, "a6": 733266582, "d7": 1722496256, "a7": 1569086488, "usp": 58789054}, "initial memory": [0, 193, 1, 17, 2, 157, 3, 122, 4, 0, 5, 0, 6, 1, 7, 0, 256, 78, 257, 89, 258, 168, 259, 98, 260, 184, 261, 180, 262, 192, 263, 232, 264, 120, 265, 182, 8805396, 92, 8805397, 92, 8805398, 142, 8805399, 100, -1], "final memory": [-1]},
|
||
|
{ "name" : "LINK.w 0002", "initial state": {"pc": 256, "sr": 10009, "d0": 897727756, "a0": 1936539162, "d1": 2037774916, "a1": 151541802, "d2": 813827662, "a2": 47460872, "d3": 678184298, "a3": 958442666, "d4": 1547781856, "a4": 271068122, "d5": 1100254488, "a5": 1029111166, "d6": 2142979146, "a6": 438090830, "d7": 1602262984, "a7": 780255942, "usp": 58789054}, "final state": {"pc": 260, "sr": 10009, "d0": 897727756, "a0": 1936539162, "d1": 2037774916, "a1": 151541802, "d2": 813827662, "a2": 780255938, "d3": 678184298, "a3": 958442666, "d4": 1547781856, "a4": 271068122, "d5": 1100254488, "a5": 1029111166, "d6": 2142979146, "a6": 438090830, "d7": 1602262984, "a7": 780237644, "usp": 58789054}, "initial memory": [0, 46, 1, 129, 2, 194, 3, 198, 4, 0, 5, 0, 6, 1, 7, 0, 256, 78, 257, 82, 258, 184, 259, 138, 260, 136, 261, 102, 262, 128, 263, 150, 264, 16, 265, 226, -1], "final memory": [8504002, 2, 8504003, 212, 8504004, 50, 8504005, 8, -1]},
|
||
|
{ "name" : "UNLK 0002", "initial state": {"pc": 256, "sr": 10004, "d0": 1756123918, "a0": 123733032, "d1": 159462264, "a1": 816915334, "d2": 22696398, "a2": 1033080074, "d3": 1353772474, "a3": 571517722, "d4": 264730552, "a4": 1951501076, "d5": 1887771334, "a5": 360860508, "d6": 849409760, "a6": 488738828, "d7": 1706034710, "a7": 3210306438, "usp": 58789054}, "final state": {"pc": 258, "sr": 10004, "d0": 1756123918, "a0": 123733032, "d1": 159462264, "a1": 816915334, "d2": 22696398, "a2": 2986501250, "d3": 1353772474, "a3": 571517722, "d4": 264730552, "a4": 1951501076, "d5": 1887771334, "a5": 360860508, "d6": 849409760, "a6": 488738828, "d7": 1706034710, "a7": 1033080078, "usp": 58789054}, "initial memory": [0, 191, 1, 89, 2, 99, 3, 134, 4, 0, 5, 0, 6, 1, 7, 0, 256, 78, 257, 90, 258, 32, 259, 134, 260, 152, 261, 118, 262, 216, 263, 58, 264, 168, 265, 64, 9669898, 178, 9669899, 2, 9669900, 100, 9669901, 130, -1], "final memory": [-1]},
|
||
|
{ "name" : "LINK.w 0003", "initial state": {"pc": 256, "sr": 10010, "d0": 2122340054, "a0": 1840399398, "d1": 465910908, "a1": 1385731252, "d2": 839253794, "a2": 525000648, "d3": 665922262, "a3": 1823085866, "d4": 1618172916, "a4": 307491272, "d5": 899310410, "a5": 1160170628, "d6": 720170090, "a6": 1983730490, "d7": 680884944, "a7": 2564332044, "usp": 58789054}, "final state": {"pc": 260, "sr": 10010, "d0": 2122340054, "a0": 1840399398, "d1": 465910908, "a1": 1385731252, "d2": 839253794, "a2": 525000648, "d3": 665922262, "a3": 2564332040, "d4": 1618172916, "a4": 307491272, "d5": 899310410, "a5": 1160170628, "d6": 720170090, "a6": 1983730490, "d7": 680884944, "a7": 2564342518, "usp": 58789054}, "initial memory": [0, 152, 1, 216, 2, 154, 3, 12, 4, 0, 5, 0, 6, 1, 7, 0, 256, 78, 257, 83, 258, 40, 259, 238, 260, 96, 261, 46, 262, 56, 263, 168, 264, 40, 265, 124, -1], "final memory": [14195208, 108, 14195209, 170, 14195210, 21, 14195211, 42, -1]},
|
||
|
{ "name" : "UNLK 0003", "initial state": {"pc": 256, "sr": 10003, "d0": 203961292, "a0": 1601328148, "d1": 593534032, "a1": 1257119232, "d2": 464935508, "a2": 1458813038, "d3": 1625591976, "a3": 449931866, "d4": 1037400304, "a4": 714967582, "d5": 167196142, "a5": 1289145708, "d6": 1156948318, "a6": 709416580, "d7": 1513440688, "a7": 795422302, "usp": 58789054}, "final state": {"pc": 258, "sr": 10003, "d0": 203961292, "a0": 1601328148, "d1": 593534032, "a1": 1257119232, "d2": 464935508, "a2": 1458813038, "d3": 1625591976, "a3": 1991545056, "d4": 1037400304, "a4": 714967582, "d5": 167196142, "a5": 1289145708, "d6": 1156948318, "a6": 709416580, "d7": 1513440688, "a7": 449931870, "usp": 58789054}, "initial memory": [0, 47, 1, 105, 2, 46, 3, 94, 4, 0, 5, 0, 6, 1, 7, 0, 256, 78, 257, 91, 258, 208, 259, 2, 260, 48, 261, 224, 262, 104, 263, 126, 264, 48, 265, 188, 13724250, 118, 13724251, 180, 13724252, 144, 13724253, 224, -1], "final memory": [-1]},
|
||
|
{ "name" : "LINK.w 0004", "initial state": {"pc": 256, "sr": 10006, "d0": 300932246, "a0": 2098815886, "d1": 444269836, "a1": 232227186, "d2": 42509840, "a2": 1064545310, "d3": 1498310076, "a3": 1126762012, "d4": 704202610, "a4": 978353244, "d5": 750887652, "a5": 2048187282, "d6": 1554874198, "a6": 1868287618, "d7": 42162250, "a7": 3740924956, "usp": 58789054}, "final state": {"pc": 260, "sr": 10006, "d0": 300932246, "a0": 2098815886, "d1": 444269836, "a1": 232227186, "d2": 42509840, "a2": 1064545310, "d3": 1498310076, "a3": 1126762012, "d4": 704202610, "a4": 3740924952, "d5": 750887652, "a5": 2048187282, "d6": 1554874198, "a6": 1868287618, "d7": 42162250, "a7": 3740927180, "usp": 58789054}, "initial memory": [0, 222, 1, 249, 2, 252, 3, 28, 4, 0, 5, 0, 6, 1, 7, 0, 256, 78, 257, 84, 258, 8, 259, 180, 260, 16, 261, 78, 262, 208, 263, 132, 264, 16, 265, 96, -1], "final memory": [16383000, 58, 16383001, 80, 16383002, 124, 16383003, 92, -1]},
|
||
|
{ "name" : "UNLK 0004", "initial state": {"pc": 256, "sr": 10008, "d0": 1828756166, "a0": 1831336456, "d1": 1118926098, "a1": 1536187188, "d2": 276632306, "a2": 1649664482, "d3": 57087994, "a3": 1897066204, "d4": 1700208596, "a4": 301983618, "d5": 988465990, "a5": 934826672, "d6": 214400738, "a6": 641514852, "d7": 2103127546, "a7": 967585142, "usp": 58789054}, "final state": {"pc": 258, "sr": 10008, "d0": 1828756166, "a0": 1831336456, "d1": 1118926098, "a1": 1536187188, "d2": 276632306, "a2": 1649664482, "d3": 57087994, "a3": 1897066204, "d4": 1700208596, "a4": 1277089858, "d5": 988465990, "a5": 934826672, "d6": 214400738, "a6": 641514852, "d7": 2103127546, "a7": 301983622, "usp": 58789054}, "initial memory": [0, 57, 1, 172, 2, 45, 3, 118, 4, 0, 5, 0, 6, 1, 7, 0, 256, 78, 257, 92, 258, 32, 259, 72, 260, 88, 261, 190, 262, 192, 263, 118, 264, 112, 265, 194, 16770946, 76, 16770947, 30, 16770948, 216, 16770949, 66, -1], "final memory": [-1]},
|
||
|
{ "name" : "LINK.w 0005", "initial state": {"pc": 256, "sr": 10010, "d0": 2141382206, "a0": 2111075740, "d1": 532296168, "a1": 125146446, "d2": 2032322628, "a2": 949827508, "d3": 1519003260, "a3": 1504995612, "d4": 602212090, "a4": 1398856518, "d5": 288185126, "a5": 2078014316, "d6": 951788696, "a6": 660074658, "d7": 106943976, "a7": 1520767660, "usp": 58789054}, "final state": {"pc": 260, "sr": 10010, "d0": 2141382206, "a0": 2111075740, "d1": 532296168, "a1": 125146446, "d2": 2032322628, "a2": 949827508, "d3": 1519003260, "a3": 1504995612, "d4": 602212090, "a4": 1398856518, "d5": 288185126, "a5": 1520767656, "d6": 951788696, "a6": 660074658, "d7": 106943976, "a7": 1520782158, "usp": 58789054}, "initial memory": [0, 90, 1, 165, 2, 18, 3, 172, 4, 0, 5, 0, 6, 1, 7, 0, 256, 78, 257, 85, 258, 56, 259, 166, 260, 144, 261, 180, 262, 0, 263, 44, 264, 72, 265, 146, -1], "final memory": [10818216, 123, 10818217, 219, 10818218, 251, 10818219, 108, -1]},
|
||
|
{ "name" : "UNLK 0005", "initial state": {"pc": 256, "sr": 9987, "d0": 1377414226, "a0": 1167983482, "d1": 327181722, "a1": 150364746, "d2": 1385065334, "a2": 1739533956, "d3": 70335058, "a3": 504845040, "d4": 1005313956, "a4": 222714790, "d5": 2057807542, "a5": 103478808, "d6": 347240266, "a6": 1854072440, "d7": 1354081762, "a7": 1322224750, "usp": 58789054}, "final state": {"pc": 258, "sr": 9987, "d0": 1377414226, "a0": 1167983482, "d1": 327181722, "a1": 150364746, "d2": 1385065334, "a2": 1739533956, "d3": 70335058, "a3": 504845040, "d4": 1005313956, "a4": 222714790, "d5": 2057807542, "a5": 2126155978, "d6": 347240266, "a6": 1854072440, "d7": 1354081762, "a7": 103478812, "usp": 58789054}, "initial memory": [0, 78, 1, 207, 2, 140, 3, 110, 4, 0, 5, 0, 6, 1, 7, 0, 256, 78, 257, 93, 258, 184, 259, 242, 260, 8, 261, 184, 262, 64, 263, 234, 264, 200, 265, 48, 2815512, 126, 2815513, 186, 2815514, 144, 2815515, 202, -1], "final memory": [-1]},
|
||
|
{ "name" : "LINK.w 0006", "initial state": {"pc": 256, "sr": 9995, "d0": 1143467816, "a0": 336886562, "d1": 432426508, "a1": 1285570848, "d2": 707675314, "a2": 756286676, "d3": 1134582118, "a3": 2101940586, "d4": 1414372320, "a4": 1209435752, "d5": 859093596, "a5": 1053965008, "d6": 1253525998, "a6": 1544785806, "d7": 1196871316, "a7": 1003372094, "usp": 58789054}, "final state": {"pc": 260, "sr": 9995, "d0": 1143467816, "a0": 336886562, "d1": 432426508, "a1": 1285570848, "d2": 707675314, "a2": 756286676, "d3": 1134582118, "a3": 2101940586, "d4": 1414372320, "a4": 1209435752, "d5": 859093596, "a5": 1053965008, "d6": 1253525998, "a6": 1003372090, "d7": 1196871316, "a7": 1003343466, "usp": 58789054}, "initial memory": [0, 59, 1, 206, 2, 62, 3, 62, 4, 0, 5, 0, 6, 1, 7, 0, 256, 78, 257, 86, 258, 144, 259, 48, 260, 88, 261, 236, 262, 64, 263, 96, 264, 32, 265, 106, -1], "final memory": [13516346, 92, 13516347, 19, 13516348, 143, 13516349, 142, -1]},
|
||
|
{ "name" : "UNLK 0006", "initial state": {"pc": 256, "sr": 9998, "d0": 561242878, "a0": 1004658294, "d1": 1060872922, "a1": 1775531350, "d2": 1681962660, "a2": 2070141192, "d3": 1419181158, "a3": 1480448896, "d4": 76872084, "a4": 1159077736, "d5": 1351443940, "a5": 795363822, "d6": 1931265714, "a6": 1741537426, "d7": 1715031246, "a7": 3884254114, "usp": 58789054}, "final state": {"pc": 258, "sr": 9998, "d0": 561242878, "a0": 1004658294, "d1": 1060872922, "a1": 1775531350, "d2": 1681962660, "a2": 2070141192, "d3": 1419181158, "a3": 1480448896, "d4": 76872084, "a4": 1159077736, "d5": 1351443940, "a5": 795363822, "d6": 1931265714, "a6": 376604686, "d7": 1715031246, "a7": 1741537430, "usp": 58789054}, "initial memory": [0, 231, 1, 133, 2, 3, 3, 162, 4, 0, 5, 0, 6, 1, 7, 0, 256, 78, 257, 94, 258, 152, 259, 132, 260, 120, 261, 6, 262, 200, 263, 6, 264, 80, 265, 64, 13484178, 22, 13484179, 114, 13484180, 136, 13484181, 14, -1], "final memory": [-1]},
|
||
|
{ "name" : "LINK.w 0007", "initial state": {"pc": 256, "sr": 10006, "d0": 643479374, "a0": 1546140628, "d1": 230209332, "a1": 1433422902, "d2": 1510211484, "a2": 1067178674, "d3": 1015187694, "a3": 288570980, "d4": 502014450, "a4": 994402740, "d5": 2041095734, "a5": 1209127032, "d6": 792224160, "a6": 160292070, "d7": 512845720, "a7": 2154791178, "usp": 58789054}, "final state": {"pc": 260, "sr": 10006, "d0": 643479374, "a0": 1546140628, "d1": 230209332, "a1": 1433422902, "d2": 1510211484, "a2": 1067178674, "d3": 1015187694, "a3": 288570980, "d4": 502014450, "a4": 994402740, "d5": 2041095734, "a5": 1209127032, "d6": 792224160, "a6": 160292070, "d7": 512845720, "a7": 2154783072, "usp": 58789054}, "initial memory": [0, 128, 1, 111, 2, 129, 3, 10, 4, 0, 5, 0, 6, 1, 7, 0, 256, 78, 257, 87, 258, 224, 259, 90, 260, 208, 261, 86, 262, 168, 263, 38, 264, 248, 265, 252, -1], "final memory": [7307526, 128, 7307527, 111, 7307528, 129, 7307529, 6, -1]},
|
||
|
{ "name" : "UNLK 0007", "initial state": {"pc": 256, "sr": 10012, "d0": 1825683172, "a0": 708453064, "d1": 1010740274, "a1": 1321307680, "d2": 916154154, "a2": 89784132, "d3": 345134094, "a3": 1468403136, "d4": 315404118, "a4": 569452234, "d5": 1007370430, "a5": 1596582612, "d6": 113744062, "a6": 955807426, "d7": 436004204, "a7": 2653582752, "usp": 58789054}, "final state": {"pc": 258, "sr": 10012, "d0": 1825683172, "a0": 708453064, "d1": 1010740274, "a1": 1321307680, "d2": 916154154, "a2": 89784132, "d3": 345134094, "a3": 1468403136, "d4": 315404118, "a4": 569452234, "d5": 1007370430, "a5": 1596582612, "d6": 113744062, "a6": 955807426, "d7": 436004204, "a7": 2285652484, "usp": 58789054}, "initial memory": [0, 158, 1, 42, 2, 117, 3, 160, 4, 0, 5, 0, 6, 1, 7, 0, 256, 78, 257, 95, 258, 24, 259, 172, 260, 184, 261, 102, 262, 24, 263, 100, 264, 96, 265, 144, 2782624, 136, 2782625, 60, 2782626, 74, 2782627, 4, -1], "final memory": [-1]},
|
||
|
{}]
|