cmd/internal/obj/riscv: prevent constant loads that do not target registers

Check that the target of a constant load is a register and add test coverage
for this error condition. While here, rename the RISC-V testdata and tests
to be consistent with other platforms.

Change-Id: I7fd0bfcee8cf9df0597d72e65cd74a2d0bfd349a
Reviewed-on: https://go-review.googlesource.com/c/go/+/292895
Trust: Joel Sing <joel@sing.id.au>
Reviewed-by: Cherry Zhang <cherryyz@google.com>
Run-TryBot: Cherry Zhang <cherryyz@google.com>
TryBot-Result: Go Bot <gobot@golang.org>
This commit is contained in:
Joel Sing 2021-02-17 21:03:59 +11:00
parent 6525abddce
commit 0398a771d2
4 changed files with 24 additions and 3 deletions

View file

@ -439,8 +439,12 @@ func TestPPC64EndToEnd(t *testing.T) {
testEndToEnd(t, "ppc64", "ppc64") testEndToEnd(t, "ppc64", "ppc64")
} }
func TestRISCVEncoder(t *testing.T) { func TestRISCVEndToEnd(t *testing.T) {
testEndToEnd(t, "riscv64", "riscvenc") testEndToEnd(t, "riscv64", "riscv64")
}
func TestRISCVErrors(t *testing.T) {
testErrors(t, "riscv64", "riscv64error")
} }
func TestS390XEndToEnd(t *testing.T) { func TestS390XEndToEnd(t *testing.T) {

View file

@ -0,0 +1,14 @@
// 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.
TEXT errors(SB),$0
MOV $0, 0(SP) // ERROR "constant load must target register"
MOV $0, 8(SP) // ERROR "constant load must target register"
MOV $1234, 0(SP) // ERROR "constant load must target register"
MOV $1234, 8(SP) // ERROR "constant load must target register"
MOVB $1, X5 // ERROR "unsupported constant load"
MOVH $1, X5 // ERROR "unsupported constant load"
MOVW $1, X5 // ERROR "unsupported constant load"
MOVF $1, X5 // ERROR "unsupported constant load"
RET

View file

@ -302,7 +302,10 @@ func rewriteMOV(ctxt *obj.Link, newprog obj.ProgAlloc, p *obj.Prog) {
// LUI top20bits(c), R // LUI top20bits(c), R
// ADD bottom12bits(c), R, R // ADD bottom12bits(c), R, R
if p.As != AMOV { if p.As != AMOV {
ctxt.Diag("unsupported constant load at %v", p) ctxt.Diag("%v: unsupported constant load", p)
}
if p.To.Type != obj.TYPE_REG {
ctxt.Diag("%v: constant load must target register", p)
} }
off := p.From.Offset off := p.From.Offset
to := p.To to := p.To