diff options
| author | Markus Böck <markus.bock+llvm@nextsilicon.com> | 2023-08-28 16:07:59 +0200 |
|---|---|---|
| committer | Markus Böck <markus.bock+llvm@nextsilicon.com> | 2023-08-29 08:26:25 +0200 |
| commit | bbf0733030ae16a1ef19c2a031f805a971e941d2 (patch) | |
| tree | f4db431df1d466fe3f3ddbae05fbfea8a55d1da6 /clang/lib/Analysis/FlowSensitive/DataflowAnalysisContext.cpp | |
| parent | b667e9c23d6d2f1c7371eb4a03b30de4a6f8b7b6 (diff) | |
| download | llvm-bbf0733030ae16a1ef19c2a031f805a971e941d2.zip llvm-bbf0733030ae16a1ef19c2a031f805a971e941d2.tar.gz llvm-bbf0733030ae16a1ef19c2a031f805a971e941d2.tar.bz2 | |
[mlir][arith] Fold `select` with poison
If either of the operands of `select` is fully poisoned we can simply return the other.
This PR implements this optimization inside the `fold` method.
Note that this patch is the first to add a dependency on the UB dialect within Arith. Given this was inevitable (and part of the motivation) it should be fine I believe.
Differential Revision: https://reviews.llvm.org/D158986
Diffstat (limited to 'clang/lib/Analysis/FlowSensitive/DataflowAnalysisContext.cpp')
0 files changed, 0 insertions, 0 deletions