test: Add right bitshift tests

test_programs/plonky2_prove_crash/right_shift_signed_const/Nargo.toml

@@ -0,0 +1,8 @@
+[package]
+name = "right_shift_signed_const"
+type = "bin"
+authors = [""]
+compiler_version = ">=0.22.0"
+version = "1.0.0"
+
+[dependencies]

test_programs/plonky2_prove_crash/right_shift_signed_const/Prover.toml

@@ -0,0 +1,2 @@
+a = "-760"
+b = "-95"

test_programs/plonky2_prove_crash/right_shift_signed_const/src/main.nr

@@ -0,0 +1,6 @@
+fn main(
+	a: i16,
+	b: i16,
+) {
+	assert((a >> 3) == b);
+}

test_programs/plonky2_prove_failure/right_shift_const_unsigned/Nargo.toml

@@ -0,0 +1,8 @@
+[package]
+name = "right_shift_const_unsigned"
+type = "bin"
+authors = [""]
+compiler_version = ">=0.22.0"
+version = "1.0.0"
+
+[dependencies]

test_programs/plonky2_prove_failure/right_shift_const_unsigned/Prover.toml

@@ -0,0 +1,2 @@
+a = "3"
+b = "71"

test_programs/plonky2_prove_failure/right_shift_const_unsigned/src/main.nr

@@ -0,0 +1,6 @@
+fn main(
+	a: u8,
+	b: u16,
+) {
+	assert((568 >> a) == b);
+}

test_programs/plonky2_prove_failure/right_shift_signed_unsigned/Nargo.toml

@@ -0,0 +1,8 @@
+[package]
+name = "right_shift_signed_unsigned"
+type = "bin"
+authors = [""]
+compiler_version = ">=0.22.0"
+version = "1.0.0"
+
+[dependencies]

test_programs/plonky2_prove_failure/right_shift_signed_unsigned/Prover.toml

@@ -0,0 +1,3 @@
+a = "-760"
+b = "3"
+c = "-95"

test_programs/plonky2_prove_failure/right_shift_signed_unsigned/src/main.nr

@@ -0,0 +1,7 @@
+fn main(
+	a: i16,
+	b: u8,
+	c: i16,
+) {
+	assert((a >> b) == c);
+}

test_programs/plonky2_prove_failure/right_shift_unsigned_unsigned/Nargo.toml

@@ -0,0 +1,8 @@
+[package]
+name = "right_shift_unsigned_unsigned"
+type = "bin"
+authors = [""]
+compiler_version = ">=0.22.0"
+version = "1.0.0"
+
+[dependencies]

test_programs/plonky2_prove_failure/right_shift_unsigned_unsigned/Prover.toml

@@ -0,0 +1,3 @@
+a = "568"
+b = "3"
+c = "71"

test_programs/plonky2_prove_failure/right_shift_unsigned_unsigned/src/main.nr

@@ -0,0 +1,7 @@
+fn main(
+	a: u16,
+	b: u8,
+	c: u16,
+) {
+	assert((a >> b) == c);
+}

test_programs/plonky2_prove_success/right_shift_unsigned_const/Nargo.toml

@@ -0,0 +1,8 @@
+[package]
+name = "right_shift_unsigned_const"
+type = "bin"
+authors = [""]
+compiler_version = ">=0.22.0"
+version = "1.0.0"
+
+[dependencies]

test_programs/plonky2_prove_success/right_shift_unsigned_const/Prover.toml

@@ -0,0 +1,2 @@
+a = "568"
+b = "71"

test_programs/plonky2_prove_success/right_shift_unsigned_const/src/main.nr

@@ -0,0 +1,6 @@
+fn main(
+	a: u16,
+	b: u16,
+) {
+	assert((a >> 3) == b);
+}