https-github-com-bit
diff --git a/‎src/cmd/compile/internal/ssa/fuse_branchredirect.go‎
Lines changed: 5 additions & 1 deletion b/‎src/cmd/compile/internal/ssa/fuse_branchredirect.go‎
Lines changed: 5 additions & 1 deletion
diff --git a/‎test/fixedbugs/issue49122.go‎
Lines changed: 16 additions & 0 deletions b/‎test/fixedbugs/issue49122.go‎
Lines changed: 16 additions & 0 deletions
@@ -78,7 +78,11 @@ func fuseBranchRedirect(f *Func) bool {
 					if v.Op != OpPhi {
 						continue
 					}
-					v.RemoveArg(k)
+					n := len(v.Args)
+					v.Args[k].Uses--
+					v.Args[k] = v.Args[n-1]
+					v.Args[n-1] = nil
+					v.Args = v.Args[:n-1]
 					phielimValue(v)
 				}
 				// Fix up child to have one more predecessor.
 
@@ -0,0 +1,16 @@
+// compile
+
+// Copyright 2021 The Go Authors. All rights reserved.
+// Use of this source code is governed by a BSD-style
+// license that can be found in the LICENSE file.
+
+package main
+
+var B []bool
+var N int
+
+func f(p bool, m map[bool]bool) bool {
+	var q bool
+	_ = p || N&N < N || B[0] || B[0]
+	return p && q && m[q]
+}
Original file line number	Diff line number	Diff line change
`@@ -78,7 +78,11 @@ func fuseBranchRedirect(f *Func) bool {`
`78`	`78`	`if v.Op != OpPhi {`
`79`	`79`	`continue`
`80`	`80`	`}`
`81`		`- v.RemoveArg(k)`
	`81`	`+ n := len(v.Args)`
	`82`	`+ v.Args[k].Uses--`
	`83`	`+ v.Args[k] = v.Args[n-1]`
	`84`	`+ v.Args[n-1] = nil`
	`85`	`+ v.Args = v.Args[:n-1]`
`82`	`86`	`phielimValue(v)`
`83`	`87`	`}`
`84`	`88`	`// Fix up child to have one more predecessor.`