Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
21 commits
Select commit Hold shift + click to select a range
f6e394f
Attempt to reduce overhead of PAMM counter increments
fabianbs96 Jun 14, 2026
6cca042
Rework PAMM counters to be more efficient in hot loops & less tedious…
fabianbs96 Jun 16, 2026
7920c65
Make it possible to en/disable PAMM categories selectively
fabianbs96 Jun 17, 2026
03b0ec5
Rework PAMM histograms + rename REG_ macros to PAMM_ macros for bette…
fabianbs96 Jun 17, 2026
64fb798
Selective printing
fabianbs96 Jun 18, 2026
c81bdf7
Timers
fabianbs96 Jun 18, 2026
6e849fc
Fix qualifiers() + some minor stuff
fabianbs96 Jun 24, 2026
1fd418a
Make PAMM usable with unittests enabled + refactor PAMMTest
fabianbs96 Jun 27, 2026
f2a17cb
Add MinMaxCounter + remove unused initial-value for counters
fabianbs96 Jun 27, 2026
2b6baf1
Let AI reduce some boilerplate
fabianbs96 Jun 27, 2026
0df17ce
Prevent different PAMM-element instances per IDESolver/FECache tmpl i…
fabianbs96 Jun 27, 2026
16e5bf5
Deprecating the PAMM class
fabianbs96 Jun 27, 2026
89b92c7
Add some thread-safety + comments
fabianbs96 Jun 27, 2026
ef2a9ae
minor
fabianbs96 Jul 4, 2026
f9362b7
Fix PAMM without thread-safety
fabianbs96 Jul 13, 2026
61d111a
Merge branch 'development' into f-ImprovePAMM
fabianbs96 Jul 13, 2026
0986481
Fix PAMM usage in merged-in CFLFieldSensIFDSProblem + fix Core sev level
fabianbs96 Jul 13, 2026
57277d7
Attempt to fix release builds in CI with ccache
fabianbs96 Jul 13, 2026
77c0172
Try to use newer clang to prevent internal compiler error with clang-…
fabianbs96 Jul 13, 2026
2b59751
Merge branch 'development' into f-ImprovePAMM
fabianbs96 Jul 31, 2026
c11b737
minor
fabianbs96 Aug 1, 2026
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
14 changes: 6 additions & 8 deletions CMakeLists.txt
Original file line number Diff line number Diff line change
Expand Up @@ -200,18 +200,16 @@ if (PHASAR_ENABLE_PIC)
endif (PHASAR_ENABLE_PIC)

# PAMM
if (NOT PHASAR_ENABLE_PAMM)
set(PHASAR_ENABLE_PAMM "Off" CACHE STRING "Enable the performance measurement mechanism ('Off', 'Core' or 'Full', default is 'Off')" FORCE)
set_property(CACHE PHASAR_ENABLE_PAMM PROPERTY STRINGS "Off" "Core" "Full")
endif()
if(PHASAR_ENABLE_PAMM STREQUAL "Core" AND NOT PHASAR_BUILD_UNITTESTS)
set(PHASAR_ENABLE_PAMM "Off" CACHE STRING "Enable the performance measurement mechanism ('Off', 'Core' or 'Full', default is 'Off')")
set_property(CACHE PHASAR_ENABLE_PAMM PROPERTY STRINGS "Off" "Core" "Full")
option(PHASAR_THREAD_SAFE_PAMM "Use a thread-safe version of PAMM, if PAMM is enabled" ON)

if(PHASAR_ENABLE_PAMM STREQUAL "Core")
set(PAMM_CORE ON)
message(STATUS "PAMM metric severity level: Core")
elseif(PHASAR_ENABLE_PAMM STREQUAL "Full" AND NOT PHASAR_BUILD_UNITTESTS)
elseif(PHASAR_ENABLE_PAMM STREQUAL "Full")
set(PAMM_FULL ON)
message(STATUS "PAMM metric severity level: Full")
elseif(PHASAR_BUILD_UNITTESTS AND (PHASAR_ENABLE_PAMM STREQUAL "Core" OR PHASAR_ENABLE_PAMM STREQUAL "Full"))
message(WARNING "PAMM metric severity level: Off (due to unittests)")
else()
message(STATUS "PAMM metric severity level: Off")
endif()
Expand Down
1 change: 1 addition & 0 deletions config.h.in
Original file line number Diff line number Diff line change
Expand Up @@ -7,6 +7,7 @@

#cmakedefine PAMM_CORE
#cmakedefine PAMM_FULL
#cmakedefine PHASAR_THREAD_SAFE_PAMM

#cmakedefine DYNAMIC_LOG
#cmakedefine BUILD_PHASAR_CLANG
Expand Down
213 changes: 107 additions & 106 deletions include/phasar/DataFlow/IfdsIde/Solver/FlowEdgeFunctionCache.h

Large diffs are not rendered by default.

Loading
Loading