github/dappicom
1
1
Fork 0
mirror of https://github.com/tonk-labs/dappicom.git synced 2026-01-10 06:07:59 -05:00
Code Issues Packages Projects Releases Wiki Activity

add tests for opcodes

Browse Source 
Signed-off-by: Prabhat1308 <prabhatverma329@gmail.com>
This commit is contained in:
Prabhat1308
2024-05-09 14:46:51 +05:30
parent ad6e1be29f
commit 450fbba201
6 changed files with 126 additions and 344 deletions
Download Patch File Download Diff File Expand all files Collapse all files

64
circuits/instr/lda/src/main.nr
View File

@@ -100,11 +100,11 @@ fn test_0() -> Field {
main(
1,
[
343432, 343433, 343434, 343435, 343436, 343437, 343438, 343439, 343440, 343441, 343442, 343443, 343444, 343445, 343446,343447, 343448 , 343449
343432, 343433, 343434, 343435, 343436, 343437, 343438, 343439, 343440, 343441, 343442, 343443, 343444, 343445, 343446,343447, 343448
],
[8203, 79, 8203,8203,8203, 0, 0, 0, 0, 0,0,8203,8203,8204,8200,8200,8205, 8205],
[49231, 73, 49232, 1, 49233, 0, 0, 0, 0, 0,0,49233,49234,67,34,97,36,36],
[0, 0, 1, 0, 1, 0, 0, 0, 0, 0,0,0,1,0,0,1,0, 1]
[8203, 79, 8203,8203,8203, 0, 0, 0, 0, 0,0,8203,8203,8204,8200,8205,8205],
[49231, 169, 49232, 1, 49233, 0, 0, 0, 0, 0,0,49233,49234,34,34,36,36],
[0, 0, 1, 0, 1, 0, 0, 0, 0, 0,0,0,1,0,1,0,1]
)
}
@@ -113,11 +113,11 @@ fn test_1() -> Field {
main(
1,
[
343492, 343493, 343494, 343495, 343496, 343497, 343498, 343499, 343500, 343501, 343502, 343503, 343504, 343505, 343506, 343507, 343508 , 343509
343492, 343493, 343494, 343495, 343496, 343497, 343498, 343499, 343500, 343501, 343502, 343503, 343504, 343505, 343506, 343507, 343508
],
[8203, 79, 8203,8203,8203, 0, 0, 0,0,0,8203,49233,8203 ,8204,8200,8200,8205, 8205],
[49231, 69 , 49232, 1, 49233, 0, 0, 0,0,0, 49233,69,49234,67,34,97,36,36],
[0, 0, 1, 0, 1, 0, 0, 0,0,0,0,0,1,0,0,1,0, 1]
[8203, 79, 8203,8203,8203, 0, 0, 0,0,0,8203,49233,8203 ,8204,8200,8205,8205],
[49231, 165 , 49232, 1, 49233, 0, 0, 0,0,0, 49233,69,49234,34,34,36,36],
[0, 0, 1, 0, 1, 0, 0, 0,0,0,0,0,1,0,1,0,1]
)
}
@@ -126,11 +126,11 @@ fn test_2() -> Field {
main(
1,
[
343552, 343553, 343554, 343555, 343556, 343557, 343558, 343559, 343560, 343561, 343562, 343563, 343564, 343565, 343566, 343567, 343568 , 343569
343552, 343553, 343554, 343555, 343556, 343557, 343558, 343559, 343560, 343561, 343562, 343563, 343564, 343565, 343566, 343567, 343568
],
[8203, 79, 8203,8203,8203,0,0,0,8203,49233,8203,13,8202,8204,8200,8200,8205, 8205 ],
[49231, 85, 49232, 1, 49233,0,0,0,49233,13,49234,0,69,67,34,97,36,36 ],
[0, 0, 1, 0, 1,0,0,0,0,0,1,0,0,0,0,1,0, 1 ]
[8203, 79, 8203,8203,8203,0,0,0,8203,49233,8203,13,8202,8204,8200,8205,8205],
[49231, 181, 49232, 1, 49233,0,0,0,49233,13,49234,0,69,34,34,36,36 ],
[0, 0, 1, 0, 1,0,0,0,0,0,1,0,0,0,1,0,1]
)
}
@@ -139,11 +139,11 @@ fn test_3() -> Field {
main(
1,
[
343612, 343613, 343614, 343615, 343616, 343617, 343618, 343619, 343620, 343621, 343622, 343623, 343624, 343625, 343626, 343627, 343628 , 343629
343612, 343613, 343614, 343615, 343616, 343617, 343618, 343619, 343620, 343621, 343622, 343623, 343624, 343625, 343626, 343627, 343628
],
[8203, 79, 8203,8203,8203,0,0,8203,49233,8203,8203,49234, 8203,8204,8200,8200,8205, 8205 ],
[49231, 77, 49232, 1, 49233,0,0,49233,1,49234,49234,2,49235,67,34,97,36,36],
[0, 0, 1, 0, 1,0,0,0,0,1,0,0,1,0,0,1,0, 1 ]
[8203, 79, 8203,8203,8203,0,0,8203,49233,8203,8203,49234, 8203,8204,8200,8205,8205 ],
[49231, 173, 49232, 1, 49233,0,0,49233,1,49234,49234,2,49235,34,34,36,36],
[0, 0, 1, 0, 1,0,0,0,0,1,0,0,1, 0,1,0,1]
)
}
@@ -152,11 +152,11 @@ fn test_4() -> Field {
main(
1,
[
343712, 343713, 343714, 343715, 343716, 343717, 343718, 343719, 343720, 343721, 343722, 343723, 343724, 343725, 343726, 343727, 343728 , 343729
343712, 343713, 343714, 343715, 343716, 343717, 343718, 343719, 343720, 343721, 343722, 343723, 343724, 343725, 343726, 343727, 343728
],
[8203,79,8203,8203,8203,8203, 49233, 8203, 8203, 49234, 8203, 8201, 582,8204,8200,8200,8205, 8205 ],
[49231,93, 49232,0,49233,49233, 1, 49234, 49234, 2, 49235, 69, 80,67,34,97,36,36],
[0, 0, 1, 0, 1, 0, 0, 1, 0, 0, 1, 0, 0,0,0,1,0, 1 ]
[8203,79,8203,8203,8203,8203, 49233, 8203, 8203, 49234, 8203, 8201, 582,8204,8200,8205,8205],
[49231,189, 49232,0,49233,49233, 1, 49234, 49234, 2, 49235, 69, 80,34,34,36,36],
[0, 0, 1, 0, 1, 0, 0, 1, 0, 0, 1, 0, 0, 0,1,0,1]
)
}
@@ -165,11 +165,11 @@ fn test_5() -> Field {
main(
1,
[
343812, 343813, 343814, 343815, 343816, 343817, 343818, 343819, 343820, 343821, 343822, 343823, 343824, 343825, 343826, 343827, 343828 , 343829
343812, 343813, 343814, 343815, 343816, 343817, 343818, 343819, 343820, 343821, 343822, 343823, 343824, 343825, 343826, 343827, 343828
],
[8203,79,8203,8203,8203,8203, 49233, 8203, 8203, 49234, 8203, 8202, 582,8204,8200,8200,8205, 8205 ],
[49231,89, 49232,1,49233,49233, 1, 49234, 49234, 2, 49235, 69, 80,67,34,97,36,36],
[0, 0, 1, 0, 1, 0, 0, 1, 0, 0, 1, 0, 0,0,0,1,0, 1 ]
[8203,79,8203,8203,8203,8203, 49233, 8203, 8203, 49234, 8203, 8202, 582,8204,8200,8205,8205],
[49231,185, 49232,1,49233,49233, 1, 49234, 49234, 2, 49235, 69, 80,34,34,36,36],
[0, 0, 1, 0, 1, 0, 0, 1, 0, 0, 1, 0, 0, 0,1,0,1]
)
}
@@ -178,11 +178,11 @@ fn test_6() -> Field {
main(
1,
[
343912, 343913, 343914, 343915, 343916, 343917, 343918, 343919, 343920, 343921, 343922, 343923, 343924, 343925, 343926, 343927, 343928 , 343929
343912, 343913, 343914, 343915, 343916, 343917, 343918, 343919, 343920, 343921, 343922, 343923, 343924, 343925, 343926, 343927, 343928
],
[8203,79,8203,8203,8203,0,8203,49233,8203,5675,8201,5688,5689,8204,8200,8200,8205, 8205 ],
[49231,65, 49232,0,49233,0,49233,5675,5676,69,13,1,2,67,34,97,36,36],
[0, 0, 1, 0, 1,0,0,0,1,0,0,0,0 ,0,0,1,0,1]
[8203,79,8203,8203,8203,0,8203,49233,8203,5675,8201,5688,5689,8204,8200,8205,8205],
[49231,161, 49232,0,49233,0,49233,5675,5676,69,13,1,2,34,34,36,36],
[0, 0, 1, 0, 1,0,0,0,1,0,0,0,0 ,0,1,0,1]
)
}
@@ -191,10 +191,10 @@ fn test_7() -> Field {
main(
1,
[
343912, 343913, 343914, 343915, 343916, 343917, 343918, 343919, 343920, 343921, 343922, 343923, 343924, 343925, 343926, 343927, 343928 , 343929
343912, 343913, 343914, 343915, 343916, 343917, 343918, 343919, 343920, 343921, 343922, 343923, 343924, 343925, 343926, 343927, 343928
],
[8203,79,8203,8203,8203,0,8203,49233,8203,5675,5676,8202,582,8204,8200,8200,8205, 8205],
[49231,81, 49232,0,49233,0,49233,5675,5676,1,2,69,112,67,34,97,36,36],
[0, 0, 1, 0, 1,0,0,0,1,0,0,0,0,0,0,1,0,1]
[8203,79,8203,8203,8203,0,8203,49233,8203,5675,5676,8202,582,8204,8200,8205,8205],
[49231,177, 49232,0,49233,0,49233,5675,5676,1,2,69,112,34,34,36,36],
[0, 0, 1, 0, 1,0,0,0,1,0,0,0,0,0,1,0,1]
)
}

