[all-commits] [llvm/llvm-project] c0b3f7: [DAG] SimplifyDemandedBits - ensure we clear known...

[Simon Pilgrim via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: c0b3f7a50fdf22c4a6e0c5e6e3ef2147f44bf566
      https://github.com/llvm/llvm-project/commit/c0b3f7a50fdf22c4a6e0c5e6e3ef2147f44bf566
  Author: Simon Pilgrim <llvm-dev at redking.me.uk>
  Date:   2022-07-27 (Wed, 27 Jul 2022)

  Changed paths:
    M llvm/lib/CodeGen/SelectionDAG/SelectionDAG.cpp
    M llvm/lib/CodeGen/SelectionDAG/TargetLowering.cpp
    A llvm/test/CodeGen/X86/assertzext-demanded.ll

  Log Message:
  -----------
  [DAG] SimplifyDemandedBits - ensure we clear known One bits that AssertZext asserts are really known Zero

Matches ComputeKnownBits behaviour

Thanks to @uabelho for the fuzz regression report on D129765