llvm-svn: 35296

Convert some calls to ConstantInt::getZExtValue() into getValue() and
use APInt facilities in the subsequent computations.

llvm-svn: 35294

llvm-svn: 35293

llvm-svn: 35292

Add final support to get the QT example to compile.

llvm-svn: 35290

llvm-svn: 35289

* APIntify visitAdd and visitSelectInst
* Remove unused uint64_t versions of utility functions that have been
  replaced with APInt versions.
This completes most of the changes for APIntification of InstCombine. This
passes llvm-test and llvm/test/Transforms/InstCombine/APInt.

Patch by Zhou Sheng.

llvm-svn: 35287

llvm-svn: 35286

APIntify visitDiv, visitMul and visitRem.

Patch by Zhou Sheng.

llvm-svn: 35283

llvm-svn: 35282

APIntify several utility functions supporting logical operators and shift
operators.

Patch by Zhou Sheng.

llvm-svn: 35281

requirements. We must return NaN in some cases and correctly signed
infinity in other cases. Passes CFP2006 (not that that says much).

llvm-svn: 35277

llvm-svn: 35276

llvm-svn: 35275

1. Address offset is in bytes.
2. Make sure truncate node uses are replaced with new load.

llvm-svn: 35274

APInt support for logical operators in visitAnd, visitOr, and visitXor.

Patch by Zhou Sheng.

llvm-svn: 35273

* APIntify commonIntCastTransforms
* APIntify visitTrunc
* APIntify visitZExt

Patch by Zhou Sheng.

llvm-svn: 35271

* Re-enable the APInt version of MaskedValueIsZero.
* APIntify the Comput{Un}SignedMinMaxValuesFromKnownBits functions
* APIntify visitICmpInst.

llvm-svn: 35270

intrinsic.

llvm-svn: 35269

llvm-svn: 35266

llvm-svn: 35265

llvm-svn: 35260

llvm-svn: 35259

llvm-svn: 35258

Analyze GEPs. If the indices are all zero, transfer whether the pointer is
known to be not null through the GEP.

Add a few more cases for xor and shift instructions.

llvm-svn: 35257

llvm-svn: 35254

where the destination is dead.

llvm-svn: 35252

* Fix some indentation and comments in InsertRangeTest
* Add an "IsSigned" parameter to AddWithOverflow and make it handle signed
  additions. Also, APIntify this function so it works with any bitwidth.
* For the icmp pred ([us]div %X, C1), C2 transforms, exit early if the
  div instruction's RHS is zero.
* Finally, for icmp pred (sdiv %X, C1), -C2, fix an off-by-one error. The
  HiBound needs to be incremented in order to get the range test correct.

llvm-svn: 35247

llvm-svn: 35245

llvm-svn: 35244

llvm-svn: 35242

llvm-svn: 35241

llvm-svn: 35239

is the frame pointer.

llvm-svn: 35233

some test cases for bitwidth > 64.

llvm-svn: 35232

llvm-svn: 35230

llvm-svn: 35229

llvm-svn: 35228

instructions (that would have to be split later)

llvm-svn: 35227

llvm-svn: 35226