From 03edaba5471ca6e6289a6b52e7f8a676dfe97dd8 Mon Sep 17 00:00:00 2001 From: Marvin Borner Date: Thu, 2 Oct 2025 11:52:18 +0200 Subject: [PATCH] Add benchmark args --- examples/benchmarks/config_js.txt | 23 ++++++++++++++++++++++- examples/benchmarks/config_llvm.txt | 19 +++++++++++++++++++ 2 files changed, 41 insertions(+), 1 deletion(-) diff --git a/examples/benchmarks/config_js.txt b/examples/benchmarks/config_js.txt index 8b47e7494..b0189bdad 100644 --- a/examples/benchmarks/config_js.txt +++ b/examples/benchmarks/config_js.txt @@ -29,4 +29,25 @@ input_output/word_count_ascii 8000 input_output/word_count_utf8 15000 input_output/dyck_one 800 input_output/number_matrix 700 -input_output/financial_format 15000 +input_output/financial_format 15000 +nofib/boyer 5 +nofib/constraints 6 +nofib/fish 100 +nofib/gcd 555 +nofib/lcss 2500 +nofib/cryptarithm1 1 +folklore_to_fact/tail_fib 178956971 +folklore_to_fact/minimax 1 +folklore_to_fact/primes 58255 +folklore_to_fact/divrec 1398102 +folklore_to_fact/merge 699051 +folklore_to_fact/perm 3 +folklore_to_fact/motzkin 19 +folklore_to_fact/ack_goto 7 +folklore_to_fact/life 2731 +folklore_to_fact/nqueens 11 +folklore_to_fact/motzkin_goto 18 +folklore_to_fact/even_odd_goto 4096 +folklore_to_fact/even_odd 1073741824 +folklore_to_fact/sudan 1 +folklore_to_fact/ack 7 diff --git a/examples/benchmarks/config_llvm.txt b/examples/benchmarks/config_llvm.txt index 7582e7bfc..7b3ebffa3 100644 --- a/examples/benchmarks/config_llvm.txt +++ b/examples/benchmarks/config_llvm.txt @@ -30,3 +30,22 @@ input_output/word_count_utf8 80000 input_output/dyck_one 3000 input_output/number_matrix 2000 input_output/financial_format 200000 +nofib/boyer 20 +nofib/constraints 6 +nofib/fish 300 +nofib/gcd 1500 +nofib/lcss 3500 +nofib/cryptarithm1 1 +folklore_to_fact/minimax 1 +folklore_to_fact/primes 138088 +folklore_to_fact/divrec 16777216 +folklore_to_fact/perm 2 +folklore_to_fact/motzkin 22 +folklore_to_fact/ack_goto 7 +folklore_to_fact/life 4096 +folklore_to_fact/nqueens 11 +folklore_to_fact/motzkin_goto 20 +folklore_to_fact/even_odd_goto 5592406 +folklore_to_fact/even_odd 4021990410 +folklore_to_fact/sudan 1 +folklore_to_fact/ack 7