From 72a2a94ec28e5976e71d020a83c6b0acb8f39e83 Mon Sep 17 00:00:00 2001
From: Brant-Skywalker <scharfrichterq@gmail.com>
Date: Mon, 6 Jan 2025 19:55:49 -0600
Subject: [PATCH] updated cost model from jit

---
 example/Makefile        |  5 ++-
 experiments/ablation.py |  2 +-
 experiments/run.py      |  2 +-
 microbm/cm.csv          | 84 ++++++++++++++++++++---------------------
 4 files changed, 48 insertions(+), 45 deletions(-)

diff --git a/example/Makefile b/example/Makefile
index 0730263..2271a6f 100644
--- a/example/Makefile
+++ b/example/Makefile
@@ -19,12 +19,15 @@ FPOPTFLAGS += -mllvm --enzyme-enable-fpopt \
 		   -mllvm --enzyme-print-fpopt \
 		   -mllvm --fpopt-log-path=example.txt \
 		   -mllvm --fpopt-target-func-regex=example \
+		   -mllvm --fpopt-enable-herbie=1 \
 		   -mllvm --fpopt-enable-solver \
 		   -mllvm --fpopt-enable-pt \
 		   -mllvm --fpopt-comp-cost-budget=0 \
 		   -mllvm --fpopt-num-samples=1000 \
 		   -mllvm --fpopt-show-table \
-		   -mllvm --fpopt-cost-model-path=../microbm/cm.csv
+		   -mllvm --fpopt-cache-path=cache \
+		   -mllvm --fpopt-widen-range=10 \
+		   -mllvm --fpopt-cost-model-path=/home/sbrantq/sync/FPBench/microbm/cm.csv
 
 SRC ?= example.c
 LOGGER ?= fp-logger.cpp
diff --git a/experiments/ablation.py b/experiments/ablation.py
index cbf66a4..78608ba 100644
--- a/experiments/ablation.py
+++ b/experiments/ablation.py
@@ -69,7 +69,7 @@
     "-mllvm",
     "--fpopt-num-samples=1024",
     "-mllvm",
-    "--fpopt-cost-model-path=../microbm/cm.csv",
+    "--fpopt-cost-model-path=/home/sbrantq/sync/FPBench/microbm/cm.csv",
     "-mllvm",
     "-fpopt-cache-path=cache",
 ]
diff --git a/experiments/run.py b/experiments/run.py
index c3b90f9..f7be906 100755
--- a/experiments/run.py
+++ b/experiments/run.py
@@ -66,7 +66,7 @@
     "-mllvm",
     "--fpopt-num-samples=1024",
     "-mllvm",
-    "--fpopt-cost-model-path=../microbm/cm.csv",
+    "--fpopt-cost-model-path=/home/sbrantq/sync/FPBench/microbm/cm.csv",
     "-mllvm",
     "-fpopt-cache-path=cache",
 ]
diff --git a/microbm/cm.csv b/microbm/cm.csv
index 8760ada..1b058cb 100644
--- a/microbm/cm.csv
+++ b/microbm/cm.csv
@@ -1,42 +1,42 @@
-fneg,float,19
-fadd,float,19
-fsub,float,19
-fmul,float,19
-fdiv,float,19
-fcmp,float,15
-fpext_float_to_double,float,19
-fmuladd,float,19
-sin,float,91
-cos,float,98
-tan,float,243
-exp,float,125
-log,float,76
-sqrt,float,30
-expm1,float,76
-log1p,float,79
-cbrt,float,618
-pow,float,177
-fabs,float,19
-hypot,float,641
-fma,float,74
-fneg,double,19
-fadd,double,19
-fsub,double,19
-fmul,double,19
-fdiv,double,28
-fcmp,double,15
-fptrunc_double_to_float,double,19
-fmuladd,double,19
-sin,double,830
-cos,double,828
-tan,double,970
-exp,double,166
-log,double,97
-sqrt,double,52
-expm1,double,76
-log1p,double,115
-cbrt,double,237
-pow,double,279
-fabs,double,19
-hypot,double,383
-fma,double,75
+fneg,float,7
+fadd,float,7
+fsub,float,7
+fmul,float,7
+fdiv,float,7
+fcmp,float,6
+fpext_float_to_double,float,7
+fmuladd,float,7
+sin,float,42
+cos,float,40
+tan,float,75
+exp,float,44
+log,float,29
+sqrt,float,12
+expm1,float,33
+log1p,float,32
+cbrt,float,175
+pow,float,53
+fabs,float,7
+hypot,float,251
+fma,float,30
+fneg,double,7
+fadd,double,7
+fsub,double,7
+fmul,double,7
+fdiv,double,11
+fcmp,double,6
+fptrunc_double_to_float,double,7
+fmuladd,double,7
+sin,double,351
+cos,double,353
+tan,double,406
+exp,double,70
+log,double,33
+sqrt,double,21
+expm1,double,30
+log1p,double,42
+cbrt,double,98
+pow,double,104
+fabs,double,7
+hypot,double,30
+fma,double,29
\ No newline at end of file