diff options
| author | Nicolas Vasilache <nicolas.vasilache@gmail.com> | 2023-04-12 06:19:45 -0700 |
|---|---|---|
| committer | Nicolas Vasilache <nicolas.vasilache@gmail.com> | 2023-04-12 08:47:20 -0700 |
| commit | 88b7e8e0f06dd22d228d7fa7eb7e4d112342e3ed (patch) | |
| tree | 709bfce8744810022421464faac4d168bbcc6ea7 /llvm/lib/Object/ELF.cpp | |
| parent | 34f5774920f54f81b3e3a361a7c7f21a61e39b39 (diff) | |
| download | llvm-88b7e8e0f06dd22d228d7fa7eb7e4d112342e3ed.zip llvm-88b7e8e0f06dd22d228d7fa7eb7e4d112342e3ed.tar.gz llvm-88b7e8e0f06dd22d228d7fa7eb7e4d112342e3ed.tar.bz2 | |
[mlir][SCF] Add an scf.take_assumed_branch transform op.
Given an scf.if conditional, using this transformation is akin to injecting
user-specified information that it is always safe to execute only the specified
`if` or `else` branch.
This is achieved by just replacing the scf.if by the content of one of its
branches.
This is particularly useful for user-controlled rewriting of conditionals
that exist solely to guard against out-of-bounds behavior.
At the moment, no assume or assert operation is emitted as it is not always
desirable. In the future, this may be controlled by a dedicated attribute.
Differential Revision: https://reviews.llvm.org/D148125
Diffstat (limited to 'llvm/lib/Object/ELF.cpp')
0 files changed, 0 insertions, 0 deletions