Simplifier ticks exhausted on a type function for function types
Summary
In this innocent module: https://hackage.haskell.org/package/llvm-tf-12.0.0.1/docs/src/LLVM.Util.Memory.html I get the error
Simplifier ticks exhausted
When trying RuleFired Class op eq_sel
To increase the limit, use -fsimpl-tick-factor=N (default 100).
It occurs for any of the definitions of memcpy
, memmove
, memset
.
I can suppress the problem using -fsimpl-tick-factor=500
but there should not be much simplification involved here such that the problem might indicate a bug.
I can also suppress the problem using -O0
.
Steps to reproduce
PATH=/usr/local/ghc/9.4.4/bin:$PATH cabal-3.8 install llvm-tf
Environment
- GHC version used:
This problem first occured with GHC-9.4.
If you want to compile you need to follow the building hints for llvm-ffi, e.g. you need to manually specify the location of libLLVM.so.