78
circuits/instr/ldx/src/main.nr
View File

@@ -98,11 +98,11 @@ fn test_0() -> Field {
main(
1,
[
343432, 343433, 343434, 343435, 343436, 343437, 343438, 343439, 343440, 343441, 343442, 343443, 343444, 343445, 343446,343447, 343448 , 343449
343432, 343433, 343434, 343435, 343436, 343437, 343438, 343439, 343440, 343441, 343442, 343443, 343444, 343445, 343446,343447, 343448
],
[8203, 79, 8203,8203,8203, 0, 0, 0, 0, 0,0,8203,8203,8204,8200,8200,8205, 8205],
[49231, 73, 49232, 1, 49233, 0, 0, 0, 0, 0,0,49233,49234,67,34,97,36,36],
[0, 0, 1, 0, 1, 0, 0, 0, 0, 0,0,0,1,0,0,1,0, 1]
[8203, 79, 8203,8203,8203, 0, 0, 0, 0, 0,0,8203,8203,8204,8201,8205,8205],
[49231, 162, 49232, 1, 49233, 0, 0, 0, 0, 0,0,49233,49234,34,34,36,36],
[0, 0, 1, 0, 1, 0, 0, 0, 0, 0,0,0,1,0,1,0,1]
)
}
@@ -111,11 +111,11 @@ fn test_1() -> Field {
main(
1,
[
343492, 343493, 343494, 343495, 343496, 343497, 343498, 343499, 343500, 343501, 343502, 343503, 343504, 343505, 343506, 343507, 343508 , 343509
343492, 343493, 343494, 343495, 343496, 343497, 343498, 343499, 343500, 343501, 343502, 343503, 343504, 343505, 343506, 343507, 343508
],
[8203, 79, 8203,8203,8203, 0, 0, 0,0,0,8203,49233,8203 ,8204,8200,8200,8205, 8205],
[49231, 69 , 49232, 1, 49233, 0, 0, 0,0,0, 49233,69,49234,67,34,97,36,36],
[0, 0, 1, 0, 1, 0, 0, 0,0,0,0,0,1,0,0,1,0, 1]
[8203, 79, 8203,8203,8203, 0, 0, 0,0,0,8203,49233,8203 ,8204,8201,8205,8205],
[49231, 166 , 49232, 1, 49233, 0, 0, 0,0,0, 49233,69,49234,34,34,36,36],
[0, 0, 1, 0, 1, 0, 0, 0,0,0,0,0,1,0,1,0,1]
)
}
@@ -124,11 +124,11 @@ fn test_2() -> Field {
main(
1,
[
343552, 343553, 343554, 343555, 343556, 343557, 343558, 343559, 343560, 343561, 343562, 343563, 343564, 343565, 343566, 343567, 343568 , 343569
343552, 343553, 343554, 343555, 343556, 343557, 343558, 343559, 343560, 343561, 343562, 343563, 343564, 343565, 343566, 343567, 343568
],
[8203, 79, 8203,8203,8203,0,0,0,8203,49233,8203,13,8202,8204,8200,8200,8205, 8205 ],
[49231, 85, 49232, 1, 49233,0,0,0,49233,13,49234,0,69,67,34,97,36,36 ],
[0, 0, 1, 0, 1,0,0,0,0,0,1,0,0,0,0,1,0, 1 ]
[8203, 79, 8203,8203,8203,0,0,0,8203,49233,8203,13,8202,8204,8201,8205,8205],
[49231, 182, 49232, 1, 49233,0,0,0,49233,13,49234,0,69,34,34,36,36],
[0, 0, 1, 0, 1,0,0,0,0,0,1,0,0,0,1,0,1]
)
}
@@ -137,24 +137,11 @@ fn test_3() -> Field {
main(
1,
[
343612, 343613, 343614, 343615, 343616, 343617, 343618, 343619, 343620, 343621, 343622, 343623, 343624, 343625, 343626, 343627, 343628 , 343629
343612, 343613, 343614, 343615, 343616, 343617, 343618, 343619, 343620, 343621, 343622, 343623, 343624, 343625, 343626, 343627, 343628
],
[8203, 79, 8203,8203,8203,0,0,8203,49233,8203,8203,49234, 8203,8204,8200,8200,8205, 8205 ],
[49231, 77, 49232, 1, 49233,0,0,49233,1,49234,49234,2,49235,67,34,97,36,36],
[0, 0, 1, 0, 1,0,0,0,0,1,0,0,1,0,0,1,0, 1 ]
)
}
#[test]
fn test_4() -> Field {
main(
1,
[
343712, 343713, 343714, 343715, 343716, 343717, 343718, 343719, 343720, 343721, 343722, 343723, 343724, 343725, 343726, 343727, 343728 , 343729
],
[8203,79,8203,8203,8203,8203, 49233, 8203, 8203, 49234, 8203, 8201, 582,8204,8200,8200,8205, 8205 ],
[49231,93, 49232,0,49233,49233, 1, 49234, 49234, 2, 49235, 69, 80,67,34,97,36,36],
[0, 0, 1, 0, 1, 0, 0, 1, 0, 0, 1, 0, 0,0,0,1,0, 1 ]
[8203, 79, 8203,8203,8203,0,0,8203,49233,8203,8203,49234, 8203,8204,8201,8205,8205],
[49231, 174, 49232, 1, 49233,0,0,49233,1,49234,49234,2,49235,34,34,36,36],
[0, 0, 1, 0, 1,0,0,0,0,1,0,0,1,0,1,0,1]
)
}
@@ -163,36 +150,11 @@ fn test_5() -> Field {
main(
1,
[
343812, 343813, 343814, 343815, 343816, 343817, 343818, 343819, 343820, 343821, 343822, 343823, 343824, 343825, 343826, 343827, 343828 , 343829
343812, 343813, 343814, 343815, 343816, 343817, 343818, 343819, 343820, 343821, 343822, 343823, 343824, 343825, 343826, 343827, 343828
],
[8203,79,8203,8203,8203,8203, 49233, 8203, 8203, 49234, 8203, 8202, 582,8204,8200,8200,8205, 8205 ],
[49231,89, 49232,1,49233,49233, 1, 49234, 49234, 2, 49235, 69, 80,67,34,97,36,36],
[0, 0, 1, 0, 1, 0, 0, 1, 0, 0, 1, 0, 0,0,0,1,0, 1 ]
[8203,79,8203,8203,8203,8203, 49233, 8203, 8203, 49234, 8203, 8202, 582,8204,8201,8205,8205],
[49231,190, 49232,1,49233,49233, 1, 49234, 49234, 2, 49235, 69, 80,34,34,36,36],
[0, 0, 1, 0, 1, 0, 0, 1, 0, 0, 1, 0, 0,0,1,0,1]
)
}
#[test]
fn test_6() -> Field {
main(
1,
[
343912, 343913, 343914, 343915, 343916, 343917, 343918, 343919, 343920, 343921, 343922, 343923, 343924, 343925, 343926, 343927, 343928 , 343929
],
[8203,79,8203,8203,8203,0,8203,49233,8203,5675,8201,5688,5689,8204,8200,8200,8205, 8205 ],
[49231,65, 49232,0,49233,0,49233,5675,5676,69,13,1,2,67,34,97,36,36],
[0, 0, 1, 0, 1,0,0,0,1,0,0,0,0 ,0,0,1,0,1]
)
}
#[test]
fn test_7() -> Field {
main(
1,
[
343912, 343913, 343914, 343915, 343916, 343917, 343918, 343919, 343920, 343921, 343922, 343923, 343924, 343925, 343926, 343927, 343928 , 343929
],
[8203,79,8203,8203,8203,0,8203,49233,8203,5675,5676,8202,582,8204,8200,8200,8205, 8205],
[49231,81, 49232,0,49233,0,49233,5675,5676,1,2,69,112,67,34,97,36,36],
[0, 0, 1, 0, 1,0,0,0,1,0,0,0,0,0,0,1,0,1]
)
}

