Simple – Sea of Nodes

Re:Simple – Sea of Nodes by cliffc on Saturday September 21, 2024 @07:59PM (#41613551)

C2/HotSpot uses a MemBarrier / MemFence node type for these. Serializes the memory ops as needed. Used to implement the Java memory model on all hardware. Sometimes (x86) the ops encode as (empty), sometimes its a Real Fence op.

[ Parent | on HN ]

Re:Simple – Sea of Nodes by fuhsnn on Sunday September 22, 2024 @09:15AM (#41616843)

Thanks for the info. So in practice there are node types that encode sequential flow as needed. I wonder if the other way around works: keep the CFG form for side effects and only promote SSA values to be "floating".

[ Parent | on HN ]