diff options
| author | Harmen Stoppels <harmenstoppels@gmail.com> | 2023-08-22 14:44:07 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-08-22 14:44:07 +0200 |
| commit | 1340995249cd535c8353ab8f2a3c8352777e24c1 (patch) | |
| tree | 51115f33ebd66b3749bbcb94c4106b38492d907d /lib | |
| parent | afebc1174206a35612c81b32f9366fd42f1b07d7 (diff) | |
| download | spack-1340995249cd535c8353ab8f2a3c8352777e24c1.tar.gz spack-1340995249cd535c8353ab8f2a3c8352777e24c1.tar.bz2 spack-1340995249cd535c8353ab8f2a3c8352777e24c1.tar.xz spack-1340995249cd535c8353ab8f2a3c8352777e24c1.zip | |
clingo-bootstrap: pgo, lto, allocator optimizations (#34926)
Add support for PGO and LTO for gcc, clang and apple-clang, and add a
patch to allow mimalloc as an allocator in operator new/delete, give
reduces clingo runtime by about 30%.
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions