[all-commits] [llvm/llvm-project] d6ad55: [IPSCCP] Infer nonnull return attribute (#106553)

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: d6ad55167094b7b23e71ec6eabfe942e7a485b41
      https://github.com/llvm/llvm-project/commit/d6ad55167094b7b23e71ec6eabfe942e7a485b41
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2024-08-30 (Fri, 30 Aug 2024)

  Changed paths:
    M llvm/lib/Transforms/IPO/SCCP.cpp
    M llvm/test/Transforms/PGOProfile/memprof.ll
    M llvm/test/Transforms/SCCP/pointer-nonnull.ll

  Log Message:
  -----------
  [IPSCCP] Infer nonnull return attribute (#106553)

Similarly to the existing range attribute inference, also infer the
nonnull attribute on function return values.

I think in practice FunctionAttrs will handle nearly all cases, the main
one I think it doesn't is cases involving branch conditions. But as we
already have the information here, we may as well materialize it.



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications