[DAG] SimplifyDemandedBits - ensure we clear known One bits that AssertZext asserts...
authorSimon Pilgrim <llvm-dev@redking.me.uk>
Wed, 27 Jul 2022 12:57:37 +0000 (13:57 +0100)
committerSimon Pilgrim <llvm-dev@redking.me.uk>
Wed, 27 Jul 2022 12:57:47 +0000 (13:57 +0100)
commitc0b3f7a50fdf22c4a6e0c5e6e3ef2147f44bf566
treecc877762c9ac5c6ece0ac522b5ec8a8b039c242a
parent7132bcdc428d79258901af0156ace240952b6745
[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
llvm/lib/CodeGen/SelectionDAG/SelectionDAG.cpp
llvm/lib/CodeGen/SelectionDAG/TargetLowering.cpp
llvm/test/CodeGen/X86/assertzext-demanded.ll [new file with mode: 0644]