diff --git a/src/bench/CMakeLists.txt b/src/bench/CMakeLists.txt
index e87b8ec7a..0a8181ade 100644
--- a/src/bench/CMakeLists.txt
+++ b/src/bench/CMakeLists.txt
@@ -1,94 +1,95 @@
 # Copyright (c) 2018 The Bitcoin developers
 
 project(bitcoin-bench)
 
 set(BENCH_DATA_RAW_FILES
 	data/block413567.raw
 )
 
 # Process raw files.
 file(MAKE_DIRECTORY "${CMAKE_CURRENT_BINARY_DIR}/data")
 
 foreach(_raw_file ${BENCH_DATA_RAW_FILES})
 	string(APPEND
 		_generated_header_output
 		"${CMAKE_CURRENT_BINARY_DIR}/${_raw_file}" ".h"
 	)
 
 	list(APPEND BENCH_DATA_GENERATED_HEADERS ${_generated_header_output})
 	get_filename_component(_test_name ${_raw_file} NAME_WE)
 
 	add_custom_command(
 		OUTPUT "${_generated_header_output}"
 		COMMAND
 			"${Python_EXECUTABLE}"
 			"data/convert-raw-to-header.py"
 			"${_test_name}"
 			"${_raw_file}" > "${_generated_header_output}"
 		COMMENT "Transforming raw file ${_raw_file} into header"
 		MAIN_DEPEDENCY "${_raw_file}"
 		DEPENDS "data/convert-raw-to-header.py"
 		VERBATIM
 		WORKING_DIRECTORY "${CMAKE_CURRENT_SOURCE_DIR}"
 	)
 endforeach()
 
 add_executable(bitcoin-bench
 	base58.cpp
 	bench.cpp
 	bench_bitcoin.cpp
 	block_assemble.cpp
 	cashaddr.cpp
 	ccoins_caching.cpp
 	chacha_poly_aead.cpp
 	chacha20.cpp
 	checkblock.cpp
 	checkqueue.cpp
 	crypto_aes.cpp
 	crypto_hash.cpp
 	data.cpp
 	duplicate_inputs.cpp
 	examples.cpp
 	gcs_filter.cpp
 	lockedpool.cpp
 	mempool_eviction.cpp
 	mempool_stress.cpp
 	merkle_root.cpp
 	poly1305.cpp
 	prevector.cpp
 	rollingbloom.cpp
 	rpc_blockchain.cpp
 	rpc_mempool.cpp
 	util_time.cpp
+	verify_script.cpp
 
 	# Add the generated headers to trigger the conversion command
 	${BENCH_DATA_GENERATED_HEADERS}
 )
 
 target_link_libraries(bitcoin-bench testutil)
 
 if(BUILD_BITCOIN_WALLET)
 	target_sources(bitcoin-bench
 		PRIVATE
 			coin_selection.cpp
 			wallet_balance.cpp
 	)
 	target_link_libraries(bitcoin-bench wallet)
 endif()
 
 include(InstallationHelper)
 install_target(bitcoin-bench EXCLUDE_FROM_ALL)
 
 include(TestSuite)
 if(ENABLE_JUNIT_REPORT)
 	set(JUNIT_ARGS -printer=junit > "${JUNIT_REPORT_DIRECTORY}/bench-bitcoin.xml")
 endif()
 
 add_test_custom_target(bench-bitcoin
 	TEST_COMMAND
 		"$<TARGET_FILE:bitcoin-bench>"
 		${JUNIT_ARGS}
 	CUSTOM_TARGET_ARGS
 		DEPENDS bitcoin-bench
 		USES_TERMINAL
 )
diff --git a/src/bench/verify_script.cpp b/src/bench/verify_script.cpp
new file mode 100644
index 000000000..b8dfbfb22
--- /dev/null
+++ b/src/bench/verify_script.cpp
@@ -0,0 +1,41 @@
+// Copyright (c) 2016-2018 The Bitcoin Core developers
+// Distributed under the MIT software license, see the accompanying
+// file COPYING or http://www.opensource.org/licenses/mit-license.php.
+
+#include <bench/bench.h>
+#include <key.h>
+#if defined(HAVE_CONSENSUS_LIB)
+#include <script/bitcoinconsensus.h>
+#endif
+#include <script/interpreter.h>
+#include <script/script.h>
+#include <script/script_error.h>
+#include <script/standard.h>
+#include <streams.h>
+#include <test/util/transaction_utils.h>
+
+#include <array>
+
+static void VerifyNestedIfScript(benchmark::State &state) {
+    std::vector<std::vector<uint8_t>> stack;
+    CScript script;
+    for (int i = 0; i < 100; ++i) {
+        script << OP_1 << OP_IF;
+    }
+    for (int i = 0; i < 1000; ++i) {
+        script << OP_1;
+    }
+    for (int i = 0; i < 100; ++i) {
+        script << OP_ENDIF;
+    }
+    while (state.KeepRunning()) {
+        auto stack_copy = stack;
+        ScriptExecutionMetrics metrics = {};
+        ScriptError error;
+        bool ret = EvalScript(stack_copy, script, 0, BaseSignatureChecker(),
+                              metrics, &error);
+        assert(ret);
+    }
+}
+
+BENCHMARK(VerifyNestedIfScript, 100);