1. [Constant] Add containsPoisonElement (details)
  2. [mlir] Print the correct tool name in mlirTranslateMain (details)
Commit 29f8628d1fc8d96670e13562c4d92fc916bd0ce1 by aqjune
[Constant] Add containsPoisonElement

This patch

- Adds containsPoisonElement that checks existence of poison in constant vector elements,
- Renames containsUndefElement to containsUndefOrPoisonElement to clarify its behavior & updates its uses properly

With this patch, isGuaranteedNotToBeUndefOrPoison's tests w.r.t constant vectors are added because its analysis is improved.


Reviewed By: nikic

Differential Revision:
The file was modifiedllvm/lib/Analysis/ValueTracking.cpp
The file was modifiedllvm/unittests/Analysis/ValueTrackingTest.cpp
The file was modifiedllvm/unittests/IR/ConstantsTest.cpp
The file was modifiedllvm/lib/Transforms/InstCombine/InstCombineNegator.cpp
The file was modifiedllvm/lib/IR/ConstantFold.cpp
The file was modifiedllvm/lib/Transforms/InstCombine/InstCombineCompares.cpp
The file was modifiedllvm/include/llvm/IR/Constant.h
The file was modifiedllvm/lib/IR/Constants.cpp
Commit 91f17ba24e86bfdd6e794e564f1e562b1d25e156 by youngar17
[mlir] Print the correct tool name in mlirTranslateMain

    The passed in tool name is not used, causing the wrong tool name to be printed by the help text.

Reviewed By: mehdi_amini

Differential Revision:
The file was addedmlir/test/mlir-translate/commandline.mlir
The file was modifiedmlir/lib/Translation/Translation.cpp