diff options
| author | luxufan <luxufan@iscas.ac.cn> | 2023-04-27 10:40:27 +0800 |
|---|---|---|
| committer | luxufan <luxufan@iscas.ac.cn> | 2023-04-27 11:05:49 +0800 |
| commit | b12a2fc4e82424bb940e9250e469abdcce3547f9 (patch) | |
| tree | 2d829ce075e7fae951c6559396e7c0e773043df1 /llvm/lib/CodeGen/MachineDebugify.cpp | |
| parent | fd85a6df1d9336601207a80ea65502d86c78f750 (diff) | |
| download | llvm-b12a2fc4e82424bb940e9250e469abdcce3547f9.zip llvm-b12a2fc4e82424bb940e9250e469abdcce3547f9.tar.gz llvm-b12a2fc4e82424bb940e9250e469abdcce3547f9.tar.bz2 | |
[ValueTracking] Guaranteed not to be undef if has dereferenceable attribute
As LangRef says, "dereferenceable<n> implies noundef".
`isGuaranteedNotToBeUndefOrPoison` should return true if the parameter
has dereferenceable attribute.
Reviewed By: nikic
Differential Revision: https://reviews.llvm.org/D149035
Diffstat (limited to 'llvm/lib/CodeGen/MachineDebugify.cpp')
0 files changed, 0 insertions, 0 deletions