[aweinstock]

LLVM calls the process of breaking a struct/object into dataflow variables "Scalar Replacement of Aggregates".

https://llvm.org/doxygen/classllvm_1_1SROA.html#details

[chrisseaton]

Yes that's what the JVM calls it - and then the node the ties together the state is the virtual object.