there's a lot I don't understand about optimizers, but is it unreasonable to expect a modern C++ compiler to turn foo() into an add instruction?
13
10
51
Conversation
Replying to
"std::vector<int> v {a, b}" seems to make a huge difference with gcc trunk. But still not a simple add. godbolt.org/z/DDrOCO
1
8
In general, I don't think either Clang or GCC is capable of getting rid of malloc/free or new/delete outside of a special case for completely dead stores. They aren't capable of doing escape analysis and lowering it to a stack allocation / virtual registers so it won't go away.
2
1
Last time I checked, the GCC dead store elimination also only works for malloc/free and only when the code is buggy and lacks an out-of-memory check. Clang is better at this, but it lacks a way to turn this into a dead store anyway. It can't work with malloc/new directly either.
1
2
So yes, I'm sure it understands that it's just an add. It knows the memory returned from new/malloc doesn't alias anything else. It just has absolutely no way to get rid of it by lowering it to something else and also has no way to get rid of it in a single step. Not implemented.
I think part of the reason lowering dynamic allocations to stack allocations / virtual registers isn't implemented is to avoid the risk of causing a stack overflow. They can and should probably do a very conservative version of it which would end up optimizing this away at least.
1
2
There could definitely be a pass for it or SROA could be taught to rip apart malloc allocations like it can do with stack allocations. There's one take on a separate pass at reviews.llvm.org/D53362 along with links to some previous work. Main issue is not wasting too much stack.
1
5
Show replies