arsenm wrote: > The main question, is it required for correctness now or not? I.e. can we use -O0 w/o the attributor? No, it never was. The "required" stuff was in the other pass which was deleted already https://github.com/llvm/llvm-project/pull/83131