diff options
| author | Christian Ulmann <christianulmann@gmail.com> | 2024-04-23 08:05:55 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-04-23 08:05:55 +0200 |
| commit | 4513050f526be8bc17883685efec91a15ae427f8 (patch) | |
| tree | 8cee7b51fadc8860a4f566d31de4d4192f3e3504 /clang/lib/Analysis/FlowSensitive/DataflowEnvironment.cpp | |
| parent | b28f4d4dd0bbf50059cb19ca794af967374e1900 (diff) | |
| download | llvm-4513050f526be8bc17883685efec91a15ae427f8.zip llvm-4513050f526be8bc17883685efec91a15ae427f8.tar.gz llvm-4513050f526be8bc17883685efec91a15ae427f8.tar.bz2 | |
[MLIR] Harmonize the behavior of the folding API functions (#88508)
This commit changes `OpBuilder::tryFold` to behave more similarly to
`Operation::fold`. Concretely, this ensures that even an in-place fold
returns `success`.
This is necessary to fix a bug in the dialect conversion that occurred
when an in-place folding made an operation legal. The dialect conversion
infrastructure did not check if the result of an in-place folding
legalized the operation and just went ahead and tried to apply pattern
anyways.
The added test contains a simplified version of a breakage we observed
downstream.
Diffstat (limited to 'clang/lib/Analysis/FlowSensitive/DataflowEnvironment.cpp')
0 files changed, 0 insertions, 0 deletions