Return true if we know that executing a load from this value cannot trap.
Declared in <llvm/Analysis/Loads.h>
Return true if we know that executing a load from this value cannot trap.
bool
isSafeToLoadUnconditionally(
Value* V,
Align Alignment,
APInt const& Size,
SimplifyQuery const& SQ);Return true if we know that executing a load from this value cannot trap.
bool
isSafeToLoadUnconditionally(
Value* V,
Type* Ty,
Align Alignment,
SimplifyQuery const& SQ);True if executing a load from this value cannot trap.
| Name | Description |
|---|---|
| V | Pointer value to load from. |
| Alignment | Alignment of the prospective load. |
| Size | Size in bytes of the prospective load. |
| SQ | Query providing data layout and optional context instruction. |
| Ty | Type of the prospective load, used to determine size. |