commit e8116c4ea8234fd958067b6061f5bc00b6aabb22
author Bjorn Pettersson <bjorn.a.pettersson@ericsson.com> Mon Apr 15 07:19:11 2019 +0000
committer Bjorn Pettersson <bjorn.a.pettersson@ericsson.com> Mon Apr 15 07:19:11 2019 +0000
tree 5e7eacc7ca143a4dfc09d223a414640e7fcb2547
parent 70ddf591597e4c19243682a3aef73174a6c51087

[SelectionDAG] Use KnownBits::computeForAddSub/computeForAddCarry

Summary:
Use KnownBits::computeForAddSub/computeForAddCarry
in SelectionDAG::computeKnownBits when doing value
tracking for addition/subtraction.

This should improve the precision of the known bits,
as we only used to make a simple estimate of known
zeroes. The KnownBits support functions are also
able to deduce bits that are known to be one in the
result.

Reviewers: spatel, RKSimon, nikic, lebedev.ri

Reviewed By: nikic

Subscribers: nikic, javed.absar, lebedev.ri, hiraditya, llvm-commits

Tags: #llvm

Differential Revision: https://reviews.llvm.org/D60460

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@358372 91177308-0d34-0410-b5e6-96231b3b80d8