forked from OSchip/llvm-project
8bd7f3c0a5
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 |
||
|---|---|---|
| .. | ||
| Ast | ||
| CodeGen | ||
| single_loop_param_less_equal.ll | ||
| single_loop_param_less_than.ll | ||
| single_loop_uint_max_iterations.ll | ||
| single_loop_ull_max_iterations.ll | ||