andjo403 wrote: even if there maybe is problems with ephemeral values resulting in not all assumes is used, as it is now all assumes that have a trunc argument is unused as this code is missing. https://github.com/llvm/llvm-project/pull/118406