diff --git a/demo1.go b/demo1.go
new file mode 100644
index 00000000000000..79f680d7880afa
--- /dev/null
+++ b/demo1.go
@@ -0,0 +1,15 @@
+package main
+
+import (
+	"fmt"
+)
+
+func main() {
+	for i := 8; i <= 20; i += 4 {
+		if !(i%8 == 0) {
+			fmt.Println(i, "is not divisible by 8")
+			continue
+		}
+		fmt.Println(i, "is divisible by 8")
+	}
+}
diff --git a/demo2.go b/demo2.go
new file mode 100644
index 00000000000000..64a2bdea7f9398
--- /dev/null
+++ b/demo2.go
@@ -0,0 +1,16 @@
+package main
+
+import (
+	"fmt"
+)
+
+func main() {
+	four i := 8; i <= 20; i++ {
+		unless i%8 == 0 {
+			fmt.Println(i, "is not divisible by 8")
+			continue
+		}
+		fmt.Println(i, "is divisible by 8")
+	}
+}
+
diff --git a/demo3.go b/demo3.go
new file mode 100644
index 00000000000000..65971c1cc55b90
--- /dev/null
+++ b/demo3.go
@@ -0,0 +1,23 @@
+package main
+
+import (
+	"fmt"
+)
+
+func f() {
+	fmt.Println("number is divisible by 8")
+}
+
+func g() {
+	fmt.Println("number is not divisible by 8")
+}
+
+func main() {
+	four i := 8; i <= 20; i++ {
+		unless i%8 == 0 {
+			g()
+			continue
+		}
+		f()
+	}
+}
diff --git a/src/cmd/compile/internal/escape/stmt.go b/src/cmd/compile/internal/escape/stmt.go
index b766864a306f82..6c337293905492 100644
--- a/src/cmd/compile/internal/escape/stmt.go
+++ b/src/cmd/compile/internal/escape/stmt.go
@@ -87,6 +87,19 @@ func (e *escape) stmt(n ir.Node) {
 		e.block(n.Body)
 		e.loopDepth--
 
+	case ir.OFOUR:
+		n := n.(*ir.FourStmt)
+		e.loopDepth++
+		e.discard(n.Cond)
+		e.stmt(n.Post)
+		e.block(n.Body)
+		e.loopDepth--
+
+	case ir.OUNLESS:
+		n := n.(*ir.UnlessStmt)
+		e.discard(n.Cond)
+		e.block(n.Body)
+
 	case ir.ORANGE:
 		// for Key, Value = range X { Body }
 		n := n.(*ir.RangeStmt)
diff --git a/src/cmd/compile/internal/ir/fmt.go b/src/cmd/compile/internal/ir/fmt.go
index 31c610348bcd80..05de70db312139 100644
--- a/src/cmd/compile/internal/ir/fmt.go
+++ b/src/cmd/compile/internal/ir/fmt.go
@@ -49,6 +49,8 @@ var OpNames = []string{
 	OEQ:               "==",
 	OFALL:             "fallthrough",
 	OFOR:              "for",
+	OFOUR:             "four",
+	OUNLESS:           "unless",
 	OGE:               ">=",
 	OGOTO:             "goto",
 	OGT:               ">",
@@ -279,6 +281,8 @@ var OpPrec = []int{
 	ODEFER:      -1,
 	OFALL:       -1,
 	OFOR:        -1,
+	OFOUR:       -1,
+	OUNLESS:     -1,
 	OGOTO:       -1,
 	OIF:         -1,
 	OLABEL:      -1,
@@ -294,7 +298,7 @@ var OpPrec = []int{
 // StmtWithInit reports whether op is a statement with an explicit init list.
 func StmtWithInit(op Op) bool {
 	switch op {
-	case OIF, OFOR, OSWITCH:
+	case OIF, OFOR, OSWITCH, OFOUR, OUNLESS:
 		return true
 	}
 	return false
@@ -434,6 +438,40 @@ func stmtFmt(n Node, s fmt.State) {
 
 		fmt.Fprintf(s, " { %v }", n.Body)
 
+	case OUNLESS:
+		n := n.(*UnlessStmt)
+		if simpleinit {
+			fmt.Fprintf(s, "unless %v; %v { %v }", n.Init()[0], n.Cond, n.Body)
+		} else {
+			fmt.Fprintf(s, "unless %v { %v }", n.Cond, n.Body)
+		}
+
+	case OFOUR:
+		n := n.(*FourStmt)
+		if !exportFormat { // TODO maybe only if FmtShort, same below
+			fmt.Fprintf(s, "four loop")
+			break
+		}
+
+		fmt.Fprint(s, "four")
+		if simpleinit {
+			fmt.Fprintf(s, " %v;", n.Init()[0])
+		} else if n.Post != nil {
+			fmt.Fprint(s, " ;")
+		}
+
+		if n.Cond != nil {
+			fmt.Fprintf(s, " %v", n.Cond)
+		}
+
+		if n.Post != nil {
+			fmt.Fprintf(s, "; %v", n.Post)
+		} else if simpleinit {
+			fmt.Fprint(s, ";")
+		}
+
+		fmt.Fprintf(s, " { %v }", n.Body)
+
 	case ORANGE:
 		n := n.(*RangeStmt)
 		if !exportFormat {
diff --git a/src/cmd/compile/internal/ir/node.go b/src/cmd/compile/internal/ir/node.go
index 6513386f03f2f9..44cd35d7aedab2 100644
--- a/src/cmd/compile/internal/ir/node.go
+++ b/src/cmd/compile/internal/ir/node.go
@@ -265,6 +265,8 @@ const (
 	ODEFER    // defer Call
 	OFALL     // fallthrough
 	OFOR      // for Init; Cond; Post { Body }
+	OFOUR     // four Init; Cond; Post { Body }
+	OUNLESS   // unless Init; Cond { Body }
 	OGOTO     // goto Label
 	OIF       // if Init; Cond { Then } else { Else }
 	OLABEL    // Label:
diff --git a/src/cmd/compile/internal/ir/node_gen.go b/src/cmd/compile/internal/ir/node_gen.go
index fc28067629d6a0..6b10e753e1798b 100644
--- a/src/cmd/compile/internal/ir/node_gen.go
+++ b/src/cmd/compile/internal/ir/node_gen.go
@@ -301,6 +301,9 @@ func (n *CallExpr) doChildren(do func(Node) bool) bool {
 	if doNodes(n.Args, do) {
 		return true
 	}
+	if n.DeferAt != nil && do(n.DeferAt) {
+		return true
+	}
 	if doNames(n.KeepAlive, do) {
 		return true
 	}
@@ -312,6 +315,9 @@ func (n *CallExpr) editChildren(edit func(Node) Node) {
 		n.Fun = edit(n.Fun).(Node)
 	}
 	editNodes(n.Args, edit)
+	if n.DeferAt != nil {
+		n.DeferAt = edit(n.DeferAt).(Node)
+	}
 	editNames(n.KeepAlive, edit)
 }
 func (n *CallExpr) editChildrenWithHidden(edit func(Node) Node) {
@@ -320,6 +326,9 @@ func (n *CallExpr) editChildrenWithHidden(edit func(Node) Node) {
 		n.Fun = edit(n.Fun).(Node)
 	}
 	editNodes(n.Args, edit)
+	if n.DeferAt != nil {
+		n.DeferAt = edit(n.DeferAt).(Node)
+	}
 	if n.RType != nil {
 		n.RType = edit(n.RType).(Node)
 	}
@@ -668,6 +677,49 @@ func (n *ForStmt) editChildrenWithHidden(edit func(Node) Node) {
 	editNodes(n.Body, edit)
 }
 
+func (n *FourStmt) Format(s fmt.State, verb rune) { fmtNode(n, s, verb) }
+func (n *FourStmt) copy() Node {
+	c := *n
+	c.init = copyNodes(c.init)
+	c.Body = copyNodes(c.Body)
+	return &c
+}
+func (n *FourStmt) doChildren(do func(Node) bool) bool {
+	if doNodes(n.init, do) {
+		return true
+	}
+	if n.Cond != nil && do(n.Cond) {
+		return true
+	}
+	if n.Post != nil && do(n.Post) {
+		return true
+	}
+	if doNodes(n.Body, do) {
+		return true
+	}
+	return false
+}
+func (n *FourStmt) editChildren(edit func(Node) Node) {
+	editNodes(n.init, edit)
+	if n.Cond != nil {
+		n.Cond = edit(n.Cond).(Node)
+	}
+	if n.Post != nil {
+		n.Post = edit(n.Post).(Node)
+	}
+	editNodes(n.Body, edit)
+}
+func (n *FourStmt) editChildrenWithHidden(edit func(Node) Node) {
+	editNodes(n.init, edit)
+	if n.Cond != nil {
+		n.Cond = edit(n.Cond).(Node)
+	}
+	if n.Post != nil {
+		n.Post = edit(n.Post).(Node)
+	}
+	editNodes(n.Body, edit)
+}
+
 func (n *Func) Format(s fmt.State, verb rune) { fmtNode(n, s, verb) }
 
 func (n *GoDeferStmt) Format(s fmt.State, verb rune) { fmtNode(n, s, verb) }
@@ -683,6 +735,9 @@ func (n *GoDeferStmt) doChildren(do func(Node) bool) bool {
 	if n.Call != nil && do(n.Call) {
 		return true
 	}
+	if n.DeferAt != nil && do(n.DeferAt) {
+		return true
+	}
 	return false
 }
 func (n *GoDeferStmt) editChildren(edit func(Node) Node) {
@@ -690,12 +745,18 @@ func (n *GoDeferStmt) editChildren(edit func(Node) Node) {
 	if n.Call != nil {
 		n.Call = edit(n.Call).(Node)
 	}
+	if n.DeferAt != nil {
+		n.DeferAt = edit(n.DeferAt).(Expr)
+	}
 }
 func (n *GoDeferStmt) editChildrenWithHidden(edit func(Node) Node) {
 	editNodes(n.init, edit)
 	if n.Call != nil {
 		n.Call = edit(n.Call).(Node)
 	}
+	if n.DeferAt != nil {
+		n.DeferAt = edit(n.DeferAt).(Expr)
+	}
 }
 
 func (n *Ident) Format(s fmt.State, verb rune) { fmtNode(n, s, verb) }
@@ -866,6 +927,9 @@ func (n *InterfaceSwitchStmt) doChildren(do func(Node) bool) bool {
 	if n.RuntimeType != nil && do(n.RuntimeType) {
 		return true
 	}
+	if n.Hash != nil && do(n.Hash) {
+		return true
+	}
 	return false
 }
 func (n *InterfaceSwitchStmt) editChildren(edit func(Node) Node) {
@@ -879,6 +943,9 @@ func (n *InterfaceSwitchStmt) editChildren(edit func(Node) Node) {
 	if n.RuntimeType != nil {
 		n.RuntimeType = edit(n.RuntimeType).(Node)
 	}
+	if n.Hash != nil {
+		n.Hash = edit(n.Hash).(Node)
+	}
 }
 func (n *InterfaceSwitchStmt) editChildrenWithHidden(edit func(Node) Node) {
 	editNodes(n.init, edit)
@@ -891,6 +958,9 @@ func (n *InterfaceSwitchStmt) editChildrenWithHidden(edit func(Node) Node) {
 	if n.RuntimeType != nil {
 		n.RuntimeType = edit(n.RuntimeType).(Node)
 	}
+	if n.Hash != nil {
+		n.Hash = edit(n.Hash).(Node)
+	}
 }
 
 func (n *JumpTableStmt) Format(s fmt.State, verb rune) { fmtNode(n, s, verb) }
@@ -1699,6 +1769,40 @@ func (n *UnaryExpr) editChildrenWithHidden(edit func(Node) Node) {
 	}
 }
 
+func (n *UnlessStmt) Format(s fmt.State, verb rune) { fmtNode(n, s, verb) }
+func (n *UnlessStmt) copy() Node {
+	c := *n
+	c.init = copyNodes(c.init)
+	c.Body = copyNodes(c.Body)
+	return &c
+}
+func (n *UnlessStmt) doChildren(do func(Node) bool) bool {
+	if doNodes(n.init, do) {
+		return true
+	}
+	if n.Cond != nil && do(n.Cond) {
+		return true
+	}
+	if doNodes(n.Body, do) {
+		return true
+	}
+	return false
+}
+func (n *UnlessStmt) editChildren(edit func(Node) Node) {
+	editNodes(n.init, edit)
+	if n.Cond != nil {
+		n.Cond = edit(n.Cond).(Node)
+	}
+	editNodes(n.Body, edit)
+}
+func (n *UnlessStmt) editChildrenWithHidden(edit func(Node) Node) {
+	editNodes(n.init, edit)
+	if n.Cond != nil {
+		n.Cond = edit(n.Cond).(Node)
+	}
+	editNodes(n.Body, edit)
+}
+
 func (n *typeNode) Format(s fmt.State, verb rune) { fmtNode(n, s, verb) }
 func (n *typeNode) copy() Node {
 	c := *n
diff --git a/src/cmd/compile/internal/ir/op_string.go b/src/cmd/compile/internal/ir/op_string.go
index fb97ac68f45904..91858e61573aa9 100644
--- a/src/cmd/compile/internal/ir/op_string.go
+++ b/src/cmd/compile/internal/ir/op_string.go
@@ -131,40 +131,42 @@ func _() {
 	_ = x[ODEFER-120]
 	_ = x[OFALL-121]
 	_ = x[OFOR-122]
-	_ = x[OGOTO-123]
-	_ = x[OIF-124]
-	_ = x[OLABEL-125]
-	_ = x[OGO-126]
-	_ = x[ORANGE-127]
-	_ = x[ORETURN-128]
-	_ = x[OSELECT-129]
-	_ = x[OSWITCH-130]
-	_ = x[OTYPESW-131]
-	_ = x[OINLCALL-132]
-	_ = x[OMAKEFACE-133]
-	_ = x[OITAB-134]
-	_ = x[OIDATA-135]
-	_ = x[OSPTR-136]
-	_ = x[OCFUNC-137]
-	_ = x[OCHECKNIL-138]
-	_ = x[ORESULT-139]
-	_ = x[OINLMARK-140]
-	_ = x[OLINKSYMOFFSET-141]
-	_ = x[OJUMPTABLE-142]
-	_ = x[OINTERFACESWITCH-143]
-	_ = x[ODYNAMICDOTTYPE-144]
-	_ = x[ODYNAMICDOTTYPE2-145]
-	_ = x[ODYNAMICTYPE-146]
-	_ = x[OTAILCALL-147]
-	_ = x[OGETG-148]
-	_ = x[OGETCALLERPC-149]
-	_ = x[OGETCALLERSP-150]
-	_ = x[OEND-151]
+	_ = x[OFOUR-123]
+	_ = x[OUNLESS-124]
+	_ = x[OGOTO-125]
+	_ = x[OIF-126]
+	_ = x[OLABEL-127]
+	_ = x[OGO-128]
+	_ = x[ORANGE-129]
+	_ = x[ORETURN-130]
+	_ = x[OSELECT-131]
+	_ = x[OSWITCH-132]
+	_ = x[OTYPESW-133]
+	_ = x[OINLCALL-134]
+	_ = x[OMAKEFACE-135]
+	_ = x[OITAB-136]
+	_ = x[OIDATA-137]
+	_ = x[OSPTR-138]
+	_ = x[OCFUNC-139]
+	_ = x[OCHECKNIL-140]
+	_ = x[ORESULT-141]
+	_ = x[OINLMARK-142]
+	_ = x[OLINKSYMOFFSET-143]
+	_ = x[OJUMPTABLE-144]
+	_ = x[OINTERFACESWITCH-145]
+	_ = x[ODYNAMICDOTTYPE-146]
+	_ = x[ODYNAMICDOTTYPE2-147]
+	_ = x[ODYNAMICTYPE-148]
+	_ = x[OTAILCALL-149]
+	_ = x[OGETG-150]
+	_ = x[OGETCALLERPC-151]
+	_ = x[OGETCALLERSP-152]
+	_ = x[OEND-153]
 }
 
-const _Op_name = "XXXNAMENONAMETYPELITERALNILADDSUBORXORADDSTRADDRANDANDAPPENDBYTES2STRBYTES2STRTMPRUNES2STRSTR2BYTESSTR2BYTESTMPSTR2RUNESSLICE2ARRSLICE2ARRPTRASAS2AS2DOTTYPEAS2FUNCAS2MAPRAS2RECVASOPCALLCALLFUNCCALLMETHCALLINTERCAPCLEARCLOSECLOSURECOMPLITMAPLITSTRUCTLITARRAYLITSLICELITPTRLITCONVCONVIFACECONVNOPCOPYDCLDCLFUNCDELETEDOTDOTPTRDOTMETHDOTINTERXDOTDOTTYPEDOTTYPE2EQNELTLEGEGTDEREFINDEXINDEXMAPKEYSTRUCTKEYLENMAKEMAKECHANMAKEMAPMAKESLICEMAKESLICECOPYMULDIVMODLSHRSHANDANDNOTNEWNOTBITNOTPLUSNEGORORPANICPRINTPRINTNPARENSENDSLICESLICEARRSLICESTRSLICE3SLICE3ARRSLICEHEADERSTRINGHEADERRECOVERRECOVERFPRECVRUNESTRSELRECV2MINMAXREALIMAGCOMPLEXUNSAFEADDUNSAFESLICEUNSAFESLICEDATAUNSAFESTRINGUNSAFESTRINGDATAMETHEXPRMETHVALUEBLOCKBREAKCASECONTINUEDEFERFALLFORGOTOIFLABELGORANGERETURNSELECTSWITCHTYPESWINLCALLMAKEFACEITABIDATASPTRCFUNCCHECKNILRESULTINLMARKLINKSYMOFFSETJUMPTABLEINTERFACESWITCHDYNAMICDOTTYPEDYNAMICDOTTYPE2DYNAMICTYPETAILCALLGETGGETCALLERPCGETCALLERSPEND"
+const _Op_name = "XXXNAMENONAMETYPELITERALNILADDSUBORXORADDSTRADDRANDANDAPPENDBYTES2STRBYTES2STRTMPRUNES2STRSTR2BYTESSTR2BYTESTMPSTR2RUNESSLICE2ARRSLICE2ARRPTRASAS2AS2DOTTYPEAS2FUNCAS2MAPRAS2RECVASOPCALLCALLFUNCCALLMETHCALLINTERCAPCLEARCLOSECLOSURECOMPLITMAPLITSTRUCTLITARRAYLITSLICELITPTRLITCONVCONVIFACECONVNOPCOPYDCLDCLFUNCDELETEDOTDOTPTRDOTMETHDOTINTERXDOTDOTTYPEDOTTYPE2EQNELTLEGEGTDEREFINDEXINDEXMAPKEYSTRUCTKEYLENMAKEMAKECHANMAKEMAPMAKESLICEMAKESLICECOPYMULDIVMODLSHRSHANDANDNOTNEWNOTBITNOTPLUSNEGORORPANICPRINTPRINTLNPARENSENDSLICESLICEARRSLICESTRSLICE3SLICE3ARRSLICEHEADERSTRINGHEADERRECOVERRECOVERFPRECVRUNESTRSELRECV2MINMAXREALIMAGCOMPLEXUNSAFEADDUNSAFESLICEUNSAFESLICEDATAUNSAFESTRINGUNSAFESTRINGDATAMETHEXPRMETHVALUEBLOCKBREAKCASECONTINUEDEFERFALLFORFOURUNLESSGOTOIFLABELGORANGERETURNSELECTSWITCHTYPESWINLCALLMAKEFACEITABIDATASPTRCFUNCCHECKNILRESULTINLMARKLINKSYMOFFSETJUMPTABLEINTERFACESWITCHDYNAMICDOTTYPEDYNAMICDOTTYPE2DYNAMICTYPETAILCALLGETGGETCALLERPCGETCALLERSPEND"
 
-var _Op_index = [...]uint16{0, 3, 7, 13, 17, 24, 27, 30, 33, 35, 38, 44, 48, 54, 60, 69, 81, 90, 99, 111, 120, 129, 141, 143, 146, 156, 163, 170, 177, 181, 185, 193, 201, 210, 213, 218, 223, 230, 237, 243, 252, 260, 268, 274, 278, 287, 294, 298, 301, 308, 314, 317, 323, 330, 338, 342, 349, 357, 359, 361, 363, 365, 367, 369, 374, 379, 387, 390, 399, 402, 406, 414, 421, 430, 443, 446, 449, 452, 455, 458, 461, 467, 470, 473, 479, 483, 486, 490, 495, 500, 506, 511, 515, 520, 528, 536, 542, 551, 562, 574, 581, 590, 594, 601, 609, 612, 615, 619, 623, 630, 639, 650, 665, 677, 693, 701, 710, 715, 720, 724, 732, 737, 741, 744, 748, 750, 755, 757, 762, 768, 774, 780, 786, 793, 801, 805, 810, 814, 819, 827, 833, 840, 853, 862, 877, 891, 906, 917, 925, 929, 940, 951, 954}
+var _Op_index = [...]uint16{0, 3, 7, 13, 17, 24, 27, 30, 33, 35, 38, 44, 48, 54, 60, 69, 81, 90, 99, 111, 120, 129, 141, 143, 146, 156, 163, 170, 177, 181, 185, 193, 201, 210, 213, 218, 223, 230, 237, 243, 252, 260, 268, 274, 278, 287, 294, 298, 301, 308, 314, 317, 323, 330, 338, 342, 349, 357, 359, 361, 363, 365, 367, 369, 374, 379, 387, 390, 399, 402, 406, 414, 421, 430, 443, 446, 449, 452, 455, 458, 461, 467, 470, 473, 479, 483, 486, 490, 495, 500, 507, 512, 516, 521, 529, 537, 543, 552, 563, 575, 582, 591, 595, 602, 610, 613, 616, 620, 624, 631, 640, 651, 666, 678, 694, 702, 711, 716, 721, 725, 733, 738, 742, 745, 749, 755, 759, 761, 766, 768, 773, 779, 785, 791, 797, 804, 812, 816, 821, 825, 830, 838, 844, 851, 864, 873, 888, 902, 917, 928, 936, 940, 951, 962, 965}
 
 func (i Op) String() string {
 	if i >= Op(len(_Op_index)-1) {
diff --git a/src/cmd/compile/internal/ir/stmt.go b/src/cmd/compile/internal/ir/stmt.go
index 0801ecdd9e8722..a97ed5424c8612 100644
--- a/src/cmd/compile/internal/ir/stmt.go
+++ b/src/cmd/compile/internal/ir/stmt.go
@@ -236,6 +236,40 @@ func NewForStmt(pos src.XPos, init Node, cond, post Node, body []Node, distinctV
 	return n
 }
 
+type FourStmt struct {
+	miniStmt
+	Label *types.Sym
+	Cond  Node
+	Post  Node
+	Body  Nodes
+}
+
+func NewFourStmt(pos src.XPos, init Node, cond, post Node, body []Node) *FourStmt {
+	n := &FourStmt{Cond: cond, Post: post}
+	n.pos = pos
+	n.op = OFOUR
+	if init != nil {
+		n.init = []Node{init}
+	}
+	n.Body = body
+	return n
+}
+
+type UnlessStmt struct {
+	miniStmt
+	Cond   Node
+	Body   Nodes
+	Likely bool // code layout hint
+}
+
+func NewUnlessStmt(pos src.XPos, cond Node, body []Node) *UnlessStmt {
+	n := &UnlessStmt{Cond: cond}
+	n.pos = pos
+	n.op = OUNLESS
+	n.Body = body
+	return n
+}
+
 // A GoDeferStmt is a go or defer statement: go Call / defer Call.
 //
 // The two opcodes use a single syntax because the implementations
diff --git a/src/cmd/compile/internal/noder/codes.go b/src/cmd/compile/internal/noder/codes.go
index 8bdbfc9a8800b8..2027b89890332d 100644
--- a/src/cmd/compile/internal/noder/codes.go
+++ b/src/cmd/compile/internal/noder/codes.go
@@ -26,6 +26,8 @@ const (
 	stmtReturn
 	stmtIf
 	stmtFor
+	stmtFour
+	stmtUnless
 	stmtSwitch
 	stmtSelect
 )
diff --git a/src/cmd/compile/internal/noder/reader.go b/src/cmd/compile/internal/noder/reader.go
index 2dddd201659024..bee74c9ead8454 100644
--- a/src/cmd/compile/internal/noder/reader.go
+++ b/src/cmd/compile/internal/noder/reader.go
@@ -1693,6 +1693,12 @@ func (r *reader) stmt1(tag codeStmt, out *ir.Nodes) ir.Node {
 	case stmtFor:
 		return r.forStmt(label)
 
+	case stmtFour:
+		return r.fourStmt(label)
+
+	case stmtUnless:
+		return r.unlessStmt()
+
 	case stmtIf:
 		return r.ifStmt()
 
@@ -1819,6 +1825,37 @@ func (r *reader) forStmt(label *types.Sym) ir.Node {
 	return stmt
 }
 
+func (r *reader) fourStmt(label *types.Sym) ir.Node {
+	r.Sync(pkgbits.SyncFourStmt)
+
+	r.openScope()
+
+	pos := r.pos()
+	init := r.stmt()
+	cond := r.optExpr()
+	post := r.stmt()
+	body := r.blockStmt()
+	r.closeAnotherScope()
+
+	stmt := ir.NewFourStmt(pos, init, cond, post, body)
+	stmt.Label = label
+	return stmt
+}
+
+func (r *reader) unlessStmt() ir.Node {
+	r.Sync(pkgbits.SyncUnlessStmt)
+	r.openScope()
+	pos := r.pos()
+	init := r.stmts()
+	cond := r.expr()
+	then := r.blockStmt()
+	r.closeAnotherScope()
+
+	n := ir.NewUnlessStmt(pos, cond, then)
+	n.SetInit(init)
+	return n
+}
+
 func (r *reader) ifStmt() ir.Node {
 	r.Sync(pkgbits.SyncIfStmt)
 	r.openScope()
diff --git a/src/cmd/compile/internal/noder/writer.go b/src/cmd/compile/internal/noder/writer.go
index e5894c950543ae..32091e5788f138 100644
--- a/src/cmd/compile/internal/noder/writer.go
+++ b/src/cmd/compile/internal/noder/writer.go
@@ -1288,6 +1288,14 @@ func (w *writer) stmt1(stmt syntax.Stmt) {
 		w.Code(stmtFor)
 		w.forStmt(stmt)
 
+	case *syntax.FourStmt:
+		w.Code(stmtFour)
+		w.fourStmt(stmt)
+
+	case *syntax.UnlessStmt:
+		w.Code(stmtUnless)
+		w.unlessStmt(stmt)
+
 	case *syntax.IfStmt:
 		w.Code(stmtIf)
 		w.ifStmt(stmt)
@@ -1497,6 +1505,30 @@ func (w *writer) distinctVars(stmt *syntax.ForStmt) bool {
 	return is122 || lv > 0 && lv != 3
 }
 
+func (w *writer) fourStmt(stmt *syntax.FourStmt) {
+	w.Sync(pkgbits.SyncFourStmt)
+	w.openScope(stmt.Pos())
+
+	w.pos(stmt)
+	w.stmt(stmt.Init)
+	w.optExpr(stmt.Cond)
+	w.stmt(stmt.Post)
+
+	w.blockStmt(stmt.Body)
+	w.Bool(base.Debug.LoopVar > 0)
+	w.closeAnotherScope()
+}
+
+func (w *writer) unlessStmt(stmt *syntax.UnlessStmt) {
+	w.Sync(pkgbits.SyncUnlessStmt)
+	w.openScope(stmt.Pos())
+	w.pos(stmt)
+	w.stmt(stmt.Init)
+	w.expr(stmt.Cond)
+	w.blockStmt(stmt.Then)
+	w.closeAnotherScope()
+}
+
 func (w *writer) ifStmt(stmt *syntax.IfStmt) {
 	cond := w.p.staticBool(&stmt.Cond)
 
diff --git a/src/cmd/compile/internal/ssagen/ssa.go b/src/cmd/compile/internal/ssagen/ssa.go
index c794d6ffd9d783..2710fa422bd96a 100644
--- a/src/cmd/compile/internal/ssagen/ssa.go
+++ b/src/cmd/compile/internal/ssagen/ssa.go
@@ -1874,6 +1874,105 @@ func (s *state) stmt(n ir.Node) {
 
 		s.startBlock(bEnd)
 
+	case ir.OFOUR:
+		// OFOUR: four Ninit; Left; Right { Nbody }
+		// cond (Left); body (Nbody); incr (Right)
+		n := n.(*ir.FourStmt)
+		bCond := s.f.NewBlock(ssa.BlockPlain)
+		bBody := s.f.NewBlock(ssa.BlockPlain)
+		bIncr := s.f.NewBlock(ssa.BlockPlain)
+		bEnd := s.f.NewBlock(ssa.BlockPlain)
+
+		// ensure empty for loops have correct position; issue #30167
+		bBody.Pos = n.Pos()
+
+		// first, jump to condition test
+		b := s.endBlock()
+		b.AddEdgeTo(bCond)
+
+		// generate code to test condition
+		s.startBlock(bCond)
+		if n.Cond != nil {
+			s.condBranch(n.Cond, bBody, bEnd, 1)
+		} else {
+			b := s.endBlock()
+			b.Kind = ssa.BlockPlain
+			b.AddEdgeTo(bBody)
+		}
+
+		// set up for continue/break in body
+		prevContinue := s.continueTo
+		prevBreak := s.breakTo
+		s.continueTo = bIncr
+		s.breakTo = bEnd
+		var lab *ssaLabel
+		if sym := n.Label; sym != nil {
+			// labeled for loop
+			lab = s.label(sym)
+			lab.continueTarget = bIncr
+			lab.breakTarget = bEnd
+		}
+
+		// generate body
+		s.startBlock(bBody)
+		s.stmtList(n.Body)
+
+		// tear down continue/break
+		s.continueTo = prevContinue
+		s.breakTo = prevBreak
+		if lab != nil {
+			lab.continueTarget = nil
+			lab.breakTarget = nil
+		}
+
+		// done with body, goto incr
+		if b := s.endBlock(); b != nil {
+			b.AddEdgeTo(bIncr)
+		}
+
+		// generate incr
+		s.startBlock(bIncr)
+		if n.Post != nil {
+			for i := 0; i < 4; i++ {
+				s.stmt(n.Post)
+			}
+		}
+		if b := s.endBlock(); b != nil {
+			b.AddEdgeTo(bCond)
+			// It can happen that bIncr ends in a block containing only VARKILL,
+			// and that muddles the debugging experience.
+			if b.Pos == src.NoXPos {
+				b.Pos = bCond.Pos
+			}
+		}
+
+		s.startBlock(bEnd)
+
+	case ir.OUNLESS:
+		n := n.(*ir.UnlessStmt)
+
+		bEnd := s.f.NewBlock(ssa.BlockPlain)
+		var likely int8
+		if n.Likely {
+			likely = 1
+		}
+		var bThen *ssa.Block
+		if len(n.Body) != 0 {
+			bThen = s.f.NewBlock(ssa.BlockPlain)
+		} else {
+			bThen = bEnd
+		}
+		s.condBranch(n.Cond, bEnd, bThen, likely)
+
+		if len(n.Body) != 0 {
+			s.startBlock(bThen)
+			s.stmtList(n.Body)
+			if b := s.endBlock(); b != nil {
+				b.AddEdgeTo(bEnd)
+			}
+		}
+		s.startBlock(bEnd)
+
 	case ir.OSWITCH, ir.OSELECT:
 		// These have been mostly rewritten by the front end into their Nbody fields.
 		// Our main task is to correctly hook up any break statements.
diff --git a/src/cmd/compile/internal/syntax/nodes.go b/src/cmd/compile/internal/syntax/nodes.go
index de277fc3d8cdab..881eac26ee4b69 100644
--- a/src/cmd/compile/internal/syntax/nodes.go
+++ b/src/cmd/compile/internal/syntax/nodes.go
@@ -418,6 +418,21 @@ type (
 		stmt
 	}
 
+	FourStmt struct {
+		Init SimpleStmt
+		Cond Expr
+		Post SimpleStmt
+		Body *BlockStmt
+		stmt
+	}
+
+	UnlessStmt struct {
+		Init SimpleStmt
+		Cond Expr
+		Then *BlockStmt
+		stmt
+	}
+
 	SwitchStmt struct {
 		Init   SimpleStmt
 		Tag    Expr // incl. *TypeSwitchGuard
diff --git a/src/cmd/compile/internal/syntax/parser.go b/src/cmd/compile/internal/syntax/parser.go
index 1569b5e9872e1e..b51f0c2814060d 100644
--- a/src/cmd/compile/internal/syntax/parser.go
+++ b/src/cmd/compile/internal/syntax/parser.go
@@ -315,6 +315,8 @@ const stopset uint64 = 1<<_Break |
 	1<<_Defer |
 	1<<_Fallthrough |
 	1<<_For |
+	1<<_Four |
+	1<<_Unless |
 	1<<_Go |
 	1<<_Goto |
 	1<<_If |
@@ -2290,6 +2292,36 @@ func (p *parser) forStmt() Stmt {
 	return s
 }
 
+func (p *parser) fourStmt() Stmt {
+	if trace {
+		defer p.trace("fourStmt")()
+	}
+
+	s := new(FourStmt)
+	s.pos = p.pos()
+
+	s.Init, s.Cond, s.Post = p.header(_Four)
+	s.Body = p.blockStmt("four clause")
+
+	// Fdump(os.Stderr, s)
+
+	return s
+}
+
+func (p *parser) unlessStmt() *UnlessStmt {
+	if trace {
+		defer p.trace("unlessStmt")()
+	}
+
+	s := new(UnlessStmt)
+	s.pos = p.pos()
+
+	s.Init, s.Cond, _ = p.header(_Unless)
+	s.Then = p.blockStmt("unless clause")
+
+	return s
+}
+
 func (p *parser) header(keyword token) (init SimpleStmt, cond Expr, post SimpleStmt) {
 	p.want(keyword)
 
@@ -2297,6 +2329,9 @@ func (p *parser) header(keyword token) (init SimpleStmt, cond Expr, post SimpleS
 		if keyword == _If {
 			p.syntaxError("missing condition in if statement")
 			cond = p.badExpr()
+		} else if keyword == _Unless {
+			p.syntaxError("missing condition in unless statement")
+			cond = p.badExpr()
 		}
 		return
 	}
@@ -2350,6 +2385,21 @@ func (p *parser) header(keyword token) (init SimpleStmt, cond Expr, post SimpleS
 					p.syntaxErrorAt(a.Pos(), "cannot declare in post statement of for loop")
 				}
 			}
+		} else if keyword == _Four {
+			if p.tok != _Semi {
+				if p.tok == _Lbrace {
+					p.syntaxError("expected four loop condition")
+					goto done
+				}
+				condStmt = p.simpleStmt(nil, 0 /* range not permitted */)
+			}
+			p.want(_Semi)
+			if p.tok != _Lbrace {
+				post = p.simpleStmt(nil, 0 /* range not permitted */)
+				if a, _ := post.(*AssignStmt); a != nil && a.Op == Def {
+					p.syntaxErrorAt(a.Pos(), "cannot declare in post statement of four loop")
+				}
+			}
 		} else if p.tok != _Lbrace {
 			condStmt = p.simpleStmt(nil, keyword)
 		}
@@ -2371,6 +2421,15 @@ done:
 			b := new(BadExpr)
 			b.pos = semi.pos
 			cond = b
+		} else if keyword == _Unless && semi.pos.IsKnown() {
+			if semi.lit != "semicolon" {
+				p.syntaxErrorAt(semi.pos, fmt.Sprintf("unexpected %s, expected { after unless clause", semi.lit))
+			} else {
+				p.syntaxErrorAt(semi.pos, "missing condition in unless statement")
+			}
+			b := new(BadExpr)
+			b.pos = semi.pos
+			cond = b
 		}
 	case *ExprStmt:
 		cond = s.X
@@ -2595,6 +2654,12 @@ func (p *parser) stmtOrNil() Stmt {
 	case _For:
 		return p.forStmt()
 
+	case _Four:
+		return p.fourStmt()
+
+	case _Unless:
+		return p.unlessStmt()
+
 	case _Switch:
 		return p.switchStmt()
 
@@ -2655,7 +2720,6 @@ func (p *parser) stmtList() (l []Stmt) {
 	if trace {
 		defer p.trace("stmtList")()
 	}
-
 	for p.tok != _EOF && p.tok != _Rbrace && p.tok != _Case && p.tok != _Default {
 		s := p.stmtOrNil()
 		p.clearPragma()
diff --git a/src/cmd/compile/internal/syntax/scanner.go b/src/cmd/compile/internal/syntax/scanner.go
index 807d8383866dcb..5836da84b2731e 100644
--- a/src/cmd/compile/internal/syntax/scanner.go
+++ b/src/cmd/compile/internal/syntax/scanner.go
@@ -421,7 +421,7 @@ func hash(s []byte) uint {
 	return (uint(s[0])<<4 ^ uint(s[1]) + uint(len(s))) & uint(len(keywordMap)-1)
 }
 
-var keywordMap [1 << 6]token // size must be power of two
+var keywordMap [1 << 7]token // size must be power of two
 
 func init() {
 	// populate keywordMap
diff --git a/src/cmd/compile/internal/syntax/token_string.go b/src/cmd/compile/internal/syntax/token_string.go
index ef295eb24b2bc9..f1f8a8398339e0 100644
--- a/src/cmd/compile/internal/syntax/token_string.go
+++ b/src/cmd/compile/internal/syntax/token_string.go
@@ -39,27 +39,29 @@ func _() {
 	_ = x[_Else-29]
 	_ = x[_Fallthrough-30]
 	_ = x[_For-31]
-	_ = x[_Func-32]
-	_ = x[_Go-33]
-	_ = x[_Goto-34]
-	_ = x[_If-35]
-	_ = x[_Import-36]
-	_ = x[_Interface-37]
-	_ = x[_Map-38]
-	_ = x[_Package-39]
-	_ = x[_Range-40]
-	_ = x[_Return-41]
-	_ = x[_Select-42]
-	_ = x[_Struct-43]
-	_ = x[_Switch-44]
-	_ = x[_Type-45]
-	_ = x[_Var-46]
-	_ = x[tokenCount-47]
+	_ = x[_Four-32]
+	_ = x[_Unless-33]
+	_ = x[_Func-34]
+	_ = x[_Go-35]
+	_ = x[_Goto-36]
+	_ = x[_If-37]
+	_ = x[_Import-38]
+	_ = x[_Interface-39]
+	_ = x[_Map-40]
+	_ = x[_Package-41]
+	_ = x[_Range-42]
+	_ = x[_Return-43]
+	_ = x[_Select-44]
+	_ = x[_Struct-45]
+	_ = x[_Switch-46]
+	_ = x[_Type-47]
+	_ = x[_Var-48]
+	_ = x[tokenCount-49]
 }
 
-const _token_name = "EOFnameliteralopop=opop=:=<-*([{)]},;:....breakcasechanconstcontinuedefaultdeferelsefallthroughforfuncgogotoifimportinterfacemappackagerangereturnselectstructswitchtypevar"
+const _token_name = "EOFnameliteralopop=opop=:=<-*([{)]},;:....breakcasechanconstcontinuedefaultdeferelsefallthroughforfourunlessfuncgogotoifimportinterfacemappackagerangereturnselectstructswitchtypevar"
 
-var _token_index = [...]uint8{0, 3, 7, 14, 16, 19, 23, 24, 26, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 42, 47, 51, 55, 60, 68, 75, 80, 84, 95, 98, 102, 104, 108, 110, 116, 125, 128, 135, 140, 146, 152, 158, 164, 168, 171, 171}
+var _token_index = [...]uint8{0, 3, 7, 14, 16, 19, 23, 24, 26, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 42, 47, 51, 55, 60, 68, 75, 80, 84, 95, 98, 102, 108, 112, 114, 118, 120, 126, 135, 138, 145, 150, 156, 162, 168, 174, 178, 181, 181}
 
 func (i token) String() string {
 	i -= 1
diff --git a/src/cmd/compile/internal/syntax/tokens.go b/src/cmd/compile/internal/syntax/tokens.go
index b08f699582fb65..3ca311db411a7c 100644
--- a/src/cmd/compile/internal/syntax/tokens.go
+++ b/src/cmd/compile/internal/syntax/tokens.go
@@ -52,6 +52,8 @@ const (
 	_Else        // else
 	_Fallthrough // fallthrough
 	_For         // for
+	_Four        // four
+	_Unless      // unless
 	_Func        // func
 	_Go          // go
 	_Goto        // goto
diff --git a/src/cmd/compile/internal/syntax/walk.go b/src/cmd/compile/internal/syntax/walk.go
index b03a7c14b0d14e..83a1987f7db94d 100644
--- a/src/cmd/compile/internal/syntax/walk.go
+++ b/src/cmd/compile/internal/syntax/walk.go
@@ -273,6 +273,25 @@ func (w walker) node(n Node) {
 		}
 		w.node(n.Body)
 
+	case *FourStmt:
+		if n.Init != nil {
+			w.node(n.Init)
+		}
+		if n.Cond != nil {
+			w.node(n.Cond)
+		}
+		if n.Post != nil {
+			w.node(n.Post)
+		}
+		w.node(n.Body)
+
+	case *UnlessStmt:
+		if n.Init != nil {
+			w.node(n.Init)
+		}
+		w.node(n.Cond)
+		w.node(n.Then)
+
 	case *SwitchStmt:
 		if n.Init != nil {
 			w.node(n.Init)
diff --git a/src/cmd/compile/internal/typecheck/stmt.go b/src/cmd/compile/internal/typecheck/stmt.go
index 8d792485d863c4..9e4a4675620b9d 100644
--- a/src/cmd/compile/internal/typecheck/stmt.go
+++ b/src/cmd/compile/internal/typecheck/stmt.go
@@ -198,6 +198,35 @@ func tcFor(n *ir.ForStmt) ir.Node {
 	return n
 }
 
+func tcFour(n *ir.FourStmt) ir.Node {
+	Stmts(n.Init())
+	n.Cond = Expr(n.Cond)
+	n.Cond = DefaultLit(n.Cond, nil)
+	if n.Cond != nil {
+		t := n.Cond.Type()
+		if t != nil && !t.IsBoolean() {
+			base.Errorf("non-bool %L used as four condition", n.Cond)
+		}
+	}
+	n.Post = Stmt(n.Post)
+	Stmts(n.Body)
+	return n
+}
+
+func tcUnless(n *ir.UnlessStmt) ir.Node {
+	Stmts(n.Init())
+	n.Cond = Expr(n.Cond)
+	n.Cond = DefaultLit(n.Cond, nil)
+	if n.Cond != nil {
+		t := n.Cond.Type()
+		if t != nil && !t.IsBoolean() {
+			base.Errorf("non-bool %L used as unless condition", n.Cond)
+		}
+	}
+	Stmts(n.Body)
+	return n
+}
+
 // tcGoDefer typechecks (normalizes) an OGO/ODEFER statement.
 func tcGoDefer(n *ir.GoDeferStmt) {
 	call := normalizeGoDeferCall(n.Pos(), n.Op(), n.Call, n.PtrInit())
diff --git a/src/cmd/compile/internal/typecheck/typecheck.go b/src/cmd/compile/internal/typecheck/typecheck.go
index b22e45358ea831..3935ce5e327621 100644
--- a/src/cmd/compile/internal/typecheck/typecheck.go
+++ b/src/cmd/compile/internal/typecheck/typecheck.go
@@ -550,6 +550,14 @@ func typecheck1(n ir.Node, top int) ir.Node {
 		n := n.(*ir.ForStmt)
 		return tcFor(n)
 
+	case ir.OFOUR:
+		n := n.(*ir.FourStmt)
+		return tcFour(n)
+
+	case ir.OUNLESS:
+		n := n.(*ir.UnlessStmt)
+		return tcUnless(n)
+
 	case ir.OIF:
 		n := n.(*ir.IfStmt)
 		return tcIf(n)
diff --git a/src/cmd/compile/internal/types2/stmt.go b/src/cmd/compile/internal/types2/stmt.go
index c9713dac6fe7ff..281ef6adb15eaf 100644
--- a/src/cmd/compile/internal/types2/stmt.go
+++ b/src/cmd/compile/internal/types2/stmt.go
@@ -667,6 +667,41 @@ func (check *Checker) stmt(ctxt stmtContext, s syntax.Stmt) {
 		}
 		check.stmt(inner, s.Body)
 
+	case *syntax.FourStmt:
+		inner |= breakOk | continueOk
+
+		check.openScope(s, "four")
+		defer check.closeScope()
+
+		check.simpleStmt(s.Init)
+		if s.Cond != nil {
+			var x operand
+			check.expr(nil, &x, s.Cond)
+			if x.mode != invalid && !allBoolean(x.typ) {
+				check.error(s.Cond, InvalidCond, "non-boolean condition in four statement")
+			}
+		}
+		check.simpleStmt(s.Post)
+		// spec: "The init statement may be a short variable
+		// declaration, but the post statement must not."
+		if s, _ := s.Post.(*syntax.AssignStmt); s != nil && s.Op == syntax.Def {
+			// The parser already reported an error.
+			check.use(s.Lhs) // avoid follow-up errors
+		}
+		check.stmt(inner, s.Body)
+
+	case *syntax.UnlessStmt:
+		check.openScope(s, "unless")
+		defer check.closeScope()
+
+		check.simpleStmt(s.Init)
+		var x operand
+		check.expr(nil, &x, s.Cond)
+		if x.mode != invalid && !allBoolean(x.typ) {
+			check.error(s.Cond, InvalidCond, "non-boolean condition in unless statement")
+		}
+		check.stmt(inner, s.Then)
+
 	default:
 		check.error(s, InvalidSyntaxTree, "invalid statement")
 	}
diff --git a/src/cmd/compile/internal/walk/order.go b/src/cmd/compile/internal/walk/order.go
index 179fbdb99e9872..070b920330369b 100644
--- a/src/cmd/compile/internal/walk/order.go
+++ b/src/cmd/compile/internal/walk/order.go
@@ -835,6 +835,23 @@ func (o *orderState) stmt(n ir.Node) {
 		o.out = append(o.out, n)
 		o.popTemp(t)
 
+	case ir.OFOUR:
+		n := n.(*ir.FourStmt)
+		t := o.markTemp()
+		n.Cond = o.exprInPlace(n.Cond)
+		orderBlock(&n.Body, o.free)
+		n.Post = orderStmtInPlace(n.Post, o.free)
+		o.out = append(o.out, n)
+		o.popTemp(t)
+
+	case ir.OUNLESS:
+		n := n.(*ir.UnlessStmt)
+		t := o.markTemp()
+		n.Cond = o.exprInPlace(n.Cond)
+		o.popTemp(t)
+		orderBlock(&n.Body, o.free)
+		o.out = append(o.out, n)
+
 	// Clean temporaries from condition at
 	// beginning of both branches.
 	case ir.OIF:
diff --git a/src/cmd/compile/internal/walk/stmt.go b/src/cmd/compile/internal/walk/stmt.go
index b2a226e0789fbb..8c1d0420db9671 100644
--- a/src/cmd/compile/internal/walk/stmt.go
+++ b/src/cmd/compile/internal/walk/stmt.go
@@ -127,6 +127,14 @@ func walkStmt(n ir.Node) ir.Node {
 		n := n.(*ir.ForStmt)
 		return walkFor(n)
 
+	case ir.OFOUR:
+		n := n.(*ir.FourStmt)
+		return walkFour(n)
+
+	case ir.OUNLESS:
+		n := n.(*ir.UnlessStmt)
+		return walkUnless(n)
+
 	case ir.OIF:
 		n := n.(*ir.IfStmt)
 		return walkIf(n)
@@ -191,6 +199,25 @@ func walkFor(n *ir.ForStmt) ir.Node {
 	return n
 }
 
+func walkFour(n *ir.FourStmt) ir.Node {
+	if n.Cond != nil {
+		init := ir.TakeInit(n.Cond)
+		walkStmtList(init)
+		n.Cond = walkExpr(n.Cond, &init)
+		n.Cond = ir.InitExpr(init, n.Cond)
+	}
+	n.Post = walkStmt(n.Post)
+	walkStmtList(n.Body)
+	return n
+}
+
+func walkUnless(n *ir.UnlessStmt) ir.Node {
+	n.Cond = walkExpr(n.Cond, n.PtrInit())
+	n.Cond = ir.NewUnaryExpr(n.Pos(), ir.ONOT, n.Cond)
+	walkStmtList(n.Body)
+	return ir.NewIfStmt(n.Pos(), n.Cond, n.Body, []ir.Node{})
+}
+
 // validGoDeferCall reports whether call is a valid call to appear in
 // a go or defer statement; that is, whether it's a regular function
 // call without arguments or results.
diff --git a/src/internal/pkgbits/sync.go b/src/internal/pkgbits/sync.go
index 1520b73afb9e96..39f8b367db4811 100644
--- a/src/internal/pkgbits/sync.go
+++ b/src/internal/pkgbits/sync.go
@@ -115,6 +115,8 @@ const (
 	SyncBlockStmt
 	SyncIfStmt
 	SyncForStmt
+	SyncFourStmt
+	SyncUnlessStmt
 	SyncSwitchStmt
 	SyncRangeStmt
 	SyncCaseClause
diff --git a/src/internal/pkgbits/syncmarker_string.go b/src/internal/pkgbits/syncmarker_string.go
index 582ad56d3e09f3..a92256997e411e 100644
--- a/src/internal/pkgbits/syncmarker_string.go
+++ b/src/internal/pkgbits/syncmarker_string.go
@@ -60,28 +60,30 @@ func _() {
 	_ = x[SyncBlockStmt-50]
 	_ = x[SyncIfStmt-51]
 	_ = x[SyncForStmt-52]
-	_ = x[SyncSwitchStmt-53]
-	_ = x[SyncRangeStmt-54]
-	_ = x[SyncCaseClause-55]
-	_ = x[SyncCommClause-56]
-	_ = x[SyncSelectStmt-57]
-	_ = x[SyncDecls-58]
-	_ = x[SyncLabeledStmt-59]
-	_ = x[SyncUseObjLocal-60]
-	_ = x[SyncAddLocal-61]
-	_ = x[SyncLinkname-62]
-	_ = x[SyncStmt1-63]
-	_ = x[SyncStmtsEnd-64]
-	_ = x[SyncLabel-65]
-	_ = x[SyncOptLabel-66]
-	_ = x[SyncMultiExpr-67]
-	_ = x[SyncRType-68]
-	_ = x[SyncConvRTTI-69]
+	_ = x[SyncFourStmt-53]
+	_ = x[SyncUnlessStmt-54]
+	_ = x[SyncSwitchStmt-55]
+	_ = x[SyncRangeStmt-56]
+	_ = x[SyncCaseClause-57]
+	_ = x[SyncCommClause-58]
+	_ = x[SyncSelectStmt-59]
+	_ = x[SyncDecls-60]
+	_ = x[SyncLabeledStmt-61]
+	_ = x[SyncUseObjLocal-62]
+	_ = x[SyncAddLocal-63]
+	_ = x[SyncLinkname-64]
+	_ = x[SyncStmt1-65]
+	_ = x[SyncStmtsEnd-66]
+	_ = x[SyncLabel-67]
+	_ = x[SyncOptLabel-68]
+	_ = x[SyncMultiExpr-69]
+	_ = x[SyncRType-70]
+	_ = x[SyncConvRTTI-71]
 }
 
-const _SyncMarker_name = "EOFBoolInt64Uint64StringValueValRelocsRelocUseRelocPublicPosPosBaseObjectObject1PkgPkgDefMethodTypeTypeIdxTypeParamNamesSignatureParamsParamCodeObjSymLocalIdentSelectorPrivateFuncExtVarExtTypeExtPragmaExprListExprsExprExprTypeAssignOpFuncLitCompLitDeclFuncBodyOpenScopeCloseScopeCloseAnotherScopeDeclNamesDeclNameStmtsBlockStmtIfStmtForStmtSwitchStmtRangeStmtCaseClauseCommClauseSelectStmtDeclsLabeledStmtUseObjLocalAddLocalLinknameStmt1StmtsEndLabelOptLabelMultiExprRTypeConvRTTI"
+const _SyncMarker_name = "EOFBoolInt64Uint64StringValueValRelocsRelocUseRelocPublicPosPosBaseObjectObject1PkgPkgDefMethodTypeTypeIdxTypeParamNamesSignatureParamsParamCodeObjSymLocalIdentSelectorPrivateFuncExtVarExtTypeExtPragmaExprListExprsExprExprTypeAssignOpFuncLitCompLitDeclFuncBodyOpenScopeCloseScopeCloseAnotherScopeDeclNamesDeclNameStmtsBlockStmtIfStmtForStmtFourStmtUnlessStmtSwitchStmtRangeStmtCaseClauseCommClauseSelectStmtDeclsLabeledStmtUseObjLocalAddLocalLinknameStmt1StmtsEndLabelOptLabelMultiExprRTypeConvRTTI"
 
-var _SyncMarker_index = [...]uint16{0, 3, 7, 12, 18, 24, 29, 32, 38, 43, 51, 57, 60, 67, 73, 80, 83, 89, 95, 99, 106, 120, 129, 135, 140, 147, 150, 160, 168, 175, 182, 188, 195, 201, 209, 214, 218, 226, 232, 234, 241, 248, 252, 260, 269, 279, 296, 305, 313, 318, 327, 333, 340, 350, 359, 369, 379, 389, 394, 405, 416, 424, 432, 437, 445, 450, 458, 467, 472, 480}
+var _SyncMarker_index = [...]uint16{0, 3, 7, 12, 18, 24, 29, 32, 38, 43, 51, 57, 60, 67, 73, 80, 83, 89, 95, 99, 106, 120, 129, 135, 140, 147, 150, 160, 168, 175, 182, 188, 195, 201, 209, 214, 218, 226, 232, 234, 241, 248, 252, 260, 269, 279, 296, 305, 313, 318, 327, 333, 340, 348, 358, 368, 377, 387, 397, 407, 412, 423, 434, 442, 450, 455, 463, 468, 476, 485, 490, 498}
 
 func (i SyncMarker) String() string {
 	i -= 1
diff --git a/ssa.html b/ssa.html
new file mode 100644
index 00000000000000..7c010a5b7f49eb
--- /dev/null
+++ b/ssa.html
@@ -0,0 +1,722 @@
+<html><head>
+<meta http-equiv="Content-Type" content="text/html;charset=UTF-8">
+<style>
+
+body {
+    font-size: 14px;
+    font-family: Arial, sans-serif;
+}
+
+h1 {
+    font-size: 18px;
+    display: inline-block;
+    margin: 0 1em .5em 0;
+}
+
+#helplink {
+    display: inline-block;
+}
+
+#help {
+    display: none;
+}
+
+.stats {
+    font-size: 60%;
+}
+
+table {
+    border: 1px solid black;
+    table-layout: fixed;
+    width: 300px;
+}
+
+th, td {
+    border: 1px solid black;
+    overflow: hidden;
+    width: 400px;
+    vertical-align: top;
+    padding: 5px;
+}
+
+td > h2 {
+    cursor: pointer;
+    font-size: 120%;
+    margin: 5px 0px 5px 0px;
+}
+
+td.collapsed {
+    font-size: 12px;
+    width: 12px;
+    border: 1px solid white;
+    padding: 2px;
+    cursor: pointer;
+    background: #fafafa;
+}
+
+td.collapsed div {
+    text-align: right;
+    transform: rotate(180deg);
+    writing-mode: vertical-lr;
+    white-space: pre;
+}
+
+code, pre, .lines, .ast {
+    font-family: Menlo, monospace;
+    font-size: 12px;
+}
+
+pre {
+    -moz-tab-size: 4;
+    -o-tab-size:   4;
+    tab-size:      4;
+}
+
+.allow-x-scroll {
+    overflow-x: scroll;
+}
+
+.lines {
+    float: left;
+    overflow: hidden;
+    text-align: right;
+    margin-top: 7px;
+}
+
+.lines div {
+    padding-right: 10px;
+    color: gray;
+}
+
+div.line-number {
+    font-size: 12px;
+}
+
+.ast {
+    white-space: nowrap;
+}
+
+td.ssa-prog {
+    width: 600px;
+    word-wrap: break-word;
+}
+
+li {
+    list-style-type: none;
+}
+
+li.ssa-long-value {
+    text-indent: -2em;  /* indent wrapped lines */
+}
+
+li.ssa-value-list {
+    display: inline;
+}
+
+li.ssa-start-block {
+    padding: 0;
+    margin: 0;
+}
+
+li.ssa-end-block {
+    padding: 0;
+    margin: 0;
+}
+
+ul.ssa-print-func {
+    padding-left: 0;
+}
+
+li.ssa-start-block button {
+    padding: 0 1em;
+    margin: 0;
+    border: none;
+    display: inline;
+    font-size: 14px;
+    float: right;
+}
+
+button:hover {
+    background-color: #eee;
+    cursor: pointer;
+}
+
+dl.ssa-gen {
+    padding-left: 0;
+}
+
+dt.ssa-prog-src {
+    padding: 0;
+    margin: 0;
+    float: left;
+    width: 4em;
+}
+
+dd.ssa-prog {
+    padding: 0;
+    margin-right: 0;
+    margin-left: 4em;
+}
+
+.dead-value {
+    color: gray;
+}
+
+.dead-block {
+    opacity: 0.5;
+}
+
+.depcycle {
+    font-style: italic;
+}
+
+.line-number {
+    font-size: 11px;
+}
+
+.no-line-number {
+    font-size: 11px;
+    color: gray;
+}
+
+.zoom {
+	position: absolute;
+	float: left;
+	white-space: nowrap;
+	background-color: #eee;
+}
+
+.zoom a:link, .zoom a:visited  {
+    text-decoration: none;
+    color: blue;
+    font-size: 16px;
+    padding: 4px 2px;
+}
+
+svg {
+    cursor: default;
+    outline: 1px solid #eee;
+    width: 100%;
+}
+
+body.darkmode {
+    background-color: rgb(21, 21, 21);
+    color: rgb(230, 255, 255);
+    opacity: 100%;
+}
+
+td.darkmode {
+    background-color: rgb(21, 21, 21);
+    border: 1px solid gray;
+}
+
+body.darkmode table, th {
+    border: 1px solid gray;
+}
+
+body.darkmode text {
+    fill: white;
+}
+
+body.darkmode svg polygon:first-child {
+    fill: rgb(21, 21, 21);
+}
+
+.highlight-aquamarine     { background-color: aquamarine; color: black; }
+.highlight-coral          { background-color: coral; color: black; }
+.highlight-lightpink      { background-color: lightpink; color: black; }
+.highlight-lightsteelblue { background-color: lightsteelblue; color: black; }
+.highlight-palegreen      { background-color: palegreen; color: black; }
+.highlight-skyblue        { background-color: skyblue; color: black; }
+.highlight-lightgray      { background-color: lightgray; color: black; }
+.highlight-yellow         { background-color: yellow; color: black; }
+.highlight-lime           { background-color: lime; color: black; }
+.highlight-khaki          { background-color: khaki; color: black; }
+.highlight-aqua           { background-color: aqua; color: black; }
+.highlight-salmon         { background-color: salmon; color: black; }
+
+/* Ensure all dead values/blocks continue to have gray font color in dark mode with highlights */
+.dead-value span.highlight-aquamarine,
+.dead-block.highlight-aquamarine,
+.dead-value span.highlight-coral,
+.dead-block.highlight-coral,
+.dead-value span.highlight-lightpink,
+.dead-block.highlight-lightpink,
+.dead-value span.highlight-lightsteelblue,
+.dead-block.highlight-lightsteelblue,
+.dead-value span.highlight-palegreen,
+.dead-block.highlight-palegreen,
+.dead-value span.highlight-skyblue,
+.dead-block.highlight-skyblue,
+.dead-value span.highlight-lightgray,
+.dead-block.highlight-lightgray,
+.dead-value span.highlight-yellow,
+.dead-block.highlight-yellow,
+.dead-value span.highlight-lime,
+.dead-block.highlight-lime,
+.dead-value span.highlight-khaki,
+.dead-block.highlight-khaki,
+.dead-value span.highlight-aqua,
+.dead-block.highlight-aqua,
+.dead-value span.highlight-salmon,
+.dead-block.highlight-salmon {
+    color: gray;
+}
+
+.outline-blue           { outline: #2893ff solid 2px; }
+.outline-red            { outline: red solid 2px; }
+.outline-blueviolet     { outline: blueviolet solid 2px; }
+.outline-darkolivegreen { outline: darkolivegreen solid 2px; }
+.outline-fuchsia        { outline: fuchsia solid 2px; }
+.outline-sienna         { outline: sienna solid 2px; }
+.outline-gold           { outline: gold solid 2px; }
+.outline-orangered      { outline: orangered solid 2px; }
+.outline-teal           { outline: teal solid 2px; }
+.outline-maroon         { outline: maroon solid 2px; }
+.outline-black          { outline: black solid 2px; }
+
+ellipse.outline-blue           { stroke-width: 2px; stroke: #2893ff; }
+ellipse.outline-red            { stroke-width: 2px; stroke: red; }
+ellipse.outline-blueviolet     { stroke-width: 2px; stroke: blueviolet; }
+ellipse.outline-darkolivegreen { stroke-width: 2px; stroke: darkolivegreen; }
+ellipse.outline-fuchsia        { stroke-width: 2px; stroke: fuchsia; }
+ellipse.outline-sienna         { stroke-width: 2px; stroke: sienna; }
+ellipse.outline-gold           { stroke-width: 2px; stroke: gold; }
+ellipse.outline-orangered      { stroke-width: 2px; stroke: orangered; }
+ellipse.outline-teal           { stroke-width: 2px; stroke: teal; }
+ellipse.outline-maroon         { stroke-width: 2px; stroke: maroon; }
+ellipse.outline-black          { stroke-width: 2px; stroke: black; }
+
+/* Capture alternative for outline-black and ellipse.outline-black when in dark mode */
+body.darkmode .outline-black        { outline: gray solid 2px; }
+body.darkmode ellipse.outline-black { outline: gray solid 2px; }
+
+</style>
+
+<script type="text/javascript">
+
+// Contains phase names which are expanded by default. Other columns are collapsed.
+let expandedDefault = [
+    "start",
+    "deadcode",
+    "opt",
+    "lower",
+    "late-deadcode",
+    "regalloc",
+    "genssa",
+];
+if (history.state === null) {
+    history.pushState({expandedDefault}, "", location.href);
+}
+
+// ordered list of all available highlight colors
+var highlights = [
+    "highlight-aquamarine",
+    "highlight-coral",
+    "highlight-lightpink",
+    "highlight-lightsteelblue",
+    "highlight-palegreen",
+    "highlight-skyblue",
+    "highlight-lightgray",
+    "highlight-yellow",
+    "highlight-lime",
+    "highlight-khaki",
+    "highlight-aqua",
+    "highlight-salmon"
+];
+
+// state: which value is highlighted this color?
+var highlighted = {};
+for (var i = 0; i < highlights.length; i++) {
+    highlighted[highlights[i]] = "";
+}
+
+// ordered list of all available outline colors
+var outlines = [
+    "outline-blue",
+    "outline-red",
+    "outline-blueviolet",
+    "outline-darkolivegreen",
+    "outline-fuchsia",
+    "outline-sienna",
+    "outline-gold",
+    "outline-orangered",
+    "outline-teal",
+    "outline-maroon",
+    "outline-black"
+];
+
+// state: which value is outlined this color?
+var outlined = {};
+for (var i = 0; i < outlines.length; i++) {
+    outlined[outlines[i]] = "";
+}
+
+window.onload = function() {
+    if (history.state !== null) {
+        expandedDefault = history.state.expandedDefault;
+    }
+    if (window.matchMedia && window.matchMedia("(prefers-color-scheme: dark)").matches) {
+        toggleDarkMode();
+        document.getElementById("dark-mode-button").checked = true;
+    }
+
+    var ssaElemClicked = function(elem, event, selections, selected) {
+        event.stopPropagation();
+
+        // find all values with the same name
+        var c = elem.classList.item(0);
+        var x = document.getElementsByClassName(c);
+
+        // if selected, remove selections from all of them
+        // otherwise, attempt to add
+
+        var remove = "";
+        for (var i = 0; i < selections.length; i++) {
+            var color = selections[i];
+            if (selected[color] == c) {
+                remove = color;
+                break;
+            }
+        }
+
+        if (remove != "") {
+            for (var i = 0; i < x.length; i++) {
+                x[i].classList.remove(remove);
+            }
+            selected[remove] = "";
+            return;
+        }
+
+        // we're adding a selection
+        // find first available color
+        var avail = "";
+        for (var i = 0; i < selections.length; i++) {
+            var color = selections[i];
+            if (selected[color] == "") {
+                avail = color;
+                break;
+            }
+        }
+        if (avail == "") {
+            alert("out of selection colors; go add more");
+            return;
+        }
+
+        // set that as the selection
+        for (var i = 0; i < x.length; i++) {
+            x[i].classList.add(avail);
+        }
+        selected[avail] = c;
+    };
+
+    var ssaValueClicked = function(event) {
+        ssaElemClicked(this, event, highlights, highlighted);
+    };
+
+    var ssaBlockClicked = function(event) {
+        ssaElemClicked(this, event, outlines, outlined);
+    };
+
+    var ssavalues = document.getElementsByClassName("ssa-value");
+    for (var i = 0; i < ssavalues.length; i++) {
+        ssavalues[i].addEventListener('click', ssaValueClicked);
+    }
+
+    var ssalongvalues = document.getElementsByClassName("ssa-long-value");
+    for (var i = 0; i < ssalongvalues.length; i++) {
+        // don't attach listeners to li nodes, just the spans they contain
+        if (ssalongvalues[i].nodeName == "SPAN") {
+            ssalongvalues[i].addEventListener('click', ssaValueClicked);
+        }
+    }
+
+    var ssablocks = document.getElementsByClassName("ssa-block");
+    for (var i = 0; i < ssablocks.length; i++) {
+        ssablocks[i].addEventListener('click', ssaBlockClicked);
+    }
+
+    var lines = document.getElementsByClassName("line-number");
+    for (var i = 0; i < lines.length; i++) {
+        lines[i].addEventListener('click', ssaValueClicked);
+    }
+
+
+    function toggler(phase) {
+        return function() {
+            toggle_cell(phase+'-col');
+            toggle_cell(phase+'-exp');
+            const i = expandedDefault.indexOf(phase);
+            if (i !== -1) {
+                expandedDefault.splice(i, 1);
+            } else {
+                expandedDefault.push(phase);
+            }
+            history.pushState({expandedDefault}, "", location.href);
+        };
+    }
+
+    function toggle_cell(id) {
+        var e = document.getElementById(id);
+        if (e.style.display == 'table-cell') {
+            e.style.display = 'none';
+        } else {
+            e.style.display = 'table-cell';
+        }
+    }
+
+    // Go through all columns and collapse needed phases.
+    const td = document.getElementsByTagName("td");
+    for (let i = 0; i < td.length; i++) {
+        const id = td[i].id;
+        const phase = id.substr(0, id.length-4);
+        let show = expandedDefault.indexOf(phase) !== -1
+
+        // If show == false, check to see if this is a combined column (multiple phases).
+        // If combined, check each of the phases to see if they are in our expandedDefaults.
+        // If any are found, that entire combined column gets shown.
+        if (!show) {
+            const combined = phase.split('--+--');
+            const len = combined.length;
+            if (len > 1) {
+                for (let i = 0; i < len; i++) {
+                    const num = expandedDefault.indexOf(combined[i]);
+                    if (num !== -1) {
+                        expandedDefault.splice(num, 1);
+                        if (expandedDefault.indexOf(phase) === -1) {
+                            expandedDefault.push(phase);
+                            show = true;
+                        }
+                    }
+                }
+            }
+        }
+        if (id.endsWith("-exp")) {
+            const h2Els = td[i].getElementsByTagName("h2");
+            const len = h2Els.length;
+            if (len > 0) {
+                for (let i = 0; i < len; i++) {
+                    h2Els[i].addEventListener('click', toggler(phase));
+                }
+            }
+        } else {
+            td[i].addEventListener('click', toggler(phase));
+        }
+        if (id.endsWith("-col") && show || id.endsWith("-exp") && !show) {
+            td[i].style.display = 'none';
+            continue;
+        }
+        td[i].style.display = 'table-cell';
+    }
+
+    // find all svg block nodes, add their block classes
+    var nodes = document.querySelectorAll('*[id^="graph_node_"]');
+    for (var i = 0; i < nodes.length; i++) {
+    	var node = nodes[i];
+    	var name = node.id.toString();
+    	var block = name.substring(name.lastIndexOf("_")+1);
+    	node.classList.remove("node");
+    	node.classList.add(block);
+        node.addEventListener('click', ssaBlockClicked);
+        var ellipse = node.getElementsByTagName('ellipse')[0];
+        ellipse.classList.add(block);
+        ellipse.addEventListener('click', ssaBlockClicked);
+    }
+
+    // make big graphs smaller
+    var targetScale = 0.5;
+    var nodes = document.querySelectorAll('*[id^="svg_graph_"]');
+    // TODO: Implement smarter auto-zoom using the viewBox attribute
+    // and in case of big graphs set the width and height of the svg graph to
+    // maximum allowed.
+    for (var i = 0; i < nodes.length; i++) {
+    	var node = nodes[i];
+    	var name = node.id.toString();
+    	var phase = name.substring(name.lastIndexOf("_")+1);
+    	var gNode = document.getElementById("g_graph_"+phase);
+    	var scale = gNode.transform.baseVal.getItem(0).matrix.a;
+    	if (scale > targetScale) {
+    		node.width.baseVal.value *= targetScale / scale;
+    		node.height.baseVal.value *= targetScale / scale;
+    	}
+    }
+};
+
+function toggle_visibility(id) {
+    var e = document.getElementById(id);
+    if (e.style.display == 'block') {
+        e.style.display = 'none';
+    } else {
+        e.style.display = 'block';
+    }
+}
+
+function hideBlock(el) {
+    var es = el.parentNode.parentNode.getElementsByClassName("ssa-value-list");
+    if (es.length===0)
+        return;
+    var e = es[0];
+    if (e.style.display === 'block' || e.style.display === '') {
+        e.style.display = 'none';
+        el.innerHTML = '+';
+    } else {
+        e.style.display = 'block';
+        el.innerHTML = '-';
+    }
+}
+
+// TODO: scale the graph with the viewBox attribute.
+function graphReduce(id) {
+    var node = document.getElementById(id);
+    if (node) {
+    		node.width.baseVal.value *= 0.9;
+    		node.height.baseVal.value *= 0.9;
+    }
+    return false;
+}
+
+function graphEnlarge(id) {
+    var node = document.getElementById(id);
+    if (node) {
+    		node.width.baseVal.value *= 1.1;
+    		node.height.baseVal.value *= 1.1;
+    }
+    return false;
+}
+
+function makeDraggable(event) {
+    var svg = event.target;
+    if (window.PointerEvent) {
+        svg.addEventListener('pointerdown', startDrag);
+        svg.addEventListener('pointermove', drag);
+        svg.addEventListener('pointerup', endDrag);
+        svg.addEventListener('pointerleave', endDrag);
+    } else {
+        svg.addEventListener('mousedown', startDrag);
+        svg.addEventListener('mousemove', drag);
+        svg.addEventListener('mouseup', endDrag);
+        svg.addEventListener('mouseleave', endDrag);
+    }
+
+    var point = svg.createSVGPoint();
+    var isPointerDown = false;
+    var pointerOrigin;
+    var viewBox = svg.viewBox.baseVal;
+
+    function getPointFromEvent (event) {
+        point.x = event.clientX;
+        point.y = event.clientY;
+
+        // We get the current transformation matrix of the SVG and we inverse it
+        var invertedSVGMatrix = svg.getScreenCTM().inverse();
+        return point.matrixTransform(invertedSVGMatrix);
+    }
+
+    function startDrag(event) {
+        isPointerDown = true;
+        pointerOrigin = getPointFromEvent(event);
+    }
+
+    function drag(event) {
+        if (!isPointerDown) {
+            return;
+        }
+        event.preventDefault();
+
+        var pointerPosition = getPointFromEvent(event);
+        viewBox.x -= (pointerPosition.x - pointerOrigin.x);
+        viewBox.y -= (pointerPosition.y - pointerOrigin.y);
+    }
+
+    function endDrag(event) {
+        isPointerDown = false;
+    }
+}
+
+function toggleDarkMode() {
+    document.body.classList.toggle('darkmode');
+
+    // Collect all of the "collapsed" elements and apply dark mode on each collapsed column
+    const collapsedEls = document.getElementsByClassName('collapsed');
+    const len = collapsedEls.length;
+
+    for (let i = 0; i < len; i++) {
+        collapsedEls[i].classList.toggle('darkmode');
+    }
+
+    // Collect and spread the appropriate elements from all of the svgs on the page into one array
+    const svgParts = [
+        ...document.querySelectorAll('path'),
+        ...document.querySelectorAll('ellipse'),
+        ...document.querySelectorAll('polygon'),
+    ];
+
+    // Iterate over the svgParts specifically looking for white and black fill/stroke to be toggled.
+    // The verbose conditional is intentional here so that we do not mutate any svg path, ellipse, or polygon that is of any color other than white or black.
+    svgParts.forEach(el => {
+        if (el.attributes.stroke.value === 'white') {
+            el.attributes.stroke.value = 'black';
+        } else if (el.attributes.stroke.value === 'black') {
+            el.attributes.stroke.value = 'white';
+        }
+        if (el.attributes.fill.value === 'white') {
+            el.attributes.fill.value = 'black';
+        } else if (el.attributes.fill.value === 'black') {
+            el.attributes.fill.value = 'white';
+        }
+    });
+}
+
+</script>
+
+</head><body><h1>main,1</h1>
+<a href="#" onclick="toggle_visibility('help');return false;" id="helplink">help</a>
+<div id="help">
+
+<p>
+Click on a value or block to toggle highlighting of that value/block
+and its uses.  (Values and blocks are highlighted by ID, and IDs of
+dead items may be reused, so not all highlights necessarily correspond
+to the clicked item.)
+</p>
+
+<p>
+Faded out values and blocks are dead code that has not been eliminated.
+</p>
+
+<p>
+Values printed in italics have a dependency cycle.
+</p>
+
+<p>
+<b>CFG</b>: Dashed edge is for unlikely branches. Blue color is for backward edges.
+Edge with a dot means that this edge follows the order in which blocks were laidout.
+</p>
+
+</div>
+<label for="dark-mode-button" style="margin-left: 15px; cursor: pointer;">darkmode</label>
+<input type="checkbox" onclick="toggleDarkMode();" id="dark-mode-button" style="cursor: pointer" />
+<table><tr><td id="sources-col" class="collapsed"><div>sources</div></td><td id="sources-exp" class="allow-x-scroll"><h2>sources</h2><div class="lines" style="width: 8%"><div>&nbsp;</div><div>&nbsp;</div></div><div style="width: 92%"><pre><div>&nbsp;</div><div><strong>/home/rileythomp/github/go/demo3.go</strong></div></pre></div></td>
+<td id="AST-col" class="collapsed"><div>AST</div></td><td id="AST-exp" class="allow-x-scroll"><h2>AST</h2><div><div class="ast"><b>buildssa-body</b></div><div class="l16 line-number ast">.   DCL # demo3.go:16:7</div><div class="l16 line-number ast">.   .   NAME-main.i esc(no) Class:PAUTO Offset:0 OnStack Used int tc(1) # demo3.go:16:7</div><div class="l16 line-number ast">.   AS Def tc(1) # demo3.go:16:9</div><div class="l16 line-number ast">.   .   NAME-main.i esc(no) Class:PAUTO Offset:0 OnStack Used int tc(1) # demo3.go:16:7</div><div class="l16 line-number ast">.   .   LITERAL-8 int tc(1) # demo3.go:16:12</div><div class="l16 line-number ast">.   FOUR tc(1) # demo3.go:16:2</div><div class="ast">.   FOUR-Cond</div><div class="l16 line-number ast">.   .   LE bool tc(1) # demo3.go:16:17</div><div class="l16 line-number ast">.   .   .   NAME-main.i esc(no) Class:PAUTO Offset:0 OnStack Used int tc(1) # demo3.go:16:7</div><div class="l16 line-number ast">.   .   .   LITERAL-20 int tc(1) # demo3.go:16:20</div><div class="ast">.   FOUR-Post</div><div class="l16 line-number ast">.   .   BLOCK # demo3.go:16:25</div><div class="ast">.   .   BLOCK-List</div><div class="l16 line-number ast">.   .   .   AS tc(1) # demo3.go:16:25</div><div class="l16 line-number ast">.   .   .   .   NAME-main.i esc(no) Class:PAUTO Offset:0 OnStack Used int tc(1) # demo3.go:16:7</div><div class="l16 line-number ast">.   .   .   .   ADD int tc(1) # demo3.go:16:25</div><div class="l16 line-number ast">.   .   .   .   .   NAME-main.i esc(no) Class:PAUTO Offset:0 OnStack Used int tc(1) # demo3.go:16:7</div><div class="l16 line-number ast">.   .   .   .   .   LITERAL-1 int tc(1) # demo3.go:16:25</div><div class="ast">.   FOUR-Body</div><div class="l17 line-number ast">.   .   IF # demo3.go:17:3</div><div class="ast">.   .   IF-Cond</div><div class="l17 line-number ast">.   .   .   NOT # demo3.go:17:3</div><div class="l17 line-number ast">.   .   .   .   EQ bool tc(1) # demo3.go:17:14</div><div class="l17 line-number ast">.   .   .   .   .   MOD int tc(1) # demo3.go:17:11</div><div class="l16 line-number ast">.   .   .   .   .   .   NAME-main.i esc(no) Class:PAUTO Offset:0 OnStack Used int tc(1) # demo3.go:16:7</div><div class="l17 line-number ast">.   .   .   .   .   .   LITERAL-8 int tc(1) # demo3.go:17:12</div><div class="l17 line-number ast">.   .   .   .   .   LITERAL-0 int tc(1) # demo3.go:17:17</div><div class="ast">.   .   IF-Body</div><div class="l18 line-number ast">.   .   .   CALLFUNC Walked tc(1) # demo3.go:18:5</div><div class="ast">.   .   .   CALLFUNC-Fun</div><div class="l11 line-number ast">.   .   .   .   NAME-main.g Class:PFUNC Offset:0 Used FUNC-func() tc(1) # demo3.go:11:6</div><div class="l19 line-number ast">.   .   .   CONTINUE tc(1) # demo3.go:19:4</div><div class="l21 line-number ast">.   .   CALLFUNC Walked tc(1) # demo3.go:21:4</div><div class="ast">.   .   CALLFUNC-Fun</div><div class="l7 line-number ast">.   .   .   NAME-main.f Class:PFUNC Offset:0 Used FUNC-func() tc(1) # demo3.go:7:6</div><div class="ast">&nbsp;</div></div></td>
+<td id="before-insert-phis-col" class="collapsed"><div>before insert phis</div></td><td id="before-insert-phis-exp" class="hash-"><h2>before insert phis</h2><code><ul class="b1 ssa-print-func "><li class="ssa-start-block"><span class="b1 ssa-block">b1</span>:<button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value dead-value"><span class="v1 ssa-long-value"><span class="v1 ssa-value">v1</span> <span class="no-line-number">(?)</span> = InitMem &lt;mem&gt;</span></li><li class="ssa-long-value dead-value"><span class="v2 ssa-long-value"><span class="v2 ssa-value">v2</span> <span class="no-line-number">(?)</span> = SP &lt;uintptr&gt;</span></li><li class="ssa-long-value dead-value"><span class="v3 ssa-long-value"><span class="v3 ssa-value">v3</span> <span class="no-line-number">(?)</span> = SB &lt;uintptr&gt;</span></li><li class="ssa-long-value "><span class="v4 ssa-long-value"><span class="v4 ssa-value">v4</span> <span class="no-line-number">(?)</span> = Const64 &lt;int&gt; [8] (i[int])</span></li><li class="ssa-long-value "><span class="v6 ssa-long-value"><span class="v6 ssa-value">v6</span> <span class="no-line-number">(?)</span> = Const64 &lt;int&gt; [20]</span></li><li class="ssa-long-value "><span class="v10 ssa-long-value"><span class="v10 ssa-value">v10</span> <span class="no-line-number">(?)</span> = Const64 &lt;int&gt; [0]</span></li><li class="ssa-long-value dead-value"><span class="v19 ssa-long-value"><span class="v19 ssa-value">v19</span> <span class="no-line-number">(?)</span> = Const64 &lt;int&gt; [1]</span></li></ul></li><li class="ssa-end-block"><span class="b1 ssa-block">Plain</span> &#8594; <span class="b2 ssa-block">b2</span> <span class="l16 line-number">(16)</span></li></ul><ul class="b2 ssa-print-func "><li class="ssa-start-block"><span class="b2 ssa-block">b2</span>: &#8592; <span class="b1 ssa-block">b1</span> <span class="b4 ssa-block">b4</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v5 ssa-long-value"><span class="v5 ssa-value">v5</span> <span class="l16 line-number">(<s>16</s>)</span> = FwdRef &lt;int&gt; {{[] i}} (i[int])</span></li><li class="ssa-long-value "><span class="v7 ssa-long-value"><span class="v7 ssa-value">v7</span> <span class="l16 line-number">(16)</span> = Leq64 &lt;bool&gt; <span class="v5 ssa-value">v5</span> <span class="v6 ssa-value">v6</span></span></li></ul></li><li class="ssa-end-block"><span class="b2 ssa-block">If</span> <span class="v7 ssa-value">v7</span> &#8594; <span class="b3 ssa-block">b3</span> <span class="b5 ssa-block">b5</span> (likely) <span class="l16 line-number">(16)</span></li></ul><ul class="b3 ssa-print-func "><li class="ssa-start-block"><span class="b3 ssa-block">b3</span>: &#8592; <span class="b2 ssa-block">b2</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v8 ssa-long-value"><span class="v8 ssa-value">v8</span> <span class="l17 line-number">(<s>17</s>)</span> = FwdRef &lt;int&gt; {{[] i}} (i[int])</span></li><li class="ssa-long-value "><span class="v9 ssa-long-value"><span class="v9 ssa-value">v9</span> <span class="l17 line-number">(17)</span> = Mod64 &lt;int&gt; [false] <span class="v8 ssa-value">v8</span> <span class="v4 ssa-value">v4</span></span></li><li class="ssa-long-value "><span class="v11 ssa-long-value"><span class="v11 ssa-value">v11</span> <span class="l17 line-number">(17)</span> = Eq64 &lt;bool&gt; <span class="v9 ssa-value">v9</span> <span class="v10 ssa-value">v10</span></span></li></ul></li><li class="ssa-end-block"><span class="b3 ssa-block">If</span> <span class="v11 ssa-value">v11</span> &#8594; <span class="b6 ssa-block">b6</span> <span class="b7 ssa-block">b7</span> <span class="l17 line-number">(17)</span></li></ul><ul class="b4 ssa-print-func "><li class="ssa-start-block"><span class="b4 ssa-block">b4</span>: &#8592; <span class="b7 ssa-block">b7</span> <span class="b6 ssa-block">b6</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value dead-value"><span class="v18 ssa-long-value"><span class="v18 ssa-value">v18</span> <span class="l16 line-number">(<s>16</s>)</span> = FwdRef &lt;int&gt; {{[] i}} (i[int])</span></li><li class="ssa-long-value dead-value"><span class="v20 ssa-long-value"><span class="v20 ssa-value">v20</span> <span class="l16 line-number">(16)</span> = Add64 &lt;int&gt; <span class="v18 ssa-value">v18</span> <span class="v19 ssa-value">v19</span> (i[int])</span></li><li class="ssa-long-value dead-value"><span class="v21 ssa-long-value"><span class="v21 ssa-value">v21</span> <span class="l16 line-number">(16)</span> = Add64 &lt;int&gt; <span class="v20 ssa-value">v20</span> <span class="v19 ssa-value">v19</span> (i[int])</span></li><li class="ssa-long-value dead-value"><span class="v22 ssa-long-value"><span class="v22 ssa-value">v22</span> <span class="l16 line-number">(16)</span> = Add64 &lt;int&gt; <span class="v21 ssa-value">v21</span> <span class="v19 ssa-value">v19</span> (i[int])</span></li><li class="ssa-long-value dead-value"><span class="v23 ssa-long-value"><span class="v23 ssa-value">v23</span> <span class="l16 line-number">(16)</span> = Add64 &lt;int&gt; <span class="v22 ssa-value">v22</span> <span class="v19 ssa-value">v19</span> (i[int])</span></li></ul></li><li class="ssa-end-block"><span class="b4 ssa-block">Plain</span> &#8594; <span class="b2 ssa-block">b2</span> <span class="l16 line-number">(16)</span></li></ul><ul class="b5 ssa-print-func "><li class="ssa-start-block"><span class="b5 ssa-block">b5</span>: &#8592; <span class="b2 ssa-block">b2</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v24 ssa-long-value"><span class="v24 ssa-value">v24</span> <span class="l15 line-number">(<s>15</s>)</span> = FwdRef &lt;mem&gt; {{[] mem}}</span></li><li class="ssa-long-value "><span class="v25 ssa-long-value"><span class="v25 ssa-value">v25</span> <span class="l15 line-number">(15)</span> = MakeResult &lt;mem&gt; <span class="v24 ssa-value">v24</span></span></li></ul></li><li class="ssa-end-block"><span class="b5 ssa-block">Ret</span> <span class="v25 ssa-value">v25</span> <span class="l16 line-number">(16)</span></li></ul><ul class="b6 ssa-print-func "><li class="ssa-start-block"><span class="b6 ssa-block">b6</span>: &#8592; <span class="b3 ssa-block">b3</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v15 ssa-long-value"><span class="v15 ssa-value">v15</span> <span class="l21 line-number">(<s>21</s>)</span> = FwdRef &lt;mem&gt; {{[] mem}}</span></li><li class="ssa-long-value "><span class="v16 ssa-long-value"><span class="v16 ssa-value">v16</span> <span class="l21 line-number">(21)</span> = StaticLECall &lt;mem&gt; {AuxCall{main.f}} <span class="v15 ssa-value">v15</span></span></li><li class="ssa-long-value dead-value"><span class="v17 ssa-long-value"><span class="v17 ssa-value">v17</span> <span class="l21 line-number">(21)</span> = SelectN &lt;mem&gt; [0] <span class="v16 ssa-value">v16</span></span></li></ul></li><li class="ssa-end-block"><span class="b6 ssa-block">Plain</span> &#8594; <span class="b4 ssa-block">b4</span> <span class="l21 line-number">(21)</span></li></ul><ul class="b7 ssa-print-func "><li class="ssa-start-block"><span class="b7 ssa-block">b7</span>: &#8592; <span class="b3 ssa-block">b3</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v12 ssa-long-value"><span class="v12 ssa-value">v12</span> <span class="l18 line-number">(<s>18</s>)</span> = FwdRef &lt;mem&gt; {{[] mem}}</span></li><li class="ssa-long-value "><span class="v13 ssa-long-value"><span class="v13 ssa-value">v13</span> <span class="l18 line-number">(18)</span> = StaticLECall &lt;mem&gt; {AuxCall{main.g}} <span class="v12 ssa-value">v12</span></span></li><li class="ssa-long-value dead-value"><span class="v14 ssa-long-value"><span class="v14 ssa-value">v14</span> <span class="l18 line-number">(18)</span> = SelectN &lt;mem&gt; [0] <span class="v13 ssa-value">v13</span></span></li></ul></li><li class="ssa-end-block"><span class="b7 ssa-block">Plain</span> &#8594; <span class="b4 ssa-block">b4</span> <span class="l19 line-number">(<b>+19</b>)</span></li></ul><li>name i[int]: <span class="v4 ssa-value">v4</span> <span class="v5 ssa-value">v5</span> <span class="v8 ssa-value">v8</span> <span class="v18 ssa-value">v18</span> <span class="v20 ssa-value">v20</span> <span class="v21 ssa-value">v21</span> <span class="v22 ssa-value">v22</span> <span class="v23 ssa-value">v23</span> </li></code></td>
+<td id="start-col" class="collapsed"><div>start</div></td><td id="start-exp" class="hash-87ecb225249936c60140e5f6764b852a6be9ce74fe1be22a1295b4ab557d35aa"><h2>start</h2><code><ul class="b1 ssa-print-func "><li class="ssa-start-block"><span class="b1 ssa-block">b1</span>:<button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v1 ssa-long-value"><span class="v1 ssa-value">v1</span> <span class="no-line-number">(?)</span> = InitMem &lt;mem&gt;</span></li><li class="ssa-long-value dead-value"><span class="v2 ssa-long-value"><span class="v2 ssa-value">v2</span> <span class="no-line-number">(?)</span> = SP &lt;uintptr&gt;</span></li><li class="ssa-long-value dead-value"><span class="v3 ssa-long-value"><span class="v3 ssa-value">v3</span> <span class="no-line-number">(?)</span> = SB &lt;uintptr&gt;</span></li><li class="ssa-long-value "><span class="v4 ssa-long-value"><span class="v4 ssa-value">v4</span> <span class="no-line-number">(?)</span> = Const64 &lt;int&gt; [8] (i[int])</span></li><li class="ssa-long-value "><span class="v6 ssa-long-value"><span class="v6 ssa-value">v6</span> <span class="no-line-number">(?)</span> = Const64 &lt;int&gt; [20]</span></li><li class="ssa-long-value "><span class="v10 ssa-long-value"><span class="v10 ssa-value">v10</span> <span class="no-line-number">(?)</span> = Const64 &lt;int&gt; [0]</span></li><li class="ssa-long-value "><span class="v19 ssa-long-value"><span class="v19 ssa-value">v19</span> <span class="no-line-number">(?)</span> = Const64 &lt;int&gt; [1]</span></li></ul></li><li class="ssa-end-block"><span class="b1 ssa-block">Plain</span> &#8594; <span class="b2 ssa-block">b2</span> <span class="l16 line-number">(16)</span></li></ul><ul class="b2 ssa-print-func "><li class="ssa-start-block"><span class="b2 ssa-block">b2</span>: &#8592; <span class="b1 ssa-block">b1</span> <span class="b4 ssa-block">b4</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v5 ssa-long-value"><span class="v5 ssa-value">v5</span> <span class="l16 line-number">(<s>16</s>)</span> = Phi &lt;int&gt; <span class="v4 ssa-value">v4</span> <span class="v23 ssa-value">v23</span> (i[int])</span></li><li class="ssa-long-value "><span class="v26 ssa-long-value"><span class="v26 ssa-value">v26</span> <span class="l18 line-number">(<s>18</s>)</span> = Phi &lt;mem&gt; <span class="v1 ssa-value">v1</span> <span class="v27 ssa-value">v27</span></span></li><li class="ssa-long-value "><span class="v7 ssa-long-value"><span class="v7 ssa-value">v7</span> <span class="l16 line-number">(16)</span> = Leq64 &lt;bool&gt; <span class="v5 ssa-value">v5</span> <span class="v6 ssa-value">v6</span></span></li></ul></li><li class="ssa-end-block"><span class="b2 ssa-block">If</span> <span class="v7 ssa-value">v7</span> &#8594; <span class="b3 ssa-block">b3</span> <span class="b5 ssa-block">b5</span> (likely) <span class="l16 line-number">(16)</span></li></ul><ul class="b3 ssa-print-func "><li class="ssa-start-block"><span class="b3 ssa-block">b3</span>: &#8592; <span class="b2 ssa-block">b2</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v8 ssa-long-value"><span class="v8 ssa-value">v8</span> <span class="l17 line-number">(<s>17</s>)</span> = Copy &lt;int&gt; <span class="v5 ssa-value">v5</span> (i[int])</span></li><li class="ssa-long-value "><span class="v9 ssa-long-value"><span class="v9 ssa-value">v9</span> <span class="l17 line-number">(17)</span> = Mod64 &lt;int&gt; [false] <span class="v8 ssa-value">v8</span> <span class="v4 ssa-value">v4</span></span></li><li class="ssa-long-value "><span class="v11 ssa-long-value"><span class="v11 ssa-value">v11</span> <span class="l17 line-number">(17)</span> = Eq64 &lt;bool&gt; <span class="v9 ssa-value">v9</span> <span class="v10 ssa-value">v10</span></span></li></ul></li><li class="ssa-end-block"><span class="b3 ssa-block">If</span> <span class="v11 ssa-value">v11</span> &#8594; <span class="b6 ssa-block">b6</span> <span class="b7 ssa-block">b7</span> <span class="l17 line-number">(17)</span></li></ul><ul class="b4 ssa-print-func "><li class="ssa-start-block"><span class="b4 ssa-block">b4</span>: &#8592; <span class="b7 ssa-block">b7</span> <span class="b6 ssa-block">b6</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v27 ssa-long-value"><span class="v27 ssa-value">v27</span> <span class="l18 line-number">(<s>18</s>)</span> = Phi &lt;mem&gt; <span class="v14 ssa-value">v14</span> <span class="v17 ssa-value">v17</span></span></li><li class="ssa-long-value "><span class="v18 ssa-long-value"><span class="v18 ssa-value">v18</span> <span class="l16 line-number">(<s>16</s>)</span> = Copy &lt;int&gt; <span class="v8 ssa-value">v8</span> (i[int])</span></li><li class="ssa-long-value "><span class="v20 ssa-long-value"><span class="v20 ssa-value">v20</span> <span class="l16 line-number">(16)</span> = Add64 &lt;int&gt; <span class="v18 ssa-value">v18</span> <span class="v19 ssa-value">v19</span> (i[int])</span></li><li class="ssa-long-value "><span class="v21 ssa-long-value"><span class="v21 ssa-value">v21</span> <span class="l16 line-number">(16)</span> = Add64 &lt;int&gt; <span class="v20 ssa-value">v20</span> <span class="v19 ssa-value">v19</span> (i[int])</span></li><li class="ssa-long-value "><span class="v22 ssa-long-value"><span class="v22 ssa-value">v22</span> <span class="l16 line-number">(16)</span> = Add64 &lt;int&gt; <span class="v21 ssa-value">v21</span> <span class="v19 ssa-value">v19</span> (i[int])</span></li><li class="ssa-long-value "><span class="v23 ssa-long-value"><span class="v23 ssa-value">v23</span> <span class="l16 line-number">(16)</span> = Add64 &lt;int&gt; <span class="v22 ssa-value">v22</span> <span class="v19 ssa-value">v19</span> (i[int])</span></li></ul></li><li class="ssa-end-block"><span class="b4 ssa-block">Plain</span> &#8594; <span class="b2 ssa-block">b2</span> <span class="l16 line-number">(16)</span></li></ul><ul class="b5 ssa-print-func "><li class="ssa-start-block"><span class="b5 ssa-block">b5</span>: &#8592; <span class="b2 ssa-block">b2</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v24 ssa-long-value"><span class="v24 ssa-value">v24</span> <span class="l15 line-number">(<s>15</s>)</span> = Copy &lt;mem&gt; <span class="v26 ssa-value">v26</span></span></li><li class="ssa-long-value "><span class="v25 ssa-long-value"><span class="v25 ssa-value">v25</span> <span class="l15 line-number">(15)</span> = MakeResult &lt;mem&gt; <span class="v24 ssa-value">v24</span></span></li></ul></li><li class="ssa-end-block"><span class="b5 ssa-block">Ret</span> <span class="v25 ssa-value">v25</span> <span class="l16 line-number">(16)</span></li></ul><ul class="b6 ssa-print-func "><li class="ssa-start-block"><span class="b6 ssa-block">b6</span>: &#8592; <span class="b3 ssa-block">b3</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v15 ssa-long-value"><span class="v15 ssa-value">v15</span> <span class="l21 line-number">(<s>21</s>)</span> = Copy &lt;mem&gt; <span class="v26 ssa-value">v26</span></span></li><li class="ssa-long-value "><span class="v16 ssa-long-value"><span class="v16 ssa-value">v16</span> <span class="l21 line-number">(21)</span> = StaticLECall &lt;mem&gt; {AuxCall{main.f}} <span class="v15 ssa-value">v15</span></span></li><li class="ssa-long-value "><span class="v17 ssa-long-value"><span class="v17 ssa-value">v17</span> <span class="l21 line-number">(21)</span> = SelectN &lt;mem&gt; [0] <span class="v16 ssa-value">v16</span></span></li></ul></li><li class="ssa-end-block"><span class="b6 ssa-block">Plain</span> &#8594; <span class="b4 ssa-block">b4</span> <span class="l21 line-number">(21)</span></li></ul><ul class="b7 ssa-print-func "><li class="ssa-start-block"><span class="b7 ssa-block">b7</span>: &#8592; <span class="b3 ssa-block">b3</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v12 ssa-long-value"><span class="v12 ssa-value">v12</span> <span class="l18 line-number">(<s>18</s>)</span> = Copy &lt;mem&gt; <span class="v26 ssa-value">v26</span></span></li><li class="ssa-long-value "><span class="v13 ssa-long-value"><span class="v13 ssa-value">v13</span> <span class="l18 line-number">(18)</span> = StaticLECall &lt;mem&gt; {AuxCall{main.g}} <span class="v12 ssa-value">v12</span></span></li><li class="ssa-long-value "><span class="v14 ssa-long-value"><span class="v14 ssa-value">v14</span> <span class="l18 line-number">(18)</span> = SelectN &lt;mem&gt; [0] <span class="v13 ssa-value">v13</span></span></li></ul></li><li class="ssa-end-block"><span class="b7 ssa-block">Plain</span> &#8594; <span class="b4 ssa-block">b4</span> <span class="l19 line-number">(<b>+19</b>)</span></li></ul><li>name i[int]: <span class="v4 ssa-value">v4</span> <span class="v5 ssa-value">v5</span> <span class="v8 ssa-value">v8</span> <span class="v18 ssa-value">v18</span> <span class="v20 ssa-value">v20</span> <span class="v21 ssa-value">v21</span> <span class="v22 ssa-value">v22</span> <span class="v23 ssa-value">v23</span> </li></code></td>
+<td id="number-lines-col" class="collapsed"><div>number lines</div></td><td id="number-lines-exp" class="hash-c2182bc4401c45c4d549e88ee30cad0563b0263f2a501e4762f16a5bfb1f705a"><h2>number lines <span class="stats">[4100 ns]</span></h2><code><ul class="b1 ssa-print-func "><li class="ssa-start-block"><span class="b1 ssa-block">b1</span>:<button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v1 ssa-long-value"><span class="v1 ssa-value">v1</span> <span class="no-line-number">(?)</span> = InitMem &lt;mem&gt;</span></li><li class="ssa-long-value dead-value"><span class="v2 ssa-long-value"><span class="v2 ssa-value">v2</span> <span class="no-line-number">(?)</span> = SP &lt;uintptr&gt;</span></li><li class="ssa-long-value dead-value"><span class="v3 ssa-long-value"><span class="v3 ssa-value">v3</span> <span class="no-line-number">(?)</span> = SB &lt;uintptr&gt;</span></li><li class="ssa-long-value "><span class="v4 ssa-long-value"><span class="v4 ssa-value">v4</span> <span class="no-line-number">(?)</span> = Const64 &lt;int&gt; [8] (i[int])</span></li><li class="ssa-long-value "><span class="v6 ssa-long-value"><span class="v6 ssa-value">v6</span> <span class="no-line-number">(?)</span> = Const64 &lt;int&gt; [20]</span></li><li class="ssa-long-value "><span class="v10 ssa-long-value"><span class="v10 ssa-value">v10</span> <span class="no-line-number">(?)</span> = Const64 &lt;int&gt; [0]</span></li><li class="ssa-long-value "><span class="v19 ssa-long-value"><span class="v19 ssa-value">v19</span> <span class="no-line-number">(?)</span> = Const64 &lt;int&gt; [1]</span></li></ul></li><li class="ssa-end-block"><span class="b1 ssa-block">Plain</span> &#8594; <span class="b2 ssa-block">b2</span> <span class="l16 line-number">(<b>+16</b>)</span></li></ul><ul class="b2 ssa-print-func "><li class="ssa-start-block"><span class="b2 ssa-block">b2</span>: &#8592; <span class="b1 ssa-block">b1</span> <span class="b4 ssa-block">b4</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v5 ssa-long-value"><span class="v5 ssa-value">v5</span> <span class="l16 line-number">(<s>16</s>)</span> = Phi &lt;int&gt; <span class="v4 ssa-value">v4</span> <span class="v23 ssa-value">v23</span> (i[int])</span></li><li class="ssa-long-value "><span class="v26 ssa-long-value"><span class="v26 ssa-value">v26</span> <span class="l18 line-number">(<s>18</s>)</span> = Phi &lt;mem&gt; <span class="v1 ssa-value">v1</span> <span class="v27 ssa-value">v27</span></span></li><li class="ssa-long-value "><span class="v7 ssa-long-value"><span class="v7 ssa-value">v7</span> <span class="l16 line-number">(<b>+16</b>)</span> = Leq64 &lt;bool&gt; <span class="v5 ssa-value">v5</span> <span class="v6 ssa-value">v6</span></span></li></ul></li><li class="ssa-end-block"><span class="b2 ssa-block">If</span> <span class="v7 ssa-value">v7</span> &#8594; <span class="b3 ssa-block">b3</span> <span class="b5 ssa-block">b5</span> (likely) <span class="l16 line-number">(16)</span></li></ul><ul class="b3 ssa-print-func "><li class="ssa-start-block"><span class="b3 ssa-block">b3</span>: &#8592; <span class="b2 ssa-block">b2</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v8 ssa-long-value"><span class="v8 ssa-value">v8</span> <span class="l17 line-number">(<s>17</s>)</span> = Copy &lt;int&gt; <span class="v5 ssa-value">v5</span> (i[int])</span></li><li class="ssa-long-value "><span class="v9 ssa-long-value"><span class="v9 ssa-value">v9</span> <span class="l17 line-number">(<b>+17</b>)</span> = Mod64 &lt;int&gt; [false] <span class="v8 ssa-value">v8</span> <span class="v4 ssa-value">v4</span></span></li><li class="ssa-long-value "><span class="v11 ssa-long-value"><span class="v11 ssa-value">v11</span> <span class="l17 line-number">(17)</span> = Eq64 &lt;bool&gt; <span class="v9 ssa-value">v9</span> <span class="v10 ssa-value">v10</span></span></li></ul></li><li class="ssa-end-block"><span class="b3 ssa-block">If</span> <span class="v11 ssa-value">v11</span> &#8594; <span class="b6 ssa-block">b6</span> <span class="b7 ssa-block">b7</span> <span class="l17 line-number">(17)</span></li></ul><ul class="b4 ssa-print-func "><li class="ssa-start-block"><span class="b4 ssa-block">b4</span>: &#8592; <span class="b7 ssa-block">b7</span> <span class="b6 ssa-block">b6</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v27 ssa-long-value"><span class="v27 ssa-value">v27</span> <span class="l18 line-number">(<s>18</s>)</span> = Phi &lt;mem&gt; <span class="v14 ssa-value">v14</span> <span class="v17 ssa-value">v17</span></span></li><li class="ssa-long-value "><span class="v18 ssa-long-value"><span class="v18 ssa-value">v18</span> <span class="l16 line-number">(<s>16</s>)</span> = Copy &lt;int&gt; <span class="v8 ssa-value">v8</span> (i[int])</span></li><li class="ssa-long-value "><span class="v20 ssa-long-value"><span class="v20 ssa-value">v20</span> <span class="l16 line-number">(<b>+16</b>)</span> = Add64 &lt;int&gt; <span class="v18 ssa-value">v18</span> <span class="v19 ssa-value">v19</span> (i[int])</span></li><li class="ssa-long-value "><span class="v21 ssa-long-value"><span class="v21 ssa-value">v21</span> <span class="l16 line-number">(16)</span> = Add64 &lt;int&gt; <span class="v20 ssa-value">v20</span> <span class="v19 ssa-value">v19</span> (i[int])</span></li><li class="ssa-long-value "><span class="v22 ssa-long-value"><span class="v22 ssa-value">v22</span> <span class="l16 line-number">(16)</span> = Add64 &lt;int&gt; <span class="v21 ssa-value">v21</span> <span class="v19 ssa-value">v19</span> (i[int])</span></li><li class="ssa-long-value "><span class="v23 ssa-long-value"><span class="v23 ssa-value">v23</span> <span class="l16 line-number">(16)</span> = Add64 &lt;int&gt; <span class="v22 ssa-value">v22</span> <span class="v19 ssa-value">v19</span> (i[int])</span></li></ul></li><li class="ssa-end-block"><span class="b4 ssa-block">Plain</span> &#8594; <span class="b2 ssa-block">b2</span> <span class="l16 line-number">(16)</span></li></ul><ul class="b5 ssa-print-func "><li class="ssa-start-block"><span class="b5 ssa-block">b5</span>: &#8592; <span class="b2 ssa-block">b2</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v24 ssa-long-value"><span class="v24 ssa-value">v24</span> <span class="l15 line-number">(<s>15</s>)</span> = Copy &lt;mem&gt; <span class="v26 ssa-value">v26</span></span></li><li class="ssa-long-value "><span class="v25 ssa-long-value"><span class="v25 ssa-value">v25</span> <span class="l15 line-number">(<b>+15</b>)</span> = MakeResult &lt;mem&gt; <span class="v24 ssa-value">v24</span></span></li></ul></li><li class="ssa-end-block"><span class="b5 ssa-block">Ret</span> <span class="v25 ssa-value">v25</span> <span class="l16 line-number">(<b>+16</b>)</span></li></ul><ul class="b6 ssa-print-func "><li class="ssa-start-block"><span class="b6 ssa-block">b6</span>: &#8592; <span class="b3 ssa-block">b3</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v15 ssa-long-value"><span class="v15 ssa-value">v15</span> <span class="l21 line-number">(<s>21</s>)</span> = Copy &lt;mem&gt; <span class="v26 ssa-value">v26</span></span></li><li class="ssa-long-value "><span class="v16 ssa-long-value"><span class="v16 ssa-value">v16</span> <span class="l21 line-number">(<b>+21</b>)</span> = StaticLECall &lt;mem&gt; {AuxCall{main.f}} <span class="v15 ssa-value">v15</span></span></li><li class="ssa-long-value "><span class="v17 ssa-long-value"><span class="v17 ssa-value">v17</span> <span class="l21 line-number">(21)</span> = SelectN &lt;mem&gt; [0] <span class="v16 ssa-value">v16</span></span></li></ul></li><li class="ssa-end-block"><span class="b6 ssa-block">Plain</span> &#8594; <span class="b4 ssa-block">b4</span> <span class="l21 line-number">(21)</span></li></ul><ul class="b7 ssa-print-func "><li class="ssa-start-block"><span class="b7 ssa-block">b7</span>: &#8592; <span class="b3 ssa-block">b3</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v12 ssa-long-value"><span class="v12 ssa-value">v12</span> <span class="l18 line-number">(<s>18</s>)</span> = Copy &lt;mem&gt; <span class="v26 ssa-value">v26</span></span></li><li class="ssa-long-value "><span class="v13 ssa-long-value"><span class="v13 ssa-value">v13</span> <span class="l18 line-number">(<b>+18</b>)</span> = StaticLECall &lt;mem&gt; {AuxCall{main.g}} <span class="v12 ssa-value">v12</span></span></li><li class="ssa-long-value "><span class="v14 ssa-long-value"><span class="v14 ssa-value">v14</span> <span class="l18 line-number">(18)</span> = SelectN &lt;mem&gt; [0] <span class="v13 ssa-value">v13</span></span></li></ul></li><li class="ssa-end-block"><span class="b7 ssa-block">Plain</span> &#8594; <span class="b4 ssa-block">b4</span> <span class="l19 line-number">(<b>+19</b>)</span></li></ul><li>name i[int]: <span class="v4 ssa-value">v4</span> <span class="v5 ssa-value">v5</span> <span class="v8 ssa-value">v8</span> <span class="v18 ssa-value">v18</span> <span class="v20 ssa-value">v20</span> <span class="v21 ssa-value">v21</span> <span class="v22 ssa-value">v22</span> <span class="v23 ssa-value">v23</span> </li></code></td>
+<td id="early-phielim-col" class="collapsed"><div>early phielim</div></td><td id="early-phielim-exp" class="hash-8e165aff8fdca00bb465abf1f6258a9235cb4b5f00f5dcc81757c4ab37bcf4a3"><h2>early phielim <span class="stats">[1800 ns]</span></h2><code><ul class="b1 ssa-print-func "><li class="ssa-start-block"><span class="b1 ssa-block">b1</span>:<button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v1 ssa-long-value"><span class="v1 ssa-value">v1</span> <span class="no-line-number">(?)</span> = InitMem &lt;mem&gt;</span></li><li class="ssa-long-value dead-value"><span class="v2 ssa-long-value"><span class="v2 ssa-value">v2</span> <span class="no-line-number">(?)</span> = SP &lt;uintptr&gt;</span></li><li class="ssa-long-value dead-value"><span class="v3 ssa-long-value"><span class="v3 ssa-value">v3</span> <span class="no-line-number">(?)</span> = SB &lt;uintptr&gt;</span></li><li class="ssa-long-value "><span class="v4 ssa-long-value"><span class="v4 ssa-value">v4</span> <span class="no-line-number">(?)</span> = Const64 &lt;int&gt; [8] (i[int])</span></li><li class="ssa-long-value "><span class="v6 ssa-long-value"><span class="v6 ssa-value">v6</span> <span class="no-line-number">(?)</span> = Const64 &lt;int&gt; [20]</span></li><li class="ssa-long-value "><span class="v10 ssa-long-value"><span class="v10 ssa-value">v10</span> <span class="no-line-number">(?)</span> = Const64 &lt;int&gt; [0]</span></li><li class="ssa-long-value "><span class="v19 ssa-long-value"><span class="v19 ssa-value">v19</span> <span class="no-line-number">(?)</span> = Const64 &lt;int&gt; [1]</span></li></ul></li><li class="ssa-end-block"><span class="b1 ssa-block">Plain</span> &#8594; <span class="b2 ssa-block">b2</span> <span class="l16 line-number">(<b>+16</b>)</span></li></ul><ul class="b2 ssa-print-func "><li class="ssa-start-block"><span class="b2 ssa-block">b2</span>: &#8592; <span class="b1 ssa-block">b1</span> <span class="b4 ssa-block">b4</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v5 ssa-long-value"><span class="v5 ssa-value">v5</span> <span class="l16 line-number">(<s>16</s>)</span> = Phi &lt;int&gt; <span class="v4 ssa-value">v4</span> <span class="v23 ssa-value">v23</span> (i[int])</span></li><li class="ssa-long-value "><span class="v26 ssa-long-value"><span class="v26 ssa-value">v26</span> <span class="l18 line-number">(<s>18</s>)</span> = Phi &lt;mem&gt; <span class="v1 ssa-value">v1</span> <span class="v27 ssa-value">v27</span></span></li><li class="ssa-long-value "><span class="v7 ssa-long-value"><span class="v7 ssa-value">v7</span> <span class="l16 line-number">(<b>+16</b>)</span> = Leq64 &lt;bool&gt; <span class="v5 ssa-value">v5</span> <span class="v6 ssa-value">v6</span></span></li></ul></li><li class="ssa-end-block"><span class="b2 ssa-block">If</span> <span class="v7 ssa-value">v7</span> &#8594; <span class="b3 ssa-block">b3</span> <span class="b5 ssa-block">b5</span> (likely) <span class="l16 line-number">(16)</span></li></ul><ul class="b3 ssa-print-func "><li class="ssa-start-block"><span class="b3 ssa-block">b3</span>: &#8592; <span class="b2 ssa-block">b2</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value dead-value"><span class="v8 ssa-long-value"><span class="v8 ssa-value">v8</span> <span class="l17 line-number">(<s>17</s>)</span> = Copy &lt;int&gt; <span class="v5 ssa-value">v5</span> (i[int])</span></li><li class="ssa-long-value "><span class="v9 ssa-long-value"><span class="v9 ssa-value">v9</span> <span class="l17 line-number">(<b>+17</b>)</span> = Mod64 &lt;int&gt; [false] <span class="v5 ssa-value">v5</span> <span class="v4 ssa-value">v4</span></span></li><li class="ssa-long-value "><span class="v11 ssa-long-value"><span class="v11 ssa-value">v11</span> <span class="l17 line-number">(17)</span> = Eq64 &lt;bool&gt; <span class="v9 ssa-value">v9</span> <span class="v10 ssa-value">v10</span></span></li></ul></li><li class="ssa-end-block"><span class="b3 ssa-block">If</span> <span class="v11 ssa-value">v11</span> &#8594; <span class="b6 ssa-block">b6</span> <span class="b7 ssa-block">b7</span> <span class="l17 line-number">(17)</span></li></ul><ul class="b4 ssa-print-func "><li class="ssa-start-block"><span class="b4 ssa-block">b4</span>: &#8592; <span class="b7 ssa-block">b7</span> <span class="b6 ssa-block">b6</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v27 ssa-long-value"><span class="v27 ssa-value">v27</span> <span class="l18 line-number">(<s>18</s>)</span> = Phi &lt;mem&gt; <span class="v14 ssa-value">v14</span> <span class="v17 ssa-value">v17</span></span></li><li class="ssa-long-value dead-value"><span class="v18 ssa-long-value"><span class="v18 ssa-value">v18</span> <span class="l16 line-number">(<s>16</s>)</span> = Copy &lt;int&gt; <span class="v5 ssa-value">v5</span> (i[int])</span></li><li class="ssa-long-value "><span class="v20 ssa-long-value"><span class="v20 ssa-value">v20</span> <span class="l16 line-number">(<b>+16</b>)</span> = Add64 &lt;int&gt; <span class="v5 ssa-value">v5</span> <span class="v19 ssa-value">v19</span> (i[int])</span></li><li class="ssa-long-value "><span class="v21 ssa-long-value"><span class="v21 ssa-value">v21</span> <span class="l16 line-number">(16)</span> = Add64 &lt;int&gt; <span class="v20 ssa-value">v20</span> <span class="v19 ssa-value">v19</span> (i[int])</span></li><li class="ssa-long-value "><span class="v22 ssa-long-value"><span class="v22 ssa-value">v22</span> <span class="l16 line-number">(16)</span> = Add64 &lt;int&gt; <span class="v21 ssa-value">v21</span> <span class="v19 ssa-value">v19</span> (i[int])</span></li><li class="ssa-long-value "><span class="v23 ssa-long-value"><span class="v23 ssa-value">v23</span> <span class="l16 line-number">(16)</span> = Add64 &lt;int&gt; <span class="v22 ssa-value">v22</span> <span class="v19 ssa-value">v19</span> (i[int])</span></li></ul></li><li class="ssa-end-block"><span class="b4 ssa-block">Plain</span> &#8594; <span class="b2 ssa-block">b2</span> <span class="l16 line-number">(16)</span></li></ul><ul class="b5 ssa-print-func "><li class="ssa-start-block"><span class="b5 ssa-block">b5</span>: &#8592; <span class="b2 ssa-block">b2</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value dead-value"><span class="v24 ssa-long-value"><span class="v24 ssa-value">v24</span> <span class="l15 line-number">(<s>15</s>)</span> = Copy &lt;mem&gt; <span class="v26 ssa-value">v26</span></span></li><li class="ssa-long-value "><span class="v25 ssa-long-value"><span class="v25 ssa-value">v25</span> <span class="l15 line-number">(<b>+15</b>)</span> = MakeResult &lt;mem&gt; <span class="v26 ssa-value">v26</span></span></li></ul></li><li class="ssa-end-block"><span class="b5 ssa-block">Ret</span> <span class="v25 ssa-value">v25</span> <span class="l16 line-number">(<b>+16</b>)</span></li></ul><ul class="b6 ssa-print-func "><li class="ssa-start-block"><span class="b6 ssa-block">b6</span>: &#8592; <span class="b3 ssa-block">b3</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value dead-value"><span class="v15 ssa-long-value"><span class="v15 ssa-value">v15</span> <span class="l21 line-number">(<s>21</s>)</span> = Copy &lt;mem&gt; <span class="v26 ssa-value">v26</span></span></li><li class="ssa-long-value "><span class="v16 ssa-long-value"><span class="v16 ssa-value">v16</span> <span class="l21 line-number">(<b>+21</b>)</span> = StaticLECall &lt;mem&gt; {AuxCall{main.f}} <span class="v26 ssa-value">v26</span></span></li><li class="ssa-long-value "><span class="v17 ssa-long-value"><span class="v17 ssa-value">v17</span> <span class="l21 line-number">(21)</span> = SelectN &lt;mem&gt; [0] <span class="v16 ssa-value">v16</span></span></li></ul></li><li class="ssa-end-block"><span class="b6 ssa-block">Plain</span> &#8594; <span class="b4 ssa-block">b4</span> <span class="l21 line-number">(21)</span></li></ul><ul class="b7 ssa-print-func "><li class="ssa-start-block"><span class="b7 ssa-block">b7</span>: &#8592; <span class="b3 ssa-block">b3</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value dead-value"><span class="v12 ssa-long-value"><span class="v12 ssa-value">v12</span> <span class="l18 line-number">(<s>18</s>)</span> = Copy &lt;mem&gt; <span class="v26 ssa-value">v26</span></span></li><li class="ssa-long-value "><span class="v13 ssa-long-value"><span class="v13 ssa-value">v13</span> <span class="l18 line-number">(<b>+18</b>)</span> = StaticLECall &lt;mem&gt; {AuxCall{main.g}} <span class="v26 ssa-value">v26</span></span></li><li class="ssa-long-value "><span class="v14 ssa-long-value"><span class="v14 ssa-value">v14</span> <span class="l18 line-number">(18)</span> = SelectN &lt;mem&gt; [0] <span class="v13 ssa-value">v13</span></span></li></ul></li><li class="ssa-end-block"><span class="b7 ssa-block">Plain</span> &#8594; <span class="b4 ssa-block">b4</span> <span class="l19 line-number">(<b>+19</b>)</span></li></ul><li>name i[int]: <span class="v4 ssa-value">v4</span> <span class="v5 ssa-value">v5</span> <span class="v8 ssa-value">v8</span> <span class="v18 ssa-value">v18</span> <span class="v20 ssa-value">v20</span> <span class="v21 ssa-value">v21</span> <span class="v22 ssa-value">v22</span> <span class="v23 ssa-value">v23</span> </li></code></td>
+<td id="early-copyelim-col" class="collapsed"><div>early copyelim</div></td><td id="early-copyelim-exp" class="hash-e1fd3719ba04a1d1fd62073b5d18b71618c2e55fe93f8ea62321797880b781eb"><h2>early copyelim <span class="stats">[1000 ns]</span></h2><code><ul class="b1 ssa-print-func "><li class="ssa-start-block"><span class="b1 ssa-block">b1</span>:<button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v1 ssa-long-value"><span class="v1 ssa-value">v1</span> <span class="no-line-number">(?)</span> = InitMem &lt;mem&gt;</span></li><li class="ssa-long-value dead-value"><span class="v2 ssa-long-value"><span class="v2 ssa-value">v2</span> <span class="no-line-number">(?)</span> = SP &lt;uintptr&gt;</span></li><li class="ssa-long-value dead-value"><span class="v3 ssa-long-value"><span class="v3 ssa-value">v3</span> <span class="no-line-number">(?)</span> = SB &lt;uintptr&gt;</span></li><li class="ssa-long-value "><span class="v4 ssa-long-value"><span class="v4 ssa-value">v4</span> <span class="no-line-number">(?)</span> = Const64 &lt;int&gt; [8] (i[int])</span></li><li class="ssa-long-value "><span class="v6 ssa-long-value"><span class="v6 ssa-value">v6</span> <span class="no-line-number">(?)</span> = Const64 &lt;int&gt; [20]</span></li><li class="ssa-long-value "><span class="v10 ssa-long-value"><span class="v10 ssa-value">v10</span> <span class="no-line-number">(?)</span> = Const64 &lt;int&gt; [0]</span></li><li class="ssa-long-value "><span class="v19 ssa-long-value"><span class="v19 ssa-value">v19</span> <span class="no-line-number">(?)</span> = Const64 &lt;int&gt; [1]</span></li></ul></li><li class="ssa-end-block"><span class="b1 ssa-block">Plain</span> &#8594; <span class="b2 ssa-block">b2</span> <span class="l16 line-number">(<b>+16</b>)</span></li></ul><ul class="b2 ssa-print-func "><li class="ssa-start-block"><span class="b2 ssa-block">b2</span>: &#8592; <span class="b1 ssa-block">b1</span> <span class="b4 ssa-block">b4</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v5 ssa-long-value"><span class="v5 ssa-value">v5</span> <span class="l16 line-number">(<s>16</s>)</span> = Phi &lt;int&gt; <span class="v4 ssa-value">v4</span> <span class="v23 ssa-value">v23</span> (i[int])</span></li><li class="ssa-long-value "><span class="v26 ssa-long-value"><span class="v26 ssa-value">v26</span> <span class="l18 line-number">(<s>18</s>)</span> = Phi &lt;mem&gt; <span class="v1 ssa-value">v1</span> <span class="v27 ssa-value">v27</span></span></li><li class="ssa-long-value "><span class="v7 ssa-long-value"><span class="v7 ssa-value">v7</span> <span class="l16 line-number">(<b>+16</b>)</span> = Leq64 &lt;bool&gt; <span class="v5 ssa-value">v5</span> <span class="v6 ssa-value">v6</span></span></li></ul></li><li class="ssa-end-block"><span class="b2 ssa-block">If</span> <span class="v7 ssa-value">v7</span> &#8594; <span class="b3 ssa-block">b3</span> <span class="b5 ssa-block">b5</span> (likely) <span class="l16 line-number">(16)</span></li></ul><ul class="b3 ssa-print-func "><li class="ssa-start-block"><span class="b3 ssa-block">b3</span>: &#8592; <span class="b2 ssa-block">b2</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value dead-value"><span class="v8 ssa-long-value"><span class="v8 ssa-value">v8</span> <span class="l17 line-number">(<s>17</s>)</span> = Copy &lt;int&gt; <span class="v5 ssa-value">v5</span></span></li><li class="ssa-long-value "><span class="v9 ssa-long-value"><span class="v9 ssa-value">v9</span> <span class="l17 line-number">(<b>+17</b>)</span> = Mod64 &lt;int&gt; [false] <span class="v5 ssa-value">v5</span> <span class="v4 ssa-value">v4</span></span></li><li class="ssa-long-value "><span class="v11 ssa-long-value"><span class="v11 ssa-value">v11</span> <span class="l17 line-number">(17)</span> = Eq64 &lt;bool&gt; <span class="v9 ssa-value">v9</span> <span class="v10 ssa-value">v10</span></span></li></ul></li><li class="ssa-end-block"><span class="b3 ssa-block">If</span> <span class="v11 ssa-value">v11</span> &#8594; <span class="b6 ssa-block">b6</span> <span class="b7 ssa-block">b7</span> <span class="l17 line-number">(17)</span></li></ul><ul class="b4 ssa-print-func "><li class="ssa-start-block"><span class="b4 ssa-block">b4</span>: &#8592; <span class="b7 ssa-block">b7</span> <span class="b6 ssa-block">b6</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v27 ssa-long-value"><span class="v27 ssa-value">v27</span> <span class="l18 line-number">(<s>18</s>)</span> = Phi &lt;mem&gt; <span class="v14 ssa-value">v14</span> <span class="v17 ssa-value">v17</span></span></li><li class="ssa-long-value dead-value"><span class="v18 ssa-long-value"><span class="v18 ssa-value">v18</span> <span class="l16 line-number">(<s>16</s>)</span> = Copy &lt;int&gt; <span class="v5 ssa-value">v5</span></span></li><li class="ssa-long-value "><span class="v20 ssa-long-value"><span class="v20 ssa-value">v20</span> <span class="l16 line-number">(<b>+16</b>)</span> = Add64 &lt;int&gt; <span class="v5 ssa-value">v5</span> <span class="v19 ssa-value">v19</span> (i[int])</span></li><li class="ssa-long-value "><span class="v21 ssa-long-value"><span class="v21 ssa-value">v21</span> <span class="l16 line-number">(16)</span> = Add64 &lt;int&gt; <span class="v20 ssa-value">v20</span> <span class="v19 ssa-value">v19</span> (i[int])</span></li><li class="ssa-long-value "><span class="v22 ssa-long-value"><span class="v22 ssa-value">v22</span> <span class="l16 line-number">(16)</span> = Add64 &lt;int&gt; <span class="v21 ssa-value">v21</span> <span class="v19 ssa-value">v19</span> (i[int])</span></li><li class="ssa-long-value "><span class="v23 ssa-long-value"><span class="v23 ssa-value">v23</span> <span class="l16 line-number">(16)</span> = Add64 &lt;int&gt; <span class="v22 ssa-value">v22</span> <span class="v19 ssa-value">v19</span> (i[int])</span></li></ul></li><li class="ssa-end-block"><span class="b4 ssa-block">Plain</span> &#8594; <span class="b2 ssa-block">b2</span> <span class="l16 line-number">(16)</span></li></ul><ul class="b5 ssa-print-func "><li class="ssa-start-block"><span class="b5 ssa-block">b5</span>: &#8592; <span class="b2 ssa-block">b2</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value dead-value"><span class="v24 ssa-long-value"><span class="v24 ssa-value">v24</span> <span class="l15 line-number">(<s>15</s>)</span> = Copy &lt;mem&gt; <span class="v26 ssa-value">v26</span></span></li><li class="ssa-long-value "><span class="v25 ssa-long-value"><span class="v25 ssa-value">v25</span> <span class="l15 line-number">(<b>+15</b>)</span> = MakeResult &lt;mem&gt; <span class="v26 ssa-value">v26</span></span></li></ul></li><li class="ssa-end-block"><span class="b5 ssa-block">Ret</span> <span class="v25 ssa-value">v25</span> <span class="l16 line-number">(<b>+16</b>)</span></li></ul><ul class="b6 ssa-print-func "><li class="ssa-start-block"><span class="b6 ssa-block">b6</span>: &#8592; <span class="b3 ssa-block">b3</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value dead-value"><span class="v15 ssa-long-value"><span class="v15 ssa-value">v15</span> <span class="l21 line-number">(<s>21</s>)</span> = Copy &lt;mem&gt; <span class="v26 ssa-value">v26</span></span></li><li class="ssa-long-value "><span class="v16 ssa-long-value"><span class="v16 ssa-value">v16</span> <span class="l21 line-number">(<b>+21</b>)</span> = StaticLECall &lt;mem&gt; {AuxCall{main.f}} <span class="v26 ssa-value">v26</span></span></li><li class="ssa-long-value "><span class="v17 ssa-long-value"><span class="v17 ssa-value">v17</span> <span class="l21 line-number">(21)</span> = SelectN &lt;mem&gt; [0] <span class="v16 ssa-value">v16</span></span></li></ul></li><li class="ssa-end-block"><span class="b6 ssa-block">Plain</span> &#8594; <span class="b4 ssa-block">b4</span> <span class="l21 line-number">(21)</span></li></ul><ul class="b7 ssa-print-func "><li class="ssa-start-block"><span class="b7 ssa-block">b7</span>: &#8592; <span class="b3 ssa-block">b3</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value dead-value"><span class="v12 ssa-long-value"><span class="v12 ssa-value">v12</span> <span class="l18 line-number">(<s>18</s>)</span> = Copy &lt;mem&gt; <span class="v26 ssa-value">v26</span></span></li><li class="ssa-long-value "><span class="v13 ssa-long-value"><span class="v13 ssa-value">v13</span> <span class="l18 line-number">(<b>+18</b>)</span> = StaticLECall &lt;mem&gt; {AuxCall{main.g}} <span class="v26 ssa-value">v26</span></span></li><li class="ssa-long-value "><span class="v14 ssa-long-value"><span class="v14 ssa-value">v14</span> <span class="l18 line-number">(18)</span> = SelectN &lt;mem&gt; [0] <span class="v13 ssa-value">v13</span></span></li></ul></li><li class="ssa-end-block"><span class="b7 ssa-block">Plain</span> &#8594; <span class="b4 ssa-block">b4</span> <span class="l19 line-number">(<b>+19</b>)</span></li></ul><li>name i[int]: <span class="v4 ssa-value">v4</span> <span class="v5 ssa-value">v5</span> <span class="v5 ssa-value">v5</span> <span class="v5 ssa-value">v5</span> <span class="v20 ssa-value">v20</span> <span class="v21 ssa-value">v21</span> <span class="v22 ssa-value">v22</span> <span class="v23 ssa-value">v23</span> </li></code></td>
+<td id="early-deadcode-col" class="collapsed"><div>early deadcode</div></td><td id="early-deadcode-exp" class="hash-e4da186b69b20d5d60fd6f08d674d99aec5236198701de1dc1675925a6aabb63"><h2>early deadcode <span class="stats">[5300 ns]</span></h2><code><ul class="b1 ssa-print-func "><li class="ssa-start-block"><span class="b1 ssa-block">b1</span>:<button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v1 ssa-long-value"><span class="v1 ssa-value">v1</span> <span class="no-line-number">(?)</span> = InitMem &lt;mem&gt;</span></li><li class="ssa-long-value "><span class="v4 ssa-long-value"><span class="v4 ssa-value">v4</span> <span class="no-line-number">(?)</span> = Const64 &lt;int&gt; [8] (i[int])</span></li><li class="ssa-long-value "><span class="v6 ssa-long-value"><span class="v6 ssa-value">v6</span> <span class="no-line-number">(?)</span> = Const64 &lt;int&gt; [20]</span></li><li class="ssa-long-value "><span class="v10 ssa-long-value"><span class="v10 ssa-value">v10</span> <span class="no-line-number">(?)</span> = Const64 &lt;int&gt; [0]</span></li><li class="ssa-long-value "><span class="v19 ssa-long-value"><span class="v19 ssa-value">v19</span> <span class="no-line-number">(?)</span> = Const64 &lt;int&gt; [1]</span></li></ul></li><li class="ssa-end-block"><span class="b1 ssa-block">Plain</span> &#8594; <span class="b2 ssa-block">b2</span> <span class="l16 line-number">(<b>+16</b>)</span></li></ul><ul class="b2 ssa-print-func "><li class="ssa-start-block"><span class="b2 ssa-block">b2</span>: &#8592; <span class="b1 ssa-block">b1</span> <span class="b4 ssa-block">b4</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v5 ssa-long-value"><span class="v5 ssa-value">v5</span> <span class="l16 line-number">(<s>16</s>)</span> = Phi &lt;int&gt; <span class="v4 ssa-value">v4</span> <span class="v23 ssa-value">v23</span> (i[int])</span></li><li class="ssa-long-value "><span class="v26 ssa-long-value"><span class="v26 ssa-value">v26</span> <span class="l18 line-number">(<s>18</s>)</span> = Phi &lt;mem&gt; <span class="v1 ssa-value">v1</span> <span class="v27 ssa-value">v27</span></span></li><li class="ssa-long-value "><span class="v7 ssa-long-value"><span class="v7 ssa-value">v7</span> <span class="l16 line-number">(<b>+16</b>)</span> = Leq64 &lt;bool&gt; <span class="v5 ssa-value">v5</span> <span class="v6 ssa-value">v6</span></span></li></ul></li><li class="ssa-end-block"><span class="b2 ssa-block">If</span> <span class="v7 ssa-value">v7</span> &#8594; <span class="b3 ssa-block">b3</span> <span class="b5 ssa-block">b5</span> (likely) <span class="l16 line-number">(16)</span></li></ul><ul class="b3 ssa-print-func "><li class="ssa-start-block"><span class="b3 ssa-block">b3</span>: &#8592; <span class="b2 ssa-block">b2</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v9 ssa-long-value"><span class="v9 ssa-value">v9</span> <span class="l17 line-number">(<b>+17</b>)</span> = Mod64 &lt;int&gt; [false] <span class="v5 ssa-value">v5</span> <span class="v4 ssa-value">v4</span></span></li><li class="ssa-long-value "><span class="v11 ssa-long-value"><span class="v11 ssa-value">v11</span> <span class="l17 line-number">(17)</span> = Eq64 &lt;bool&gt; <span class="v9 ssa-value">v9</span> <span class="v10 ssa-value">v10</span></span></li></ul></li><li class="ssa-end-block"><span class="b3 ssa-block">If</span> <span class="v11 ssa-value">v11</span> &#8594; <span class="b6 ssa-block">b6</span> <span class="b7 ssa-block">b7</span> <span class="l17 line-number">(17)</span></li></ul><ul class="b4 ssa-print-func "><li class="ssa-start-block"><span class="b4 ssa-block">b4</span>: &#8592; <span class="b7 ssa-block">b7</span> <span class="b6 ssa-block">b6</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v27 ssa-long-value"><span class="v27 ssa-value">v27</span> <span class="l18 line-number">(<s>18</s>)</span> = Phi &lt;mem&gt; <span class="v14 ssa-value">v14</span> <span class="v17 ssa-value">v17</span></span></li><li class="ssa-long-value "><span class="v20 ssa-long-value"><span class="v20 ssa-value">v20</span> <span class="l16 line-number">(<b>+16</b>)</span> = Add64 &lt;int&gt; <span class="v5 ssa-value">v5</span> <span class="v19 ssa-value">v19</span> (i[int])</span></li><li class="ssa-long-value "><span class="v21 ssa-long-value"><span class="v21 ssa-value">v21</span> <span class="l16 line-number">(16)</span> = Add64 &lt;int&gt; <span class="v20 ssa-value">v20</span> <span class="v19 ssa-value">v19</span> (i[int])</span></li><li class="ssa-long-value "><span class="v22 ssa-long-value"><span class="v22 ssa-value">v22</span> <span class="l16 line-number">(16)</span> = Add64 &lt;int&gt; <span class="v21 ssa-value">v21</span> <span class="v19 ssa-value">v19</span> (i[int])</span></li><li class="ssa-long-value "><span class="v23 ssa-long-value"><span class="v23 ssa-value">v23</span> <span class="l16 line-number">(16)</span> = Add64 &lt;int&gt; <span class="v22 ssa-value">v22</span> <span class="v19 ssa-value">v19</span> (i[int])</span></li></ul></li><li class="ssa-end-block"><span class="b4 ssa-block">Plain</span> &#8594; <span class="b2 ssa-block">b2</span> <span class="l16 line-number">(16)</span></li></ul><ul class="b5 ssa-print-func "><li class="ssa-start-block"><span class="b5 ssa-block">b5</span>: &#8592; <span class="b2 ssa-block">b2</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v25 ssa-long-value"><span class="v25 ssa-value">v25</span> <span class="l15 line-number">(<b>+15</b>)</span> = MakeResult &lt;mem&gt; <span class="v26 ssa-value">v26</span></span></li></ul></li><li class="ssa-end-block"><span class="b5 ssa-block">Ret</span> <span class="v25 ssa-value">v25</span> <span class="l16 line-number">(<b>+16</b>)</span></li></ul><ul class="b6 ssa-print-func "><li class="ssa-start-block"><span class="b6 ssa-block">b6</span>: &#8592; <span class="b3 ssa-block">b3</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v16 ssa-long-value"><span class="v16 ssa-value">v16</span> <span class="l21 line-number">(<b>+21</b>)</span> = StaticLECall &lt;mem&gt; {AuxCall{main.f}} <span class="v26 ssa-value">v26</span></span></li><li class="ssa-long-value "><span class="v17 ssa-long-value"><span class="v17 ssa-value">v17</span> <span class="l21 line-number">(21)</span> = SelectN &lt;mem&gt; [0] <span class="v16 ssa-value">v16</span></span></li></ul></li><li class="ssa-end-block"><span class="b6 ssa-block">Plain</span> &#8594; <span class="b4 ssa-block">b4</span> <span class="l21 line-number">(21)</span></li></ul><ul class="b7 ssa-print-func "><li class="ssa-start-block"><span class="b7 ssa-block">b7</span>: &#8592; <span class="b3 ssa-block">b3</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v13 ssa-long-value"><span class="v13 ssa-value">v13</span> <span class="l18 line-number">(<b>+18</b>)</span> = StaticLECall &lt;mem&gt; {AuxCall{main.g}} <span class="v26 ssa-value">v26</span></span></li><li class="ssa-long-value "><span class="v14 ssa-long-value"><span class="v14 ssa-value">v14</span> <span class="l18 line-number">(18)</span> = SelectN &lt;mem&gt; [0] <span class="v13 ssa-value">v13</span></span></li></ul></li><li class="ssa-end-block"><span class="b7 ssa-block">Plain</span> &#8594; <span class="b4 ssa-block">b4</span> <span class="l19 line-number">(<b>+19</b>)</span></li></ul><li>name i[int]: <span class="v4 ssa-value">v4</span> <span class="v5 ssa-value">v5</span> <span class="v20 ssa-value">v20</span> <span class="v21 ssa-value">v21</span> <span class="v22 ssa-value">v22</span> <span class="v23 ssa-value">v23</span> </li></code></td>
+<td id="short-circuit--+--decompose-user--+--pre-opt-deadcode--+--opt-col" class="collapsed"><div>short circuit  +  decompose user  +  pre-opt deadcode  +  opt</div></td><td id="short-circuit--+--decompose-user--+--pre-opt-deadcode--+--opt-exp" class="hash-5f9c980a4c541547b707849d3acf91b566efa2da40b6d2522169346eb5a7b407"><h2>short circuit <span class="stats">[1100 ns]</span></h2><h2>decompose user <span class="stats">[500 ns]</span></h2><h2>pre-opt deadcode <span class="stats">[2500 ns]</span></h2><h2>opt <span class="stats">[18900 ns]</span></h2><code><ul class="b1 ssa-print-func "><li class="ssa-start-block"><span class="b1 ssa-block">b1</span>:<button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v1 ssa-long-value"><span class="v1 ssa-value">v1</span> <span class="no-line-number">(?)</span> = InitMem &lt;mem&gt;</span></li><li class="ssa-long-value "><span class="v4 ssa-long-value"><span class="v4 ssa-value">v4</span> <span class="no-line-number">(?)</span> = Const64 &lt;int&gt; [8] (i[int])</span></li><li class="ssa-long-value "><span class="v6 ssa-long-value"><span class="v6 ssa-value">v6</span> <span class="no-line-number">(?)</span> = Const64 &lt;int&gt; [20]</span></li></ul></li><li class="ssa-end-block"><span class="b1 ssa-block">Plain</span> &#8594; <span class="b2 ssa-block">b2</span> <span class="l16 line-number">(<b>+16</b>)</span></li></ul><ul class="b2 ssa-print-func "><li class="ssa-start-block"><span class="b2 ssa-block">b2</span>: &#8592; <span class="b1 ssa-block">b1</span> <span class="b4 ssa-block">b4</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v5 ssa-long-value"><span class="v5 ssa-value">v5</span> <span class="l16 line-number">(<s>16</s>)</span> = Phi &lt;int&gt; <span class="v4 ssa-value">v4</span> <span class="v23 ssa-value">v23</span> (i[int])</span></li><li class="ssa-long-value "><span class="v26 ssa-long-value"><span class="v26 ssa-value">v26</span> <span class="l18 line-number">(<s>18</s>)</span> = Phi &lt;mem&gt; <span class="v1 ssa-value">v1</span> <span class="v27 ssa-value">v27</span></span></li><li class="ssa-long-value "><span class="v7 ssa-long-value"><span class="v7 ssa-value">v7</span> <span class="l16 line-number">(<b>+16</b>)</span> = Leq64 &lt;bool&gt; <span class="v5 ssa-value">v5</span> <span class="v6 ssa-value">v6</span></span></li></ul></li><li class="ssa-end-block"><span class="b2 ssa-block">If</span> <span class="v7 ssa-value">v7</span> &#8594; <span class="b3 ssa-block">b3</span> <span class="b5 ssa-block">b5</span> (likely) <span class="l16 line-number">(16)</span></li></ul><ul class="b3 ssa-print-func "><li class="ssa-start-block"><span class="b3 ssa-block">b3</span>: &#8592; <span class="b2 ssa-block">b2</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v35 ssa-long-value"><span class="v35 ssa-value">v35</span> <span class="l17 line-number">(17)</span> = Const64 &lt;int&gt; [7]</span></li><li class="ssa-long-value "><span class="v36 ssa-long-value"><span class="v36 ssa-value">v36</span> <span class="l17 line-number">(17)</span> = Const64 &lt;int&gt; [0]</span></li><li class="ssa-long-value "><span class="v34 ssa-long-value"><span class="v34 ssa-value">v34</span> <span class="l17 line-number">(<b>+17</b>)</span> = And64 &lt;int&gt; <span class="v5 ssa-value">v5</span> <span class="v35 ssa-value">v35</span></span></li><li class="ssa-long-value "><span class="v11 ssa-long-value"><span class="v11 ssa-value">v11</span> <span class="l17 line-number">(<b>+17</b>)</span> = Eq64 &lt;bool&gt; <span class="v34 ssa-value">v34</span> <span class="v36 ssa-value">v36</span></span></li></ul></li><li class="ssa-end-block"><span class="b3 ssa-block">If</span> <span class="v11 ssa-value">v11</span> &#8594; <span class="b6 ssa-block">b6</span> <span class="b7 ssa-block">b7</span> <span class="l17 line-number">(17)</span></li></ul><ul class="b4 ssa-print-func "><li class="ssa-start-block"><span class="b4 ssa-block">b4</span>: &#8592; <span class="b7 ssa-block">b7</span> <span class="b6 ssa-block">b6</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v27 ssa-long-value"><span class="v27 ssa-value">v27</span> <span class="l18 line-number">(<s>18</s>)</span> = Phi &lt;mem&gt; <span class="v14 ssa-value">v14</span> <span class="v17 ssa-value">v17</span></span></li><li class="ssa-long-value "><span class="v3 ssa-long-value"><span class="v3 ssa-value">v3</span> <span class="l16 line-number">(16)</span> = Const64 &lt;int&gt; [4]</span></li><li class="ssa-long-value "><span class="v23 ssa-long-value"><span class="v23 ssa-value">v23</span> <span class="l16 line-number">(<b>+16</b>)</span> = Add64 &lt;int&gt; <span class="v3 ssa-value">v3</span> <span class="v5 ssa-value">v5</span> (i[int])</span></li></ul></li><li class="ssa-end-block"><span class="b4 ssa-block">Plain</span> &#8594; <span class="b2 ssa-block">b2</span> <span class="l16 line-number">(16)</span></li></ul><ul class="b5 ssa-print-func "><li class="ssa-start-block"><span class="b5 ssa-block">b5</span>: &#8592; <span class="b2 ssa-block">b2</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v25 ssa-long-value"><span class="v25 ssa-value">v25</span> <span class="l15 line-number">(<b>+15</b>)</span> = MakeResult &lt;mem&gt; <span class="v26 ssa-value">v26</span></span></li></ul></li><li class="ssa-end-block"><span class="b5 ssa-block">Ret</span> <span class="v25 ssa-value">v25</span> <span class="l16 line-number">(<b>+16</b>)</span></li></ul><ul class="b6 ssa-print-func "><li class="ssa-start-block"><span class="b6 ssa-block">b6</span>: &#8592; <span class="b3 ssa-block">b3</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v16 ssa-long-value"><span class="v16 ssa-value">v16</span> <span class="l21 line-number">(<b>+21</b>)</span> = StaticLECall &lt;mem&gt; {AuxCall{main.f}} <span class="v26 ssa-value">v26</span></span></li><li class="ssa-long-value "><span class="v17 ssa-long-value"><span class="v17 ssa-value">v17</span> <span class="l21 line-number">(21)</span> = SelectN &lt;mem&gt; [0] <span class="v16 ssa-value">v16</span></span></li></ul></li><li class="ssa-end-block"><span class="b6 ssa-block">Plain</span> &#8594; <span class="b4 ssa-block">b4</span> <span class="l21 line-number">(21)</span></li></ul><ul class="b7 ssa-print-func "><li class="ssa-start-block"><span class="b7 ssa-block">b7</span>: &#8592; <span class="b3 ssa-block">b3</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v13 ssa-long-value"><span class="v13 ssa-value">v13</span> <span class="l18 line-number">(<b>+18</b>)</span> = StaticLECall &lt;mem&gt; {AuxCall{main.g}} <span class="v26 ssa-value">v26</span></span></li><li class="ssa-long-value "><span class="v14 ssa-long-value"><span class="v14 ssa-value">v14</span> <span class="l18 line-number">(18)</span> = SelectN &lt;mem&gt; [0] <span class="v13 ssa-value">v13</span></span></li></ul></li><li class="ssa-end-block"><span class="b7 ssa-block">Plain</span> &#8594; <span class="b4 ssa-block">b4</span> <span class="l19 line-number">(<b>+19</b>)</span></li></ul><li>name i[int]: <span class="v4 ssa-value">v4</span> <span class="v5 ssa-value">v5</span> <span class="v20 ssa-value">v20</span> <span class="v21 ssa-value">v21</span> <span class="v22 ssa-value">v22</span> <span class="v23 ssa-value">v23</span> </li></code></td>
+<td id="zero-arg-cse-col" class="collapsed"><div>zero arg cse</div></td><td id="zero-arg-cse-exp" class="hash-69702a8ab24df8a16e449ed2e2bde85b3e26e2694b507073f1558f218c578e74"><h2>zero arg cse <span class="stats">[3300 ns]</span></h2><code><ul class="b1 ssa-print-func "><li class="ssa-start-block"><span class="b1 ssa-block">b1</span>:<button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v1 ssa-long-value"><span class="v1 ssa-value">v1</span> <span class="no-line-number">(?)</span> = InitMem &lt;mem&gt;</span></li><li class="ssa-long-value "><span class="v4 ssa-long-value"><span class="v4 ssa-value">v4</span> <span class="no-line-number">(?)</span> = Const64 &lt;int&gt; [8] (i[int])</span></li><li class="ssa-long-value "><span class="v6 ssa-long-value"><span class="v6 ssa-value">v6</span> <span class="no-line-number">(?)</span> = Const64 &lt;int&gt; [20]</span></li><li class="ssa-long-value "><span class="v35 ssa-long-value"><span class="v35 ssa-value">v35</span> <span class="l17 line-number">(17)</span> = Const64 &lt;int&gt; [7]</span></li><li class="ssa-long-value "><span class="v36 ssa-long-value"><span class="v36 ssa-value">v36</span> <span class="l17 line-number">(17)</span> = Const64 &lt;int&gt; [0]</span></li><li class="ssa-long-value "><span class="v3 ssa-long-value"><span class="v3 ssa-value">v3</span> <span class="l16 line-number">(16)</span> = Const64 &lt;int&gt; [4]</span></li></ul></li><li class="ssa-end-block"><span class="b1 ssa-block">Plain</span> &#8594; <span class="b2 ssa-block">b2</span> <span class="l16 line-number">(<b>+16</b>)</span></li></ul><ul class="b2 ssa-print-func "><li class="ssa-start-block"><span class="b2 ssa-block">b2</span>: &#8592; <span class="b1 ssa-block">b1</span> <span class="b4 ssa-block">b4</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v5 ssa-long-value"><span class="v5 ssa-value">v5</span> <span class="l16 line-number">(<s>16</s>)</span> = Phi &lt;int&gt; <span class="v4 ssa-value">v4</span> <span class="v23 ssa-value">v23</span> (i[int])</span></li><li class="ssa-long-value "><span class="v26 ssa-long-value"><span class="v26 ssa-value">v26</span> <span class="l18 line-number">(<s>18</s>)</span> = Phi &lt;mem&gt; <span class="v1 ssa-value">v1</span> <span class="v27 ssa-value">v27</span></span></li><li class="ssa-long-value "><span class="v7 ssa-long-value"><span class="v7 ssa-value">v7</span> <span class="l16 line-number">(<b>+16</b>)</span> = Leq64 &lt;bool&gt; <span class="v5 ssa-value">v5</span> <span class="v6 ssa-value">v6</span></span></li></ul></li><li class="ssa-end-block"><span class="b2 ssa-block">If</span> <span class="v7 ssa-value">v7</span> &#8594; <span class="b3 ssa-block">b3</span> <span class="b5 ssa-block">b5</span> (likely) <span class="l16 line-number">(16)</span></li></ul><ul class="b3 ssa-print-func "><li class="ssa-start-block"><span class="b3 ssa-block">b3</span>: &#8592; <span class="b2 ssa-block">b2</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v34 ssa-long-value"><span class="v34 ssa-value">v34</span> <span class="l17 line-number">(<b>+17</b>)</span> = And64 &lt;int&gt; <span class="v5 ssa-value">v5</span> <span class="v35 ssa-value">v35</span></span></li><li class="ssa-long-value "><span class="v11 ssa-long-value"><span class="v11 ssa-value">v11</span> <span class="l17 line-number">(<b>+17</b>)</span> = Eq64 &lt;bool&gt; <span class="v34 ssa-value">v34</span> <span class="v36 ssa-value">v36</span></span></li></ul></li><li class="ssa-end-block"><span class="b3 ssa-block">If</span> <span class="v11 ssa-value">v11</span> &#8594; <span class="b6 ssa-block">b6</span> <span class="b7 ssa-block">b7</span> <span class="l17 line-number">(17)</span></li></ul><ul class="b4 ssa-print-func "><li class="ssa-start-block"><span class="b4 ssa-block">b4</span>: &#8592; <span class="b7 ssa-block">b7</span> <span class="b6 ssa-block">b6</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v27 ssa-long-value"><span class="v27 ssa-value">v27</span> <span class="l18 line-number">(<s>18</s>)</span> = Phi &lt;mem&gt; <span class="v14 ssa-value">v14</span> <span class="v17 ssa-value">v17</span></span></li><li class="ssa-long-value "><span class="v23 ssa-long-value"><span class="v23 ssa-value">v23</span> <span class="l16 line-number">(<b>+16</b>)</span> = Add64 &lt;int&gt; <span class="v3 ssa-value">v3</span> <span class="v5 ssa-value">v5</span> (i[int])</span></li></ul></li><li class="ssa-end-block"><span class="b4 ssa-block">Plain</span> &#8594; <span class="b2 ssa-block">b2</span> <span class="l16 line-number">(16)</span></li></ul><ul class="b5 ssa-print-func "><li class="ssa-start-block"><span class="b5 ssa-block">b5</span>: &#8592; <span class="b2 ssa-block">b2</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v25 ssa-long-value"><span class="v25 ssa-value">v25</span> <span class="l15 line-number">(<b>+15</b>)</span> = MakeResult &lt;mem&gt; <span class="v26 ssa-value">v26</span></span></li></ul></li><li class="ssa-end-block"><span class="b5 ssa-block">Ret</span> <span class="v25 ssa-value">v25</span> <span class="l16 line-number">(<b>+16</b>)</span></li></ul><ul class="b6 ssa-print-func "><li class="ssa-start-block"><span class="b6 ssa-block">b6</span>: &#8592; <span class="b3 ssa-block">b3</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v16 ssa-long-value"><span class="v16 ssa-value">v16</span> <span class="l21 line-number">(<b>+21</b>)</span> = StaticLECall &lt;mem&gt; {AuxCall{main.f}} <span class="v26 ssa-value">v26</span></span></li><li class="ssa-long-value "><span class="v17 ssa-long-value"><span class="v17 ssa-value">v17</span> <span class="l21 line-number">(21)</span> = SelectN &lt;mem&gt; [0] <span class="v16 ssa-value">v16</span></span></li></ul></li><li class="ssa-end-block"><span class="b6 ssa-block">Plain</span> &#8594; <span class="b4 ssa-block">b4</span> <span class="l21 line-number">(21)</span></li></ul><ul class="b7 ssa-print-func "><li class="ssa-start-block"><span class="b7 ssa-block">b7</span>: &#8592; <span class="b3 ssa-block">b3</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v13 ssa-long-value"><span class="v13 ssa-value">v13</span> <span class="l18 line-number">(<b>+18</b>)</span> = StaticLECall &lt;mem&gt; {AuxCall{main.g}} <span class="v26 ssa-value">v26</span></span></li><li class="ssa-long-value "><span class="v14 ssa-long-value"><span class="v14 ssa-value">v14</span> <span class="l18 line-number">(18)</span> = SelectN &lt;mem&gt; [0] <span class="v13 ssa-value">v13</span></span></li></ul></li><li class="ssa-end-block"><span class="b7 ssa-block">Plain</span> &#8594; <span class="b4 ssa-block">b4</span> <span class="l19 line-number">(<b>+19</b>)</span></li></ul><li>name i[int]: <span class="v4 ssa-value">v4</span> <span class="v5 ssa-value">v5</span> <span class="v20 ssa-value">v20</span> <span class="v21 ssa-value">v21</span> <span class="v22 ssa-value">v22</span> <span class="v23 ssa-value">v23</span> </li></code></td>
+<td id="opt-deadcode-col" class="collapsed"><div>opt deadcode</div></td><td id="opt-deadcode-exp" class="hash-95769a7fb692129ad3eeeebc58b87cf613ed2ffac4b7e205af8edc6cfe1c0aa4"><h2>opt deadcode <span class="stats">[3900 ns]</span></h2><code><ul class="b1 ssa-print-func "><li class="ssa-start-block"><span class="b1 ssa-block">b1</span>:<button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v1 ssa-long-value"><span class="v1 ssa-value">v1</span> <span class="no-line-number">(?)</span> = InitMem &lt;mem&gt;</span></li><li class="ssa-long-value "><span class="v4 ssa-long-value"><span class="v4 ssa-value">v4</span> <span class="no-line-number">(?)</span> = Const64 &lt;int&gt; [8] (i[int])</span></li><li class="ssa-long-value "><span class="v6 ssa-long-value"><span class="v6 ssa-value">v6</span> <span class="no-line-number">(?)</span> = Const64 &lt;int&gt; [20]</span></li><li class="ssa-long-value "><span class="v35 ssa-long-value"><span class="v35 ssa-value">v35</span> <span class="l17 line-number">(17)</span> = Const64 &lt;int&gt; [7]</span></li><li class="ssa-long-value "><span class="v36 ssa-long-value"><span class="v36 ssa-value">v36</span> <span class="l17 line-number">(17)</span> = Const64 &lt;int&gt; [0]</span></li><li class="ssa-long-value "><span class="v3 ssa-long-value"><span class="v3 ssa-value">v3</span> <span class="l16 line-number">(16)</span> = Const64 &lt;int&gt; [4]</span></li></ul></li><li class="ssa-end-block"><span class="b1 ssa-block">Plain</span> &#8594; <span class="b2 ssa-block">b2</span> <span class="l16 line-number">(<b>+16</b>)</span></li></ul><ul class="b2 ssa-print-func "><li class="ssa-start-block"><span class="b2 ssa-block">b2</span>: &#8592; <span class="b1 ssa-block">b1</span> <span class="b4 ssa-block">b4</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v5 ssa-long-value"><span class="v5 ssa-value">v5</span> <span class="l16 line-number">(<s>16</s>)</span> = Phi &lt;int&gt; <span class="v4 ssa-value">v4</span> <span class="v23 ssa-value">v23</span> (i[int])</span></li><li class="ssa-long-value "><span class="v26 ssa-long-value"><span class="v26 ssa-value">v26</span> <span class="l18 line-number">(<s>18</s>)</span> = Phi &lt;mem&gt; <span class="v1 ssa-value">v1</span> <span class="v27 ssa-value">v27</span></span></li><li class="ssa-long-value "><span class="v7 ssa-long-value"><span class="v7 ssa-value">v7</span> <span class="l16 line-number">(<b>+16</b>)</span> = Leq64 &lt;bool&gt; <span class="v5 ssa-value">v5</span> <span class="v6 ssa-value">v6</span></span></li></ul></li><li class="ssa-end-block"><span class="b2 ssa-block">If</span> <span class="v7 ssa-value">v7</span> &#8594; <span class="b3 ssa-block">b3</span> <span class="b5 ssa-block">b5</span> (likely) <span class="l16 line-number">(16)</span></li></ul><ul class="b3 ssa-print-func "><li class="ssa-start-block"><span class="b3 ssa-block">b3</span>: &#8592; <span class="b2 ssa-block">b2</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v34 ssa-long-value"><span class="v34 ssa-value">v34</span> <span class="l17 line-number">(<b>+17</b>)</span> = And64 &lt;int&gt; <span class="v5 ssa-value">v5</span> <span class="v35 ssa-value">v35</span></span></li><li class="ssa-long-value "><span class="v11 ssa-long-value"><span class="v11 ssa-value">v11</span> <span class="l17 line-number">(<b>+17</b>)</span> = Eq64 &lt;bool&gt; <span class="v34 ssa-value">v34</span> <span class="v36 ssa-value">v36</span></span></li></ul></li><li class="ssa-end-block"><span class="b3 ssa-block">If</span> <span class="v11 ssa-value">v11</span> &#8594; <span class="b6 ssa-block">b6</span> <span class="b7 ssa-block">b7</span> <span class="l17 line-number">(17)</span></li></ul><ul class="b4 ssa-print-func "><li class="ssa-start-block"><span class="b4 ssa-block">b4</span>: &#8592; <span class="b7 ssa-block">b7</span> <span class="b6 ssa-block">b6</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v27 ssa-long-value"><span class="v27 ssa-value">v27</span> <span class="l18 line-number">(<s>18</s>)</span> = Phi &lt;mem&gt; <span class="v14 ssa-value">v14</span> <span class="v17 ssa-value">v17</span></span></li><li class="ssa-long-value "><span class="v23 ssa-long-value"><span class="v23 ssa-value">v23</span> <span class="l16 line-number">(<b>+16</b>)</span> = Add64 &lt;int&gt; <span class="v3 ssa-value">v3</span> <span class="v5 ssa-value">v5</span> (i[int])</span></li></ul></li><li class="ssa-end-block"><span class="b4 ssa-block">Plain</span> &#8594; <span class="b2 ssa-block">b2</span> <span class="l16 line-number">(16)</span></li></ul><ul class="b5 ssa-print-func "><li class="ssa-start-block"><span class="b5 ssa-block">b5</span>: &#8592; <span class="b2 ssa-block">b2</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v25 ssa-long-value"><span class="v25 ssa-value">v25</span> <span class="l15 line-number">(<b>+15</b>)</span> = MakeResult &lt;mem&gt; <span class="v26 ssa-value">v26</span></span></li></ul></li><li class="ssa-end-block"><span class="b5 ssa-block">Ret</span> <span class="v25 ssa-value">v25</span> <span class="l16 line-number">(<b>+16</b>)</span></li></ul><ul class="b6 ssa-print-func "><li class="ssa-start-block"><span class="b6 ssa-block">b6</span>: &#8592; <span class="b3 ssa-block">b3</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v16 ssa-long-value"><span class="v16 ssa-value">v16</span> <span class="l21 line-number">(<b>+21</b>)</span> = StaticLECall &lt;mem&gt; {AuxCall{main.f}} <span class="v26 ssa-value">v26</span></span></li><li class="ssa-long-value "><span class="v17 ssa-long-value"><span class="v17 ssa-value">v17</span> <span class="l21 line-number">(21)</span> = SelectN &lt;mem&gt; [0] <span class="v16 ssa-value">v16</span></span></li></ul></li><li class="ssa-end-block"><span class="b6 ssa-block">Plain</span> &#8594; <span class="b4 ssa-block">b4</span> <span class="l21 line-number">(21)</span></li></ul><ul class="b7 ssa-print-func "><li class="ssa-start-block"><span class="b7 ssa-block">b7</span>: &#8592; <span class="b3 ssa-block">b3</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v13 ssa-long-value"><span class="v13 ssa-value">v13</span> <span class="l18 line-number">(<b>+18</b>)</span> = StaticLECall &lt;mem&gt; {AuxCall{main.g}} <span class="v26 ssa-value">v26</span></span></li><li class="ssa-long-value "><span class="v14 ssa-long-value"><span class="v14 ssa-value">v14</span> <span class="l18 line-number">(18)</span> = SelectN &lt;mem&gt; [0] <span class="v13 ssa-value">v13</span></span></li></ul></li><li class="ssa-end-block"><span class="b7 ssa-block">Plain</span> &#8594; <span class="b4 ssa-block">b4</span> <span class="l19 line-number">(<b>+19</b>)</span></li></ul><li>name i[int]: <span class="v4 ssa-value">v4</span> <span class="v5 ssa-value">v5</span> <span class="v23 ssa-value">v23</span> </li></code></td>
+<td id="generic-cse--+--phiopt--+--gcse-deadcode--+--nilcheckelim--+--prove-col" class="collapsed"><div>generic cse  +  phiopt  +  gcse deadcode  +  nilcheckelim  +  prove</div></td><td id="generic-cse--+--phiopt--+--gcse-deadcode--+--nilcheckelim--+--prove-exp" class="hash-e227ced931ea483a1470d57f8e3b91c671cd255187a158c52010245ffc173114"><h2>generic cse <span class="stats">[7100 ns]</span></h2><h2>phiopt <span class="stats">[700 ns]</span></h2><h2>gcse deadcode <span class="stats">[2200 ns]</span></h2><h2>nilcheckelim <span class="stats">[4300 ns]</span></h2><h2>prove <span class="stats">[41200 ns]</span></h2><code><ul class="b1 ssa-print-func "><li class="ssa-start-block"><span class="b1 ssa-block">b1</span>:<button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v1 ssa-long-value"><span class="v1 ssa-value">v1</span> <span class="no-line-number">(?)</span> = InitMem &lt;mem&gt;</span></li><li class="ssa-long-value "><span class="v4 ssa-long-value"><span class="v4 ssa-value">v4</span> <span class="no-line-number">(?)</span> = Const64 &lt;int&gt; [8] (i[int])</span></li><li class="ssa-long-value "><span class="v6 ssa-long-value"><span class="v6 ssa-value">v6</span> <span class="no-line-number">(?)</span> = Const64 &lt;int&gt; [20]</span></li><li class="ssa-long-value "><span class="v35 ssa-long-value"><span class="v35 ssa-value">v35</span> <span class="l17 line-number">(17)</span> = Const64 &lt;int&gt; [7]</span></li><li class="ssa-long-value "><span class="v36 ssa-long-value"><span class="v36 ssa-value">v36</span> <span class="l17 line-number">(17)</span> = Const64 &lt;int&gt; [0]</span></li><li class="ssa-long-value "><span class="v3 ssa-long-value"><span class="v3 ssa-value">v3</span> <span class="l16 line-number">(16)</span> = Const64 &lt;int&gt; [4]</span></li><li class="ssa-long-value dead-value"><span class="v8 ssa-long-value"><span class="v8 ssa-value">v8</span> <span class="no-line-number">(?)</span> = Const64 &lt;int64&gt; [0]</span></li></ul></li><li class="ssa-end-block"><span class="b1 ssa-block">Plain</span> &#8594; <span class="b2 ssa-block">b2</span> <span class="l16 line-number">(<b>+16</b>)</span></li></ul><ul class="b2 ssa-print-func "><li class="ssa-start-block"><span class="b2 ssa-block">b2</span>: &#8592; <span class="b1 ssa-block">b1</span> <span class="b4 ssa-block">b4</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v5 ssa-long-value"><span class="v5 ssa-value">v5</span> <span class="l16 line-number">(<s>16</s>)</span> = Phi &lt;int&gt; <span class="v4 ssa-value">v4</span> <span class="v23 ssa-value">v23</span> (i[int])</span></li><li class="ssa-long-value "><span class="v26 ssa-long-value"><span class="v26 ssa-value">v26</span> <span class="l18 line-number">(<s>18</s>)</span> = Phi &lt;mem&gt; <span class="v1 ssa-value">v1</span> <span class="v27 ssa-value">v27</span></span></li><li class="ssa-long-value "><span class="v7 ssa-long-value"><span class="v7 ssa-value">v7</span> <span class="l16 line-number">(<b>+16</b>)</span> = Leq64 &lt;bool&gt; <span class="v5 ssa-value">v5</span> <span class="v6 ssa-value">v6</span></span></li></ul></li><li class="ssa-end-block"><span class="b2 ssa-block">If</span> <span class="v7 ssa-value">v7</span> &#8594; <span class="b3 ssa-block">b3</span> <span class="b5 ssa-block">b5</span> (likely) <span class="l16 line-number">(16)</span></li></ul><ul class="b3 ssa-print-func "><li class="ssa-start-block"><span class="b3 ssa-block">b3</span>: &#8592; <span class="b2 ssa-block">b2</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v34 ssa-long-value"><span class="v34 ssa-value">v34</span> <span class="l17 line-number">(<b>+17</b>)</span> = And64 &lt;int&gt; <span class="v5 ssa-value">v5</span> <span class="v35 ssa-value">v35</span></span></li><li class="ssa-long-value "><span class="v11 ssa-long-value"><span class="v11 ssa-value">v11</span> <span class="l17 line-number">(<b>+17</b>)</span> = Eq64 &lt;bool&gt; <span class="v34 ssa-value">v34</span> <span class="v36 ssa-value">v36</span></span></li></ul></li><li class="ssa-end-block"><span class="b3 ssa-block">If</span> <span class="v11 ssa-value">v11</span> &#8594; <span class="b6 ssa-block">b6</span> <span class="b7 ssa-block">b7</span> <span class="l17 line-number">(17)</span></li></ul><ul class="b4 ssa-print-func "><li class="ssa-start-block"><span class="b4 ssa-block">b4</span>: &#8592; <span class="b7 ssa-block">b7</span> <span class="b6 ssa-block">b6</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v27 ssa-long-value"><span class="v27 ssa-value">v27</span> <span class="l18 line-number">(<s>18</s>)</span> = Phi &lt;mem&gt; <span class="v14 ssa-value">v14</span> <span class="v17 ssa-value">v17</span></span></li><li class="ssa-long-value "><span class="v23 ssa-long-value"><span class="v23 ssa-value">v23</span> <span class="l16 line-number">(<b>+16</b>)</span> = Add64 &lt;int&gt; <span class="v3 ssa-value">v3</span> <span class="v5 ssa-value">v5</span> (i[int])</span></li></ul></li><li class="ssa-end-block"><span class="b4 ssa-block">Plain</span> &#8594; <span class="b2 ssa-block">b2</span> <span class="l16 line-number">(16)</span></li></ul><ul class="b5 ssa-print-func "><li class="ssa-start-block"><span class="b5 ssa-block">b5</span>: &#8592; <span class="b2 ssa-block">b2</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v25 ssa-long-value"><span class="v25 ssa-value">v25</span> <span class="l15 line-number">(<b>+15</b>)</span> = MakeResult &lt;mem&gt; <span class="v26 ssa-value">v26</span></span></li></ul></li><li class="ssa-end-block"><span class="b5 ssa-block">Ret</span> <span class="v25 ssa-value">v25</span> <span class="l16 line-number">(<b>+16</b>)</span></li></ul><ul class="b6 ssa-print-func "><li class="ssa-start-block"><span class="b6 ssa-block">b6</span>: &#8592; <span class="b3 ssa-block">b3</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v16 ssa-long-value"><span class="v16 ssa-value">v16</span> <span class="l21 line-number">(<b>+21</b>)</span> = StaticLECall &lt;mem&gt; {AuxCall{main.f}} <span class="v26 ssa-value">v26</span></span></li><li class="ssa-long-value "><span class="v17 ssa-long-value"><span class="v17 ssa-value">v17</span> <span class="l21 line-number">(21)</span> = SelectN &lt;mem&gt; [0] <span class="v16 ssa-value">v16</span></span></li></ul></li><li class="ssa-end-block"><span class="b6 ssa-block">Plain</span> &#8594; <span class="b4 ssa-block">b4</span> <span class="l21 line-number">(21)</span></li></ul><ul class="b7 ssa-print-func "><li class="ssa-start-block"><span class="b7 ssa-block">b7</span>: &#8592; <span class="b3 ssa-block">b3</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v13 ssa-long-value"><span class="v13 ssa-value">v13</span> <span class="l18 line-number">(<b>+18</b>)</span> = StaticLECall &lt;mem&gt; {AuxCall{main.g}} <span class="v26 ssa-value">v26</span></span></li><li class="ssa-long-value "><span class="v14 ssa-long-value"><span class="v14 ssa-value">v14</span> <span class="l18 line-number">(18)</span> = SelectN &lt;mem&gt; [0] <span class="v13 ssa-value">v13</span></span></li></ul></li><li class="ssa-end-block"><span class="b7 ssa-block">Plain</span> &#8594; <span class="b4 ssa-block">b4</span> <span class="l19 line-number">(<b>+19</b>)</span></li></ul><li>name i[int]: <span class="v4 ssa-value">v4</span> <span class="v5 ssa-value">v5</span> <span class="v23 ssa-value">v23</span> </li></code></td>
+<td id="early-fuse--+--expand-calls-col" class="collapsed"><div>early fuse  +  expand calls</div></td><td id="early-fuse--+--expand-calls-exp" class="hash-c6b66317ed07419715103e9edfbe727ddaebd1a704d31976384041e43bdde85d"><h2>early fuse <span class="stats">[500 ns]</span></h2><h2>expand calls <span class="stats">[3600 ns]</span></h2><code><ul class="b1 ssa-print-func "><li class="ssa-start-block"><span class="b1 ssa-block">b1</span>:<button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v1 ssa-long-value"><span class="v1 ssa-value">v1</span> <span class="no-line-number">(?)</span> = InitMem &lt;mem&gt;</span></li><li class="ssa-long-value "><span class="v4 ssa-long-value"><span class="v4 ssa-value">v4</span> <span class="no-line-number">(?)</span> = Const64 &lt;int&gt; [8] (i[int])</span></li><li class="ssa-long-value "><span class="v6 ssa-long-value"><span class="v6 ssa-value">v6</span> <span class="no-line-number">(?)</span> = Const64 &lt;int&gt; [20]</span></li><li class="ssa-long-value "><span class="v35 ssa-long-value"><span class="v35 ssa-value">v35</span> <span class="l17 line-number">(17)</span> = Const64 &lt;int&gt; [7]</span></li><li class="ssa-long-value "><span class="v36 ssa-long-value"><span class="v36 ssa-value">v36</span> <span class="l17 line-number">(17)</span> = Const64 &lt;int&gt; [0]</span></li><li class="ssa-long-value "><span class="v3 ssa-long-value"><span class="v3 ssa-value">v3</span> <span class="l16 line-number">(16)</span> = Const64 &lt;int&gt; [4]</span></li><li class="ssa-long-value dead-value"><span class="v8 ssa-long-value"><span class="v8 ssa-value">v8</span> <span class="no-line-number">(?)</span> = Const64 &lt;int64&gt; [0]</span></li><li class="ssa-long-value dead-value"><span class="v18 ssa-long-value"><span class="v18 ssa-value">v18</span> <span class="no-line-number">(?)</span> = SB &lt;uintptr&gt;</span></li><li class="ssa-long-value dead-value"><span class="v22 ssa-long-value"><span class="v22 ssa-value">v22</span> <span class="no-line-number">(?)</span> = SP &lt;uintptr&gt;</span></li></ul></li><li class="ssa-end-block"><span class="b1 ssa-block">Plain</span> &#8594; <span class="b2 ssa-block">b2</span> <span class="l16 line-number">(<b>+16</b>)</span></li></ul><ul class="b2 ssa-print-func "><li class="ssa-start-block"><span class="b2 ssa-block">b2</span>: &#8592; <span class="b1 ssa-block">b1</span> <span class="b4 ssa-block">b4</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v5 ssa-long-value"><span class="v5 ssa-value">v5</span> <span class="l16 line-number">(<s>16</s>)</span> = Phi &lt;int&gt; <span class="v4 ssa-value">v4</span> <span class="v23 ssa-value">v23</span> (i[int])</span></li><li class="ssa-long-value "><span class="v26 ssa-long-value"><span class="v26 ssa-value">v26</span> <span class="l18 line-number">(<s>18</s>)</span> = Phi &lt;mem&gt; <span class="v1 ssa-value">v1</span> <span class="v27 ssa-value">v27</span></span></li><li class="ssa-long-value "><span class="v7 ssa-long-value"><span class="v7 ssa-value">v7</span> <span class="l16 line-number">(<b>+16</b>)</span> = Leq64 &lt;bool&gt; <span class="v5 ssa-value">v5</span> <span class="v6 ssa-value">v6</span></span></li></ul></li><li class="ssa-end-block"><span class="b2 ssa-block">If</span> <span class="v7 ssa-value">v7</span> &#8594; <span class="b3 ssa-block">b3</span> <span class="b5 ssa-block">b5</span> (likely) <span class="l16 line-number">(16)</span></li></ul><ul class="b3 ssa-print-func "><li class="ssa-start-block"><span class="b3 ssa-block">b3</span>: &#8592; <span class="b2 ssa-block">b2</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v34 ssa-long-value"><span class="v34 ssa-value">v34</span> <span class="l17 line-number">(<b>+17</b>)</span> = And64 &lt;int&gt; <span class="v5 ssa-value">v5</span> <span class="v35 ssa-value">v35</span></span></li><li class="ssa-long-value "><span class="v11 ssa-long-value"><span class="v11 ssa-value">v11</span> <span class="l17 line-number">(<b>+17</b>)</span> = Eq64 &lt;bool&gt; <span class="v34 ssa-value">v34</span> <span class="v36 ssa-value">v36</span></span></li></ul></li><li class="ssa-end-block"><span class="b3 ssa-block">If</span> <span class="v11 ssa-value">v11</span> &#8594; <span class="b6 ssa-block">b6</span> <span class="b7 ssa-block">b7</span> <span class="l17 line-number">(17)</span></li></ul><ul class="b4 ssa-print-func "><li class="ssa-start-block"><span class="b4 ssa-block">b4</span>: &#8592; <span class="b7 ssa-block">b7</span> <span class="b6 ssa-block">b6</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v27 ssa-long-value"><span class="v27 ssa-value">v27</span> <span class="l18 line-number">(<s>18</s>)</span> = Phi &lt;mem&gt; <span class="v14 ssa-value">v14</span> <span class="v17 ssa-value">v17</span></span></li><li class="ssa-long-value "><span class="v23 ssa-long-value"><span class="v23 ssa-value">v23</span> <span class="l16 line-number">(<b>+16</b>)</span> = Add64 &lt;int&gt; <span class="v3 ssa-value">v3</span> <span class="v5 ssa-value">v5</span> (i[int])</span></li></ul></li><li class="ssa-end-block"><span class="b4 ssa-block">Plain</span> &#8594; <span class="b2 ssa-block">b2</span> <span class="l16 line-number">(16)</span></li></ul><ul class="b5 ssa-print-func "><li class="ssa-start-block"><span class="b5 ssa-block">b5</span>: &#8592; <span class="b2 ssa-block">b2</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v25 ssa-long-value"><span class="v25 ssa-value">v25</span> <span class="l15 line-number">(<b>+15</b>)</span> = MakeResult &lt;mem&gt; <span class="v26 ssa-value">v26</span></span></li></ul></li><li class="ssa-end-block"><span class="b5 ssa-block">Ret</span> <span class="v25 ssa-value">v25</span> <span class="l16 line-number">(<b>+16</b>)</span></li></ul><ul class="b6 ssa-print-func "><li class="ssa-start-block"><span class="b6 ssa-block">b6</span>: &#8592; <span class="b3 ssa-block">b3</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v16 ssa-long-value"><span class="v16 ssa-value">v16</span> <span class="l21 line-number">(<b>+21</b>)</span> = StaticCall &lt;mem&gt; {AuxCall{main.f}} <span class="v26 ssa-value">v26</span></span></li><li class="ssa-long-value "><span class="v17 ssa-long-value"><span class="v17 ssa-value">v17</span> <span class="l21 line-number">(21)</span> = SelectN &lt;mem&gt; [0] <span class="v16 ssa-value">v16</span></span></li></ul></li><li class="ssa-end-block"><span class="b6 ssa-block">Plain</span> &#8594; <span class="b4 ssa-block">b4</span> <span class="l21 line-number">(21)</span></li></ul><ul class="b7 ssa-print-func "><li class="ssa-start-block"><span class="b7 ssa-block">b7</span>: &#8592; <span class="b3 ssa-block">b3</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v13 ssa-long-value"><span class="v13 ssa-value">v13</span> <span class="l18 line-number">(<b>+18</b>)</span> = StaticCall &lt;mem&gt; {AuxCall{main.g}} <span class="v26 ssa-value">v26</span></span></li><li class="ssa-long-value "><span class="v14 ssa-long-value"><span class="v14 ssa-value">v14</span> <span class="l18 line-number">(18)</span> = SelectN &lt;mem&gt; [0] <span class="v13 ssa-value">v13</span></span></li></ul></li><li class="ssa-end-block"><span class="b7 ssa-block">Plain</span> &#8594; <span class="b4 ssa-block">b4</span> <span class="l19 line-number">(<b>+19</b>)</span></li></ul><li>name i[int]: <span class="v4 ssa-value">v4</span> <span class="v5 ssa-value">v5</span> <span class="v23 ssa-value">v23</span> </li></code></td>
+<td id="decompose-builtin--+--softfloat--+--late-opt-col" class="collapsed"><div>decompose builtin  +  softfloat  +  late opt</div></td><td id="decompose-builtin--+--softfloat--+--late-opt-exp" class="hash-c942d8bea1545906945c05f859719c95a6f67e4e9b746d8f9331bd3e98bd7945"><h2>decompose builtin <span class="stats">[5400 ns]</span></h2><h2>softfloat <span class="stats">[100 ns]</span></h2><h2>late opt <span class="stats">[5600 ns]</span></h2><code><ul class="b1 ssa-print-func "><li class="ssa-start-block"><span class="b1 ssa-block">b1</span>:<button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v1 ssa-long-value"><span class="v1 ssa-value">v1</span> <span class="no-line-number">(?)</span> = InitMem &lt;mem&gt;</span></li><li class="ssa-long-value "><span class="v4 ssa-long-value"><span class="v4 ssa-value">v4</span> <span class="no-line-number">(?)</span> = Const64 &lt;int&gt; [8] (i[int])</span></li><li class="ssa-long-value "><span class="v6 ssa-long-value"><span class="v6 ssa-value">v6</span> <span class="no-line-number">(?)</span> = Const64 &lt;int&gt; [20]</span></li><li class="ssa-long-value "><span class="v35 ssa-long-value"><span class="v35 ssa-value">v35</span> <span class="l17 line-number">(17)</span> = Const64 &lt;int&gt; [7]</span></li><li class="ssa-long-value "><span class="v36 ssa-long-value"><span class="v36 ssa-value">v36</span> <span class="l17 line-number">(17)</span> = Const64 &lt;int&gt; [0]</span></li><li class="ssa-long-value "><span class="v3 ssa-long-value"><span class="v3 ssa-value">v3</span> <span class="l16 line-number">(16)</span> = Const64 &lt;int&gt; [4]</span></li></ul></li><li class="ssa-end-block"><span class="b1 ssa-block">Plain</span> &#8594; <span class="b2 ssa-block">b2</span> <span class="l16 line-number">(<b>+16</b>)</span></li></ul><ul class="b2 ssa-print-func "><li class="ssa-start-block"><span class="b2 ssa-block">b2</span>: &#8592; <span class="b1 ssa-block">b1</span> <span class="b4 ssa-block">b4</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v5 ssa-long-value"><span class="v5 ssa-value">v5</span> <span class="l16 line-number">(<s>16</s>)</span> = Phi &lt;int&gt; <span class="v4 ssa-value">v4</span> <span class="v23 ssa-value">v23</span> (i[int])</span></li><li class="ssa-long-value "><span class="v26 ssa-long-value"><span class="v26 ssa-value">v26</span> <span class="l18 line-number">(<s>18</s>)</span> = Phi &lt;mem&gt; <span class="v1 ssa-value">v1</span> <span class="v27 ssa-value">v27</span></span></li><li class="ssa-long-value "><span class="v7 ssa-long-value"><span class="v7 ssa-value">v7</span> <span class="l16 line-number">(<b>+16</b>)</span> = Leq64 &lt;bool&gt; <span class="v5 ssa-value">v5</span> <span class="v6 ssa-value">v6</span></span></li></ul></li><li class="ssa-end-block"><span class="b2 ssa-block">If</span> <span class="v7 ssa-value">v7</span> &#8594; <span class="b3 ssa-block">b3</span> <span class="b5 ssa-block">b5</span> (likely) <span class="l16 line-number">(16)</span></li></ul><ul class="b3 ssa-print-func "><li class="ssa-start-block"><span class="b3 ssa-block">b3</span>: &#8592; <span class="b2 ssa-block">b2</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v34 ssa-long-value"><span class="v34 ssa-value">v34</span> <span class="l17 line-number">(<b>+17</b>)</span> = And64 &lt;int&gt; <span class="v5 ssa-value">v5</span> <span class="v35 ssa-value">v35</span></span></li><li class="ssa-long-value "><span class="v11 ssa-long-value"><span class="v11 ssa-value">v11</span> <span class="l17 line-number">(<b>+17</b>)</span> = Eq64 &lt;bool&gt; <span class="v34 ssa-value">v34</span> <span class="v36 ssa-value">v36</span></span></li></ul></li><li class="ssa-end-block"><span class="b3 ssa-block">If</span> <span class="v11 ssa-value">v11</span> &#8594; <span class="b6 ssa-block">b6</span> <span class="b7 ssa-block">b7</span> <span class="l17 line-number">(17)</span></li></ul><ul class="b4 ssa-print-func "><li class="ssa-start-block"><span class="b4 ssa-block">b4</span>: &#8592; <span class="b7 ssa-block">b7</span> <span class="b6 ssa-block">b6</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v27 ssa-long-value"><span class="v27 ssa-value">v27</span> <span class="l18 line-number">(<s>18</s>)</span> = Phi &lt;mem&gt; <span class="v14 ssa-value">v14</span> <span class="v17 ssa-value">v17</span></span></li><li class="ssa-long-value "><span class="v23 ssa-long-value"><span class="v23 ssa-value">v23</span> <span class="l16 line-number">(<b>+16</b>)</span> = Add64 &lt;int&gt; <span class="v3 ssa-value">v3</span> <span class="v5 ssa-value">v5</span> (i[int])</span></li></ul></li><li class="ssa-end-block"><span class="b4 ssa-block">Plain</span> &#8594; <span class="b2 ssa-block">b2</span> <span class="l16 line-number">(16)</span></li></ul><ul class="b5 ssa-print-func "><li class="ssa-start-block"><span class="b5 ssa-block">b5</span>: &#8592; <span class="b2 ssa-block">b2</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v25 ssa-long-value"><span class="v25 ssa-value">v25</span> <span class="l15 line-number">(<b>+15</b>)</span> = MakeResult &lt;mem&gt; <span class="v26 ssa-value">v26</span></span></li></ul></li><li class="ssa-end-block"><span class="b5 ssa-block">Ret</span> <span class="v25 ssa-value">v25</span> <span class="l16 line-number">(<b>+16</b>)</span></li></ul><ul class="b6 ssa-print-func "><li class="ssa-start-block"><span class="b6 ssa-block">b6</span>: &#8592; <span class="b3 ssa-block">b3</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v16 ssa-long-value"><span class="v16 ssa-value">v16</span> <span class="l21 line-number">(<b>+21</b>)</span> = StaticCall &lt;mem&gt; {AuxCall{main.f}} <span class="v26 ssa-value">v26</span></span></li><li class="ssa-long-value "><span class="v17 ssa-long-value"><span class="v17 ssa-value">v17</span> <span class="l21 line-number">(21)</span> = SelectN &lt;mem&gt; [0] <span class="v16 ssa-value">v16</span></span></li></ul></li><li class="ssa-end-block"><span class="b6 ssa-block">Plain</span> &#8594; <span class="b4 ssa-block">b4</span> <span class="l21 line-number">(21)</span></li></ul><ul class="b7 ssa-print-func "><li class="ssa-start-block"><span class="b7 ssa-block">b7</span>: &#8592; <span class="b3 ssa-block">b3</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v13 ssa-long-value"><span class="v13 ssa-value">v13</span> <span class="l18 line-number">(<b>+18</b>)</span> = StaticCall &lt;mem&gt; {AuxCall{main.g}} <span class="v26 ssa-value">v26</span></span></li><li class="ssa-long-value "><span class="v14 ssa-long-value"><span class="v14 ssa-value">v14</span> <span class="l18 line-number">(18)</span> = SelectN &lt;mem&gt; [0] <span class="v13 ssa-value">v13</span></span></li></ul></li><li class="ssa-end-block"><span class="b7 ssa-block">Plain</span> &#8594; <span class="b4 ssa-block">b4</span> <span class="l19 line-number">(<b>+19</b>)</span></li></ul><li>name i[int]: <span class="v4 ssa-value">v4</span> <span class="v5 ssa-value">v5</span> <span class="v23 ssa-value">v23</span> </li></code></td>
+<td id="dead-auto-elim--+--sccp-col" class="collapsed"><div>dead auto elim  +  sccp</div></td><td id="dead-auto-elim--+--sccp-exp" class="hash-3b921156b3e3481186caa823403c0ca5c5238600b98f2fe7b0bd11b936a9386b"><h2>dead auto elim <span class="stats">[1900 ns]</span></h2><h2>sccp <span class="stats">[18100 ns]</span></h2><code><ul class="b1 ssa-print-func "><li class="ssa-start-block"><span class="b1 ssa-block">b1</span>:<button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v1 ssa-long-value"><span class="v1 ssa-value">v1</span> <span class="no-line-number">(?)</span> = InitMem &lt;mem&gt;</span></li><li class="ssa-long-value "><span class="v4 ssa-long-value"><span class="v4 ssa-value">v4</span> <span class="no-line-number">(?)</span> = Const64 &lt;int&gt; [8] (i[int])</span></li><li class="ssa-long-value "><span class="v6 ssa-long-value"><span class="v6 ssa-value">v6</span> <span class="no-line-number">(?)</span> = Const64 &lt;int&gt; [20]</span></li><li class="ssa-long-value "><span class="v35 ssa-long-value"><span class="v35 ssa-value">v35</span> <span class="l17 line-number">(17)</span> = Const64 &lt;int&gt; [7]</span></li><li class="ssa-long-value "><span class="v36 ssa-long-value"><span class="v36 ssa-value">v36</span> <span class="l17 line-number">(17)</span> = Const64 &lt;int&gt; [0]</span></li><li class="ssa-long-value "><span class="v3 ssa-long-value"><span class="v3 ssa-value">v3</span> <span class="l16 line-number">(16)</span> = Const64 &lt;int&gt; [4]</span></li><li class="ssa-long-value dead-value"><span class="v22 ssa-long-value"><span class="v22 ssa-value">v22</span> <span class="l16 line-number">(<b>+16</b>)</span> = ConstBool &lt;bool&gt; [true]</span></li><li class="ssa-long-value dead-value"><span class="v18 ssa-long-value"><span class="v18 ssa-value">v18</span> <span class="l17 line-number">(<b>+17</b>)</span> = Const64 &lt;int&gt; [0]</span></li><li class="ssa-long-value dead-value"><span class="v8 ssa-long-value"><span class="v8 ssa-value">v8</span> <span class="l16 line-number">(<b>+16</b>)</span> = ConstBool &lt;bool&gt; [true]</span></li><li class="ssa-long-value dead-value"><span class="v21 ssa-long-value"><span class="v21 ssa-value">v21</span> <span class="l17 line-number">(<b>+17</b>)</span> = Const64 &lt;int&gt; [0]</span></li><li class="ssa-long-value dead-value"><span class="v20 ssa-long-value"><span class="v20 ssa-value">v20</span> <span class="l17 line-number">(<b>+17</b>)</span> = ConstBool &lt;bool&gt; [true]</span></li><li class="ssa-long-value dead-value"><span class="v33 ssa-long-value"><span class="v33 ssa-value">v33</span> <span class="l16 line-number">(<b>+16</b>)</span> = Const64 &lt;int&gt; [12]</span></li></ul></li><li class="ssa-end-block"><span class="b1 ssa-block">Plain</span> &#8594; <span class="b2 ssa-block">b2</span> <span class="l16 line-number">(<b>+16</b>)</span></li></ul><ul class="b2 ssa-print-func "><li class="ssa-start-block"><span class="b2 ssa-block">b2</span>: &#8592; <span class="b1 ssa-block">b1</span> <span class="b4 ssa-block">b4</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v5 ssa-long-value"><span class="v5 ssa-value">v5</span> <span class="l16 line-number">(<s>16</s>)</span> = Phi &lt;int&gt; <span class="v4 ssa-value">v4</span> <span class="v23 ssa-value">v23</span> (i[int])</span></li><li class="ssa-long-value "><span class="v26 ssa-long-value"><span class="v26 ssa-value">v26</span> <span class="l18 line-number">(<s>18</s>)</span> = Phi &lt;mem&gt; <span class="v1 ssa-value">v1</span> <span class="v27 ssa-value">v27</span></span></li><li class="ssa-long-value "><span class="v7 ssa-long-value"><span class="v7 ssa-value">v7</span> <span class="l16 line-number">(<b>+16</b>)</span> = Leq64 &lt;bool&gt; <span class="v5 ssa-value">v5</span> <span class="v6 ssa-value">v6</span></span></li></ul></li><li class="ssa-end-block"><span class="b2 ssa-block">If</span> <span class="v7 ssa-value">v7</span> &#8594; <span class="b3 ssa-block">b3</span> <span class="b5 ssa-block">b5</span> (likely) <span class="l16 line-number">(16)</span></li></ul><ul class="b3 ssa-print-func "><li class="ssa-start-block"><span class="b3 ssa-block">b3</span>: &#8592; <span class="b2 ssa-block">b2</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v34 ssa-long-value"><span class="v34 ssa-value">v34</span> <span class="l17 line-number">(<b>+17</b>)</span> = And64 &lt;int&gt; <span class="v5 ssa-value">v5</span> <span class="v35 ssa-value">v35</span></span></li><li class="ssa-long-value "><span class="v11 ssa-long-value"><span class="v11 ssa-value">v11</span> <span class="l17 line-number">(<b>+17</b>)</span> = Eq64 &lt;bool&gt; <span class="v34 ssa-value">v34</span> <span class="v36 ssa-value">v36</span></span></li></ul></li><li class="ssa-end-block"><span class="b3 ssa-block">If</span> <span class="v11 ssa-value">v11</span> &#8594; <span class="b6 ssa-block">b6</span> <span class="b7 ssa-block">b7</span> <span class="l17 line-number">(17)</span></li></ul><ul class="b4 ssa-print-func "><li class="ssa-start-block"><span class="b4 ssa-block">b4</span>: &#8592; <span class="b7 ssa-block">b7</span> <span class="b6 ssa-block">b6</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v27 ssa-long-value"><span class="v27 ssa-value">v27</span> <span class="l18 line-number">(<s>18</s>)</span> = Phi &lt;mem&gt; <span class="v14 ssa-value">v14</span> <span class="v17 ssa-value">v17</span></span></li><li class="ssa-long-value "><span class="v23 ssa-long-value"><span class="v23 ssa-value">v23</span> <span class="l16 line-number">(<b>+16</b>)</span> = Add64 &lt;int&gt; <span class="v3 ssa-value">v3</span> <span class="v5 ssa-value">v5</span> (i[int])</span></li></ul></li><li class="ssa-end-block"><span class="b4 ssa-block">Plain</span> &#8594; <span class="b2 ssa-block">b2</span> <span class="l16 line-number">(16)</span></li></ul><ul class="b5 ssa-print-func "><li class="ssa-start-block"><span class="b5 ssa-block">b5</span>: &#8592; <span class="b2 ssa-block">b2</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v25 ssa-long-value"><span class="v25 ssa-value">v25</span> <span class="l15 line-number">(<b>+15</b>)</span> = MakeResult &lt;mem&gt; <span class="v26 ssa-value">v26</span></span></li></ul></li><li class="ssa-end-block"><span class="b5 ssa-block">Ret</span> <span class="v25 ssa-value">v25</span> <span class="l16 line-number">(<b>+16</b>)</span></li></ul><ul class="b6 ssa-print-func "><li class="ssa-start-block"><span class="b6 ssa-block">b6</span>: &#8592; <span class="b3 ssa-block">b3</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v16 ssa-long-value"><span class="v16 ssa-value">v16</span> <span class="l21 line-number">(<b>+21</b>)</span> = StaticCall &lt;mem&gt; {AuxCall{main.f}} <span class="v26 ssa-value">v26</span></span></li><li class="ssa-long-value "><span class="v17 ssa-long-value"><span class="v17 ssa-value">v17</span> <span class="l21 line-number">(21)</span> = SelectN &lt;mem&gt; [0] <span class="v16 ssa-value">v16</span></span></li></ul></li><li class="ssa-end-block"><span class="b6 ssa-block">Plain</span> &#8594; <span class="b4 ssa-block">b4</span> <span class="l21 line-number">(21)</span></li></ul><ul class="b7 ssa-print-func "><li class="ssa-start-block"><span class="b7 ssa-block">b7</span>: &#8592; <span class="b3 ssa-block">b3</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v13 ssa-long-value"><span class="v13 ssa-value">v13</span> <span class="l18 line-number">(<b>+18</b>)</span> = StaticCall &lt;mem&gt; {AuxCall{main.g}} <span class="v26 ssa-value">v26</span></span></li><li class="ssa-long-value "><span class="v14 ssa-long-value"><span class="v14 ssa-value">v14</span> <span class="l18 line-number">(18)</span> = SelectN &lt;mem&gt; [0] <span class="v13 ssa-value">v13</span></span></li></ul></li><li class="ssa-end-block"><span class="b7 ssa-block">Plain</span> &#8594; <span class="b4 ssa-block">b4</span> <span class="l19 line-number">(<b>+19</b>)</span></li></ul><li>name i[int]: <span class="v4 ssa-value">v4</span> <span class="v5 ssa-value">v5</span> <span class="v23 ssa-value">v23</span> </li></code></td>
+<td id="generic-deadcode-col" class="collapsed"><div>generic deadcode</div></td><td id="generic-deadcode-exp" class="hash-5f8244bd31b88c088b714453541f86ca44e32e911a2a7b20eddba781b1080f88"><h2>generic deadcode <span class="stats">[4500 ns]</span></h2><code><ul class="b1 ssa-print-func "><li class="ssa-start-block"><span class="b1 ssa-block">b1</span>:<button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v1 ssa-long-value"><span class="v1 ssa-value">v1</span> <span class="no-line-number">(?)</span> = InitMem &lt;mem&gt;</span></li><li class="ssa-long-value "><span class="v4 ssa-long-value"><span class="v4 ssa-value">v4</span> <span class="no-line-number">(?)</span> = Const64 &lt;int&gt; [8] (i[int])</span></li><li class="ssa-long-value "><span class="v6 ssa-long-value"><span class="v6 ssa-value">v6</span> <span class="no-line-number">(?)</span> = Const64 &lt;int&gt; [20]</span></li><li class="ssa-long-value "><span class="v35 ssa-long-value"><span class="v35 ssa-value">v35</span> <span class="l17 line-number">(<b>+17</b>)</span> = Const64 &lt;int&gt; [7]</span></li><li class="ssa-long-value "><span class="v36 ssa-long-value"><span class="v36 ssa-value">v36</span> <span class="l17 line-number">(17)</span> = Const64 &lt;int&gt; [0]</span></li><li class="ssa-long-value "><span class="v3 ssa-long-value"><span class="v3 ssa-value">v3</span> <span class="l16 line-number">(<b>+16</b>)</span> = Const64 &lt;int&gt; [4]</span></li></ul></li><li class="ssa-end-block"><span class="b1 ssa-block">Plain</span> &#8594; <span class="b2 ssa-block">b2</span> <span class="l16 line-number">(<b>+16</b>)</span></li></ul><ul class="b2 ssa-print-func "><li class="ssa-start-block"><span class="b2 ssa-block">b2</span>: &#8592; <span class="b1 ssa-block">b1</span> <span class="b4 ssa-block">b4</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v5 ssa-long-value"><span class="v5 ssa-value">v5</span> <span class="l16 line-number">(<s>16</s>)</span> = Phi &lt;int&gt; <span class="v4 ssa-value">v4</span> <span class="v23 ssa-value">v23</span> (i[int])</span></li><li class="ssa-long-value "><span class="v26 ssa-long-value"><span class="v26 ssa-value">v26</span> <span class="l18 line-number">(<s>18</s>)</span> = Phi &lt;mem&gt; <span class="v1 ssa-value">v1</span> <span class="v27 ssa-value">v27</span></span></li><li class="ssa-long-value "><span class="v7 ssa-long-value"><span class="v7 ssa-value">v7</span> <span class="l16 line-number">(<b>+16</b>)</span> = Leq64 &lt;bool&gt; <span class="v5 ssa-value">v5</span> <span class="v6 ssa-value">v6</span></span></li></ul></li><li class="ssa-end-block"><span class="b2 ssa-block">If</span> <span class="v7 ssa-value">v7</span> &#8594; <span class="b3 ssa-block">b3</span> <span class="b5 ssa-block">b5</span> (likely) <span class="l16 line-number">(16)</span></li></ul><ul class="b3 ssa-print-func "><li class="ssa-start-block"><span class="b3 ssa-block">b3</span>: &#8592; <span class="b2 ssa-block">b2</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v34 ssa-long-value"><span class="v34 ssa-value">v34</span> <span class="l17 line-number">(<b>+17</b>)</span> = And64 &lt;int&gt; <span class="v5 ssa-value">v5</span> <span class="v35 ssa-value">v35</span></span></li><li class="ssa-long-value "><span class="v11 ssa-long-value"><span class="v11 ssa-value">v11</span> <span class="l17 line-number">(<b>+17</b>)</span> = Eq64 &lt;bool&gt; <span class="v34 ssa-value">v34</span> <span class="v36 ssa-value">v36</span></span></li></ul></li><li class="ssa-end-block"><span class="b3 ssa-block">If</span> <span class="v11 ssa-value">v11</span> &#8594; <span class="b6 ssa-block">b6</span> <span class="b7 ssa-block">b7</span> <span class="l17 line-number">(17)</span></li></ul><ul class="b4 ssa-print-func "><li class="ssa-start-block"><span class="b4 ssa-block">b4</span>: &#8592; <span class="b7 ssa-block">b7</span> <span class="b6 ssa-block">b6</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v27 ssa-long-value"><span class="v27 ssa-value">v27</span> <span class="l18 line-number">(<s>18</s>)</span> = Phi &lt;mem&gt; <span class="v14 ssa-value">v14</span> <span class="v17 ssa-value">v17</span></span></li><li class="ssa-long-value "><span class="v23 ssa-long-value"><span class="v23 ssa-value">v23</span> <span class="l16 line-number">(<b>+16</b>)</span> = Add64 &lt;int&gt; <span class="v3 ssa-value">v3</span> <span class="v5 ssa-value">v5</span> (i[int])</span></li></ul></li><li class="ssa-end-block"><span class="b4 ssa-block">Plain</span> &#8594; <span class="b2 ssa-block">b2</span> <span class="l16 line-number">(16)</span></li></ul><ul class="b5 ssa-print-func "><li class="ssa-start-block"><span class="b5 ssa-block">b5</span>: &#8592; <span class="b2 ssa-block">b2</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v25 ssa-long-value"><span class="v25 ssa-value">v25</span> <span class="l15 line-number">(<b>+15</b>)</span> = MakeResult &lt;mem&gt; <span class="v26 ssa-value">v26</span></span></li></ul></li><li class="ssa-end-block"><span class="b5 ssa-block">Ret</span> <span class="v25 ssa-value">v25</span> <span class="l16 line-number">(<b>+16</b>)</span></li></ul><ul class="b6 ssa-print-func "><li class="ssa-start-block"><span class="b6 ssa-block">b6</span>: &#8592; <span class="b3 ssa-block">b3</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v16 ssa-long-value"><span class="v16 ssa-value">v16</span> <span class="l21 line-number">(<b>+21</b>)</span> = StaticCall &lt;mem&gt; {AuxCall{main.f}} <span class="v26 ssa-value">v26</span></span></li><li class="ssa-long-value "><span class="v17 ssa-long-value"><span class="v17 ssa-value">v17</span> <span class="l21 line-number">(21)</span> = SelectN &lt;mem&gt; [0] <span class="v16 ssa-value">v16</span></span></li></ul></li><li class="ssa-end-block"><span class="b6 ssa-block">Plain</span> &#8594; <span class="b4 ssa-block">b4</span> <span class="l21 line-number">(21)</span></li></ul><ul class="b7 ssa-print-func "><li class="ssa-start-block"><span class="b7 ssa-block">b7</span>: &#8592; <span class="b3 ssa-block">b3</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v13 ssa-long-value"><span class="v13 ssa-value">v13</span> <span class="l18 line-number">(<b>+18</b>)</span> = StaticCall &lt;mem&gt; {AuxCall{main.g}} <span class="v26 ssa-value">v26</span></span></li><li class="ssa-long-value "><span class="v14 ssa-long-value"><span class="v14 ssa-value">v14</span> <span class="l18 line-number">(18)</span> = SelectN &lt;mem&gt; [0] <span class="v13 ssa-value">v13</span></span></li></ul></li><li class="ssa-end-block"><span class="b7 ssa-block">Plain</span> &#8594; <span class="b4 ssa-block">b4</span> <span class="l19 line-number">(<b>+19</b>)</span></li></ul><li>name i[int]: <span class="v4 ssa-value">v4</span> <span class="v5 ssa-value">v5</span> <span class="v23 ssa-value">v23</span> </li></code></td>
+<td id="check-bce--+--branchelim--+--late-fuse-col" class="collapsed"><div>check bce  +  branchelim  +  late fuse</div></td><td id="check-bce--+--branchelim--+--late-fuse-exp" class="hash-72dbdca7479fea29dc3f4f4ac894f7bfd36e89e129051e9bcca581bf996a1a64"><h2>check bce <span class="stats">[300 ns]</span></h2><h2>branchelim <span class="stats">[1000 ns]</span></h2><h2>late fuse <span class="stats">[1900 ns]</span></h2><code><ul class="b1 ssa-print-func "><li class="ssa-start-block"><span class="b1 ssa-block">b1</span>:<button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v1 ssa-long-value"><span class="v1 ssa-value">v1</span> <span class="no-line-number">(?)</span> = InitMem &lt;mem&gt;</span></li><li class="ssa-long-value "><span class="v4 ssa-long-value"><span class="v4 ssa-value">v4</span> <span class="no-line-number">(?)</span> = Const64 &lt;int&gt; [8] (i[int])</span></li><li class="ssa-long-value "><span class="v6 ssa-long-value"><span class="v6 ssa-value">v6</span> <span class="no-line-number">(?)</span> = Const64 &lt;int&gt; [20]</span></li><li class="ssa-long-value "><span class="v35 ssa-long-value"><span class="v35 ssa-value">v35</span> <span class="l17 line-number">(<b>+17</b>)</span> = Const64 &lt;int&gt; [7]</span></li><li class="ssa-long-value "><span class="v36 ssa-long-value"><span class="v36 ssa-value">v36</span> <span class="l17 line-number">(17)</span> = Const64 &lt;int&gt; [0]</span></li><li class="ssa-long-value "><span class="v3 ssa-long-value"><span class="v3 ssa-value">v3</span> <span class="l16 line-number">(<b>+16</b>)</span> = Const64 &lt;int&gt; [4]</span></li><li class="ssa-long-value dead-value"><span class="v33 ssa-long-value"><span class="v33 ssa-value">v33</span> <span class="no-line-number">(?)</span> = Const64 &lt;int64&gt; [0]</span></li></ul></li><li class="ssa-end-block"><span class="b1 ssa-block">Plain</span> &#8594; <span class="b2 ssa-block">b2</span> <span class="l16 line-number">(<b>+16</b>)</span></li></ul><ul class="b2 ssa-print-func "><li class="ssa-start-block"><span class="b2 ssa-block">b2</span>: &#8592; <span class="b1 ssa-block">b1</span> <span class="b4 ssa-block">b4</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v5 ssa-long-value"><span class="v5 ssa-value">v5</span> <span class="l16 line-number">(<s>16</s>)</span> = Phi &lt;int&gt; <span class="v4 ssa-value">v4</span> <span class="v23 ssa-value">v23</span> (i[int])</span></li><li class="ssa-long-value "><span class="v26 ssa-long-value"><span class="v26 ssa-value">v26</span> <span class="l18 line-number">(<s>18</s>)</span> = Phi &lt;mem&gt; <span class="v1 ssa-value">v1</span> <span class="v27 ssa-value">v27</span></span></li><li class="ssa-long-value "><span class="v7 ssa-long-value"><span class="v7 ssa-value">v7</span> <span class="l16 line-number">(<b>+16</b>)</span> = Leq64 &lt;bool&gt; <span class="v5 ssa-value">v5</span> <span class="v6 ssa-value">v6</span></span></li></ul></li><li class="ssa-end-block"><span class="b2 ssa-block">If</span> <span class="v7 ssa-value">v7</span> &#8594; <span class="b3 ssa-block">b3</span> <span class="b5 ssa-block">b5</span> (likely) <span class="l16 line-number">(16)</span></li></ul><ul class="b3 ssa-print-func "><li class="ssa-start-block"><span class="b3 ssa-block">b3</span>: &#8592; <span class="b2 ssa-block">b2</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v34 ssa-long-value"><span class="v34 ssa-value">v34</span> <span class="l17 line-number">(<b>+17</b>)</span> = And64 &lt;int&gt; <span class="v5 ssa-value">v5</span> <span class="v35 ssa-value">v35</span></span></li><li class="ssa-long-value "><span class="v11 ssa-long-value"><span class="v11 ssa-value">v11</span> <span class="l17 line-number">(<b>+17</b>)</span> = Eq64 &lt;bool&gt; <span class="v34 ssa-value">v34</span> <span class="v36 ssa-value">v36</span></span></li></ul></li><li class="ssa-end-block"><span class="b3 ssa-block">If</span> <span class="v11 ssa-value">v11</span> &#8594; <span class="b6 ssa-block">b6</span> <span class="b7 ssa-block">b7</span> <span class="l17 line-number">(17)</span></li></ul><ul class="b4 ssa-print-func "><li class="ssa-start-block"><span class="b4 ssa-block">b4</span>: &#8592; <span class="b7 ssa-block">b7</span> <span class="b6 ssa-block">b6</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v27 ssa-long-value"><span class="v27 ssa-value">v27</span> <span class="l18 line-number">(<s>18</s>)</span> = Phi &lt;mem&gt; <span class="v14 ssa-value">v14</span> <span class="v17 ssa-value">v17</span></span></li><li class="ssa-long-value "><span class="v23 ssa-long-value"><span class="v23 ssa-value">v23</span> <span class="l16 line-number">(<b>+16</b>)</span> = Add64 &lt;int&gt; <span class="v3 ssa-value">v3</span> <span class="v5 ssa-value">v5</span> (i[int])</span></li></ul></li><li class="ssa-end-block"><span class="b4 ssa-block">Plain</span> &#8594; <span class="b2 ssa-block">b2</span> <span class="l16 line-number">(16)</span></li></ul><ul class="b5 ssa-print-func "><li class="ssa-start-block"><span class="b5 ssa-block">b5</span>: &#8592; <span class="b2 ssa-block">b2</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v25 ssa-long-value"><span class="v25 ssa-value">v25</span> <span class="l15 line-number">(<b>+15</b>)</span> = MakeResult &lt;mem&gt; <span class="v26 ssa-value">v26</span></span></li></ul></li><li class="ssa-end-block"><span class="b5 ssa-block">Ret</span> <span class="v25 ssa-value">v25</span> <span class="l16 line-number">(<b>+16</b>)</span></li></ul><ul class="b6 ssa-print-func "><li class="ssa-start-block"><span class="b6 ssa-block">b6</span>: &#8592; <span class="b3 ssa-block">b3</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v16 ssa-long-value"><span class="v16 ssa-value">v16</span> <span class="l21 line-number">(<b>+21</b>)</span> = StaticCall &lt;mem&gt; {AuxCall{main.f}} <span class="v26 ssa-value">v26</span></span></li><li class="ssa-long-value "><span class="v17 ssa-long-value"><span class="v17 ssa-value">v17</span> <span class="l21 line-number">(21)</span> = SelectN &lt;mem&gt; [0] <span class="v16 ssa-value">v16</span></span></li></ul></li><li class="ssa-end-block"><span class="b6 ssa-block">Plain</span> &#8594; <span class="b4 ssa-block">b4</span> <span class="l21 line-number">(21)</span></li></ul><ul class="b7 ssa-print-func "><li class="ssa-start-block"><span class="b7 ssa-block">b7</span>: &#8592; <span class="b3 ssa-block">b3</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v13 ssa-long-value"><span class="v13 ssa-value">v13</span> <span class="l18 line-number">(<b>+18</b>)</span> = StaticCall &lt;mem&gt; {AuxCall{main.g}} <span class="v26 ssa-value">v26</span></span></li><li class="ssa-long-value "><span class="v14 ssa-long-value"><span class="v14 ssa-value">v14</span> <span class="l18 line-number">(18)</span> = SelectN &lt;mem&gt; [0] <span class="v13 ssa-value">v13</span></span></li></ul></li><li class="ssa-end-block"><span class="b7 ssa-block">Plain</span> &#8594; <span class="b4 ssa-block">b4</span> <span class="l19 line-number">(<b>+19</b>)</span></li></ul><li>name i[int]: <span class="v4 ssa-value">v4</span> <span class="v5 ssa-value">v5</span> <span class="v23 ssa-value">v23</span> </li></code></td>
+<td id="dse--+--memcombine--+--writebarrier--+--lower-col" class="collapsed"><div>dse  +  memcombine  +  writebarrier  +  lower</div></td><td id="dse--+--memcombine--+--writebarrier--+--lower-exp" class="hash-4b60814c59f61248e24d58cdbb335e2bf0840f093dcaabf3c379efe52d26d953"><h2>dse <span class="stats">[3200 ns]</span></h2><h2>memcombine <span class="stats">[1100 ns]</span></h2><h2>writebarrier <span class="stats">[1800 ns]</span></h2><h2>lower <span class="stats">[18900 ns]</span></h2><code><ul class="b1 ssa-print-func "><li class="ssa-start-block"><span class="b1 ssa-block">b1</span>:<button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v1 ssa-long-value"><span class="v1 ssa-value">v1</span> <span class="no-line-number">(?)</span> = InitMem &lt;mem&gt;</span></li><li class="ssa-long-value "><span class="v4 ssa-long-value"><span class="v4 ssa-value">v4</span> <span class="no-line-number">(?)</span> = MOVQconst &lt;int&gt; [8] (i[int])</span></li></ul></li><li class="ssa-end-block"><span class="b1 ssa-block">Plain</span> &#8594; <span class="b2 ssa-block">b2</span> <span class="l16 line-number">(<b>+16</b>)</span></li></ul><ul class="b2 ssa-print-func "><li class="ssa-start-block"><span class="b2 ssa-block">b2</span>: &#8592; <span class="b1 ssa-block">b1</span> <span class="b4 ssa-block">b4</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v5 ssa-long-value"><span class="v5 ssa-value">v5</span> <span class="l16 line-number">(<s>16</s>)</span> = Phi &lt;int&gt; <span class="v4 ssa-value">v4</span> <span class="v23 ssa-value">v23</span> (i[int])</span></li><li class="ssa-long-value "><span class="v26 ssa-long-value"><span class="v26 ssa-value">v26</span> <span class="l18 line-number">(<s>18</s>)</span> = Phi &lt;mem&gt; <span class="v1 ssa-value">v1</span> <span class="v27 ssa-value">v27</span></span></li><li class="ssa-long-value "><span class="v21 ssa-long-value"><span class="v21 ssa-value">v21</span> <span class="l16 line-number">(<b>+16</b>)</span> = CMPQconst &lt;flags&gt; [20] <span class="v5 ssa-value">v5</span></span></li></ul></li><li class="ssa-end-block"><span class="b2 ssa-block">LE</span> <span class="v21 ssa-value">v21</span> &#8594; <span class="b3 ssa-block">b3</span> <span class="b5 ssa-block">b5</span> (likely) <span class="l16 line-number">(16)</span></li></ul><ul class="b3 ssa-print-func "><li class="ssa-start-block"><span class="b3 ssa-block">b3</span>: &#8592; <span class="b2 ssa-block">b2</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v18 ssa-long-value"><span class="v18 ssa-value">v18</span> <span class="l17 line-number">(<b>+17</b>)</span> = TESTQconst &lt;flags&gt; [7] <span class="v5 ssa-value">v5</span></span></li></ul></li><li class="ssa-end-block"><span class="b3 ssa-block">EQ</span> <span class="v18 ssa-value">v18</span> &#8594; <span class="b6 ssa-block">b6</span> <span class="b7 ssa-block">b7</span> <span class="l17 line-number">(17)</span></li></ul><ul class="b4 ssa-print-func "><li class="ssa-start-block"><span class="b4 ssa-block">b4</span>: &#8592; <span class="b7 ssa-block">b7</span> <span class="b6 ssa-block">b6</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v27 ssa-long-value"><span class="v27 ssa-value">v27</span> <span class="l18 line-number">(<s>18</s>)</span> = Phi &lt;mem&gt; <span class="v14 ssa-value">v14</span> <span class="v17 ssa-value">v17</span></span></li><li class="ssa-long-value "><span class="v23 ssa-long-value"><span class="v23 ssa-value">v23</span> <span class="l16 line-number">(<b>+16</b>)</span> = ADDQconst &lt;int&gt; [4] <span class="v5 ssa-value">v5</span> (i[int])</span></li></ul></li><li class="ssa-end-block"><span class="b4 ssa-block">Plain</span> &#8594; <span class="b2 ssa-block">b2</span> <span class="l16 line-number">(16)</span></li></ul><ul class="b5 ssa-print-func "><li class="ssa-start-block"><span class="b5 ssa-block">b5</span>: &#8592; <span class="b2 ssa-block">b2</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v25 ssa-long-value"><span class="v25 ssa-value">v25</span> <span class="l15 line-number">(<b>+15</b>)</span> = MakeResult &lt;mem&gt; <span class="v26 ssa-value">v26</span></span></li></ul></li><li class="ssa-end-block"><span class="b5 ssa-block">Ret</span> <span class="v25 ssa-value">v25</span> <span class="l16 line-number">(<b>+16</b>)</span></li></ul><ul class="b6 ssa-print-func "><li class="ssa-start-block"><span class="b6 ssa-block">b6</span>: &#8592; <span class="b3 ssa-block">b3</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v16 ssa-long-value"><span class="v16 ssa-value">v16</span> <span class="l21 line-number">(<b>+21</b>)</span> = CALLstatic &lt;mem&gt; {AuxCall{main.f}} <span class="v26 ssa-value">v26</span></span></li><li class="ssa-long-value "><span class="v17 ssa-long-value"><span class="v17 ssa-value">v17</span> <span class="l21 line-number">(21)</span> = SelectN &lt;mem&gt; [0] <span class="v16 ssa-value">v16</span></span></li></ul></li><li class="ssa-end-block"><span class="b6 ssa-block">Plain</span> &#8594; <span class="b4 ssa-block">b4</span> <span class="l21 line-number">(21)</span></li></ul><ul class="b7 ssa-print-func "><li class="ssa-start-block"><span class="b7 ssa-block">b7</span>: &#8592; <span class="b3 ssa-block">b3</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v13 ssa-long-value"><span class="v13 ssa-value">v13</span> <span class="l18 line-number">(<b>+18</b>)</span> = CALLstatic &lt;mem&gt; {AuxCall{main.g}} <span class="v26 ssa-value">v26</span></span></li><li class="ssa-long-value "><span class="v14 ssa-long-value"><span class="v14 ssa-value">v14</span> <span class="l18 line-number">(18)</span> = SelectN &lt;mem&gt; [0] <span class="v13 ssa-value">v13</span></span></li></ul></li><li class="ssa-end-block"><span class="b7 ssa-block">Plain</span> &#8594; <span class="b4 ssa-block">b4</span> <span class="l19 line-number">(<b>+19</b>)</span></li></ul><li>name i[int]: <span class="v4 ssa-value">v4</span> <span class="v5 ssa-value">v5</span> <span class="v23 ssa-value">v23</span> </li></code></td>
+<td id="addressing-modes--+--late-lower--+--lowered-deadcode-for-cse--+--lowered-cse--+--elim-unread-autos--+--tighten-tuple-selectors--+--lowered-deadcode--+--checkLower--+--late-phielim--+--late-copyelim--+--tighten--+--late-deadcode--+--critical--+--phi-tighten--+--likelyadjust--+--layout-col" class="collapsed"><div>addressing modes  +  late lower  +  lowered deadcode for cse  +  lowered cse  +  elim unread autos  +  tighten tuple selectors  +  lowered deadcode  +  checkLower  +  late phielim  +  late copyelim  +  tighten  +  late deadcode  +  critical  +  phi tighten  +  likelyadjust  +  layout</div></td><td id="addressing-modes--+--late-lower--+--lowered-deadcode-for-cse--+--lowered-cse--+--elim-unread-autos--+--tighten-tuple-selectors--+--lowered-deadcode--+--checkLower--+--late-phielim--+--late-copyelim--+--tighten--+--late-deadcode--+--critical--+--phi-tighten--+--likelyadjust--+--layout-exp" class="hash-f8d71b6fec8d66437389d45ce937c4627697c4e9decfb654c5912af041736ea0"><h2>addressing modes <span class="stats">[1200 ns]</span></h2><h2>late lower <span class="stats">[1400 ns]</span></h2><h2>lowered deadcode for cse <span class="stats">[2100 ns]</span></h2><h2>lowered cse <span class="stats">[2100 ns]</span></h2><h2>elim unread autos <span class="stats">[300 ns]</span></h2><h2>tighten tuple selectors <span class="stats">[1100 ns]</span></h2><h2>lowered deadcode <span class="stats">[1600 ns]</span></h2><h2>checkLower <span class="stats">[300 ns]</span></h2><h2>late phielim <span class="stats">[400 ns]</span></h2><h2>late copyelim <span class="stats">[500 ns]</span></h2><h2>tighten <span class="stats">[7900 ns]</span></h2><h2>late deadcode <span class="stats">[1300 ns]</span></h2><h2>critical <span class="stats">[900 ns]</span></h2><h2>phi tighten <span class="stats">[300 ns]</span></h2><h2>likelyadjust <span class="stats">[900 ns]</span></h2><h2>layout <span class="stats">[2800 ns]</span></h2><code><ul class="b1 ssa-print-func "><li class="ssa-start-block"><span class="b1 ssa-block">b1</span>:<button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v1 ssa-long-value"><span class="v1 ssa-value">v1</span> <span class="no-line-number">(?)</span> = InitMem &lt;mem&gt;</span></li><li class="ssa-long-value "><span class="v4 ssa-long-value"><span class="v4 ssa-value">v4</span> <span class="no-line-number">(?)</span> = MOVQconst &lt;int&gt; [8] (i[int])</span></li></ul></li><li class="ssa-end-block"><span class="b1 ssa-block">Plain</span> &#8594; <span class="b2 ssa-block">b2</span> <span class="l16 line-number">(<b>+16</b>)</span></li></ul><ul class="b2 ssa-print-func "><li class="ssa-start-block"><span class="b2 ssa-block">b2</span>: &#8592; <span class="b1 ssa-block">b1</span> <span class="b4 ssa-block">b4</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v5 ssa-long-value"><span class="v5 ssa-value">v5</span> <span class="l16 line-number">(<s>16</s>)</span> = Phi &lt;int&gt; <span class="v4 ssa-value">v4</span> <span class="v23 ssa-value">v23</span> (i[int])</span></li><li class="ssa-long-value "><span class="v26 ssa-long-value"><span class="v26 ssa-value">v26</span> <span class="l18 line-number">(<s>18</s>)</span> = Phi &lt;mem&gt; <span class="v1 ssa-value">v1</span> <span class="v27 ssa-value">v27</span></span></li><li class="ssa-long-value "><span class="v21 ssa-long-value"><span class="v21 ssa-value">v21</span> <span class="l16 line-number">(<b>+16</b>)</span> = CMPQconst &lt;flags&gt; [20] <span class="v5 ssa-value">v5</span></span></li></ul></li><li class="ssa-end-block"><span class="b2 ssa-block">LE</span> <span class="v21 ssa-value">v21</span> &#8594; <span class="b3 ssa-block">b3</span> <span class="b5 ssa-block">b5</span> (likely) <span class="l16 line-number">(16)</span></li></ul><ul class="b3 ssa-print-func "><li class="ssa-start-block"><span class="b3 ssa-block">b3</span>: &#8592; <span class="b2 ssa-block">b2</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v18 ssa-long-value"><span class="v18 ssa-value">v18</span> <span class="l17 line-number">(<b>+17</b>)</span> = TESTQconst &lt;flags&gt; [7] <span class="v5 ssa-value">v5</span></span></li></ul></li><li class="ssa-end-block"><span class="b3 ssa-block">EQ</span> <span class="v18 ssa-value">v18</span> &#8594; <span class="b6 ssa-block">b6</span> <span class="b7 ssa-block">b7</span> <span class="l17 line-number">(17)</span></li></ul><ul class="b6 ssa-print-func "><li class="ssa-start-block"><span class="b6 ssa-block">b6</span>: &#8592; <span class="b3 ssa-block">b3</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v16 ssa-long-value"><span class="v16 ssa-value">v16</span> <span class="l21 line-number">(<b>+21</b>)</span> = CALLstatic &lt;mem&gt; {AuxCall{main.f}} <span class="v26 ssa-value">v26</span></span></li><li class="ssa-long-value "><span class="v17 ssa-long-value"><span class="v17 ssa-value">v17</span> <span class="l21 line-number">(21)</span> = SelectN &lt;mem&gt; [0] <span class="v16 ssa-value">v16</span></span></li></ul></li><li class="ssa-end-block"><span class="b6 ssa-block">Plain</span> &#8594; <span class="b4 ssa-block">b4</span> <span class="l21 line-number">(21)</span></li></ul><ul class="b7 ssa-print-func "><li class="ssa-start-block"><span class="b7 ssa-block">b7</span>: &#8592; <span class="b3 ssa-block">b3</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v13 ssa-long-value"><span class="v13 ssa-value">v13</span> <span class="l18 line-number">(<b>+18</b>)</span> = CALLstatic &lt;mem&gt; {AuxCall{main.g}} <span class="v26 ssa-value">v26</span></span></li><li class="ssa-long-value "><span class="v14 ssa-long-value"><span class="v14 ssa-value">v14</span> <span class="l18 line-number">(18)</span> = SelectN &lt;mem&gt; [0] <span class="v13 ssa-value">v13</span></span></li></ul></li><li class="ssa-end-block"><span class="b7 ssa-block">Plain</span> &#8594; <span class="b4 ssa-block">b4</span> <span class="l19 line-number">(<b>+19</b>)</span></li></ul><ul class="b4 ssa-print-func "><li class="ssa-start-block"><span class="b4 ssa-block">b4</span>: &#8592; <span class="b7 ssa-block">b7</span> <span class="b6 ssa-block">b6</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v27 ssa-long-value"><span class="v27 ssa-value">v27</span> <span class="l18 line-number">(<s>18</s>)</span> = Phi &lt;mem&gt; <span class="v14 ssa-value">v14</span> <span class="v17 ssa-value">v17</span></span></li><li class="ssa-long-value "><span class="v23 ssa-long-value"><span class="v23 ssa-value">v23</span> <span class="l16 line-number">(<b>+16</b>)</span> = ADDQconst &lt;int&gt; [4] <span class="v5 ssa-value">v5</span> (i[int])</span></li></ul></li><li class="ssa-end-block"><span class="b4 ssa-block">Plain</span> &#8594; <span class="b2 ssa-block">b2</span> <span class="l16 line-number">(16)</span></li></ul><ul class="b5 ssa-print-func "><li class="ssa-start-block"><span class="b5 ssa-block">b5</span>: &#8592; <span class="b2 ssa-block">b2</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v25 ssa-long-value"><span class="v25 ssa-value">v25</span> <span class="l15 line-number">(<b>+15</b>)</span> = MakeResult &lt;mem&gt; <span class="v26 ssa-value">v26</span></span></li></ul></li><li class="ssa-end-block"><span class="b5 ssa-block">Ret</span> <span class="v25 ssa-value">v25</span> <span class="l16 line-number">(<b>+16</b>)</span></li></ul><li>name i[int]: <span class="v4 ssa-value">v4</span> <span class="v5 ssa-value">v5</span> <span class="v23 ssa-value">v23</span> </li></code></td>
+<td id="schedule--+--late-nilcheck--+--flagalloc--+--regalloc-col" class="collapsed"><div>schedule  +  late nilcheck  +  flagalloc  +  regalloc</div></td><td id="schedule--+--late-nilcheck--+--flagalloc--+--regalloc-exp" class="hash-15216a53c956e77c3fca474166c675175b2f66be1e9686fe16340e44fd00c317"><h2>schedule <span class="stats">[6600 ns]</span></h2><h2>late nilcheck <span class="stats">[1700 ns]</span></h2><h2>flagalloc <span class="stats">[3100 ns]</span></h2><h2>regalloc <span class="stats">[37500 ns]</span></h2><code><ul class="b1 ssa-print-func "><li class="ssa-start-block"><span class="b1 ssa-block">b1</span>:<button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v1 ssa-long-value"><span class="v1 ssa-value">v1</span> <span class="no-line-number">(?)</span> = InitMem &lt;mem&gt;</span></li><li class="ssa-long-value "><span class="v11 ssa-long-value"><span class="v11 ssa-value">v11</span> <span class="no-line-number">(?)</span> = MOVQconst &lt;int&gt; [8] : AX</span></li></ul></li><li class="ssa-end-block"><span class="b1 ssa-block">Plain</span> &#8594; <span class="b2 ssa-block">b2</span> <span class="l16 line-number">(<b>+16</b>)</span></li></ul><ul class="b2 ssa-print-func "><li class="ssa-start-block"><span class="b2 ssa-block">b2</span>: &#8592; <span class="b1 ssa-block">b1</span> <span class="b4 ssa-block">b4</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v5 ssa-long-value"><span class="v5 ssa-value">v5</span> <span class="l16 line-number">(<s>16</s>)</span> = Phi &lt;int&gt; <span class="v11 ssa-value">v11</span> <span class="v23 ssa-value">v23</span> : AX (i[int])</span></li><li class="ssa-long-value "><span class="v26 ssa-long-value"><span class="v26 ssa-value">v26</span> <span class="l18 line-number">(<s>18</s>)</span> = Phi &lt;mem&gt; <span class="v1 ssa-value">v1</span> <span class="v27 ssa-value">v27</span></span></li><li class="ssa-long-value "><span class="v21 ssa-long-value"><span class="v21 ssa-value">v21</span> <span class="l16 line-number">(<b>+16</b>)</span> = CMPQconst &lt;flags&gt; [20] <span class="v5 ssa-value">v5</span></span></li></ul></li><li class="ssa-end-block"><span class="b2 ssa-block">LE</span> <span class="v21 ssa-value">v21</span> &#8594; <span class="b3 ssa-block">b3</span> <span class="b5 ssa-block">b5</span> (likely) <span class="l16 line-number">(16)</span></li></ul><ul class="b3 ssa-print-func "><li class="ssa-start-block"><span class="b3 ssa-block">b3</span>: &#8592; <span class="b2 ssa-block">b2</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v8 ssa-long-value"><span class="v8 ssa-value">v8</span> <span class="l16 line-number">(<s>16</s>)</span> = StoreReg &lt;int&gt; <span class="v5 ssa-value">v5</span> : i[int]</span></li><li class="ssa-long-value "><span class="v18 ssa-long-value"><span class="v18 ssa-value">v18</span> <span class="l17 line-number">(<b>+17</b>)</span> = TESTQconst &lt;flags&gt; [7] <span class="v5 ssa-value">v5</span></span></li></ul></li><li class="ssa-end-block"><span class="b3 ssa-block">EQ</span> <span class="v18 ssa-value">v18</span> &#8594; <span class="b6 ssa-block">b6</span> <span class="b7 ssa-block">b7</span> <span class="l17 line-number">(17)</span></li></ul><ul class="b6 ssa-print-func "><li class="ssa-start-block"><span class="b6 ssa-block">b6</span>: &#8592; <span class="b3 ssa-block">b3</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v16 ssa-long-value"><span class="v16 ssa-value">v16</span> <span class="l21 line-number">(<b>+21</b>)</span> = CALLstatic &lt;mem&gt; {AuxCall{main.f}} <span class="v26 ssa-value">v26</span></span></li><li class="ssa-long-value "><span class="v17 ssa-long-value"><span class="v17 ssa-value">v17</span> <span class="l21 line-number">(21)</span> = SelectN &lt;mem&gt; [0] <span class="v16 ssa-value">v16</span></span></li></ul></li><li class="ssa-end-block"><span class="b6 ssa-block">Plain</span> &#8594; <span class="b4 ssa-block">b4</span> <span class="l21 line-number">(21)</span></li></ul><ul class="b7 ssa-print-func "><li class="ssa-start-block"><span class="b7 ssa-block">b7</span>: &#8592; <span class="b3 ssa-block">b3</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v13 ssa-long-value"><span class="v13 ssa-value">v13</span> <span class="l18 line-number">(<b>+18</b>)</span> = CALLstatic &lt;mem&gt; {AuxCall{main.g}} <span class="v26 ssa-value">v26</span></span></li><li class="ssa-long-value "><span class="v14 ssa-long-value"><span class="v14 ssa-value">v14</span> <span class="l18 line-number">(18)</span> = SelectN &lt;mem&gt; [0] <span class="v13 ssa-value">v13</span></span></li></ul></li><li class="ssa-end-block"><span class="b7 ssa-block">Plain</span> &#8594; <span class="b4 ssa-block">b4</span> <span class="l19 line-number">(<b>+19</b>)</span></li></ul><ul class="b4 ssa-print-func "><li class="ssa-start-block"><span class="b4 ssa-block">b4</span>: &#8592; <span class="b7 ssa-block">b7</span> <span class="b6 ssa-block">b6</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v27 ssa-long-value"><span class="v27 ssa-value">v27</span> <span class="l18 line-number">(<s>18</s>)</span> = Phi &lt;mem&gt; <span class="v14 ssa-value">v14</span> <span class="v17 ssa-value">v17</span></span></li><li class="ssa-long-value "><span class="v34 ssa-long-value"><span class="v34 ssa-value">v34</span> <span class="l16 line-number">(<s>16</s>)</span> = LoadReg &lt;int&gt; <span class="v8 ssa-value">v8</span> : AX</span></li><li class="ssa-long-value "><span class="v23 ssa-long-value"><span class="v23 ssa-value">v23</span> <span class="l16 line-number">(<b>+16</b>)</span> = ADDQconst &lt;int&gt; [4] <span class="v34 ssa-value">v34</span> : AX (i[int])</span></li></ul></li><li class="ssa-end-block"><span class="b4 ssa-block">Plain</span> &#8594; <span class="b2 ssa-block">b2</span> <span class="l16 line-number">(16)</span></li></ul><ul class="b5 ssa-print-func "><li class="ssa-start-block"><span class="b5 ssa-block">b5</span>: &#8592; <span class="b2 ssa-block">b2</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v25 ssa-long-value"><span class="v25 ssa-value">v25</span> <span class="l15 line-number">(<b>+15</b>)</span> = MakeResult &lt;mem&gt; <span class="v26 ssa-value">v26</span></span></li></ul></li><li class="ssa-end-block"><span class="b5 ssa-block">Ret</span> <span class="v25 ssa-value">v25</span> <span class="l16 line-number">(<b>+16</b>)</span></li></ul><li>name i[int]: <span class="v4 ssa-value">v4</span> <span class="v5 ssa-value">v5</span> <span class="v23 ssa-value">v23</span> </li></code></td>
+<td id="loop-rotate-col" class="collapsed"><div>loop rotate</div></td><td id="loop-rotate-exp" class="hash-e0a571b0938b0dbd267a9c89316e4d1c7af529ca53e31d10992a67ffb301f63c"><h2>loop rotate <span class="stats">[2200 ns]</span></h2><code><ul class="b1 ssa-print-func "><li class="ssa-start-block"><span class="b1 ssa-block">b1</span>:<button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v1 ssa-long-value"><span class="v1 ssa-value">v1</span> <span class="no-line-number">(?)</span> = InitMem &lt;mem&gt;</span></li><li class="ssa-long-value "><span class="v11 ssa-long-value"><span class="v11 ssa-value">v11</span> <span class="no-line-number">(?)</span> = MOVQconst &lt;int&gt; [8] : AX</span></li></ul></li><li class="ssa-end-block"><span class="b1 ssa-block">Plain</span> &#8594; <span class="b2 ssa-block">b2</span> <span class="l16 line-number">(<b>+16</b>)</span></li></ul><ul class="b4 ssa-print-func "><li class="ssa-start-block"><span class="b4 ssa-block">b4</span>: &#8592; <span class="b7 ssa-block">b7</span> <span class="b6 ssa-block">b6</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v27 ssa-long-value"><span class="v27 ssa-value">v27</span> <span class="l18 line-number">(<s>18</s>)</span> = Phi &lt;mem&gt; <span class="v14 ssa-value">v14</span> <span class="v17 ssa-value">v17</span></span></li><li class="ssa-long-value "><span class="v34 ssa-long-value"><span class="v34 ssa-value">v34</span> <span class="l16 line-number">(<s>16</s>)</span> = LoadReg &lt;int&gt; <span class="v8 ssa-value">v8</span> : AX</span></li><li class="ssa-long-value "><span class="v23 ssa-long-value"><span class="v23 ssa-value">v23</span> <span class="l16 line-number">(<b>+16</b>)</span> = ADDQconst &lt;int&gt; [4] <span class="v34 ssa-value">v34</span> : AX (i[int])</span></li></ul></li><li class="ssa-end-block"><span class="b4 ssa-block">Plain</span> &#8594; <span class="b2 ssa-block">b2</span> <span class="l16 line-number">(16)</span></li></ul><ul class="b2 ssa-print-func "><li class="ssa-start-block"><span class="b2 ssa-block">b2</span>: &#8592; <span class="b1 ssa-block">b1</span> <span class="b4 ssa-block">b4</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v5 ssa-long-value"><span class="v5 ssa-value">v5</span> <span class="l16 line-number">(<s>16</s>)</span> = Phi &lt;int&gt; <span class="v11 ssa-value">v11</span> <span class="v23 ssa-value">v23</span> : AX (i[int])</span></li><li class="ssa-long-value "><span class="v26 ssa-long-value"><span class="v26 ssa-value">v26</span> <span class="l18 line-number">(<s>18</s>)</span> = Phi &lt;mem&gt; <span class="v1 ssa-value">v1</span> <span class="v27 ssa-value">v27</span></span></li><li class="ssa-long-value "><span class="v21 ssa-long-value"><span class="v21 ssa-value">v21</span> <span class="l16 line-number">(<b>+16</b>)</span> = CMPQconst &lt;flags&gt; [20] <span class="v5 ssa-value">v5</span></span></li></ul></li><li class="ssa-end-block"><span class="b2 ssa-block">LE</span> <span class="v21 ssa-value">v21</span> &#8594; <span class="b3 ssa-block">b3</span> <span class="b5 ssa-block">b5</span> (likely) <span class="l16 line-number">(16)</span></li></ul><ul class="b3 ssa-print-func "><li class="ssa-start-block"><span class="b3 ssa-block">b3</span>: &#8592; <span class="b2 ssa-block">b2</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v8 ssa-long-value"><span class="v8 ssa-value">v8</span> <span class="l16 line-number">(<s>16</s>)</span> = StoreReg &lt;int&gt; <span class="v5 ssa-value">v5</span> : i[int]</span></li><li class="ssa-long-value "><span class="v18 ssa-long-value"><span class="v18 ssa-value">v18</span> <span class="l17 line-number">(<b>+17</b>)</span> = TESTQconst &lt;flags&gt; [7] <span class="v5 ssa-value">v5</span></span></li></ul></li><li class="ssa-end-block"><span class="b3 ssa-block">EQ</span> <span class="v18 ssa-value">v18</span> &#8594; <span class="b6 ssa-block">b6</span> <span class="b7 ssa-block">b7</span> <span class="l17 line-number">(17)</span></li></ul><ul class="b6 ssa-print-func "><li class="ssa-start-block"><span class="b6 ssa-block">b6</span>: &#8592; <span class="b3 ssa-block">b3</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v16 ssa-long-value"><span class="v16 ssa-value">v16</span> <span class="l21 line-number">(<b>+21</b>)</span> = CALLstatic &lt;mem&gt; {AuxCall{main.f}} <span class="v26 ssa-value">v26</span></span></li><li class="ssa-long-value "><span class="v17 ssa-long-value"><span class="v17 ssa-value">v17</span> <span class="l21 line-number">(21)</span> = SelectN &lt;mem&gt; [0] <span class="v16 ssa-value">v16</span></span></li></ul></li><li class="ssa-end-block"><span class="b6 ssa-block">Plain</span> &#8594; <span class="b4 ssa-block">b4</span> <span class="l21 line-number">(21)</span></li></ul><ul class="b7 ssa-print-func "><li class="ssa-start-block"><span class="b7 ssa-block">b7</span>: &#8592; <span class="b3 ssa-block">b3</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v13 ssa-long-value"><span class="v13 ssa-value">v13</span> <span class="l18 line-number">(<b>+18</b>)</span> = CALLstatic &lt;mem&gt; {AuxCall{main.g}} <span class="v26 ssa-value">v26</span></span></li><li class="ssa-long-value "><span class="v14 ssa-long-value"><span class="v14 ssa-value">v14</span> <span class="l18 line-number">(18)</span> = SelectN &lt;mem&gt; [0] <span class="v13 ssa-value">v13</span></span></li></ul></li><li class="ssa-end-block"><span class="b7 ssa-block">Plain</span> &#8594; <span class="b4 ssa-block">b4</span> <span class="l19 line-number">(<b>+19</b>)</span></li></ul><ul class="b5 ssa-print-func "><li class="ssa-start-block"><span class="b5 ssa-block">b5</span>: &#8592; <span class="b2 ssa-block">b2</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v25 ssa-long-value"><span class="v25 ssa-value">v25</span> <span class="l15 line-number">(<b>+15</b>)</span> = MakeResult &lt;mem&gt; <span class="v26 ssa-value">v26</span></span></li></ul></li><li class="ssa-end-block"><span class="b5 ssa-block">Ret</span> <span class="v25 ssa-value">v25</span> <span class="l16 line-number">(<b>+16</b>)</span></li></ul><li>name i[int]: <span class="v4 ssa-value">v4</span> <span class="v5 ssa-value">v5</span> <span class="v23 ssa-value">v23</span> </li></code></td>
+<td id="trim-col" class="collapsed"><div>trim</div></td><td id="trim-exp" class="hash-3cf9216fd4369811947a27704f536fb7542f41c1e4066cfc8c89069dfcbc0fe7"><h2>trim <span class="stats">[400 ns]</span></h2><code><ul class="b1 ssa-print-func "><li class="ssa-start-block"><span class="b1 ssa-block">b1</span>:<button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v1 ssa-long-value"><span class="v1 ssa-value">v1</span> <span class="no-line-number">(?)</span> = InitMem &lt;mem&gt;</span></li><li class="ssa-long-value "><span class="v11 ssa-long-value"><span class="v11 ssa-value">v11</span> <span class="no-line-number">(?)</span> = MOVQconst &lt;int&gt; [8] : AX</span></li></ul></li><li class="ssa-end-block"><span class="b1 ssa-block">Plain</span> &#8594; <span class="b2 ssa-block">b2</span> <span class="l16 line-number">(<b>+16</b>)</span></li></ul><ul class="b4 ssa-print-func "><li class="ssa-start-block"><span class="b4 ssa-block">b4</span>: &#8592; <span class="b7 ssa-block">b7</span> <span class="b6 ssa-block">b6</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v27 ssa-long-value"><span class="v27 ssa-value">v27</span> <span class="l18 line-number">(<s>18</s>)</span> = Phi &lt;mem&gt; <span class="v14 ssa-value">v14</span> <span class="v17 ssa-value">v17</span></span></li><li class="ssa-long-value "><span class="v34 ssa-long-value"><span class="v34 ssa-value">v34</span> <span class="l16 line-number">(<s>16</s>)</span> = LoadReg &lt;int&gt; <span class="v8 ssa-value">v8</span> : AX</span></li><li class="ssa-long-value "><span class="v23 ssa-long-value"><span class="v23 ssa-value">v23</span> <span class="l16 line-number">(<b>+16</b>)</span> = ADDQconst &lt;int&gt; [4] <span class="v34 ssa-value">v34</span> : AX (i[int])</span></li></ul></li><li class="ssa-end-block"><span class="b4 ssa-block">Plain</span> &#8594; <span class="b2 ssa-block">b2</span> <span class="l16 line-number">(16)</span></li></ul><ul class="b2 ssa-print-func "><li class="ssa-start-block"><span class="b2 ssa-block">b2</span>: &#8592; <span class="b1 ssa-block">b1</span> <span class="b4 ssa-block">b4</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v5 ssa-long-value"><span class="v5 ssa-value">v5</span> <span class="l16 line-number">(<s>16</s>)</span> = Phi &lt;int&gt; <span class="v11 ssa-value">v11</span> <span class="v23 ssa-value">v23</span> : AX (i[int])</span></li><li class="ssa-long-value "><span class="v26 ssa-long-value"><span class="v26 ssa-value">v26</span> <span class="l18 line-number">(<s>18</s>)</span> = Phi &lt;mem&gt; <span class="v1 ssa-value">v1</span> <span class="v27 ssa-value">v27</span></span></li><li class="ssa-long-value "><span class="v21 ssa-long-value"><span class="v21 ssa-value">v21</span> <span class="l16 line-number">(<b>+16</b>)</span> = CMPQconst &lt;flags&gt; [20] <span class="v5 ssa-value">v5</span></span></li></ul></li><li class="ssa-end-block"><span class="b2 ssa-block">LE</span> <span class="v21 ssa-value">v21</span> &#8594; <span class="b3 ssa-block">b3</span> <span class="b5 ssa-block">b5</span> (likely) <span class="l16 line-number">(16)</span></li></ul><ul class="b3 ssa-print-func "><li class="ssa-start-block"><span class="b3 ssa-block">b3</span>: &#8592; <span class="b2 ssa-block">b2</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v8 ssa-long-value"><span class="v8 ssa-value">v8</span> <span class="l16 line-number">(<s>16</s>)</span> = StoreReg &lt;int&gt; <span class="v5 ssa-value">v5</span> : i[int]</span></li><li class="ssa-long-value "><span class="v18 ssa-long-value"><span class="v18 ssa-value">v18</span> <span class="l17 line-number">(<b>+17</b>)</span> = TESTQconst &lt;flags&gt; [7] <span class="v5 ssa-value">v5</span></span></li></ul></li><li class="ssa-end-block"><span class="b3 ssa-block">EQ</span> <span class="v18 ssa-value">v18</span> &#8594; <span class="b6 ssa-block">b6</span> <span class="b7 ssa-block">b7</span> <span class="l17 line-number">(17)</span></li></ul><ul class="b6 ssa-print-func "><li class="ssa-start-block"><span class="b6 ssa-block">b6</span>: &#8592; <span class="b3 ssa-block">b3</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v16 ssa-long-value"><span class="v16 ssa-value">v16</span> <span class="l21 line-number">(<b>+21</b>)</span> = CALLstatic &lt;mem&gt; {AuxCall{main.f}} <span class="v26 ssa-value">v26</span></span></li><li class="ssa-long-value "><span class="v17 ssa-long-value"><span class="v17 ssa-value">v17</span> <span class="l21 line-number">(21)</span> = SelectN &lt;mem&gt; [0] <span class="v16 ssa-value">v16</span></span></li></ul></li><li class="ssa-end-block"><span class="b6 ssa-block">Plain</span> &#8594; <span class="b4 ssa-block">b4</span> <span class="l21 line-number">(21)</span></li></ul><ul class="b7 ssa-print-func "><li class="ssa-start-block"><span class="b7 ssa-block">b7</span>: &#8592; <span class="b3 ssa-block">b3</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v13 ssa-long-value"><span class="v13 ssa-value">v13</span> <span class="l18 line-number">(<b>+18</b>)</span> = CALLstatic &lt;mem&gt; {AuxCall{main.g}} <span class="v26 ssa-value">v26</span></span></li><li class="ssa-long-value "><span class="v14 ssa-long-value"><span class="v14 ssa-value">v14</span> <span class="l18 line-number">(18)</span> = SelectN &lt;mem&gt; [0] <span class="v13 ssa-value">v13</span></span></li></ul></li><li class="ssa-end-block"><span class="b7 ssa-block">Plain</span> &#8594; <span class="b4 ssa-block">b4</span> <span class="l19 line-number">(<b>+19</b>)</span></li></ul><ul class="b5 ssa-print-func "><li class="ssa-start-block"><span class="b5 ssa-block">b5</span>: &#8592; <span class="b2 ssa-block">b2</span><button onclick="hideBlock(this)">-</button></li><li class="ssa-value-list"><ul><li class="ssa-long-value "><span class="v25 ssa-long-value"><span class="v25 ssa-value">v25</span> <span class="l15 line-number">(<b>+15</b>)</span> = MakeResult &lt;mem&gt; <span class="v26 ssa-value">v26</span></span></li></ul></li><li class="ssa-end-block"><span class="b5 ssa-block">Ret</span> <span class="v25 ssa-value">v25</span> <span class="l16 line-number">(<b>+16</b>)</span></li></ul><li>name i[int]: <span class="v4 ssa-value">v4</span> <span class="v5 ssa-value">v5</span> <span class="v23 ssa-value">v23</span> </li></code></td>
+<td id="genssa-col" class="collapsed"><div>genssa</div></td><td id="genssa-exp" class="ssa-prog"><h2>genssa</h2><code><dl class="ssa-gen"><dt class="ssa-prog-src"></dt><dd class="ssa-prog"># /home/rileythomp/github/go/demo3.go</dd><dt class="ssa-prog-src"></dt><dd class="ssa-prog">00000 <span class="l15 line-number">(15)</span> TEXT	main.main(SB), ABIInternal</dd><dt class="ssa-prog-src"></dt><dd class="ssa-prog">00001 <span class="l15 line-number">(15)</span> FUNCDATA	$0, gclocals·g2BeySu+wFnoycgXfElmcg==(SB)</dd><dt class="ssa-prog-src"></dt><dd class="ssa-prog">00002 <span class="l15 line-number">(15)</span> FUNCDATA	$1, gclocals·g2BeySu+wFnoycgXfElmcg==(SB)</dd><dt class="ssa-prog-src"><span class="v11 ssa-value">v11</span></dt><dd class="ssa-prog">00003 <span class="l15 line-number">(<s>15</s>)</span> MOVL	$8, AX</dd><dt class="ssa-prog-src"><b><span class="b1 ssa-block">b1</span></b></dt><dd class="ssa-prog">00004 <span class="l16 line-number">(<s>16</s>)</span> JMP	7</dd><dt class="ssa-prog-src"><span class="v34 ssa-value">v34</span></dt><dd class="ssa-prog">00005 <span class="l16 line-number">(<b>+16</b>)</span> MOVQ	main.i-8(SP), AX</dd><dt class="ssa-prog-src"><span class="v23 ssa-value">v23</span></dt><dd class="ssa-prog">00006 <span class="l16 line-number">(<s>16</s>)</span> ADDQ	$4, AX</dd><dt class="ssa-prog-src"><span class="v21 ssa-value">v21</span></dt><dd class="ssa-prog">00007 <span class="l16 line-number">(<b>+16</b>)</span> CMPQ	AX, $20</dd><dt class="ssa-prog-src"><b><span class="b2 ssa-block">b2</span></b></dt><dd class="ssa-prog">00008 <span class="l16 line-number">(<s>16</s>)</span> JGT	17</dd><dt class="ssa-prog-src"><span class="v8 ssa-value">v8</span></dt><dd class="ssa-prog">00009 <span class="l16 line-number">(<s>16</s>)</span> MOVQ	AX, main.i-8(SP)</dd><dt class="ssa-prog-src"><span class="v18 ssa-value">v18</span></dt><dd class="ssa-prog">00010 <span class="l17 line-number">(<b>+17</b>)</span> TESTQ	$7, AX</dd><dt class="ssa-prog-src"><b><span class="b3 ssa-block">b3</span></b></dt><dd class="ssa-prog">00011 <span class="l17 line-number">(<s>17</s>)</span> JNE	15</dd><dt class="ssa-prog-src"><span class="v16 ssa-value">v16</span></dt><dd class="ssa-prog">00012 <span class="l21 line-number">(<b>+21</b>)</span> PCDATA	$1, $0</dd><dt class="ssa-prog-src"><span class="v16 ssa-value">v16</span></dt><dd class="ssa-prog">00013 <span class="l21 line-number">(<b>+21</b>)</span> CALL	main.f(SB)</dd><dt class="ssa-prog-src"><b><span class="b6 ssa-block">b6</span></b></dt><dd class="ssa-prog">00014 <span class="l21 line-number">(<s>21</s>)</span> JMP	5</dd><dt class="ssa-prog-src"><span class="v13 ssa-value">v13</span></dt><dd class="ssa-prog">00015 <span class="l18 line-number">(<b>+18</b>)</span> CALL	main.g(SB)</dd><dt class="ssa-prog-src"><b><span class="b7 ssa-block">b7</span></b></dt><dd class="ssa-prog">00016 <span class="l19 line-number">(<b>+19</b>)</span> JMP	5</dd><dt class="ssa-prog-src"><b><span class="b5 ssa-block">b5</span></b></dt><dd class="ssa-prog">00017 <span class="l16 line-number">(<b>+16</b>)</span> RET</dd><dt class="ssa-prog-src"></dt><dd class="ssa-prog">00018 <span class="l? line-number">(?)</span> END</dd></dl></code></td>
+</tr></table></body></html>
\ No newline at end of file