diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-1/case-1.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-1/case-1.uplc
new file mode 100644
index 00000000000..171a565f743
--- /dev/null
+++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-1/case-1.uplc
@@ -0,0 +1 @@
+(program 1.0.0 [ (builtin findFirstSetBit) (con bytestring #) ])
\ No newline at end of file
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-1/case-1.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-1/case-1.uplc.budget.expected
new file mode 100644
index 00000000000..4f9a627665b
--- /dev/null
+++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-1/case-1.uplc.budget.expected
@@ -0,0 +1,2 @@
+({cpu: 154812
+| mem: 401})
\ No newline at end of file
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-1/case-1.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-1/case-1.uplc.expected
new file mode 100644
index 00000000000..1cb56cffbc9
--- /dev/null
+++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-1/case-1.uplc.expected
@@ -0,0 +1 @@
+(program 1.0.0 (con integer -1))
\ No newline at end of file
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-2/case-2.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-2/case-2.uplc
new file mode 100644
index 00000000000..a8c1146d858
--- /dev/null
+++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-2/case-2.uplc
@@ -0,0 +1 @@
+(program 1.0.0 [ (builtin findFirstSetBit) (con bytestring #0000) ])
\ No newline at end of file
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-2/case-2.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-2/case-2.uplc.budget.expected
new file mode 100644
index 00000000000..4f9a627665b
--- /dev/null
+++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-2/case-2.uplc.budget.expected
@@ -0,0 +1,2 @@
+({cpu: 154812
+| mem: 401})
\ No newline at end of file
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-2/case-2.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-2/case-2.uplc.expected
new file mode 100644
index 00000000000..1cb56cffbc9
--- /dev/null
+++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-2/case-2.uplc.expected
@@ -0,0 +1 @@
+(program 1.0.0 (con integer -1))
\ No newline at end of file
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-3/case-3.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-3/case-3.uplc
new file mode 100644
index 00000000000..d5d079e8ee0
--- /dev/null
+++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-3/case-3.uplc
@@ -0,0 +1 @@
+(program 1.0.0 [ (builtin findFirstSetBit) (con bytestring #0002) ])
\ No newline at end of file
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-3/case-3.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-3/case-3.uplc.budget.expected
new file mode 100644
index 00000000000..4f9a627665b
--- /dev/null
+++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-3/case-3.uplc.budget.expected
@@ -0,0 +1,2 @@
+({cpu: 154812
+| mem: 401})
\ No newline at end of file
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-3/case-3.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-3/case-3.uplc.expected
new file mode 100644
index 00000000000..8e9a3b22d84
--- /dev/null
+++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-3/case-3.uplc.expected
@@ -0,0 +1 @@
+(program 1.0.0 (con integer 1))
\ No newline at end of file
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-4/case-4.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-4/case-4.uplc
new file mode 100644
index 00000000000..aedd25d76bc
--- /dev/null
+++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-4/case-4.uplc
@@ -0,0 +1 @@
+(program 1.0.0 [ (builtin findFirstSetBit) (con bytestring #fff2) ])
\ No newline at end of file
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-4/case-4.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-4/case-4.uplc.budget.expected
new file mode 100644
index 00000000000..4f9a627665b
--- /dev/null
+++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-4/case-4.uplc.budget.expected
@@ -0,0 +1,2 @@
+({cpu: 154812
+| mem: 401})
\ No newline at end of file
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-4/case-4.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-4/case-4.uplc.expected
new file mode 100644
index 00000000000..8e9a3b22d84
--- /dev/null
+++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-4/case-4.uplc.expected
@@ -0,0 +1 @@
+(program 1.0.0 (con integer 1))
\ No newline at end of file