https://github.com/jdoerfert commented: It shouldn't "need" AAIsDead. And it's unlikely we want to add that right now. Let me check. You basically want to ensure AA-light does the same for denormal-fp-math, right? https://github.com/llvm/llvm-project/pull/79576