77
circuits/instr/ldy/src/main.nr
View File

@@ -97,11 +97,11 @@ fn test_0() -> Field {
main(
1,
[
343432, 343433, 343434, 343435, 343436, 343437, 343438, 343439, 343440, 343441, 343442, 343443, 343444, 343445, 343446,343447, 343448 , 343449
343432, 343433, 343434, 343435, 343436, 343437, 343438, 343439, 343440, 343441, 343442, 343443, 343444, 343445, 343446,343447, 343448
],
[8203, 79, 8203,8203,8203, 0, 0, 0, 0, 0,0,8203,8203,8204,8200,8200,8205, 8205],
[49231, 73, 49232, 1, 49233, 0, 0, 0, 0, 0,0,49233,49234,67,34,97,36,36],
[0, 0, 1, 0, 1, 0, 0, 0, 0, 0,0,0,1,0,0,1,0, 1]
[8203, 79, 8203,8203,8203, 0, 0, 0, 0, 0,0,8203,8203,8204,8202,8205,8205],
[49231, 160, 49232, 1, 49233, 0, 0, 0, 0, 0,0,49233,49234,34,34,36,36],
[0, 0, 1, 0, 1, 0, 0, 0, 0, 0,0,0,1,0,1,0,1]
)
}
@@ -110,11 +110,11 @@ fn test_1() -> Field {
main(
1,
[
343492, 343493, 343494, 343495, 343496, 343497, 343498, 343499, 343500, 343501, 343502, 343503, 343504, 343505, 343506, 343507, 343508 , 343509
343492, 343493, 343494, 343495, 343496, 343497, 343498, 343499, 343500, 343501, 343502, 343503, 343504, 343505, 343506, 343507, 343508
],
[8203, 79, 8203,8203,8203, 0, 0, 0,0,0,8203,49233,8203 ,8204,8200,8200,8205, 8205],
[49231, 69 , 49232, 1, 49233, 0, 0, 0,0,0, 49233,69,49234,67,34,97,36,36],
[0, 0, 1, 0, 1, 0, 0, 0,0,0,0,0,1,0,0,1,0, 1]
[8203, 79, 8203,8203,8203, 0, 0, 0,0,0,8203,49233,8203 ,8204,8202,8205,8205],
[49231, 164 , 49232, 1, 49233, 0, 0, 0,0,0, 49233,69,49234,34,34,36,36],
[0, 0, 1, 0, 1, 0, 0, 0,0,0,0,0,1,0,1,0,1]
)
}
@@ -123,11 +123,11 @@ fn test_2() -> Field {
main(
1,
[
343552, 343553, 343554, 343555, 343556, 343557, 343558, 343559, 343560, 343561, 343562, 343563, 343564, 343565, 343566, 343567, 343568 , 343569
343552, 343553, 343554, 343555, 343556, 343557, 343558, 343559, 343560, 343561, 343562, 343563, 343564, 343565, 343566, 343567, 343568
],
[8203, 79, 8203,8203,8203,0,0,0,8203,49233,8203,13,8202,8204,8200,8200,8205, 8205 ],
[49231, 85, 49232, 1, 49233,0,0,0,49233,13,49234,0,69,67,34,97,36,36 ],
[0, 0, 1, 0, 1,0,0,0,0,0,1,0,0,0,0,1,0, 1 ]
[8203, 79, 8203,8203,8203,0,0,0,8203,49233,8203,13,8202,8204,8202,8205,8205],
[49231, 180, 49232, 1, 49233,0,0,0,49233,13,49234,0,69,34,34,36,36],
[0, 0, 1, 0, 1,0,0,0,0,0,1,0,0,0,1,0,1]
)
}
@@ -136,11 +136,11 @@ fn test_3() -> Field {
main(
1,
[
343612, 343613, 343614, 343615, 343616, 343617, 343618, 343619, 343620, 343621, 343622, 343623, 343624, 343625, 343626, 343627, 343628 , 343629
343612, 343613, 343614, 343615, 343616, 343617, 343618, 343619, 343620, 343621, 343622, 343623, 343624, 343625, 343626, 343627, 343628
],
[8203, 79, 8203,8203,8203,0,0,8203,49233,8203,8203,49234, 8203,8204,8200,8200,8205, 8205 ],
[49231, 77, 49232, 1, 49233,0,0,49233,1,49234,49234,2,49235,67,34,97,36,36],
[0, 0, 1, 0, 1,0,0,0,0,1,0,0,1,0,0,1,0, 1 ]
[8203, 79, 8203,8203,8203,0,0,8203,49233,8203,8203,49234, 8203,8204,8202,8205,8205],
[49231, 172, 49232, 1, 49233,0,0,49233,1,49234,49234,2,49235,34,34,36,36],
[0, 0, 1, 0, 1,0,0,0,0,1,0,0,1,0,1,0,1]
)
}
@@ -149,49 +149,12 @@ fn test_4() -> Field {
main(
1,
[
343712, 343713, 343714, 343715, 343716, 343717, 343718, 343719, 343720, 343721, 343722, 343723, 343724, 343725, 343726, 343727, 343728 , 343729
343712, 343713, 343714, 343715, 343716, 343717, 343718, 343719, 343720, 343721, 343722, 343723, 343724, 343725, 343726, 343727, 343728
],
[8203,79,8203,8203,8203,8203, 49233, 8203, 8203, 49234, 8203, 8201, 582,8204,8200,8200,8205, 8205 ],
[49231,93, 49232,0,49233,49233, 1, 49234, 49234, 2, 49235, 69, 80,67,34,97,36,36],
[0, 0, 1, 0, 1, 0, 0, 1, 0, 0, 1, 0, 0,0,0,1,0, 1 ]
[8203,79,8203,8203,8203,8203, 49233, 8203, 8203, 49234, 8203, 8201, 582,8204,8202,8205,8205],
[49231,188, 49232,0,49233,49233, 1, 49234, 49234, 2, 49235, 69, 80,34,34,36,36],
[0, 0, 1, 0, 1, 0, 0, 1, 0, 0, 1, 0, 0,0,1,0,1]
)
}
#[test]
fn test_5() -> Field {
main(
1,
[
343812, 343813, 343814, 343815, 343816, 343817, 343818, 343819, 343820, 343821, 343822, 343823, 343824, 343825, 343826, 343827, 343828 , 343829
],
[8203,79,8203,8203,8203,8203, 49233, 8203, 8203, 49234, 8203, 8202, 582,8204,8200,8200,8205, 8205 ],
[49231,89, 49232,1,49233,49233, 1, 49234, 49234, 2, 49235, 69, 80,67,34,97,36,36],
[0, 0, 1, 0, 1, 0, 0, 1, 0, 0, 1, 0, 0,0,0,1,0, 1 ]
)
}
#[test]
fn test_6() -> Field {
main(
1,
[
343912, 343913, 343914, 343915, 343916, 343917, 343918, 343919, 343920, 343921, 343922, 343923, 343924, 343925, 343926, 343927, 343928 , 343929
],
[8203,79,8203,8203,8203,0,8203,49233,8203,5675,8201,5688,5689,8204,8200,8200,8205, 8205 ],
[49231,65, 49232,0,49233,0,49233,5675,5676,69,13,1,2,67,34,97,36,36],
[0, 0, 1, 0, 1,0,0,0,1,0,0,0,0 ,0,0,1,0,1]
)
}
#[test]
fn test_7() -> Field {
main(
1,
[
343912, 343913, 343914, 343915, 343916, 343917, 343918, 343919, 343920, 343921, 343922, 343923, 343924, 343925, 343926, 343927, 343928 , 343929
],
[8203,79,8203,8203,8203,0,8203,49233,8203,5675,5676,8202,582,8204,8200,8200,8205, 8205],
[49231,81, 49232,0,49233,0,49233,5675,5676,1,2,69,112,67,34,97,36,36],
[0, 0, 1, 0, 1,0,0,0,1,0,0,0,0,0,0,1,0,1]
)
}

68
circuits/instr/sta/src/main.nr
View File

@@ -85,11 +85,11 @@ fn test_0() -> Field {
main(
1,
[
343432, 343433, 343434, 343435, 343436, 343437, 343438, 343439, 343440, 343441, 343442, 343443, 343444, 343445, 343446,343447, 343448 , 343449
343432, 343433, 343434, 343435, 343436, 343437, 343438, 343439, 343440, 343441, 343442, 343443, 343444, 343445, 343446
],
[8203, 79, 8203,8203,8203, 0, 0, 0, 0, 0,0,8203,8203,8204,8200,8200,8205, 8205],
[49231, 73, 49232, 1, 49233, 0, 0, 0, 0, 0,0,49233,49234,67,34,97,36,36],
[0, 0, 1, 0, 1, 0, 0, 0, 0, 0,0,0,1,0,0,1,0, 1]
[8203, 79, 8203,8203,8203, 0, 0, 0,0,0,8203,49233,8203,8200,8204],
[49231, 133, 49232, 1, 49233,0, 0, 0,0,0, 49233,69,49234,567,567],
[0, 0, 1, 0, 1, 0, 0, 0, 0, 0,0,0,1,0,1]
)
}
@@ -98,11 +98,11 @@ fn test_1() -> Field {
main(
1,
[
343492, 343493, 343494, 343495, 343496, 343497, 343498, 343499, 343500, 343501, 343502, 343503, 343504, 343505, 343506, 343507, 343508 , 343509
343492, 343493, 343494, 343495, 343496, 343497, 343498, 343499, 343500, 343501, 343502, 343503, 343504, 343505, 343506
],
[8203, 79, 8203,8203,8203, 0, 0, 0,0,0,8203,49233,8203 ,8204,8200,8200,8205, 8205],
[49231, 69 , 49232, 1, 49233, 0, 0, 0,0,0, 49233,69,49234,67,34,97,36,36],
[0, 0, 1, 0, 1, 0, 0, 0,0,0,0,0,1,0,0,1,0, 1]
[8203, 79, 8203,8203,8203,0,0,0,8203,49233,8203,13,8202,8200,8204],
[49231, 149 , 49232, 1, 49233,0,0,0,49233,13,49234,0,69,567,567],
[0, 0, 1, 0, 1,0,0,0,0,0,1,0,0,0,1]
)
}
@@ -111,11 +111,11 @@ fn test_2() -> Field {
main(
1,
[
343552, 343553, 343554, 343555, 343556, 343557, 343558, 343559, 343560, 343561, 343562, 343563, 343564, 343565, 343566, 343567, 343568 , 343569
343552, 343553, 343554, 343555, 343556, 343557, 343558, 343559, 343560, 343561, 343562, 343563, 343564, 343565, 343566
],
[8203, 79, 8203,8203,8203,0,0,0,8203,49233,8203,13,8202,8204,8200,8200,8205, 8205 ],
[49231, 85, 49232, 1, 49233,0,0,0,49233,13,49234,0,69,67,34,97,36,36 ],
[0, 0, 1, 0, 1,0,0,0,0,0,1,0,0,0,0,1,0, 1 ]
[8203, 79, 8203,8203,8203,0,0,8203,49233,8203,8203,49234, 8203,8200,8204],
[49231, 141, 49232, 1, 49233,0,0,49233,1,49234,49234,2,49235,567,567],
[0, 0, 1, 0, 1,0,0,0,0,1,0,0,1,0,1]
)
}
@@ -124,11 +124,11 @@ fn test_3() -> Field {
main(
1,
[
343612, 343613, 343614, 343615, 343616, 343617, 343618, 343619, 343620, 343621, 343622, 343623, 343624, 343625, 343626, 343627, 343628 , 343629
343612, 343613, 343614, 343615, 343616, 343617, 343618, 343619, 343620, 343621, 343622, 343623, 343624, 343625, 343626
],
[8203, 79, 8203,8203,8203,0,0,8203,49233,8203,8203,49234, 8203,8204,8200,8200,8205, 8205 ],
[49231, 77, 49232, 1, 49233,0,0,49233,1,49234,49234,2,49235,67,34,97,36,36],
[0, 0, 1, 0, 1,0,0,0,0,1,0,0,1,0,0,1,0, 1 ]
[8203, 79, 8203,8203,8203,8203, 49233, 8203, 8203, 49234, 8203, 8201, 582, 8200,8204],
[49231, 157, 49232, 0, 49233,49233, 1, 49234, 49234, 2, 49235, 69, 80,567,567],
[0, 0, 1, 0, 1, 0, 0, 1, 0, 0, 1, 0, 0, 0,1]
)
}
@@ -137,11 +137,11 @@ fn test_4() -> Field {
main(
1,
[
343712, 343713, 343714, 343715, 343716, 343717, 343718, 343719, 343720, 343721, 343722, 343723, 343724, 343725, 343726, 343727, 343728 , 343729
343712, 343713, 343714, 343715, 343716, 343717, 343718, 343719, 343720, 343721, 343722, 343723, 343724, 343725, 343726
],
[8203,79,8203,8203,8203,8203, 49233, 8203, 8203, 49234, 8203, 8201, 582,8204,8200,8200,8205, 8205 ],
[49231,93, 49232,0,49233,49233, 1, 49234, 49234, 2, 49235, 69, 80,67,34,97,36,36],
[0, 0, 1, 0, 1, 0, 0, 1, 0, 0, 1, 0, 0,0,0,1,0, 1 ]
[8203,79,8203,8203,8203,8203, 49233, 8203, 8203, 49234, 8203, 8202, 582, 8200,8204],
[49231,153, 49232,1,49233,49233, 1, 49234, 49234, 2, 49235, 69, 80,567,567],
[0, 0, 1, 0, 1, 0, 0, 1, 0, 0, 1, 0, 0, 0,1]
)
}
@@ -150,11 +150,11 @@ fn test_5() -> Field {
main(
1,
[
343812, 343813, 343814, 343815, 343816, 343817, 343818, 343819, 343820, 343821, 343822, 343823, 343824, 343825, 343826, 343827, 343828 , 343829
343812, 343813, 343814, 343815, 343816, 343817, 343818, 343819, 343820, 343821, 343822, 343823, 343824, 343825, 343826
],
[8203,79,8203,8203,8203,8203, 49233, 8203, 8203, 49234, 8203, 8202, 582,8204,8200,8200,8205, 8205 ],
[49231,89, 49232,1,49233,49233, 1, 49234, 49234, 2, 49235, 69, 80,67,34,97,36,36],
[0, 0, 1, 0, 1, 0, 0, 1, 0, 0, 1, 0, 0,0,0,1,0, 1 ]
[8203,79,8203,8203,8203,0,8203,49233,8203,5675,8201,5688,5689,8200,8204 ],
[49231,129, 49232,1,49233,0,49233,5675,5676,69,13,1,2,567,567 ],
[0, 0, 1, 0, 1, 0,0,0,1,0,0,0,0,0,1 ]
)
}
@@ -163,23 +163,11 @@ fn test_6() -> Field {
main(
1,
[
343912, 343913, 343914, 343915, 343916, 343917, 343918, 343919, 343920, 343921, 343922, 343923, 343924, 343925, 343926, 343927, 343928 , 343929
343912, 343913, 343914, 343915, 343916, 343917, 343918, 343919, 343920, 343921, 343922, 343923, 343924, 343925, 343926
],
[8203,79,8203,8203,8203,0,8203,49233,8203,5675,8201,5688,5689,8204,8200,8200,8205, 8205 ],
[49231,65, 49232,0,49233,0,49233,5675,5676,69,13,1,2,67,34,97,36,36],
[0, 0, 1, 0, 1,0,0,0,1,0,0,0,0 ,0,0,1,0,1]
[8203,79,8203,8203,8203,0,8203,49233,8203,5675,5676,8202,582,8200,8204 ],
[49231,145, 49232,0,49233,0,49233,5675,5676,1,2,69,112,567,567 ],
[0, 0, 1, 0, 1,0,0,0,1,0,0,0,0,0,1]
)
}
#[test]
fn test_7() -> Field {
main(
1,
[
343912, 343913, 343914, 343915, 343916, 343917, 343918, 343919, 343920, 343921, 343922, 343923, 343924, 343925, 343926, 343927, 343928 , 343929
],
[8203,79,8203,8203,8203,0,8203,49233,8203,5675,5676,8202,582,8204,8200,8200,8205, 8205],
[49231,81, 49232,0,49233,0,49233,5675,5676,1,2,69,112,67,34,97,36,36],
[0, 0, 1, 0, 1,0,0,0,1,0,0,0,0,0,0,1,0,1]
)
}

