Add some more analyze info to be able to leave allocas whose address is never fetched outside of private address space

toaarnio / llvm-ir-memprotect

LLVM IR instrumentation for protection against out-of-bounds memory accesses

Mozilla Public License 2.0

9 stars 2 forks source link

Add some more analyze info to be able to leave allocas whose address is never fetched outside of private address space #9

Closed elhigu closed 11 years ago

elhigu commented 11 years ago

Currently -O0 generates extra alloca for each function argument in every function which might be hard to optimize out afterwards. Now that dependence analysis is done before constructing address spaces we can ask from dep analysis if we neet to put alloca to private address space or if we can leave it un touched.