diff options
author | Joel Sing <joel@sing.id.au> | 2020-04-26 04:34:34 +1000 |
---|---|---|
committer | Joel Sing <joel@sing.id.au> | 2020-05-02 18:10:49 +0000 |
commit | 9439a7d87f90b97e00717fc0849d4460628d82d0 (patch) | |
tree | 8d7245499ad676c62b05b343c26af3edf5f5f924 /src/cmd/compile/internal/ssa/rewriteRISCV64.go | |
parent | be08e10b3bc07f3a4e7b27f44d53d582e15fd6c7 (diff) | |
download | go-9439a7d87f90b97e00717fc0849d4460628d82d0.tar.gz go-9439a7d87f90b97e00717fc0849d4460628d82d0.zip |
cmd/compile: use SEQZ pseudo instruction in RISCV64 boolean rules
This makes the intent clearer, allows for another ellipsis and will aid
in future rewriting. While here, document boolean loads to explain register
contents.
Change-Id: I933db2813826d88819366191fbbea8fcee5e4dda
Reviewed-on: https://go-review.googlesource.com/c/go/+/230120
Reviewed-by: Keith Randall <khr@golang.org>
Diffstat (limited to 'src/cmd/compile/internal/ssa/rewriteRISCV64.go')
-rw-r--r-- | src/cmd/compile/internal/ssa/rewriteRISCV64.go | 20 |
1 files changed, 4 insertions, 16 deletions
diff --git a/src/cmd/compile/internal/ssa/rewriteRISCV64.go b/src/cmd/compile/internal/ssa/rewriteRISCV64.go index db9f529bae..6b91c08628 100644 --- a/src/cmd/compile/internal/ssa/rewriteRISCV64.go +++ b/src/cmd/compile/internal/ssa/rewriteRISCV64.go @@ -391,7 +391,8 @@ func rewriteValueRISCV64(v *Value) bool { v.Op = OpRISCV64LoweredNilCheck return true case OpNot: - return rewriteValueRISCV64_OpNot(v) + v.Op = OpRISCV64SEQZ + return true case OpOffPtr: return rewriteValueRISCV64_OpOffPtr(v) case OpOr16: @@ -913,12 +914,11 @@ func rewriteValueRISCV64_OpEqB(v *Value) bool { b := v.Block typ := &b.Func.Config.Types // match: (EqB x y) - // result: (XORI [1] (XOR <typ.Bool> x y)) + // result: (SEQZ (XOR <typ.Bool> x y)) for { x := v_0 y := v_1 - v.reset(OpRISCV64XORI) - v.AuxInt = int64ToAuxInt(1) + v.reset(OpRISCV64SEQZ) v0 := b.NewValue0(v.Pos, OpRISCV64XOR, typ.Bool) v0.AddArg2(x, y) v.AddArg(v0) @@ -2132,18 +2132,6 @@ func rewriteValueRISCV64_OpNeqPtr(v *Value) bool { return true } } -func rewriteValueRISCV64_OpNot(v *Value) bool { - v_0 := v.Args[0] - // match: (Not x) - // result: (XORI [1] x) - for { - x := v_0 - v.reset(OpRISCV64XORI) - v.AuxInt = int64ToAuxInt(1) - v.AddArg(x) - return true - } -} func rewriteValueRISCV64_OpOffPtr(v *Value) bool { v_0 := v.Args[0] b := v.Block |