Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Early benchmarking of rete versus greedy pattern rewriter #2

Merged
merged 11 commits into from
Dec 15, 2021
Merged

Early benchmarking of rete versus greedy pattern rewriter #2

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
11 commits
Select commit Hold shift + click to select a range
bc96ee9
Early benchmarking, rete is much slower
bollu Dec 11, 2021
34d8537
move alpha activation into class
bollu Dec 12, 2021
cf9fc09
more gitignores
bollu Dec 12, 2021
1e5905f
make program smaller to allow small rete outputs
bollu Dec 12, 2021
7d2c79e
Bring in RETE debug graphviz printing.
bollu Dec 12, 2021
2428998
use std::map to make join faster
bollu Dec 15, 2021
9459eae
[WIP] accelerate join node by keeping caches
bollu Dec 15, 2021
4ccd0f3
We keep up with greedy rewriter in asymptotics.
bollu Dec 15, 2021
e80cff7
switch to vector/unordered_set wherever possible
bollu Dec 15, 2021
12c9565
switch to program of size 1e5
bollu Dec 15, 2021
ebcc93b
call remove WME
bollu Dec 15, 2021
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions .gitignore
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
build/
compile_commands.json
*.sublime-*
.cache/
4 changes: 3 additions & 1 deletion CMakeLists.txt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -19,7 +19,9 @@ project(lz-dialect LANGUAGES CXX C)
set(CMAKE_CXX_STANDARD 14 CACHE STRING "C++ standard to conform to")
# we have -Wnoerror=attributes because we use things like always_inline,
# and clang says:
set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -Wno-attributes -fsanitize=address -fsanitize=undefined")
set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -Wno-attributes")
set(CMAKE_CXX_FLAGS_DEBUG "${CMAKE_CXX_FLAGS_DEBUG} -fsanitize=address -fsanitize=undefined")
# set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -Wno-attributes -fsanitize=address -fsanitize=undefined")


find_package(MLIR REQUIRED CONFIG)
Expand Down
5 changes: 4 additions & 1 deletion src/hoopl/CMakeLists.txt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -35,7 +35,10 @@ target_link_libraries(hoopl PRIVATE
MLIRTargetLLVMIRExport
# MLIRTargetLLVMIR
MLIRTransforms
MLIRSupport)
MLIRSupport
cgraph gvc)



mlir_check_link_libraries(hoopl)

Loading