diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/shiftByteString/case-1/case-1.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/shiftByteString/case-1/case-1.uplc
new file mode 100644
index 00000000000..2e306923721
--- /dev/null
+++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/shiftByteString/case-1/case-1.uplc
@@ -0,0 +1 @@
+(program 1.0.0 [ [ (builtin shiftByteString) (con bytestring #) ] (con integer 3) ])
\ No newline at end of file
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/shiftByteString/case-1/case-1.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/shiftByteString/case-1/case-1.uplc.budget.expected
new file mode 100644
index 00000000000..01ef2415d75
--- /dev/null
+++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/shiftByteString/case-1/case-1.uplc.budget.expected
@@ -0,0 +1,2 @@
+({cpu: 247561
+| mem: 601})
\ No newline at end of file
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/shiftByteString/case-1/case-1.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/shiftByteString/case-1/case-1.uplc.expected
new file mode 100644
index 00000000000..5dbd4047403
--- /dev/null
+++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/shiftByteString/case-1/case-1.uplc.expected
@@ -0,0 +1 @@
+(program 1.0.0 (con bytestring #))
\ No newline at end of file
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/shiftByteString/case-2/case-2.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/shiftByteString/case-2/case-2.uplc
new file mode 100644
index 00000000000..9cf2ed93582
--- /dev/null
+++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/shiftByteString/case-2/case-2.uplc
@@ -0,0 +1 @@
+(program 1.0.0 [ [ (builtin shiftByteString) (con bytestring #) ] (con integer -3) ])
\ No newline at end of file
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/shiftByteString/case-2/case-2.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/shiftByteString/case-2/case-2.uplc.budget.expected
new file mode 100644
index 00000000000..01ef2415d75
--- /dev/null
+++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/shiftByteString/case-2/case-2.uplc.budget.expected
@@ -0,0 +1,2 @@
+({cpu: 247561
+| mem: 601})
\ No newline at end of file
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/shiftByteString/case-2/case-2.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/shiftByteString/case-2/case-2.uplc.expected
new file mode 100644
index 00000000000..5dbd4047403
--- /dev/null
+++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/shiftByteString/case-2/case-2.uplc.expected
@@ -0,0 +1 @@
+(program 1.0.0 (con bytestring #))
\ No newline at end of file
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/shiftByteString/case-3/case-3.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/shiftByteString/case-3/case-3.uplc
new file mode 100644
index 00000000000..06579fef7d3
--- /dev/null
+++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/shiftByteString/case-3/case-3.uplc
@@ -0,0 +1 @@
+(program 1.0.0 [ [ (builtin shiftByteString) (con bytestring #ebfc) ] (con integer 5) ])
\ No newline at end of file
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/shiftByteString/case-3/case-3.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/shiftByteString/case-3/case-3.uplc.budget.expected
new file mode 100644
index 00000000000..01ef2415d75
--- /dev/null
+++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/shiftByteString/case-3/case-3.uplc.budget.expected
@@ -0,0 +1,2 @@
+({cpu: 247561
+| mem: 601})
\ No newline at end of file
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/shiftByteString/case-3/case-3.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/shiftByteString/case-3/case-3.uplc.expected
new file mode 100644
index 00000000000..a5c9c9a580c
--- /dev/null
+++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/shiftByteString/case-3/case-3.uplc.expected
@@ -0,0 +1 @@
+(program 1.0.0 (con bytestring #7f80))
\ No newline at end of file
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/shiftByteString/case-4/case-4.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/shiftByteString/case-4/case-4.uplc
new file mode 100644
index 00000000000..03d52f81337
--- /dev/null
+++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/shiftByteString/case-4/case-4.uplc
@@ -0,0 +1 @@
+(program 1.0.0 [ [ (builtin shiftByteString) (con bytestring #ebfc) ] (con integer -5) ])
\ No newline at end of file
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/shiftByteString/case-4/case-4.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/shiftByteString/case-4/case-4.uplc.budget.expected
new file mode 100644
index 00000000000..01ef2415d75
--- /dev/null
+++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/shiftByteString/case-4/case-4.uplc.budget.expected
@@ -0,0 +1,2 @@
+({cpu: 247561
+| mem: 601})
\ No newline at end of file
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/shiftByteString/case-4/case-4.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/shiftByteString/case-4/case-4.uplc.expected
new file mode 100644
index 00000000000..92745a343af
--- /dev/null
+++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/shiftByteString/case-4/case-4.uplc.expected
@@ -0,0 +1 @@
+(program 1.0.0 (con bytestring #075f))
\ No newline at end of file
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/shiftByteString/case-5/case-5.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/shiftByteString/case-5/case-5.uplc
new file mode 100644
index 00000000000..562822aea01
--- /dev/null
+++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/shiftByteString/case-5/case-5.uplc
@@ -0,0 +1 @@
+(program 1.0.0 [ [ (builtin shiftByteString) (con bytestring #ebfc) ] (con integer 16) ])
\ No newline at end of file
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/shiftByteString/case-5/case-5.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/shiftByteString/case-5/case-5.uplc.budget.expected
new file mode 100644
index 00000000000..01ef2415d75
--- /dev/null
+++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/shiftByteString/case-5/case-5.uplc.budget.expected
@@ -0,0 +1,2 @@
+({cpu: 247561
+| mem: 601})
\ No newline at end of file
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/shiftByteString/case-5/case-5.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/shiftByteString/case-5/case-5.uplc.expected
new file mode 100644
index 00000000000..2ebf084ba1b
--- /dev/null
+++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/shiftByteString/case-5/case-5.uplc.expected
@@ -0,0 +1 @@
+(program 1.0.0 (con bytestring #0000))
\ No newline at end of file
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/shiftByteString/case-6/case-6.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/shiftByteString/case-6/case-6.uplc
new file mode 100644
index 00000000000..f26a14f40bd
--- /dev/null
+++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/shiftByteString/case-6/case-6.uplc
@@ -0,0 +1 @@
+(program 1.0.0 [ [ (builtin shiftByteString) (con bytestring #ebfc) ] (con integer -16) ])
\ No newline at end of file
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/shiftByteString/case-6/case-6.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/shiftByteString/case-6/case-6.uplc.budget.expected
new file mode 100644
index 00000000000..01ef2415d75
--- /dev/null
+++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/shiftByteString/case-6/case-6.uplc.budget.expected
@@ -0,0 +1,2 @@
+({cpu: 247561
+| mem: 601})
\ No newline at end of file
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/shiftByteString/case-6/case-6.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/shiftByteString/case-6/case-6.uplc.expected
new file mode 100644
index 00000000000..2ebf084ba1b
--- /dev/null
+++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/shiftByteString/case-6/case-6.uplc.expected
@@ -0,0 +1 @@
+(program 1.0.0 (con bytestring #0000))
\ No newline at end of file