diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/rotateByteString/case-1/case-1.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/rotateByteString/case-1/case-1.uplc
new file mode 100644
index 00000000000..4beb8f49450
--- /dev/null
+++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/rotateByteString/case-1/case-1.uplc
@@ -0,0 +1 @@
+(program 1.0.0 [ [ (builtin rotateByteString) (con bytestring #) ] (con integer 3) ])
\ No newline at end of file
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/rotateByteString/case-1/case-1.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/rotateByteString/case-1/case-1.uplc.budget.expected
new file mode 100644
index 00000000000..1293dc2f78d
--- /dev/null
+++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/rotateByteString/case-1/case-1.uplc.budget.expected
@@ -0,0 +1,2 @@
+({cpu: 248291
+| mem: 601})
\ No newline at end of file
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/rotateByteString/case-1/case-1.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/rotateByteString/case-1/case-1.uplc.expected
new file mode 100644
index 00000000000..5dbd4047403
--- /dev/null
+++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/rotateByteString/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/rotateByteString/case-2/case-2.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/rotateByteString/case-2/case-2.uplc
new file mode 100644
index 00000000000..72f8b7acd68
--- /dev/null
+++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/rotateByteString/case-2/case-2.uplc
@@ -0,0 +1 @@
+(program 1.0.0 [ [ (builtin rotateByteString) (con bytestring #) ] (con integer -1) ])
\ No newline at end of file
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/rotateByteString/case-2/case-2.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/rotateByteString/case-2/case-2.uplc.budget.expected
new file mode 100644
index 00000000000..1293dc2f78d
--- /dev/null
+++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/rotateByteString/case-2/case-2.uplc.budget.expected
@@ -0,0 +1,2 @@
+({cpu: 248291
+| mem: 601})
\ No newline at end of file
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/rotateByteString/case-2/case-2.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/rotateByteString/case-2/case-2.uplc.expected
new file mode 100644
index 00000000000..5dbd4047403
--- /dev/null
+++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/rotateByteString/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/rotateByteString/case-3/case-3.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/rotateByteString/case-3/case-3.uplc
new file mode 100644
index 00000000000..b8ab3637704
--- /dev/null
+++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/rotateByteString/case-3/case-3.uplc
@@ -0,0 +1 @@
+(program 1.0.0 [ [ (builtin rotateByteString) (con bytestring #ebfc) ] (con integer 5) ])
\ No newline at end of file
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/rotateByteString/case-3/case-3.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/rotateByteString/case-3/case-3.uplc.budget.expected
new file mode 100644
index 00000000000..1293dc2f78d
--- /dev/null
+++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/rotateByteString/case-3/case-3.uplc.budget.expected
@@ -0,0 +1,2 @@
+({cpu: 248291
+| mem: 601})
\ No newline at end of file
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/rotateByteString/case-3/case-3.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/rotateByteString/case-3/case-3.uplc.expected
new file mode 100644
index 00000000000..0207fcc048f
--- /dev/null
+++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/rotateByteString/case-3/case-3.uplc.expected
@@ -0,0 +1 @@
+(program 1.0.0 (con bytestring #7f9d))
\ No newline at end of file
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/rotateByteString/case-4/case-4.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/rotateByteString/case-4/case-4.uplc
new file mode 100644
index 00000000000..b371aa6ad29
--- /dev/null
+++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/rotateByteString/case-4/case-4.uplc
@@ -0,0 +1 @@
+(program 1.0.0 [ [ (builtin rotateByteString) (con bytestring #ebfc) ] (con integer -5) ])
\ No newline at end of file
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/rotateByteString/case-4/case-4.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/rotateByteString/case-4/case-4.uplc.budget.expected
new file mode 100644
index 00000000000..1293dc2f78d
--- /dev/null
+++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/rotateByteString/case-4/case-4.uplc.budget.expected
@@ -0,0 +1,2 @@
+({cpu: 248291
+| mem: 601})
\ No newline at end of file
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/rotateByteString/case-4/case-4.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/rotateByteString/case-4/case-4.uplc.expected
new file mode 100644
index 00000000000..921ae6c36c4
--- /dev/null
+++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/rotateByteString/case-4/case-4.uplc.expected
@@ -0,0 +1 @@
+(program 1.0.0 (con bytestring #e75f))
\ No newline at end of file
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/rotateByteString/case-5/case-5.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/rotateByteString/case-5/case-5.uplc
new file mode 100644
index 00000000000..d3b80505fe5
--- /dev/null
+++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/rotateByteString/case-5/case-5.uplc
@@ -0,0 +1 @@
+(program 1.0.0 [ [ (builtin rotateByteString) (con bytestring #ebfc) ] (con integer 16) ])
\ No newline at end of file
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/rotateByteString/case-5/case-5.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/rotateByteString/case-5/case-5.uplc.budget.expected
new file mode 100644
index 00000000000..1293dc2f78d
--- /dev/null
+++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/rotateByteString/case-5/case-5.uplc.budget.expected
@@ -0,0 +1,2 @@
+({cpu: 248291
+| mem: 601})
\ No newline at end of file
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/rotateByteString/case-5/case-5.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/rotateByteString/case-5/case-5.uplc.expected
new file mode 100644
index 00000000000..803ad8091a8
--- /dev/null
+++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/rotateByteString/case-5/case-5.uplc.expected
@@ -0,0 +1 @@
+(program 1.0.0 (con bytestring #ebfc))
\ No newline at end of file
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/rotateByteString/case-6/case-6.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/rotateByteString/case-6/case-6.uplc
new file mode 100644
index 00000000000..735a64ee339
--- /dev/null
+++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/rotateByteString/case-6/case-6.uplc
@@ -0,0 +1 @@
+(program 1.0.0 [ [ (builtin rotateByteString) (con bytestring #ebfc) ] (con integer -16) ])
\ No newline at end of file
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/rotateByteString/case-6/case-6.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/rotateByteString/case-6/case-6.uplc.budget.expected
new file mode 100644
index 00000000000..1293dc2f78d
--- /dev/null
+++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/rotateByteString/case-6/case-6.uplc.budget.expected
@@ -0,0 +1,2 @@
+({cpu: 248291
+| mem: 601})
\ No newline at end of file
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/rotateByteString/case-6/case-6.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/rotateByteString/case-6/case-6.uplc.expected
new file mode 100644
index 00000000000..803ad8091a8
--- /dev/null
+++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/rotateByteString/case-6/case-6.uplc.expected
@@ -0,0 +1 @@
+(program 1.0.0 (con bytestring #ebfc))
\ No newline at end of file
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/rotateByteString/case-7/case-7.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/rotateByteString/case-7/case-7.uplc
new file mode 100644
index 00000000000..0b7c0767ac1
--- /dev/null
+++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/rotateByteString/case-7/case-7.uplc
@@ -0,0 +1 @@
+(program 1.0.0 [ [ (builtin rotateByteString) (con bytestring #ebfc) ] (con integer 21) ])
\ No newline at end of file
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/rotateByteString/case-7/case-7.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/rotateByteString/case-7/case-7.uplc.budget.expected
new file mode 100644
index 00000000000..1293dc2f78d
--- /dev/null
+++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/rotateByteString/case-7/case-7.uplc.budget.expected
@@ -0,0 +1,2 @@
+({cpu: 248291
+| mem: 601})
\ No newline at end of file
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/rotateByteString/case-7/case-7.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/rotateByteString/case-7/case-7.uplc.expected
new file mode 100644
index 00000000000..0207fcc048f
--- /dev/null
+++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/rotateByteString/case-7/case-7.uplc.expected
@@ -0,0 +1 @@
+(program 1.0.0 (con bytestring #7f9d))
\ No newline at end of file
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/rotateByteString/case-8/case-8.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/rotateByteString/case-8/case-8.uplc
new file mode 100644
index 00000000000..c3c12e8803c
--- /dev/null
+++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/rotateByteString/case-8/case-8.uplc
@@ -0,0 +1 @@
+(program 1.0.0 [ [ (builtin rotateByteString) (con bytestring #ebfc) ] (con integer -21) ])
\ No newline at end of file
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/rotateByteString/case-8/case-8.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/rotateByteString/case-8/case-8.uplc.budget.expected
new file mode 100644
index 00000000000..1293dc2f78d
--- /dev/null
+++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/rotateByteString/case-8/case-8.uplc.budget.expected
@@ -0,0 +1,2 @@
+({cpu: 248291
+| mem: 601})
\ No newline at end of file
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/rotateByteString/case-8/case-8.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/rotateByteString/case-8/case-8.uplc.expected
new file mode 100644
index 00000000000..921ae6c36c4
--- /dev/null
+++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/rotateByteString/case-8/case-8.uplc.expected
@@ -0,0 +1 @@
+(program 1.0.0 (con bytestring #e75f))
\ No newline at end of file