From 711552e98acbfda7e974dacf4e3a0a8f8dcaa371 Mon Sep 17 00:00:00 2001
From: Youlin Feng <fengyoulin@live.com>
Date: Tue, 8 Oct 2024 12:49:30 +0800
Subject: cmd/compile: optimize type switch for a single runtime known type
 with a case var

Change-Id: I03ba70076d6dd3c0b9624d14699b7dd91a3c0e9b
Reviewed-on: https://go-review.googlesource.com/c/go/+/618476
Reviewed-by: Keith Randall <khr@golang.org>
LUCI-TryBot-Result: Go LUCI <golang-scoped@luci-project-accounts.iam.gserviceaccount.com>
Reviewed-by: Cuong Manh Le <cuong.manhle.vn@gmail.com>
Reviewed-by: Cherry Mui <cherryyz@google.com>
Reviewed-by: Keith Randall <khr@google.com>
Auto-Submit: Cuong Manh Le <cuong.manhle.vn@gmail.com>
---
 test/codegen/typeswitch.go | 22 +++++++++++++++++++++-
 1 file changed, 21 insertions(+), 1 deletion(-)

(limited to 'test/codegen')

diff --git a/test/codegen/typeswitch.go b/test/codegen/typeswitch.go
index 495853ed3c..93f8e84269 100644
--- a/test/codegen/typeswitch.go
+++ b/test/codegen/typeswitch.go
@@ -37,11 +37,31 @@ func swGYZ[T any](a Ig[T]) {
 		t.Y()
 	case Iz: // amd64:-".*typeAssert"
 		t.Z()
-	case interface{ G() T }: // amd64:-".*typeAssert",".*assertE2I"
+	case interface{ G() T }: // amd64:-".*typeAssert",-".*assertE2I\\(",".*assertE2I2"
+		t.G()
+	}
+}
+
+func swE2G[T any](a any) {
+	switch t := a.(type) {
+	case Iy:
+		t.Y()
+	case Ig[T]: // amd64:-".*assertE2I\\(",".*assertE2I2"
+		t.G()
+	}
+}
+
+func swI2G[T any](a Ix) {
+	switch t := a.(type) {
+	case Iy:
+		t.Y()
+	case Ig[T]: // amd64:-".*assertE2I\\(",".*assertE2I2"
 		t.G()
 	}
 }
 
 func swCaller() {
 	swGYZ[int]((Ig[int])(nil))
+	swE2G[int]((Ig[int])(nil))
+	swI2G[int]((Ix)(nil))
 }
-- 
cgit v1.3