andjo403 wrote: @yashnator here is one example for the not https://alive2.llvm.org/ce/z/AbsgX_ probably some easier way to trigger it but can not think of any now and I'm on my way out, will merge this PR when I'm back https://github.com/llvm/llvm-project/pull/143273