89
circuits/instr/stx/src/main.nr
View File

@@ -82,11 +82,11 @@ fn test_0() -> Field {
main(
1,
[
343432, 343433, 343434, 343435, 343436, 343437, 343438, 343439, 343440, 343441, 343442, 343443, 343444, 343445, 343446,343447, 343448 , 343449
343432, 343433, 343434, 343435, 343436, 343437, 343438, 343439, 343440, 343441, 343442, 343443, 343444, 343445, 343446
],
[8203, 79, 8203,8203,8203, 0, 0, 0, 0, 0,0,8203,8203,8204,8200,8200,8205, 8205],
[49231, 73, 49232, 1, 49233, 0, 0, 0, 0, 0,0,49233,49234,67,34,97,36,36],
[0, 0, 1, 0, 1, 0, 0, 0, 0, 0,0,0,1,0,0,1,0, 1]
[8203, 79, 8203,8203,8203, 0, 0, 0,0,0,8203,49233,8203,8201,8204],
[49231, 134, 49232, 1, 49233,0, 0, 0,0,0, 49233,69,49234,567,567],
[0, 0, 1, 0, 1, 0, 0, 0, 0, 0,0,0,1,0,1]
)
}
@@ -95,11 +95,11 @@ fn test_1() -> Field {
main(
1,
[
343492, 343493, 343494, 343495, 343496, 343497, 343498, 343499, 343500, 343501, 343502, 343503, 343504, 343505, 343506, 343507, 343508 , 343509
343492, 343493, 343494, 343495, 343496, 343497, 343498, 343499, 343500, 343501, 343502, 343503, 343504, 343505, 343506
],
[8203, 79, 8203,8203,8203, 0, 0, 0,0,0,8203,49233,8203 ,8204,8200,8200,8205, 8205],
[49231, 69 , 49232, 1, 49233, 0, 0, 0,0,0, 49233,69,49234,67,34,97,36,36],
[0, 0, 1, 0, 1, 0, 0, 0,0,0,0,0,1,0,0,1,0, 1]
[8203, 79, 8203,8203,8203,0,0,0,8203,49233,8203,13,8202,8201,8204],
[49231, 150 , 49232, 1, 49233,0,0,0,49233,13,49234,0,69,567,567],
[0, 0, 1, 0, 1,0,0,0,0,0,1,0,0,0,1]
)
}
@@ -108,75 +108,10 @@ fn test_2() -> Field {
main(
1,
[
343552, 343553, 343554, 343555, 343556, 343557, 343558, 343559, 343560, 343561, 343562, 343563, 343564, 343565, 343566, 343567, 343568 , 343569
343552, 343553, 343554, 343555, 343556, 343557, 343558, 343559, 343560, 343561, 343562, 343563, 343564, 343565, 343566
],
[8203, 79, 8203,8203,8203,0,0,0,8203,49233,8203,13,8202,8204,8200,8200,8205, 8205 ],
[49231, 85, 49232, 1, 49233,0,0,0,49233,13,49234,0,69,67,34,97,36,36 ],
[0, 0, 1, 0, 1,0,0,0,0,0,1,0,0,0,0,1,0, 1 ]
)
}
#[test]
fn test_3() -> Field {
main(
1,
[
343612, 343613, 343614, 343615, 343616, 343617, 343618, 343619, 343620, 343621, 343622, 343623, 343624, 343625, 343626, 343627, 343628 , 343629
],
[8203, 79, 8203,8203,8203,0,0,8203,49233,8203,8203,49234, 8203,8204,8200,8200,8205, 8205 ],
[49231, 77, 49232, 1, 49233,0,0,49233,1,49234,49234,2,49235,67,34,97,36,36],
[0, 0, 1, 0, 1,0,0,0,0,1,0,0,1,0,0,1,0, 1 ]
)
}
#[test]
fn test_4() -> Field {
main(
1,
[
343712, 343713, 343714, 343715, 343716, 343717, 343718, 343719, 343720, 343721, 343722, 343723, 343724, 343725, 343726, 343727, 343728 , 343729
],
[8203,79,8203,8203,8203,8203, 49233, 8203, 8203, 49234, 8203, 8201, 582,8204,8200,8200,8205, 8205 ],
[49231,93, 49232,0,49233,49233, 1, 49234, 49234, 2, 49235, 69, 80,67,34,97,36,36],
[0, 0, 1, 0, 1, 0, 0, 1, 0, 0, 1, 0, 0,0,0,1,0, 1 ]
)
}
#[test]
fn test_5() -> Field {
main(
1,
[
343812, 343813, 343814, 343815, 343816, 343817, 343818, 343819, 343820, 343821, 343822, 343823, 343824, 343825, 343826, 343827, 343828 , 343829
],
[8203,79,8203,8203,8203,8203, 49233, 8203, 8203, 49234, 8203, 8202, 582,8204,8200,8200,8205, 8205 ],
[49231,89, 49232,1,49233,49233, 1, 49234, 49234, 2, 49235, 69, 80,67,34,97,36,36],
[0, 0, 1, 0, 1, 0, 0, 1, 0, 0, 1, 0, 0,0,0,1,0, 1 ]
)
}
#[test]
fn test_6() -> Field {
main(
1,
[
343912, 343913, 343914, 343915, 343916, 343917, 343918, 343919, 343920, 343921, 343922, 343923, 343924, 343925, 343926, 343927, 343928 , 343929
],
[8203,79,8203,8203,8203,0,8203,49233,8203,5675,8201,5688,5689,8204,8200,8200,8205, 8205 ],
[49231,65, 49232,0,49233,0,49233,5675,5676,69,13,1,2,67,34,97,36,36],
[0, 0, 1, 0, 1,0,0,0,1,0,0,0,0 ,0,0,1,0,1]
)
}
#[test]
fn test_7() -> Field {
main(
1,
[
343912, 343913, 343914, 343915, 343916, 343917, 343918, 343919, 343920, 343921, 343922, 343923, 343924, 343925, 343926, 343927, 343928 , 343929
],
[8203,79,8203,8203,8203,0,8203,49233,8203,5675,5676,8202,582,8204,8200,8200,8205, 8205],
[49231,81, 49232,0,49233,0,49233,5675,5676,1,2,69,112,67,34,97,36,36],
[0, 0, 1, 0, 1,0,0,0,1,0,0,0,0,0,0,1,0,1]
[8203, 79, 8203,8203,8203,0,0,8203,49233,8203,8203,49234, 8203,8201,8204],
[49231, 142, 49232, 1, 49233,0,0,49233,1,49234,49234,2,49235,567,567],
[0, 0, 1, 0, 1,0,0,0,0,1,0,0,1,0,1]
)
}

