From 656b3334952881a9444e7be4b4ab3517cf695898 Mon Sep 17 00:00:00 2001 From: Brant-Skywalker Date: Tue, 17 Sep 2024 23:41:56 -0500 Subject: [PATCH] enable dp solver --- example/Makefile | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/example/Makefile b/example/Makefile index fa47fa8..6c94e1d 100644 --- a/example/Makefile +++ b/example/Makefile @@ -1,4 +1,4 @@ -ENZYME_PATH ?= /home/brant/Enzyme/build/Enzyme/ClangEnzyme-15.so +ENZYME_PATH ?= /home/brant/sync/Enzyme/build/Enzyme/ClangEnzyme-15.so LLVM_PATH ?= /home/brant/llvms/llvm15/build/bin CXX = $(LLVM_PATH)/clang++ @@ -16,7 +16,9 @@ FPOPTFLAGS += -mllvm --enzyme-enable-fpopt \ -mllvm --enzyme-print-herbie \ -mllvm --enzyme-print-fpopt \ -mllvm --fpopt-log-path=example.txt \ - -mllvm --fpopt-target-func-regex=Pendulum + -mllvm --fpopt-target-func-regex=Pendulum \ + -mllvm --fpopt-enable-solver \ + -mllvm --fpopt-comp-cost-budget=1000 SRC ?= example.c LOGGER ?= fp-logger.cpp