Optimization flags for kontrol build (#842)

* kontrol build: Pass optimization flags to kevm_kompile * Pass -O2 on CI
runtimeverification · Oct 1, 2024 · 1c2e677 · 1c2e677
1 parent b030efa
commit 1c2e677
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 1 deletion.
diff --git a/.github/workflows/test-pr.yml b/.github/workflows/test-pr.yml
@@ -198,7 +198,7 @@ jobs:
           docker exec --user ${DOCKER_USER} --workdir ${FOUNDRY_ROOT} ${CONTAINER_NAME} forge install --no-git runtimeverification/kontrol-cheatcodes@a5dd4b0
           docker exec --user ${DOCKER_USER} --workdir ${FOUNDRY_ROOT} ${CONTAINER_NAME} forge build
       - name: 'Run kontrol build'
-        run: docker exec --user ${DOCKER_USER} --workdir ${FOUNDRY_ROOT} ${CONTAINER_NAME} kontrol build
+        run: docker exec --user ${DOCKER_USER} --workdir ${FOUNDRY_ROOT} ${CONTAINER_NAME} kontrol build -O2
       - name: 'Run kontrol prove'
         run: docker exec --user ${DOCKER_USER} --workdir ${FOUNDRY_ROOT} ${CONTAINER_NAME} kontrol prove --match-test 'AssertTest.test_assert_true()'
       - name: 'Run kontrol show'

diff --git a/src/kontrol/kompile.py b/src/kontrol/kompile.py
@@ -160,6 +160,15 @@ def should_rekompile() -> bool:
 
     if should_rekompile():
         output_dir = foundry.kompiled
+
+        optimization = 0
+        if options.o1:
+            optimization = 1
+        if options.o2:
+            optimization = 2
+        if options.o3:
+            optimization = 3
+
         kevm_kompile(
             target=options.target,
             output_dir=output_dir,
@@ -172,6 +181,7 @@ def should_rekompile() -> bool:
             debug=options.debug,
             verbose=options.verbose,
             ignore_warnings=options.ignore_warnings,
+            optimization=optimization,
         )
 
     update_kompilation_digest()