94
circuits/instr/sty/src/main.nr
View File

@@ -22,8 +22,7 @@ fn main(
//check the opcode
assert(
(op_sorted_val[1] == 132) // zero page
(op_sorted_val[1] == 132) // zero page
| (op_sorted_val[1] == 148) // zero page x
| (op_sorted_val[1] == 140) // absolute
);
@@ -58,7 +57,7 @@ fn main(
helpers::addressing_helpers(opcode, mode, sub_arr_addr, sub_arr_val, sub_arr_op_rw);
// read from y
// read from Y
assert(op_sorted_addr[13] == 8202);
assert(op_sorted_op_rw[13] == 0);
let y = op_sorted_val[13];
@@ -82,11 +81,11 @@ fn test_0() -> Field {
main(
1,
[
343432, 343433, 343434, 343435, 343436, 343437, 343438, 343439, 343440, 343441, 343442, 343443, 343444, 343445, 343446,343447, 343448 , 343449
343432, 343433, 343434, 343435, 343436, 343437, 343438, 343439, 343440, 343441, 343442, 343443, 343444, 343445, 343446
],
[8203, 79, 8203,8203,8203, 0, 0, 0, 0, 0,0,8203,8203,8204,8200,8200,8205, 8205],
[49231, 73, 49232, 1, 49233, 0, 0, 0, 0, 0,0,49233,49234,67,34,97,36,36],
[0, 0, 1, 0, 1, 0, 0, 0, 0, 0,0,0,1,0,0,1,0, 1]
[8203, 79, 8203,8203,8203, 0, 0, 0,0,0,8203,49233,8203,8202,8204],
[49231, 132, 49232, 1, 49233,0, 0, 0,0,0, 49233,69,49234,567,567],
[0, 0, 1, 0, 1, 0, 0, 0, 0, 0,0,0,1,0,1]
)
}
@@ -95,11 +94,11 @@ fn test_1() -> Field {
main(
1,
[
343492, 343493, 343494, 343495, 343496, 343497, 343498, 343499, 343500, 343501, 343502, 343503, 343504, 343505, 343506, 343507, 343508 , 343509
343492, 343493, 343494, 343495, 343496, 343497, 343498, 343499, 343500, 343501, 343502, 343503, 343504, 343505, 343506
],
[8203, 79, 8203,8203,8203, 0, 0, 0,0,0,8203,49233,8203 ,8204,8200,8200,8205, 8205],
[49231, 69 , 49232, 1, 49233, 0, 0, 0,0,0, 49233,69,49234,67,34,97,36,36],
[0, 0, 1, 0, 1, 0, 0, 0,0,0,0,0,1,0,0,1,0, 1]
[8203, 79, 8203,8203,8203,0,0,0,8203,49233,8203,13,8202,8202,8204],
[49231, 148 , 49232, 1, 49233,0,0,0,49233,13,49234,0,69,567,567],
[0, 0, 1, 0, 1,0,0,0,0,0,1,0,0,0,1]
)
}
@@ -108,75 +107,10 @@ fn test_2() -> Field {
main(
1,
[
343552, 343553, 343554, 343555, 343556, 343557, 343558, 343559, 343560, 343561, 343562, 343563, 343564, 343565, 343566, 343567, 343568 , 343569
343552, 343553, 343554, 343555, 343556, 343557, 343558, 343559, 343560, 343561, 343562, 343563, 343564, 343565, 343566
],
[8203, 79, 8203,8203,8203,0,0,0,8203,49233,8203,13,8202,8204,8200,8200,8205, 8205 ],
[49231, 85, 49232, 1, 49233,0,0,0,49233,13,49234,0,69,67,34,97,36,36 ],
[0, 0, 1, 0, 1,0,0,0,0,0,1,0,0,0,0,1,0, 1 ]
[8203, 79, 8203,8203,8203,0,0,8203,49233,8203,8203,49234, 8203,8202,8204],
[49231, 140, 49232, 1, 49233,0,0,49233,1,49234,49234,2,49235,567,567],
[0, 0, 1, 0, 1,0,0,0,0,1,0,0,1,0,1]
)
}
#[test]
fn test_3() -> Field {
main(
1,
[
343612, 343613, 343614, 343615, 343616, 343617, 343618, 343619, 343620, 343621, 343622, 343623, 343624, 343625, 343626, 343627, 343628 , 343629
],
[8203, 79, 8203,8203,8203,0,0,8203,49233,8203,8203,49234, 8203,8204,8200,8200,8205, 8205 ],
[49231, 77, 49232, 1, 49233,0,0,49233,1,49234,49234,2,49235,67,34,97,36,36],
[0, 0, 1, 0, 1,0,0,0,0,1,0,0,1,0,0,1,0, 1 ]
)
}
#[test]
fn test_4() -> Field {
main(
1,
[
343712, 343713, 343714, 343715, 343716, 343717, 343718, 343719, 343720, 343721, 343722, 343723, 343724, 343725, 343726, 343727, 343728 , 343729
],
[8203,79,8203,8203,8203,8203, 49233, 8203, 8203, 49234, 8203, 8201, 582,8204,8200,8200,8205, 8205 ],
[49231,93, 49232,0,49233,49233, 1, 49234, 49234, 2, 49235, 69, 80,67,34,97,36,36],
[0, 0, 1, 0, 1, 0, 0, 1, 0, 0, 1, 0, 0,0,0,1,0, 1 ]
)
}
#[test]
fn test_5() -> Field {
main(
1,
[
343812, 343813, 343814, 343815, 343816, 343817, 343818, 343819, 343820, 343821, 343822, 343823, 343824, 343825, 343826, 343827, 343828 , 343829
],
[8203,79,8203,8203,8203,8203, 49233, 8203, 8203, 49234, 8203, 8202, 582,8204,8200,8200,8205, 8205 ],
[49231,89, 49232,1,49233,49233, 1, 49234, 49234, 2, 49235, 69, 80,67,34,97,36,36],
[0, 0, 1, 0, 1, 0, 0, 1, 0, 0, 1, 0, 0,0,0,1,0, 1 ]
)
}
#[test]
fn test_6() -> Field {
main(
1,
[
343912, 343913, 343914, 343915, 343916, 343917, 343918, 343919, 343920, 343921, 343922, 343923, 343924, 343925, 343926, 343927, 343928 , 343929
],
[8203,79,8203,8203,8203,0,8203,49233,8203,5675,8201,5688,5689,8204,8200,8200,8205, 8205 ],
[49231,65, 49232,0,49233,0,49233,5675,5676,69,13,1,2,67,34,97,36,36],
[0, 0, 1, 0, 1,0,0,0,1,0,0,0,0 ,0,0,1,0,1]
)
}
#[test]
fn test_7() -> Field {
main(
1,
[
343912, 343913, 343914, 343915, 343916, 343917, 343918, 343919, 343920, 343921, 343922, 343923, 343924, 343925, 343926, 343927, 343928 , 343929
],
[8203,79,8203,8203,8203,0,8203,49233,8203,5675,5676,8202,582,8204,8200,8200,8205, 8205],
[49231,81, 49232,0,49233,0,49233,5675,5676,1,2,69,112,67,34,97,36,36],
[0, 0, 1, 0, 1,0,0,0,1,0,0,0,0,0,0,1,0,1]
)
}