[LLVMdev] Promoting malloc to alloca
baldrick at free.fr
Mon Jul 12 23:47:32 PDT 2010
> The attribute you're looking for, "delete if result is unused" doesn't
> exist in LLVM. I've considered it in the past, but the truth is that
> most of the time I want to eliminate dead malloc's, they *do* have a
> use: the matching free. At some point I expect I'm going to teach LLVM
> to remove dead malloc+free / new+delete / new+delete pairings, but I
> haven't gotten around to it yet. Teaching it to kill an allocation with
> no uses at all will be dead simple too.
LLVM already removes malloc+(perhaps compare with null)+free.
More information about the llvm-dev