[all-commits] [llvm/llvm-project] ebc54e: [SCCP] Make check for unknown/undef in unary op ha...

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: ebc54e0cd43e6abd595c45ae091ef67a8b38863b
      https://github.com/llvm/llvm-project/commit/ebc54e0cd43e6abd595c45ae091ef67a8b38863b
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2022-07-14 (Thu, 14 Jul 2022)

  Changed paths:
    M llvm/lib/Transforms/Utils/SCCPSolver.cpp

  Log Message:
  -----------
  [SCCP] Make check for unknown/undef in unary op handling more explicit (NFCI)

Make the implementation more similar to other functions, by
explicitly skipping an unknown/undef first, and always falling
back to overdefined at the end. I don't think it makes a difference
now, but could make one once the constant evaluation can fail. In
that case we would directly mark the result as overdefined now,
rather than keeping it unknown (and later making it overdefined
because we think it's undef-based).