diff options
| author | Tobias Grosser <tobias@grosser.es> | 2017-03-09 11:36:00 +0000 |
|---|---|---|
| committer | Tobias Grosser <tobias@grosser.es> | 2017-03-09 11:36:00 +0000 |
| commit | 8bd7f3c0a5ddb45c9d9d649f600f2b348635ee9c (patch) | |
| tree | a51c1125385f6a5793a9a845fc22e93a6e34b208 /clang/lib/Frontend/CompilerInvocation.cpp | |
| parent | 20e588e1af5dc6c37936f58f7dba4677b044ffb9 (diff) | |
| download | llvm-8bd7f3c0a5ddb45c9d9d649f600f2b348635ee9c.zip llvm-8bd7f3c0a5ddb45c9d9d649f600f2b348635ee9c.tar.gz llvm-8bd7f3c0a5ddb45c9d9d649f600f2b348635ee9c.tar.bz2 | |
[ScopDetect/Info] Allow unconditional hoisting of loads from dereferenceable ptrs
In case LLVM pointers are annotated with !dereferencable attributes/metadata
or LLVM can look at the allocation from which a pointer is derived, we can know
that dereferencing pointers is safe and can be done unconditionally. We use this
information to proof certain pointers as save to hoist and then hoist them
unconditionally.
llvm-svn: 297375
Diffstat (limited to 'clang/lib/Frontend/CompilerInvocation.cpp')
0 files changed, 0 insertions, 0 deletions