Sirraide wrote: As I mentioned, I’m going to make a follow-up pr to this soon so we can discuss what to do with `__attribute__((assume))`/`[[clang::assume]]`. https://github.com/llvm/llvm-project/pull/84582