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.