• Keith Randall's avatar
    cmd/compile: better check for single live memory · 256210c7
    Keith Randall authored
    Enhance the one-live-memory-at-a-time check to run during many
    more phases of the SSA backend. Also make it work in an interblock
    fashion.
    
    Change types.IsMemory to return true for tuples containing a memory type.
    
    Fix trim pass to build the merged phi correctly. Doesn't affect
    code but allows the check to pass after trim runs.
    
    Switch the AddTuple* ops to take the memory-containing tuple argument second.
    
    Update #20335
    
    Change-Id: I5b03ef3606b75a9e4f765276bb8b183cdc172b43
    Reviewed-on: https://go-review.googlesource.com/43495
    Run-TryBot: Keith Randall <khr@golang.org>
    TryBot-Result: Gobot Gobot <gobot@golang.org>
    Reviewed-by: 's avatarCherry Zhang <cherryyz@google.com>
    256210c7
deadstore.go 3.47 KB