mirror of
https://sourceware.org/git/binutils-gdb.git
synced 2024-12-21 04:42:53 +08:00
166 lines
4.3 KiB
Plaintext
166 lines
4.3 KiB
Plaintext
|
# Simulator main loop for eBPF. -*- C -*-
|
||
|
#
|
||
|
# Copyright (C) 2020 Free Software Foundation, Inc.
|
||
|
#
|
||
|
# 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/>.
|
||
|
|
||
|
# Syntax:
|
||
|
# /bin/sh mloop.in command
|
||
|
#
|
||
|
# Command is one of:
|
||
|
#
|
||
|
# init
|
||
|
# support
|
||
|
# extract-{simple,scache,pbb}
|
||
|
# {full,fast}-exec-{simple,scache,pbb}
|
||
|
#
|
||
|
# A target need only provide a "full" version of one of simple,scache,pbb.
|
||
|
# If the target wants it can also provide a fast version of same, or if
|
||
|
# the slow (full featured) version is `simple', then the fast version can be
|
||
|
# one of scache/pbb.
|
||
|
# A target can't provide more than this.
|
||
|
# However for illustration's sake this file provides examples of all.
|
||
|
|
||
|
# ??? After a few more ports are done, revisit.
|
||
|
# Will eventually need to machine generate a lot of this.
|
||
|
|
||
|
case "x$1" in
|
||
|
|
||
|
xsupport)
|
||
|
|
||
|
cat <<EOF
|
||
|
|
||
|
static INLINE const IDESC *
|
||
|
extract (SIM_CPU *current_cpu, PCADDR pc, CGEN_INSN_WORD insn,
|
||
|
ARGBUF *abuf, int fast_p)
|
||
|
{
|
||
|
const IDESC *id = @prefix@_decode (current_cpu, pc, insn, abuf);
|
||
|
@prefix@_fill_argbuf (current_cpu, abuf, id, pc, fast_p);
|
||
|
if (!fast_p)
|
||
|
{
|
||
|
int trace_p = PC_IN_TRACE_RANGE_P (current_cpu, pc);
|
||
|
int profile_p = PC_IN_PROFILE_RANGE_P (current_cpu, pc);
|
||
|
@prefix@_fill_argbuf_tp (current_cpu, abuf, trace_p, profile_p);
|
||
|
}
|
||
|
return id;
|
||
|
}
|
||
|
|
||
|
static INLINE SEM_PC
|
||
|
execute (SIM_CPU *current_cpu, SCACHE *sc, int fast_p)
|
||
|
{
|
||
|
SEM_PC vpc;
|
||
|
|
||
|
if (fast_p)
|
||
|
vpc = (*sc->argbuf.semantic.sem_fast) (current_cpu, sc);
|
||
|
else
|
||
|
{
|
||
|
ARGBUF *abuf = &sc->argbuf;
|
||
|
const IDESC *idesc = abuf->idesc;
|
||
|
const CGEN_INSN *idata = idesc->idata;
|
||
|
int virtual_p = 0;
|
||
|
|
||
|
if (! virtual_p)
|
||
|
{
|
||
|
/* FIXME: call x-before */
|
||
|
if (ARGBUF_PROFILE_P (abuf))
|
||
|
PROFILE_COUNT_INSN (current_cpu, abuf->addr, idesc->num);
|
||
|
/* FIXME: Later make cover macros: PROFILE_INSN_{INIT,FINI}. */
|
||
|
if (PROFILE_MODEL_P (current_cpu)
|
||
|
&& ARGBUF_PROFILE_P (abuf))
|
||
|
@cpu@_model_insn_before (current_cpu, 1 /*first_p*/);
|
||
|
CGEN_TRACE_INSN_INIT (current_cpu, abuf, 1);
|
||
|
CGEN_TRACE_INSN (current_cpu, idata,
|
||
|
(const struct argbuf *) abuf, abuf->addr);
|
||
|
}
|
||
|
vpc = (*sc->argbuf.semantic.sem_full) (current_cpu, sc);
|
||
|
if (! virtual_p)
|
||
|
{
|
||
|
/* FIXME: call x-after */
|
||
|
if (PROFILE_MODEL_P (current_cpu)
|
||
|
&& ARGBUF_PROFILE_P (abuf))
|
||
|
{
|
||
|
int cycles;
|
||
|
|
||
|
cycles = (*idesc->timing->model_fn) (current_cpu, sc);
|
||
|
@cpu@_model_insn_after (current_cpu, 1 /*last_p*/, cycles);
|
||
|
}
|
||
|
CGEN_TRACE_INSN_FINI (current_cpu, abuf, 1);
|
||
|
}
|
||
|
}
|
||
|
|
||
|
return vpc;
|
||
|
}
|
||
|
|
||
|
EOF
|
||
|
|
||
|
;;
|
||
|
|
||
|
xinit)
|
||
|
|
||
|
# Nothing needed.
|
||
|
|
||
|
;;
|
||
|
|
||
|
xextract-scache)
|
||
|
|
||
|
cat <<EOF
|
||
|
{
|
||
|
|
||
|
UDI insn = GETIMEMUDI (current_cpu, vpc);
|
||
|
|
||
|
if (current_target_byte_order == BFD_ENDIAN_BIG)
|
||
|
{
|
||
|
/* eBPF instructions are little-endian, but GETIMEMUDI reads according
|
||
|
to target byte order. Swap to little-endian. */
|
||
|
insn = SWAP_8 (insn);
|
||
|
|
||
|
/* But, the imm32 and offset16 fields within instructions follow target
|
||
|
byte order. Swap those fields back. */
|
||
|
UHI off16 = (UHI) ((insn & 0x00000000ffff0000) >> 16);
|
||
|
USI imm32 = (USI) ((insn & 0xffffffff00000000) >> 32);
|
||
|
off16 = SWAP_2 (off16);
|
||
|
imm32 = SWAP_4 (imm32);
|
||
|
|
||
|
insn = (((UDI) imm32) << 32) | (((UDI) off16) << 16) | (insn & 0xffff);
|
||
|
}
|
||
|
|
||
|
extract (current_cpu, vpc, insn, sc, FAST_P);
|
||
|
|
||
|
//XXX SEM_SKIP_COMPILE (current_cpu, sc, 1);
|
||
|
}
|
||
|
EOF
|
||
|
|
||
|
;;
|
||
|
|
||
|
xfull-exec-* | xfast-exec-*)
|
||
|
|
||
|
# Inputs: current_cpu, vpc, sc, FAST_P
|
||
|
# Outputs: vpc
|
||
|
# vpc is the virtual program counter.
|
||
|
|
||
|
cat <<EOF
|
||
|
vpc = execute (current_cpu, sc, FAST_P);
|
||
|
EOF
|
||
|
|
||
|
;;
|
||
|
|
||
|
*)
|
||
|
echo "Invalid argument to mainloop.in: $1" >&2
|
||
|
exit 1
|
||
|
;;
|
||
|
|
||
|
esac
|