forked from Imagelibrary/binutils-gdb
1d506c26d9
This commit is the result of the following actions:
- Running gdb/copyright.py to update all of the copyright headers to
include 2024,
- Manually updating a few files the copyright.py script told me to
update, these files had copyright headers embedded within the
file,
- Regenerating gdbsupport/Makefile.in to refresh it's copyright
date,
- Using grep to find other files that still mentioned 2023. If
these files were updated last year from 2022 to 2023 then I've
updated them this year to 2024.
I'm sure I've probably missed some dates. Feel free to fix them up as
you spot them.
444 lines
8.8 KiB
PHP
444 lines
8.8 KiB
PHP
# MIPS DSP ASE simulator testsuite utility functions.
|
|
# Copyright (C) 2005-2024 Free Software Foundation, Inc.
|
|
# Contributed by MIPS Technologies, Inc. Written by Chao-ying Fu.
|
|
#
|
|
# This file is part of the GNU simulators.
|
|
#
|
|
# This program is free software; you can redistribute it and/or modify
|
|
# it under the terms of the GNU General Public License as published by
|
|
# the Free Software Foundation; either version 3 of the License, or
|
|
# (at your option) any later version.
|
|
#
|
|
# This program is distributed in the hope that it will be useful,
|
|
# but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
# GNU General Public License for more details.
|
|
#
|
|
# You should have received a copy of the GNU General Public License
|
|
# along with this program. If not, see <http://www.gnu.org/licenses/>. */
|
|
|
|
# $4, $5, $6, $7, $ac0, $ac1, $ac2, $ac3 are used as temps by the macros
|
|
# defined here.
|
|
|
|
# If a != b, jump to _fail.
|
|
# Otherwise, fall through.
|
|
.macro dsp_assert a, b
|
|
beq \a, \b, 1f
|
|
nop
|
|
j _fail
|
|
nop
|
|
1:
|
|
.endm
|
|
|
|
# Set dsp control register <= crin
|
|
# Check if d == (inst ?, s, t)
|
|
# Check if crout == dsp control register
|
|
.macro dspck_dstio inst, d, s, t, crin, crout
|
|
li $4, \crin
|
|
wrdsp $4
|
|
li $4, \s
|
|
li $5, \t
|
|
\inst $6, $4, $5
|
|
li $7, \d
|
|
dsp_assert $6, $7
|
|
li $4, \crout
|
|
rddsp $5
|
|
dsp_assert $4, $5
|
|
.endm
|
|
|
|
# Set dsp control register <= crin
|
|
# (inst s, t)
|
|
# Check if crout == dsp control register
|
|
.macro dspck_stio inst, s, t, crin, crout
|
|
li $4, \crin
|
|
wrdsp $4
|
|
li $4, \s
|
|
li $5, \t
|
|
\inst $4, $5
|
|
li $4, \crout
|
|
rddsp $5
|
|
dsp_assert $4, $5
|
|
.endm
|
|
|
|
# Set dsp control register <= crin
|
|
# Check if d == (inst ?, s, t)
|
|
.macro dspck_dsti inst, d, s, t, crin
|
|
li $4, \crin
|
|
wrdsp $4
|
|
li $4, \s
|
|
li $5, \t
|
|
\inst $6, $4, $5
|
|
li $7, \d
|
|
dsp_assert $6, $7
|
|
.endm
|
|
|
|
# Set dsp control register <= crin
|
|
# Check if tou == (inst tin, s)
|
|
.macro dspck_tsi inst, tou, tin, s, crin
|
|
li $4, \crin
|
|
wrdsp $4
|
|
li $4, \s
|
|
li $5, \tin
|
|
\inst $5, $4
|
|
li $6, \tou
|
|
dsp_assert $5, $6
|
|
.endm
|
|
|
|
# Set dsp control register <= crin
|
|
# Check if d == (inst ?, imm)
|
|
# Check if crout == dsp control register
|
|
.macro dspck_dIio inst, d, imm, crin, crout
|
|
li $4, \crin
|
|
wrdsp $4
|
|
\inst $5, \imm
|
|
li $6, \d
|
|
dsp_assert $5, $6
|
|
li $4, \crout
|
|
rddsp $5
|
|
dsp_assert $4, $5
|
|
.endm
|
|
|
|
# Set dsp control register <= crin
|
|
# Check if d == (inst ?, s)
|
|
# Check if crout == dsp control register
|
|
.macro dspck_dsio inst, d, s, crin, crout
|
|
li $4, \crin
|
|
wrdsp $4
|
|
li $4, \s
|
|
\inst $6, $4
|
|
li $7, \d
|
|
dsp_assert $6, $7
|
|
li $4, \crout
|
|
rddsp $5
|
|
dsp_assert $4, $5
|
|
.endm
|
|
|
|
# Set dsp control register <= crin
|
|
# Check if d == (inst ?, t, sa)
|
|
# Check if crout == dsp control register
|
|
.macro dspck_dtsaio inst, d, t, sa, crin, crout
|
|
li $4, \crin
|
|
wrdsp $4
|
|
li $4, \t
|
|
\inst $6, $4, \sa
|
|
li $7, \d
|
|
dsp_assert $6, $7
|
|
li $4, \crout
|
|
rddsp $5
|
|
dsp_assert $4, $5
|
|
.endm
|
|
|
|
# Set dsp control register <= crin
|
|
# Check if d == (inst ?, t, sa)
|
|
.macro dspck_dtsai inst, d, t, sa, crin
|
|
li $4, \crin
|
|
wrdsp $4
|
|
li $4, \t
|
|
\inst $6, $4, \sa
|
|
li $7, \d
|
|
dsp_assert $6, $7
|
|
.endm
|
|
|
|
# Set dsp control register <= crin
|
|
# Set $ac3 <= {hiin, loin}
|
|
# (inst $ac3, s, t)
|
|
# Check if {hiou, loou} == $ac3
|
|
# Check if (crout & 0x80000) == (dsp control register & 0x80000)
|
|
.macro dspck_astio inst, hiin, loin, hiou, loou, s, t, crin, crout
|
|
li $4, \crin
|
|
wrdsp $4
|
|
li $4, \hiin
|
|
mthi $4, $ac3
|
|
li $4, \loin
|
|
mtlo $4, $ac3
|
|
li $4, \s
|
|
li $5, \t
|
|
\inst $ac3, $4, $5
|
|
li $4, \hiou
|
|
mfhi $5, $ac3
|
|
dsp_assert $4, $5
|
|
li $4, \loou
|
|
mflo $5, $ac3
|
|
dsp_assert $4, $5
|
|
li $4, \crout
|
|
and $4, $4, 0x80000
|
|
rddsp $5
|
|
and $5, $5, 0x80000
|
|
dsp_assert $4, $5
|
|
.endm
|
|
|
|
# Set dsp control register <= crin
|
|
# Set $ac1 <= {hi, lo}
|
|
# Check if t == (inst ? $ac1, sa)
|
|
# Check if crout == dsp control register
|
|
.macro dspck_atsaio inst, hi, lo, t, sa, crin, crout
|
|
li $4, \crin
|
|
wrdsp $4
|
|
li $4, \hi
|
|
mthi $4, $ac1
|
|
li $4, \lo
|
|
mtlo $4, $ac1
|
|
\inst $5, $ac1, \sa
|
|
li $6, \t
|
|
dsp_assert $5, $6
|
|
li $4, \crout
|
|
rddsp $5
|
|
dsp_assert $4, $5
|
|
.endm
|
|
|
|
# Set dsp control register <= crin
|
|
# Set acc <= {hiin, loin}
|
|
# (inst acc, s, t)
|
|
# Check if {hiou, loou} == acc
|
|
# Check if (crout & 0x80000) == (dsp control register & 0x80000)
|
|
.macro dspckacc_astio inst, acc, hiin, loin, hiou, loou, s, t, crin, crout
|
|
li $4, \crin
|
|
wrdsp $4
|
|
li $4, \hiin
|
|
mthi $4, \acc
|
|
li $4, \loin
|
|
mtlo $4, \acc
|
|
li $4, \s
|
|
li $5, \t
|
|
\inst \acc, $4, $5
|
|
li $4, \hiou
|
|
mfhi $5, \acc
|
|
dsp_assert $4, $5
|
|
li $4, \loou
|
|
mflo $5, \acc
|
|
dsp_assert $4, $5
|
|
li $4, \crout
|
|
and $4, $4, 0x80000
|
|
rddsp $5
|
|
and $5, $5, 0x80000
|
|
dsp_assert $4, $5
|
|
.endm
|
|
|
|
# Set dsp control register <= crin
|
|
# Set $ac1 <= {hi, lo}
|
|
# Check if t == (inst ? $ac1, s)
|
|
# Check if crout == dsp control register
|
|
.macro dspck_atsio inst, hi, lo, t, s, crin, crout
|
|
li $4, \crin
|
|
wrdsp $4
|
|
li $4, \hi
|
|
mthi $4, $ac1
|
|
li $4, \lo
|
|
mtlo $4, $ac1
|
|
li $4, \s
|
|
\inst $5, $ac1, $4
|
|
li $6, \t
|
|
dsp_assert $5, $6
|
|
li $4, \crout
|
|
rddsp $5
|
|
dsp_assert $4, $5
|
|
.endm
|
|
|
|
# Set dsp control register <= (crin & crinmask)
|
|
# Set $ac2 <= {hi, lo}
|
|
# Check if t == (inst ? $ac2, size)
|
|
# Check if (crout & croutmask) == (dsp control register & croutmask)
|
|
.macro dspck_tasiimom inst, hi, lo, t, size, crin, crinmask, crout, croutmask
|
|
li $4, \crin
|
|
and $4, \crinmask
|
|
wrdsp $4
|
|
li $4, \hi
|
|
mthi $4, $ac2
|
|
li $4, \lo
|
|
mtlo $4, $ac2
|
|
\inst $5, $ac2, \size
|
|
li $6, \t
|
|
dsp_assert $5, $6
|
|
li $4, \crout
|
|
and $4, \croutmask
|
|
rddsp $5
|
|
and $5, \croutmask
|
|
dsp_assert $4, $5
|
|
.endm
|
|
|
|
# Set dsp control register <= (crin & crinmask)
|
|
# Set $ac2 <= {hi, lo}
|
|
# Check if t == (inst ? $ac2, size)
|
|
.macro dspck_tasiim inst, hi, lo, t, size, crin, crinmask
|
|
li $4, \crin
|
|
and $4, \crinmask
|
|
wrdsp $4
|
|
li $4, \hi
|
|
mthi $4, $ac2
|
|
li $4, \lo
|
|
mtlo $4, $ac2
|
|
\inst $5, $ac2, \size
|
|
li $6, \t
|
|
dsp_assert $5, $6
|
|
.endm
|
|
|
|
# Set dsp control register <= (crin & crinmask)
|
|
# Set $ac2 <= {hi, lo}
|
|
# Check if t == (inst ? $ac2, s)
|
|
# Check if (crout & croutmask) == (dsp control register & croutmask)
|
|
.macro dspck_tasimom inst, hi, lo, t, s, crin, crinmask, crout, croutmask
|
|
li $4, \crin
|
|
and $4, \crinmask
|
|
wrdsp $4
|
|
li $4, \hi
|
|
mthi $4, $ac2
|
|
li $4, \lo
|
|
mtlo $4, $ac2
|
|
li $4, \s
|
|
\inst $5, $ac2, $4
|
|
li $6, \t
|
|
dsp_assert $5, $6
|
|
li $4, \crout
|
|
and $4, \croutmask
|
|
rddsp $5
|
|
and $5, \croutmask
|
|
dsp_assert $4, $5
|
|
.endm
|
|
|
|
# Set dsp control register <= (crin & crinmask)
|
|
# Set $ac2 <= {hi, lo}
|
|
# Check if t == (inst ? $ac2, s)
|
|
.macro dspck_tasim inst, hi, lo, t, s, crin, crinmask
|
|
li $4, \crin
|
|
and $4, \crinmask
|
|
wrdsp $4
|
|
li $4, \hi
|
|
mthi $4, $ac2
|
|
li $4, \lo
|
|
mtlo $4, $ac2
|
|
li $4, \s
|
|
\inst $5, $ac2, $4
|
|
li $6, \t
|
|
dsp_assert $5, $6
|
|
.endm
|
|
|
|
# Set dsp control register <= crin
|
|
# Set $ac0 <= {hi, lo}
|
|
# (inst $ac0, shift)
|
|
# Check if $ac0 == {hio, loo}
|
|
# Check if crout == dsp control register
|
|
.macro dspck_asaio inst, hi, lo, hio, loo, shift, crin, crout
|
|
li $4, \crin
|
|
wrdsp $4
|
|
li $4, \hi
|
|
mthi $4, $ac0
|
|
li $4, \lo
|
|
mtlo $4, $ac0
|
|
\inst $ac0, \shift
|
|
mfhi $5, $ac0
|
|
li $6, \hio
|
|
dsp_assert $5, $6
|
|
mflo $5, $ac0
|
|
li $6, \loo
|
|
dsp_assert $5, $6
|
|
li $4, \crout
|
|
rddsp $5
|
|
dsp_assert $4, $5
|
|
.endm
|
|
|
|
# Set dsp control register <= crin
|
|
# Set $ac0 <= {hi, lo}
|
|
# (inst $ac0, s)
|
|
# Check if $ac0 == {hio, loo}
|
|
# Check if crout == dsp control register
|
|
.macro dspck_asio inst, hi, lo, hio, loo, s, crin, crout
|
|
li $4, \crin
|
|
wrdsp $4
|
|
li $4, \hi
|
|
mthi $4, $ac0
|
|
li $4, \lo
|
|
mtlo $4, $ac0
|
|
li $4, \s
|
|
\inst $ac0, $4
|
|
mfhi $5, $ac0
|
|
li $6, \hio
|
|
dsp_assert $5, $6
|
|
mflo $5, $ac0
|
|
li $6, \loo
|
|
dsp_assert $5, $6
|
|
li $4, \crout
|
|
rddsp $5
|
|
dsp_assert $4, $5
|
|
.endm
|
|
|
|
# Set dsp control register <= crin
|
|
# Set $ac3 <= {hi, lo}
|
|
# Check if s == (inst ? $ac3)
|
|
# Check if $ac3 == {hio, loo}
|
|
# Check if crout == dsp control register
|
|
.macro dspck_saio inst, hi, lo, hio, loo, s, crin, crout
|
|
li $4, \crin
|
|
wrdsp $4
|
|
li $4, \hi
|
|
mthi $4, $ac3
|
|
li $4, \lo
|
|
mtlo $4, $ac3
|
|
li $5, \s
|
|
\inst $5, $ac3
|
|
mfhi $5, $ac3
|
|
li $6, \hio
|
|
dsp_assert $5, $6
|
|
mflo $5, $ac3
|
|
li $6, \loo
|
|
dsp_assert $5, $6
|
|
li $4, \crout
|
|
rddsp $5
|
|
dsp_assert $4, $5
|
|
.endm
|
|
|
|
# Set dsp control register <= crin
|
|
# (wrdsp s, m)
|
|
# Check if crout == dsp control register
|
|
.macro dspck_wrdsp s, m, crin, crout
|
|
li $4, \crin
|
|
wrdsp $4
|
|
li $5, \s
|
|
wrdsp $5, \m
|
|
li $6, \crout
|
|
rddsp $7
|
|
dsp_assert $6, $7
|
|
.endm
|
|
|
|
# Set dsp control register <= crin
|
|
# Check if d == (rddsp ?, m)
|
|
.macro dspck_rddsp d, m, crin
|
|
li $4, \crin
|
|
wrdsp $4
|
|
rddsp $5, \m
|
|
li $6, \d
|
|
dsp_assert $5, $6
|
|
.endm
|
|
|
|
# Check if d == (inst i(b))
|
|
.macro dspck_load inst, d, i, b
|
|
li $4, \i
|
|
la $5, \b
|
|
\inst $6, $4($5)
|
|
li $7, \d
|
|
dsp_assert $6, $7
|
|
.endm
|
|
|
|
# Set dsp control register <= crin
|
|
# Check if bposge32 is taken or not as expected in r
|
|
# (1 => taken, 0 => not taken)
|
|
.macro dspck_bposge32 crin, r
|
|
li $4, \crin
|
|
wrdsp $4
|
|
li $5, 1
|
|
bposge32 1f
|
|
nop
|
|
li $5, 0
|
|
1:
|
|
li $6, \r
|
|
dsp_assert $5, $6
|
|
.endm
|
|
|
|
# Check if tou == (inst tin, s)
|
|
.macro dspck_tsimm inst, tou, tin, s, sa
|
|
li $4, \s
|
|
li $5, \tin
|
|
\inst $5, $4, \sa
|
|
li $6, \tou
|
|
dsp_assert $5, $6
|
|
.endm
|