languages/go
languages/go
1
0
Fork 0
mirror of https://github.com/golang/go synced 2024-10-14 03:43:28 +00:00
Code Issues Packages Projects Releases Wiki Activity

cmd/compile: remove redundant SEQZ/SNEZ on riscv64

Browse source 
In particular, (SEQZ (SNEZ x)) can arise from (Not (IsNonNil x)).

Change-Id: Ie249cd1934d71087e0f774cf8f6c937ceeed7ad5
Reviewed-on: https://go-review.googlesource.com/c/go/+/428215
Run-TryBot: Joel Sing <joel@sing.id.au>
Reviewed-by: Cherry Mui <cherryyz@google.com>
Reviewed-by: Wayne Zuo <wdvxdr@golangcn.org>
TryBot-Result: Gopher Robot <gobot@golang.org>
Reviewed-by: Michael Knyszek <mknyszek@google.com>
This commit is contained in:
Joel Sing 2022-08-28 06:11:43 +10:00
parent b6a6847b2f
commit 77da976419
2 changed files with 53 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
src/cmd/compile/internal/ssa/gen/RISCV64.rules
View file

@ -609,7 +609,7 @@
(BNEZ (SEQZ x) yes no) => (BEQZ x yes no)
(BNEZ (SNEZ x) yes no) => (BNEZ x yes no)
// Absorb NEG into branch.
// Remove redundant NEG from BEQZ/BNEZ.
(BEQZ (NEG x) yes no) => (BEQZ x yes no)
(BNEZ (NEG x) yes no) => (BNEZ x yes no)
@ -637,11 +637,17 @@
(BGE (MOVDconst [0]) cond yes no) => (BLEZ cond yes no)
(BGE cond (MOVDconst [0]) yes no) => (BGEZ cond yes no)
// Remove NEG when used with SEQZ/SNEZ.
// Remove redundant NEG from SEQZ/SNEZ.
(SEQZ (NEG x)) => (SEQZ x)
(SNEZ (NEG x)) => (SNEZ x)
// Store zero
// Remove redundant SEQZ/SNEZ.
(SEQZ (SEQZ x)) => (SNEZ x)
(SEQZ (SNEZ x)) => (SEQZ x)
(SNEZ (SEQZ x)) => (SEQZ x)
(SNEZ (SNEZ x)) => (SNEZ x)
// Store zero.
(MOVBstore [off] {sym} ptr (MOVDconst [0]) mem) => (MOVBstorezero [off] {sym} ptr mem)
(MOVHstore [off] {sym} ptr (MOVDconst [0]) mem) => (MOVHstorezero [off] {sym} ptr mem)
(MOVWstore [off] {sym} ptr (MOVDconst [0]) mem) => (MOVWstorezero [off] {sym} ptr mem)

44
src/cmd/compile/internal/ssa/rewriteRISCV64.go
View file

@ -5350,6 +5350,28 @@ func rewriteValueRISCV64_OpRISCV64SEQZ(v *Value) bool {
v.AddArg(x)
return true
}
// match: (SEQZ (SEQZ x))
// result: (SNEZ x)
for {
if v_0.Op != OpRISCV64SEQZ {
break
}
x := v_0.Args[0]
v.reset(OpRISCV64SNEZ)
v.AddArg(x)
return true
}
// match: (SEQZ (SNEZ x))
// result: (SEQZ x)
for {
if v_0.Op != OpRISCV64SNEZ {
break
}
x := v_0.Args[0]
v.reset(OpRISCV64SEQZ)
v.AddArg(x)
return true
}
return false
}
func rewriteValueRISCV64_OpRISCV64SLL(v *Value) bool {
@ -5467,6 +5489,28 @@ func rewriteValueRISCV64_OpRISCV64SNEZ(v *Value) bool {
v.AddArg(x)
return true
}
// match: (SNEZ (SEQZ x))
// result: (SEQZ x)
for {
if v_0.Op != OpRISCV64SEQZ {
break
}
x := v_0.Args[0]
v.reset(OpRISCV64SEQZ)
v.AddArg(x)
return true
}
// match: (SNEZ (SNEZ x))
// result: (SNEZ x)
for {
if v_0.Op != OpRISCV64SNEZ {
break
}
x := v_0.Args[0]
v.reset(OpRISCV64SNEZ)
v.AddArg(x)
return true
}
return false
}
func rewriteValueRISCV64_OpRISCV64SRA(v *Value) bool {