Thanks for using Compiler Explorer
Sponsors
Jakt
C++
Ada
Algol68
Analysis
Android Java
Android Kotlin
Assembly
C
C3
Carbon
C with Coccinelle
C++ with Coccinelle
C++ (Circle)
CIRCT
Clean
Clojure
CMake
CMakeScript
COBOL
C++ for OpenCL
MLIR
Cppx
Cppx-Blue
Cppx-Gold
Cpp2-cppfront
Crystal
C#
CUDA C++
D
Dart
Elixir
Erlang
Fortran
F#
GLSL
Go
Haskell
HLSL
Helion
Hook
Hylo
IL
ispc
Java
Julia
Kotlin
LLVM IR
LLVM MIR
Modula-2
Mojo
Nim
Numba
Nix
Objective-C
Objective-C++
OCaml
Odin
OpenCL C
Pascal
Pony
PTX
Python
Racket
Raku
Ruby
Rust
Sail
Snowball
Scala
Slang
Solidity
Spice
SPIR-V
Swift
LLVM TableGen
Toit
Triton
TypeScript Native
V
Vala
Visual Basic
Vyper
WASM
Yul (Solidity IR)
Zig
Javascript
GIMPLE
Ygen
sway
c source #1
Output
Compile to binary object
Link to binary
Execute the code
Intel asm syntax
Demangle identifiers
Verbose demangling
Filters
Unused labels
Library functions
Directives
Comments
Horizontal whitespace
Debug intrinsics
Compiler
6502 cc65 2.17
6502 cc65 2.18
6502 cc65 2.19
6502 cc65 trunk
ARM GCC 10.2.0 (linux)
ARM GCC 10.2.1 (none)
ARM GCC 10.3.0 (linux)
ARM GCC 10.3.1 (2021.07 none)
ARM GCC 10.3.1 (2021.10 none)
ARM GCC 10.5.0
ARM GCC 11.1.0 (linux)
ARM GCC 11.2.0 (linux)
ARM GCC 11.2.1 (none)
ARM GCC 11.3.0 (linux)
ARM GCC 11.4.0
ARM GCC 12.1.0 (linux)
ARM GCC 12.2.0 (linux)
ARM GCC 12.3.0
ARM GCC 12.4.0
ARM GCC 12.5.0
ARM GCC 13.1.0 (linux)
ARM GCC 13.2.0
ARM GCC 13.2.0 (unknown-eabi)
ARM GCC 13.3.0
ARM GCC 13.3.0 (unknown-eabi)
ARM GCC 13.4.0
ARM GCC 13.4.0 (unknown-eabi)
ARM GCC 14.1.0
ARM GCC 14.1.0 (unknown-eabi)
ARM GCC 14.2.0
ARM GCC 14.2.0 (unknown-eabi)
ARM GCC 14.3.0
ARM GCC 14.3.0 (unknown-eabi)
ARM GCC 15.1.0
ARM GCC 15.1.0 (unknown-eabi)
ARM GCC 15.2.0
ARM GCC 15.2.0 (unknown-eabi)
ARM GCC 4.5.4 (linux)
ARM GCC 4.6.4 (linux)
ARM GCC 5.4 (linux)
ARM GCC 5.4.1 (none)
ARM GCC 6.3.0 (linux)
ARM GCC 6.4.0 (linux)
ARM GCC 7.2.1 (none)
ARM GCC 7.3.0 (linux)
ARM GCC 7.5.0 (linux)
ARM GCC 8.2.0 (WinCE)
ARM GCC 8.2.0 (linux)
ARM GCC 8.3.1 (none)
ARM GCC 8.5.0 (linux)
ARM GCC 9.2.1 (none)
ARM GCC 9.3.0 (linux)
ARM GCC trunk (linux)
ARM msvc v19.0 (ex-WINE)
ARM msvc v19.10 (ex-WINE)
ARM msvc v19.14 (ex-WINE)
ARM64 GCC 10.2.0
ARM64 GCC 10.3.0
ARM64 GCC 10.4.0
ARM64 GCC 10.5.0
ARM64 GCC 11.1.0
ARM64 GCC 11.2.0
ARM64 GCC 11.3.0
ARM64 GCC 11.4.0
ARM64 GCC 12.1.0
ARM64 GCC 12.2.0
ARM64 GCC 12.3.0
ARM64 GCC 12.4.0
ARM64 GCC 12.5.0
ARM64 GCC 13.1.0
ARM64 GCC 13.2.0
ARM64 GCC 13.3.0
ARM64 GCC 13.4.0
ARM64 GCC 14.1.0
ARM64 GCC 14.2.0
ARM64 GCC 14.3.0
ARM64 GCC 15.1.0
ARM64 GCC 15.2.0
ARM64 GCC 4.9.4
ARM64 GCC 5.4
ARM64 GCC 5.5.0
ARM64 GCC 6.3
ARM64 GCC 6.4.0
ARM64 GCC 7.3.0
ARM64 GCC 7.5.0
ARM64 GCC 8.2.0
ARM64 GCC 8.5.0
ARM64 GCC 9.3.0
ARM64 GCC 9.4.0
ARM64 GCC 9.5.0
ARM64 GCC trunk
ARM64 Morello GCC 10.1.0 Alpha 1
ARM64 Morello GCC 10.1.2 Alpha 2
ARM64 msvc v19.14 (ex-WINE)
AVR gcc 10.3.0
AVR gcc 11.1.0
AVR gcc 12.1.0
AVR gcc 12.2.0
AVR gcc 12.3.0
AVR gcc 12.4.0
AVR gcc 12.5.0
AVR gcc 13.1.0
AVR gcc 13.2.0
AVR gcc 13.3.0
AVR gcc 13.4.0
AVR gcc 14.1.0
AVR gcc 14.2.0
AVR gcc 14.3.0
AVR gcc 15.1.0
AVR gcc 15.2.0
AVR gcc 4.5.4
AVR gcc 4.6.4
AVR gcc 5.4.0
AVR gcc 9.2.0
AVR gcc 9.3.0
Arduino Mega (1.8.9)
Arduino Uno (1.8.9)
BPF clang (trunk)
BPF clang 13.0.0
BPF clang 14.0.0
BPF clang 15.0.0
BPF clang 16.0.0
BPF clang 17.0.1
BPF clang 18.1.0
BPF clang 19.1.0
BPF clang 20.1.0
BPF clang 21.1.0
BPF gcc 13.1.0
BPF gcc 13.2.0
BPF gcc 13.3.0
BPF gcc 13.4.0
BPF gcc 14.1.0
BPF gcc 14.2.0
BPF gcc 14.3.0
BPF gcc 15.1.0
BPF gcc 15.2.0
BPF gcc trunk
C2Rust (master)
Chibicc 2020-12-07
FRC 2019
FRC 2020
FRC 2023
HPPA gcc 14.2.0
HPPA gcc 14.3.0
HPPA gcc 15.1.0
HPPA gcc 15.2.0
K1C gcc 7.4
K1C gcc 7.5
KVX ACB 4.1.0 (GCC 7.5.0)
KVX ACB 4.1.0-cd1 (GCC 7.5.0)
KVX ACB 4.10.0 (GCC 10.3.1)
KVX ACB 4.11.1 (GCC 10.3.1)
KVX ACB 4.12.0 (GCC 11.3.0)
KVX ACB 4.2.0 (GCC 7.5.0)
KVX ACB 4.3.0 (GCC 7.5.0)
KVX ACB 4.4.0 (GCC 7.5.0)
KVX ACB 4.6.0 (GCC 9.4.1)
KVX ACB 4.8.0 (GCC 9.4.1)
KVX ACB 4.9.0 (GCC 9.4.1)
KVX ACB 5.0.0 (GCC 12.2.1)
KVX ACB 5.2.0 (GCC 13.2.1)
LC3 (trunk)
M68K clang (trunk)
M68K gcc 13.1.0
M68K gcc 13.2.0
M68K gcc 13.3.0
M68K gcc 13.4.0
M68K gcc 14.1.0
M68K gcc 14.2.0
M68K gcc 14.3.0
M68K gcc 15.1.0
M68K gcc 15.2.0
MRISC32 gcc (trunk)
MSP430 gcc 12.1.0
MSP430 gcc 12.2.0
MSP430 gcc 12.3.0
MSP430 gcc 12.4.0
MSP430 gcc 12.5.0
MSP430 gcc 13.1.0
MSP430 gcc 13.2.0
MSP430 gcc 13.3.0
MSP430 gcc 13.4.0
MSP430 gcc 14.1.0
MSP430 gcc 14.2.0
MSP430 gcc 14.3.0
MSP430 gcc 15.1.0
MSP430 gcc 15.2.0
MSP430 gcc 4.5.3
MSP430 gcc 5.3.0
MSP430 gcc 6.2.1
MinGW clang 14.0.3
MinGW clang 14.0.6
MinGW clang 15.0.7
MinGW clang 16.0.0
MinGW clang 16.0.2
MinGW gcc 11.3.0
MinGW gcc 12.1.0
MinGW gcc 12.2.0
MinGW gcc 13.1.0
MinGW gcc 14.3.0
MinGW gcc 15.2.0
ORCA/C 2.1.0
ORCA/C 2.2.0
ORCA/C 2.2.1
POWER64 gcc 11.2.0
POWER64 gcc 12.1.0
POWER64 gcc 12.2.0
POWER64 gcc 12.3.0
POWER64 gcc 12.4.0
POWER64 gcc 12.5.0
POWER64 gcc 13.1.0
POWER64 gcc 13.2.0
POWER64 gcc 13.3.0
POWER64 gcc 13.4.0
POWER64 gcc 14.1.0
POWER64 gcc 14.2.0
POWER64 gcc 14.3.0
POWER64 gcc 15.1.0
POWER64 gcc 15.2.0
POWER64 gcc trunk
RISC-V (32-bits) gcc (trunk)
RISC-V (32-bits) gcc 10.2.0
RISC-V (32-bits) gcc 10.3.0
RISC-V (32-bits) gcc 11.2.0
RISC-V (32-bits) gcc 11.3.0
RISC-V (32-bits) gcc 11.4.0
RISC-V (32-bits) gcc 12.1.0
RISC-V (32-bits) gcc 12.2.0
RISC-V (32-bits) gcc 12.3.0
RISC-V (32-bits) gcc 12.4.0
RISC-V (32-bits) gcc 12.5.0
RISC-V (32-bits) gcc 13.1.0
RISC-V (32-bits) gcc 13.2.0
RISC-V (32-bits) gcc 13.3.0
RISC-V (32-bits) gcc 13.4.0
RISC-V (32-bits) gcc 14.1.0
RISC-V (32-bits) gcc 14.2.0
RISC-V (32-bits) gcc 14.3.0
RISC-V (32-bits) gcc 15.1.0
RISC-V (32-bits) gcc 15.2.0
RISC-V (32-bits) gcc 8.2.0
RISC-V (32-bits) gcc 8.5.0
RISC-V (32-bits) gcc 9.4.0
RISC-V (64-bits) gcc (trunk)
RISC-V (64-bits) gcc 10.2.0
RISC-V (64-bits) gcc 10.3.0
RISC-V (64-bits) gcc 11.2.0
RISC-V (64-bits) gcc 11.3.0
RISC-V (64-bits) gcc 11.4.0
RISC-V (64-bits) gcc 12.1.0
RISC-V (64-bits) gcc 12.2.0
RISC-V (64-bits) gcc 12.3.0
RISC-V (64-bits) gcc 12.4.0
RISC-V (64-bits) gcc 12.5.0
RISC-V (64-bits) gcc 13.1.0
RISC-V (64-bits) gcc 13.2.0
RISC-V (64-bits) gcc 13.3.0
RISC-V (64-bits) gcc 13.4.0
RISC-V (64-bits) gcc 14.1.0
RISC-V (64-bits) gcc 14.2.0
RISC-V (64-bits) gcc 14.3.0
RISC-V (64-bits) gcc 15.1.0
RISC-V (64-bits) gcc 15.2.0
RISC-V (64-bits) gcc 8.2.0
RISC-V (64-bits) gcc 8.5.0
RISC-V (64-bits) gcc 9.4.0
RISC-V rv32gc clang (trunk)
RISC-V rv32gc clang 10.0.0
RISC-V rv32gc clang 10.0.1
RISC-V rv32gc clang 11.0.0
RISC-V rv32gc clang 11.0.1
RISC-V rv32gc clang 12.0.0
RISC-V rv32gc clang 12.0.1
RISC-V rv32gc clang 13.0.0
RISC-V rv32gc clang 13.0.1
RISC-V rv32gc clang 14.0.0
RISC-V rv32gc clang 15.0.0
RISC-V rv32gc clang 16.0.0
RISC-V rv32gc clang 17.0.1
RISC-V rv32gc clang 18.1.0
RISC-V rv32gc clang 19.1.0
RISC-V rv32gc clang 20.1.0
RISC-V rv32gc clang 21.1.0
RISC-V rv32gc clang 9.0.0
RISC-V rv32gc clang 9.0.1
RISC-V rv64gc clang (trunk)
RISC-V rv64gc clang 10.0.0
RISC-V rv64gc clang 10.0.1
RISC-V rv64gc clang 11.0.0
RISC-V rv64gc clang 11.0.1
RISC-V rv64gc clang 12.0.0
RISC-V rv64gc clang 12.0.1
RISC-V rv64gc clang 13.0.0
RISC-V rv64gc clang 13.0.1
RISC-V rv64gc clang 14.0.0
RISC-V rv64gc clang 15.0.0
RISC-V rv64gc clang 16.0.0
RISC-V rv64gc clang 17.0.1
RISC-V rv64gc clang 18.1.0
RISC-V rv64gc clang 19.1.0
RISC-V rv64gc clang 20.1.0
RISC-V rv64gc clang 21.1.0
RISC-V rv64gc clang 9.0.0
RISC-V rv64gc clang 9.0.1
Raspbian Buster
Raspbian Stretch
SDCC 4.0.0
SDCC 4.1.0
SDCC 4.2.0
SDCC 4.3.0
SDCC 4.4.0
SDCC 4.5.0
SPARC LEON gcc 12.2.0
SPARC LEON gcc 12.3.0
SPARC LEON gcc 12.4.0
SPARC LEON gcc 12.5.0
SPARC LEON gcc 13.1.0
SPARC LEON gcc 13.2.0
SPARC LEON gcc 13.3.0
SPARC LEON gcc 13.4.0
SPARC LEON gcc 14.1.0
SPARC LEON gcc 14.2.0
SPARC LEON gcc 14.3.0
SPARC LEON gcc 15.1.0
SPARC LEON gcc 15.2.0
SPARC gcc 12.2.0
SPARC gcc 12.3.0
SPARC gcc 12.4.0
SPARC gcc 12.5.0
SPARC gcc 13.1.0
SPARC gcc 13.2.0
SPARC gcc 13.3.0
SPARC gcc 13.4.0
SPARC gcc 14.1.0
SPARC gcc 14.2.0
SPARC gcc 14.3.0
SPARC gcc 15.1.0
SPARC gcc 15.2.0
SPARC64 gcc 12.2.0
SPARC64 gcc 12.3.0
SPARC64 gcc 12.4.0
SPARC64 gcc 12.5.0
SPARC64 gcc 13.1.0
SPARC64 gcc 13.2.0
SPARC64 gcc 13.3.0
SPARC64 gcc 13.4.0
SPARC64 gcc 14.1.0
SPARC64 gcc 14.2.0
SPARC64 gcc 14.3.0
SPARC64 gcc 15.1.0
SPARC64 gcc 15.2.0
TCC (trunk)
TCC 0.9.27
TI C6x gcc 12.2.0
TI C6x gcc 12.3.0
TI C6x gcc 12.4.0
TI C6x gcc 12.5.0
TI C6x gcc 13.1.0
TI C6x gcc 13.2.0
TI C6x gcc 13.3.0
TI C6x gcc 13.4.0
TI C6x gcc 14.1.0
TI C6x gcc 14.2.0
TI C6x gcc 14.3.0
TI C6x gcc 15.1.0
TI C6x gcc 15.2.0
TI CL430 21.6.1
Tricore gcc 11.3.0 (EEESlab)
VAX gcc NetBSDELF 10.4.0
VAX gcc NetBSDELF 10.5.0 (Nov 15 03:50:22 2023)
VAX gcc NetBSDELF 12.4.0 (Apr 16 05:27 2025)
WebAssembly clang (trunk)
Xtensa ESP32 gcc 11.2.0 (2022r1)
Xtensa ESP32 gcc 12.2.0 (20230208)
Xtensa ESP32 gcc 14.2.0 (20241119)
Xtensa ESP32 gcc 8.2.0 (2019r2)
Xtensa ESP32 gcc 8.2.0 (2020r1)
Xtensa ESP32 gcc 8.2.0 (2020r2)
Xtensa ESP32 gcc 8.4.0 (2020r3)
Xtensa ESP32 gcc 8.4.0 (2021r1)
Xtensa ESP32 gcc 8.4.0 (2021r2)
Xtensa ESP32-S2 gcc 11.2.0 (2022r1)
Xtensa ESP32-S2 gcc 12.2.0 (20230208)
Xtensa ESP32-S2 gcc 14.2.0 (20241119)
Xtensa ESP32-S2 gcc 8.2.0 (2019r2)
Xtensa ESP32-S2 gcc 8.2.0 (2020r1)
Xtensa ESP32-S2 gcc 8.2.0 (2020r2)
Xtensa ESP32-S2 gcc 8.4.0 (2020r3)
Xtensa ESP32-S2 gcc 8.4.0 (2021r1)
Xtensa ESP32-S2 gcc 8.4.0 (2021r2)
Xtensa ESP32-S3 gcc 11.2.0 (2022r1)
Xtensa ESP32-S3 gcc 12.2.0 (20230208)
Xtensa ESP32-S3 gcc 14.2.0 (20241119)
Xtensa ESP32-S3 gcc 8.4.0 (2020r3)
Xtensa ESP32-S3 gcc 8.4.0 (2021r1)
Xtensa ESP32-S3 gcc 8.4.0 (2021r2)
arm64 msvc v19.20 VS16.0
arm64 msvc v19.21 VS16.1
arm64 msvc v19.22 VS16.2
arm64 msvc v19.23 VS16.3
arm64 msvc v19.24 VS16.4
arm64 msvc v19.25 VS16.5
arm64 msvc v19.27 VS16.7
arm64 msvc v19.28 VS16.8
arm64 msvc v19.28 VS16.9
arm64 msvc v19.29 VS16.10
arm64 msvc v19.29 VS16.11
arm64 msvc v19.30 VS17.0
arm64 msvc v19.31 VS17.1
arm64 msvc v19.32 VS17.2
arm64 msvc v19.33 VS17.3
arm64 msvc v19.34 VS17.4
arm64 msvc v19.35 VS17.5
arm64 msvc v19.36 VS17.6
arm64 msvc v19.37 VS17.7
arm64 msvc v19.38 VS17.8
arm64 msvc v19.39 VS17.9
arm64 msvc v19.40 VS17.10
arm64 msvc v19.41 VS17.11
arm64 msvc v19.42 VS17.12
arm64 msvc v19.43 VS17.13
arm64 msvc v19.44 VS17.14
arm64 msvc v19.latest
armv7-a clang (trunk)
armv7-a clang 10.0.0
armv7-a clang 10.0.1
armv7-a clang 11.0.0
armv7-a clang 11.0.1
armv7-a clang 12.0.0
armv7-a clang 12.0.1
armv7-a clang 13.0.0
armv7-a clang 13.0.1
armv7-a clang 14.0.0
armv7-a clang 15.0.0
armv7-a clang 16.0.0
armv7-a clang 17.0.1
armv7-a clang 18.1.0
armv7-a clang 19.1.0
armv7-a clang 20.1.0
armv7-a clang 21.1.0
armv7-a clang 9.0.0
armv7-a clang 9.0.1
armv8-a clang (all architectural features, trunk)
armv8-a clang (trunk)
armv8-a clang 10.0.0
armv8-a clang 10.0.1
armv8-a clang 11.0.0
armv8-a clang 11.0.1
armv8-a clang 12.0.0
armv8-a clang 12.0.1
armv8-a clang 13.0.0
armv8-a clang 13.0.1
armv8-a clang 14.0.0
armv8-a clang 15.0.0
armv8-a clang 16.0.0
armv8-a clang 17.0.1
armv8-a clang 18.1.0
armv8-a clang 19.1.0
armv8-a clang 20.1.0
armv8-a clang 21.1.0
armv8-a clang 9.0.0
armv8-a clang 9.0.1
clang 12 for DPU (rel 2023.2.0)
cproc-master
ez80-clang 15.0.0
ez80-clang 15.0.7
llvm-mos commander X16
llvm-mos commodore 64
llvm-mos mega65
llvm-mos nes-cnrom
llvm-mos nes-mmc1
llvm-mos nes-mmc3
llvm-mos nes-nrom
llvm-mos osi-c1p
loongarch64 gcc 12.2.0
loongarch64 gcc 12.3.0
loongarch64 gcc 12.4.0
loongarch64 gcc 12.5.0
loongarch64 gcc 13.1.0
loongarch64 gcc 13.2.0
loongarch64 gcc 13.3.0
loongarch64 gcc 13.4.0
loongarch64 gcc 14.1.0
loongarch64 gcc 14.2.0
loongarch64 gcc 14.3.0
loongarch64 gcc 15.1.0
loongarch64 gcc 15.2.0
mips (el) gcc 12.1.0
mips (el) gcc 12.2.0
mips (el) gcc 12.3.0
mips (el) gcc 12.4.0
mips (el) gcc 12.5.0
mips (el) gcc 13.1.0
mips (el) gcc 13.2.0
mips (el) gcc 13.3.0
mips (el) gcc 13.4.0
mips (el) gcc 14.1.0
mips (el) gcc 14.2.0
mips (el) gcc 14.3.0
mips (el) gcc 15.1.0
mips (el) gcc 15.2.0
mips (el) gcc 4.9.4
mips (el) gcc 5.4
mips (el) gcc 5.5.0
mips (el) gcc 9.5.0
mips clang 13.0.0
mips clang 14.0.0
mips clang 15.0.0
mips clang 16.0.0
mips clang 17.0.1
mips clang 18.1.0
mips clang 19.1.0
mips clang 20.1.0
mips clang 21.1.0
mips gcc 11.2.0
mips gcc 12.1.0
mips gcc 12.2.0
mips gcc 12.3.0
mips gcc 12.4.0
mips gcc 12.5.0
mips gcc 13.1.0
mips gcc 13.2.0
mips gcc 13.3.0
mips gcc 13.4.0
mips gcc 14.1.0
mips gcc 14.2.0
mips gcc 14.3.0
mips gcc 15.1.0
mips gcc 15.2.0
mips gcc 4.9.4
mips gcc 5.4
mips gcc 5.5.0
mips gcc 9.3.0 (codescape)
mips gcc 9.5.0
mips64 (el) gcc 12.1.0
mips64 (el) gcc 12.2.0
mips64 (el) gcc 12.3.0
mips64 (el) gcc 12.4.0
mips64 (el) gcc 12.5.0
mips64 (el) gcc 13.1.0
mips64 (el) gcc 13.2.0
mips64 (el) gcc 13.3.0
mips64 (el) gcc 13.4.0
mips64 (el) gcc 14.1.0
mips64 (el) gcc 14.2.0
mips64 (el) gcc 14.3.0
mips64 (el) gcc 15.1.0
mips64 (el) gcc 15.2.0
mips64 (el) gcc 4.9.4
mips64 (el) gcc 5.4.0
mips64 (el) gcc 5.5.0
mips64 (el) gcc 9.5.0
mips64 clang 13.0.0
mips64 clang 14.0.0
mips64 clang 15.0.0
mips64 clang 16.0.0
mips64 clang 17.0.1
mips64 clang 18.1.0
mips64 clang 19.1.0
mips64 clang 20.1.0
mips64 clang 21.1.0
mips64 gcc 11.2.0
mips64 gcc 12.1.0
mips64 gcc 12.2.0
mips64 gcc 12.3.0
mips64 gcc 12.4.0
mips64 gcc 12.5.0
mips64 gcc 13.1.0
mips64 gcc 13.2.0
mips64 gcc 13.3.0
mips64 gcc 13.4.0
mips64 gcc 14.1.0
mips64 gcc 14.2.0
mips64 gcc 14.3.0
mips64 gcc 15.1.0
mips64 gcc 15.2.0
mips64 gcc 4.9.4
mips64 gcc 5.4
mips64 gcc 5.5.0
mips64 gcc 9.5.0
mips64el clang 13.0.0
mips64el clang 14.0.0
mips64el clang 15.0.0
mips64el clang 16.0.0
mips64el clang 17.0.1
mips64el clang 18.1.0
mips64el clang 19.1.0
mips64el clang 20.1.0
mips64el clang 21.1.0
mipsel clang 13.0.0
mipsel clang 14.0.0
mipsel clang 15.0.0
mipsel clang 16.0.0
mipsel clang 17.0.1
mipsel clang 18.1.0
mipsel clang 19.1.0
mipsel clang 20.1.0
mipsel clang 21.1.0
movfuscator (trunk)
nanoMIPS gcc 6.3.0
power gcc 11.2.0
power gcc 12.1.0
power gcc 12.2.0
power gcc 12.3.0
power gcc 12.4.0
power gcc 12.5.0
power gcc 13.1.0
power gcc 13.2.0
power gcc 13.3.0
power gcc 13.4.0
power gcc 14.1.0
power gcc 14.2.0
power gcc 14.3.0
power gcc 15.1.0
power gcc 15.2.0
power gcc 4.8.5
power64 AT12.0 (gcc8)
power64 AT13.0 (gcc9)
power64le AT12.0 (gcc8)
power64le AT13.0 (gcc9)
power64le clang (trunk)
power64le gcc 11.2.0
power64le gcc 12.1.0
power64le gcc 12.2.0
power64le gcc 12.3.0
power64le gcc 12.4.0
power64le gcc 12.5.0
power64le gcc 13.1.0
power64le gcc 13.2.0
power64le gcc 13.3.0
power64le gcc 13.4.0
power64le gcc 14.1.0
power64le gcc 14.2.0
power64le gcc 14.3.0
power64le gcc 15.1.0
power64le gcc 15.2.0
power64le gcc 6.3.0
power64le gcc trunk
powerpc64 clang (trunk)
ppci 0.5.5
s390x gcc 11.2.0
s390x gcc 12.1.0
s390x gcc 12.2.0
s390x gcc 12.3.0
s390x gcc 12.4.0
s390x gcc 12.5.0
s390x gcc 13.1.0
s390x gcc 13.2.0
s390x gcc 13.3.0
s390x gcc 13.4.0
s390x gcc 14.1.0
s390x gcc 14.2.0
s390x gcc 14.3.0
s390x gcc 15.1.0
s390x gcc 15.2.0
sh gcc 12.2.0
sh gcc 12.3.0
sh gcc 12.4.0
sh gcc 12.5.0
sh gcc 13.1.0
sh gcc 13.2.0
sh gcc 13.3.0
sh gcc 13.4.0
sh gcc 14.1.0
sh gcc 14.2.0
sh gcc 14.3.0
sh gcc 15.1.0
sh gcc 15.2.0
sh gcc 4.9.4
sh gcc 9.5.0
vast (trunk)
x64 msvc v19.0 (ex-WINE)
x64 msvc v19.10 (ex-WINE)
x64 msvc v19.14 (ex-WINE)
x64 msvc v19.20 VS16.0
x64 msvc v19.21 VS16.1
x64 msvc v19.22 VS16.2
x64 msvc v19.23 VS16.3
x64 msvc v19.24 VS16.4
x64 msvc v19.25 VS16.5
x64 msvc v19.27 VS16.7
x64 msvc v19.28 VS16.8
x64 msvc v19.28 VS16.9
x64 msvc v19.29 VS16.10
x64 msvc v19.29 VS16.11
x64 msvc v19.30 VS17.0
x64 msvc v19.31 VS17.1
x64 msvc v19.32 VS17.2
x64 msvc v19.33 VS17.3
x64 msvc v19.34 VS17.4
x64 msvc v19.35 VS17.5
x64 msvc v19.36 VS17.6
x64 msvc v19.37 VS17.7
x64 msvc v19.38 VS17.8
x64 msvc v19.39 VS17.9
x64 msvc v19.40 VS17.10
x64 msvc v19.41 VS17.11
x64 msvc v19.42 VS17.12
x64 msvc v19.43 VS17.13
x64 msvc v19.44 VS17.14
x64 msvc v19.latest
x86 CompCert 3.10
x86 CompCert 3.11
x86 CompCert 3.12
x86 CompCert 3.9
x86 gcc 1.27
x86 msvc v19.0 (ex-WINE)
x86 msvc v19.10 (ex-WINE)
x86 msvc v19.14 (ex-WINE)
x86 msvc v19.20 VS16.0
x86 msvc v19.21 VS16.1
x86 msvc v19.22 VS16.2
x86 msvc v19.23 VS16.3
x86 msvc v19.24 VS16.4
x86 msvc v19.25 VS16.5
x86 msvc v19.27 VS16.7
x86 msvc v19.28 VS16.8
x86 msvc v19.28 VS16.9
x86 msvc v19.29 VS16.10
x86 msvc v19.29 VS16.11
x86 msvc v19.30 VS17.0
x86 msvc v19.31 VS17.1
x86 msvc v19.32 VS17.2
x86 msvc v19.33 VS17.3
x86 msvc v19.34 VS17.4
x86 msvc v19.35 VS17.5
x86 msvc v19.36 VS17.6
x86 msvc v19.37 VS17.7
x86 msvc v19.38 VS17.8
x86 msvc v19.39 VS17.9
x86 msvc v19.40 VS17.10
x86 msvc v19.41 VS17.11
x86 msvc v19.42 VS17.12
x86 msvc v19.43 VS17.13
x86 msvc v19.44 VS17.14
x86 msvc v19.latest
x86 nvc 24.11
x86 nvc 24.9
x86 nvc 25.1
x86 nvc 25.3
x86 nvc 25.5
x86 nvc 25.7
x86 nvc 25.9
x86 tendra (trunk)
x86-64 clang (assertions trunk)
x86-64 clang (thephd.dev)
x86-64 clang (trunk)
x86-64 clang (widberg)
x86-64 clang 10.0.0
x86-64 clang 10.0.1
x86-64 clang 11.0.0
x86-64 clang 11.0.1
x86-64 clang 12.0.0
x86-64 clang 12.0.1
x86-64 clang 13.0.0
x86-64 clang 13.0.1
x86-64 clang 14.0.0
x86-64 clang 15.0.0
x86-64 clang 16.0.0
x86-64 clang 17.0.1
x86-64 clang 18.1.0
x86-64 clang 19.1.0
x86-64 clang 20.1.0
x86-64 clang 21.1.0
x86-64 clang 3.0.0
x86-64 clang 3.1
x86-64 clang 3.2
x86-64 clang 3.3
x86-64 clang 3.4.1
x86-64 clang 3.5
x86-64 clang 3.5.1
x86-64 clang 3.5.2
x86-64 clang 3.6
x86-64 clang 3.7
x86-64 clang 3.7.1
x86-64 clang 3.8
x86-64 clang 3.8.1
x86-64 clang 3.9.0
x86-64 clang 3.9.1
x86-64 clang 4.0.0
x86-64 clang 4.0.1
x86-64 clang 5.0.0
x86-64 clang 5.0.1
x86-64 clang 5.0.2
x86-64 clang 6.0.0
x86-64 clang 6.0.1
x86-64 clang 7.0.0
x86-64 clang 7.0.1
x86-64 clang 7.1.0
x86-64 clang 8.0.0
x86-64 clang 8.0.1
x86-64 clang 9.0.0
x86-64 clang 9.0.1
x86-64 gcc (trunk)
x86-64 gcc 10.1
x86-64 gcc 10.2
x86-64 gcc 10.3
x86-64 gcc 10.3 (assertions)
x86-64 gcc 10.4
x86-64 gcc 10.4 (assertions)
x86-64 gcc 10.5
x86-64 gcc 10.5 (assertions)
x86-64 gcc 11.1
x86-64 gcc 11.1 (assertions)
x86-64 gcc 11.2
x86-64 gcc 11.2 (assertions)
x86-64 gcc 11.3
x86-64 gcc 11.3 (assertions)
x86-64 gcc 11.4
x86-64 gcc 11.4 (assertions)
x86-64 gcc 12.1
x86-64 gcc 12.1 (assertions)
x86-64 gcc 12.2
x86-64 gcc 12.2 (assertions)
x86-64 gcc 12.3
x86-64 gcc 12.3 (assertions)
x86-64 gcc 12.4
x86-64 gcc 12.4 (assertions)
x86-64 gcc 12.5
x86-64 gcc 12.5 (assertions)
x86-64 gcc 13.1
x86-64 gcc 13.1 (assertions)
x86-64 gcc 13.2
x86-64 gcc 13.2 (assertions)
x86-64 gcc 13.3
x86-64 gcc 13.3 (assertions)
x86-64 gcc 13.4
x86-64 gcc 13.4 (assertions)
x86-64 gcc 14.1
x86-64 gcc 14.1 (assertions)
x86-64 gcc 14.2
x86-64 gcc 14.2 (assertions)
x86-64 gcc 14.3
x86-64 gcc 14.3 (assertions)
x86-64 gcc 15.1
x86-64 gcc 15.1 (assertions)
x86-64 gcc 15.2
x86-64 gcc 15.2 (assertions)
x86-64 gcc 3.4.6
x86-64 gcc 4.0.4
x86-64 gcc 4.1.2
x86-64 gcc 4.4.7
x86-64 gcc 4.5.3
x86-64 gcc 4.6.4
x86-64 gcc 4.7.1
x86-64 gcc 4.7.2
x86-64 gcc 4.7.3
x86-64 gcc 4.7.4
x86-64 gcc 4.8.1
x86-64 gcc 4.8.2
x86-64 gcc 4.8.3
x86-64 gcc 4.8.4
x86-64 gcc 4.8.5
x86-64 gcc 4.9.0
x86-64 gcc 4.9.1
x86-64 gcc 4.9.2
x86-64 gcc 4.9.3
x86-64 gcc 4.9.4
x86-64 gcc 5.1
x86-64 gcc 5.2
x86-64 gcc 5.3
x86-64 gcc 5.4
x86-64 gcc 6.1
x86-64 gcc 6.2
x86-64 gcc 6.3
x86-64 gcc 6.5
x86-64 gcc 7.1
x86-64 gcc 7.2
x86-64 gcc 7.3
x86-64 gcc 7.4
x86-64 gcc 7.5
x86-64 gcc 8.1
x86-64 gcc 8.2
x86-64 gcc 8.3
x86-64 gcc 8.4
x86-64 gcc 8.5
x86-64 gcc 9.1
x86-64 gcc 9.2
x86-64 gcc 9.3
x86-64 gcc 9.4
x86-64 gcc 9.5
x86-64 icc 13.0.1
x86-64 icc 16.0.3
x86-64 icc 17.0.0
x86-64 icc 18.0.0
x86-64 icc 19.0.0
x86-64 icc 19.0.1
x86-64 icc 2021.1.2
x86-64 icc 2021.10.0
x86-64 icc 2021.2.0
x86-64 icc 2021.3.0
x86-64 icc 2021.4.0
x86-64 icc 2021.5.0
x86-64 icc 2021.6.0
x86-64 icc 2021.7.0
x86-64 icc 2021.7.1
x86-64 icc 2021.8.0
x86-64 icc 2021.9.0
x86-64 icx (latest)
x86-64 icx 2021.1.2
x86-64 icx 2021.2.0
x86-64 icx 2021.3.0
x86-64 icx 2021.4.0
x86-64 icx 2022.0.0
x86-64 icx 2022.1.0
x86-64 icx 2022.2.0
x86-64 icx 2022.2.1
x86-64 icx 2023.0.0
x86-64 icx 2023.1.0
x86-64 icx 2024.0.0
x86_64 CompCert 3.10
x86_64 CompCert 3.11
x86_64 CompCert 3.12
x86_64 CompCert 3.9
z180-clang 15.0.0
z180-clang 15.0.7
z80-clang 15.0.0
z80-clang 15.0.7
z88dk 2.2
zig cc 0.10.0
zig cc 0.11.0
zig cc 0.12.0
zig cc 0.12.1
zig cc 0.13.0
zig cc 0.14.0
zig cc 0.14.1
zig cc 0.15.1
zig cc 0.15.2
zig cc 0.6.0
zig cc 0.7.0
zig cc 0.7.1
zig cc 0.8.0
zig cc 0.9.0
zig cc trunk
Options
Source code
/* RV32I[MAC] emulator. * see: https://github.com/riscv/riscv-isa-manual */ #ifndef MN_RV_H #define MN_RV_H #define RV_VERSION "1.0.1" /* Exception list. */ #define RV_EIALIGN 0 /* Instruction alignment exception. */ #define RV_EIFAULT 1 /* Instruction fault exception. */ #define RV_EILL 2 /* Illegal instruction exception. */ #define RV_EBP 3 /* Breakpoint. */ #define RV_ELALIGN 4 /* Load alignment exception. */ #define RV_ELFAULT 5 /* Load fault. */ #define RV_ESALIGN 6 /* Store alignment exception. */ #define RV_ESFAULT 7 /* Store fault. */ #define RV_EUECALL 8 /* Environment call from U-mode. */ #define RV_ESECALL 9 /* Environment call from S-mode. */ #define RV_EMECALL 11 /* Environment call from M-mode. */ #define RV_EIPAGE 12 /* Instruction page fault. */ #define RV_ELPAGE 13 /* Load page fault. */ #define RV_ESPAGE 15 /* Store page fault. */ #if __STDC__ && __STDC_VERSION__ >= 199901L /* Attempt to load stdint.h. */ #include <stdint.h> #define RV_U8_TYPE uint8_t /* Yes, I know that these types are optional. */ #define RV_U16_TYPE uint16_t /* They *usually* exist. Regardless, rv isn't */ #define RV_S32_TYPE int32_t /* meant to be run on systems with */ #define RV_U32_TYPE uint32_t /* CHAR_BIT != 8 or other weird integer specs. */ #else #ifdef __UINT8_TYPE__ /* If these are here, we might as well use them. */ #define RV_U8_TYPE __UINT8_TYPE__ #define RV_U16_TYPE __UINT16_TYPE__ #define RV_S32_TYPE __INT32_TYPE__ #define RV_U32_TYPE __UINT32_TYPE__ #else #define RV_U8_TYPE unsigned char /* Assumption: CHAR_BIT == 8 */ #define RV_U16_TYPE unsigned short /* Assumption: sizeof(ushort) == 2 */ #define RV_S32_TYPE signed int /* Assumption: sizeof(sint) == 4 */ #define RV_U32_TYPE unsigned int /* Assumption: sizeof(uint) == 4 */ #endif /* (slight) deviations from c89. Sorry {TI, Cray, DEC, et. al.} */ #endif /* All I want for Christmas is C89 with stdint.h */ typedef RV_U8_TYPE rv_u8; typedef RV_U16_TYPE rv_u16; typedef RV_S32_TYPE rv_s32; typedef RV_U32_TYPE rv_u32; /* Result type: one of {RV_OK, RV_BAD, RV_PAGEFAULT, RV_BAD_ALIGN} */ typedef rv_u32 rv_res; #define RV_OK 0 #define RV_BAD 1 #define RV_BAD_ALIGN 2 #define RV_PAGEFAULT 3 #define RV_TRAP_NONE 0x80000010 #define RV_TRAP_WFI 0x80000011 typedef struct rv_csr { rv_u32 /* sstatus, */ sie, stvec, scounteren, sscratch, sepc, scause, stval, sip, satp; rv_u32 mstatus, misa, medeleg, mideleg, mie, mtvec, mcounteren, mstatush, mscratch, mepc, mcause, mtval, mip, mtime, mtimeh, mvendorid, marchid, mimpid, mhartid; rv_u32 cycle, cycleh; } rv_csr; typedef enum rv_priv { RV_PUSER = 0, RV_PSUPER = 1, RV_PMACH = 3 } rv_priv; typedef enum rv_access { RV_AR = 1, RV_AW = 2, RV_AX = 4 } rv_access; typedef enum rv_cause { RV_CSI = 8, RV_CTI = 128, RV_CEI = 512 } rv_cause; /* Memory access callback: data is input/output, return RV_BAD on fault. * Accesses are always aligned to `width`. */ typedef rv_res (*rv_bus_cb)(void *user, rv_u32 addr, rv_u8 *data, rv_u32 is_store, rv_u32 width); typedef struct rv { rv_bus_cb bus_cb; void *user; rv_u32 r[32]; /* registers */ rv_u32 pc; /* program counter */ rv_u32 next_pc; /* program counter for next cycle */ rv_csr csr; /* csr state */ rv_u32 priv; /* current privilege level*/ rv_u32 res, res_valid; /* lr/sc reservation set */ rv_u32 tlb_va, tlb_pte, tlb_valid, tlb_i; } rv; /* Initialize CPU. You can call this again on `cpu` to reset it. */ void rv_init(rv *cpu, void *user, rv_bus_cb bus_cb); /* Single-step CPU. Returns trap cause if trap occurred, else `RV_TRAP_NONE` */ rv_u32 rv_step(rv *cpu); /* Trigger interrupt(s). */ void rv_irq(rv *cpu, rv_cause cause); /* Utility function to convert between host<->LE. */ void rv_endcvt(rv_u8 *in, rv_u8 *out, rv_u32 width, rv_u32 is_store); #endif /* Copyright (c) 2023 Max Nurzia Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the “Software”), to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions: The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software. THE SOFTWARE IS PROVIDED “AS IS”, WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. */ #include <string.h> #define RV_RESET_VEC 0x80000000 /* CPU reset vector */ #define rv_ext(c) (1 << (rv_u8)((c) - 'A')) /* isa extension bit in misa */ void rv_init(rv *cpu, void *user, rv_bus_cb bus_cb) { memset(cpu, 0, sizeof(*cpu)); cpu->user = user; cpu->bus_cb = bus_cb; cpu->pc = RV_RESET_VEC; cpu->csr.misa = (1 << 30) /* MXL = 1 [XLEN=32] */ | rv_ext('M') /* Multiplication and Division */ | rv_ext('C') /* Compressed Instructions */ | rv_ext('A') /* Atomics */ | rv_ext('S') /* Supervisor Mode */ | rv_ext('U') /* User Mode */; cpu->priv = RV_PMACH; } /* sign-extend x from h'th bit */ static rv_u32 rv_signext(rv_u32 x, rv_u32 h) { return (0 - (x >> h)) << h | x; } #define RV_SBIT 0x80000000 /* sign bit */ #define rv_sgn(x) (!!((rv_u32)(x) & RV_SBIT)) /* extract sign */ /* compute overflow */ #define rv_ovf(a, b, y) ((((a) ^ (b)) & RV_SBIT) && (((y) ^ (a)) & RV_SBIT)) #define rv_bf(i, h, l) \ (((i) >> (l)) & ((1 << ((h) - (l) + 1)) - 1)) /* extract bit field */ #define rv_b(i, l) rv_bf(i, l, l) /* extract bit */ #define rv_tb(i, l, o) (rv_b(i, l) << (o)) /* translate bit */ #define rv_tbf(i, h, l, o) (rv_bf(i, h, l) << (o)) /* translate bit field */ /* instruction field macros */ #define rv_ioph(i) rv_bf(i, 6, 5) /* [h]i bits of opcode */ #define rv_iopl(i) rv_bf(i, 4, 2) /* [l]o bits of opcode */ #define rv_if3(i) rv_bf(i, 14, 12) /* funct3 */ #define rv_if5(i) rv_bf(i, 31, 27) /* funct5 */ #define rv_if7(i) rv_bf(i, 31, 25) /* funct7 */ #define rv_ird(i) rv_bf(i, 11, 7) /* rd */ #define rv_irs1(i) rv_bf(i, 19, 15) /* rs1 */ #define rv_irs2(i) rv_bf(i, 24, 20) /* rs2 */ #define rv_iimm_i(i) rv_signext(rv_bf(i, 31, 20), 11) /* imm. for I-type */ #define rv_iimm_iu(i) rv_bf(i, 31, 20) /* zero-ext'd. imm. for I-type */ #define rv_iimm_s(i) \ (rv_signext(rv_tbf(i, 31, 25, 5), 11) | rv_tbf(i, 30, 25, 5) | \ rv_bf(i, 11, 7)) /* imm. for S-type */ #define rv_iimm_u(i) rv_tbf(i, 31, 12, 12) /* imm. for U-type */ #define rv_iimm_b(i) \ (rv_signext(rv_tb(i, 31, 12), 12) | rv_tb(i, 7, 11) | rv_tbf(i, 30, 25, 5) | \ rv_tbf(i, 11, 8, 1)) /* imm. for B-type */ #define rv_iimm_j(i) \ (rv_signext(rv_tb(i, 31, 20), 20) | rv_tbf(i, 19, 12, 12) | \ rv_tb(i, 20, 11) | rv_tbf(i, 30, 21, 1)) /* imm. for J-type */ #define rv_isz(i) (rv_bf(i, 1, 0) == 3 ? 4 : 2) /* instruction size */ /* load register */ static rv_u32 rv_lr(rv *cpu, rv_u8 i) { return cpu->r[i]; } /* store register */ static void rv_sr(rv *cpu, rv_u8 i, rv_u32 v) { cpu->r[i] = i ? v : 0; } #define RV_CSR(num, r, w, dst) /* check if we are accessing csr `num` */ \ y = ((csr == (num)) ? (rm = r, wm = w, &cpu->csr.dst) : y) /* csr bus access -- we model csrs as an internal memory bus */ static rv_res rv_csr_bus(rv *cpu, rv_u32 csr, rv_u32 w, rv_u32 *io) { rv_u32 *y = NULL /* phys. register */, wm /* writable bits */ = -1U, rm = -1U; rv_u32 rw = rv_bf(csr, 11, 10), priv = rv_bf(csr, 9, 8); if ((w && rw == 3) || cpu->priv < priv || (csr == 0x180 && cpu->priv == RV_PSUPER && rv_b(cpu->csr.mstatus, 20))) return RV_BAD; /* invalid access OR writing to satp with tvm=1 */ /* id read mask write mask phys reg csr name */ RV_CSR(0x100, 0x800DE762, 0x800DE762, mstatus); /*C sstatus */ RV_CSR(0x104, 0x00000222, 0x00000222, mie); /*C sie */ RV_CSR(0x105, 0xFFFFFFFF, 0xFFFFFFFF, stvec); /*C stvec */ RV_CSR(0x106, 0xFFFFFFFF, 0x00000000, scounteren); /*C scounteren */ RV_CSR(0x140, 0xFFFFFFFF, 0xFFFFFFFF, sscratch); /*C sscratch */ RV_CSR(0x141, 0xFFFFFFFF, 0xFFFFFFFF, sepc); /*C sepc */ RV_CSR(0x142, 0xFFFFFFFF, 0xFFFFFFFF, scause); /*C scause */ RV_CSR(0x143, 0xFFFFFFFF, 0xFFFFFFFF, stval); /*C stval */ RV_CSR(0x144, 0x00000222, 0x00000222, sip); /*C sip */ RV_CSR(0x180, 0xFFFFFFFF, 0xFFFFFFFF, satp); /*C satp */ RV_CSR(0x300, 0x807FFFEC, 0x807FFFEC, mstatus); /*C mstatus */ RV_CSR(0x301, 0xFFFFFFFF, 0x00000000, misa); /*C misa */ RV_CSR(0x302, 0xFFFFFFFF, 0xFFFFFFFF, medeleg); /*C medeleg */ RV_CSR(0x303, 0xFFFFFFFF, 0xFFFFFFFF, mideleg); /*C mideleg */ RV_CSR(0x304, 0xFFFFFFFF, 0x00000AAA, mie); /*C mie */ RV_CSR(0x305, 0xFFFFFFFF, 0xFFFFFFFF, mtvec); /*C mtvec */ RV_CSR(0x306, 0xFFFFFFFF, 0x00000000, mcounteren); /*C mcounteren */ RV_CSR(0x310, 0x00000030, 0x00000030, mstatush); /*C mstatush */ RV_CSR(0x340, 0xFFFFFFFF, 0xFFFFFFFF, mscratch); /*C mscratch */ RV_CSR(0x341, 0xFFFFFFFF, 0xFFFFFFFF, mepc); /*C mepc */ RV_CSR(0x342, 0xFFFFFFFF, 0xFFFFFFFF, mcause); /*C mcause */ RV_CSR(0x343, 0xFFFFFFFF, 0x00000000, mtval); /*C mtval */ RV_CSR(0x344, 0xFFFFFFFF, 0x00000AAA, mip); /*C mip */ RV_CSR(0xC00, 0xFFFFFFFF, 0xFFFFFFFF, cycle); /*C cycle */ RV_CSR(0xC01, 0xFFFFFFFF, 0xFFFFFFFF, mtime); /*C time */ RV_CSR(0xC02, 0xFFFFFFFF, 0xFFFFFFFF, cycle); /*C instret */ RV_CSR(0xC80, 0xFFFFFFFF, 0xFFFFFFFF, cycleh); /*C cycleh */ RV_CSR(0xC81, 0xFFFFFFFF, 0xFFFFFFFF, mtimeh); /*C timeh */ RV_CSR(0xC82, 0xFFFFFFFF, 0xFFFFFFFF, cycleh); /*C instreth */ RV_CSR(0xF11, 0xFFFFFFFF, 0x00000000, mvendorid); /*C mvendorid */ RV_CSR(0xF12, 0xFFFFFFFF, 0x00000000, marchid); /*C marchid */ RV_CSR(0xF13, 0xFFFFFFFF, 0x00000000, mimpid); /*C mimpid */ RV_CSR(0xF14, 0xFFFFFFFF, 0xFFFFFFFF, mhartid); /*C mhartid */ if (!y) return RV_BAD; /* invalid csr */ *io = w ? *io : (*y & rm); /* only read allowed bits */ *y = w ? (*y & ~wm) | (*io & wm) : *y; /* only write allowed bits */ return RV_OK; } /* trigger a trap */ static rv_u32 rv_trap(rv *cpu, rv_u32 cause, rv_u32 tval) { rv_u32 is_interrupt = !!(cause & 0x80000000), rcause = cause & ~0x80000000; rv_priv xp = /* destination privilege, switch from y = cpu->priv to this */ (cpu->priv < RV_PMACH) && ((is_interrupt ? cpu->csr.mideleg : cpu->csr.medeleg) & (1 << rcause)) ? RV_PSUPER : RV_PMACH; rv_u32 *xtvec = &cpu->csr.mtvec, *xepc = &cpu->csr.mepc, *xcause = &cpu->csr.mcause, *xtval = &cpu->csr.mtval; rv_u32 xie = rv_b(cpu->csr.mstatus, xp); if (xp == RV_PSUPER) /* select s-mode regs */ xtvec = &cpu->csr.stvec, xepc = &cpu->csr.sepc, xcause = &cpu->csr.scause, xtval = &cpu->csr.stval; cpu->csr.mstatus &= (xp == RV_PMACH ? 0xFFFFE777 /* {mpp, mie, mpie} <- 0 */ : 0xFFFFFEDD); /* {spp, sie, spie} <- 0 */ cpu->csr.mstatus |= (cpu->priv << (xp == RV_PMACH ? 11 : 8)) /* xpp <- y */ | xie << (4 + xp); /* xpie <- xie */ *xepc = cpu->pc; /* xepc <- pc */ *xcause = rcause | (is_interrupt << 31); /* xcause <- cause */ *xtval = tval; /* xtval <- tval */ cpu->priv = xp; /* priv <- x */ /* if tvec[0], return 4 * cause + vec, otherwise just return vec */ cpu->pc = (*xtvec & ~3U) + 4 * rcause * ((*xtvec & 1) && is_interrupt); return cause; } /* bus access trap with tval */ static rv_u32 rv_trap_bus(rv *cpu, rv_u32 err, rv_u32 tval, rv_access a) { static const rv_u32 ex[] = {RV_EIFAULT, RV_EIALIGN, RV_EIPAGE, /* RV_AR */ RV_ELFAULT, RV_ELALIGN, RV_ELPAGE, /* RV_AW */ RV_ESFAULT, RV_ESALIGN, RV_ESPAGE}; /* RV_AX */ return rv_trap(cpu, ex[(a == RV_AW ? 2 : a == RV_AR) * 3 + err - 1], tval); } /* sv32 virtual address -> physical address */ static rv_u32 rv_vmm(rv *cpu, rv_u32 va, rv_u32 *pa, rv_access access) { rv_u32 epriv = rv_b(cpu->csr.mstatus, 17) && access != RV_AX ? rv_bf(cpu->csr.mstatus, 12, 11) : cpu->priv; /* effective privilege mode */ if (!rv_b(cpu->csr.satp, 31) || epriv > RV_PSUPER) { *pa = va; /* if !satp.mode, no translation */ } else { rv_u32 ppn /* satp.ppn */ = rv_bf(cpu->csr.satp, 21, 0), a /* satp.ppn * PAGESIZE */ = ppn << 12, i /* LEVELS - 1 */ = 1, pte, pte_address, tlb_hit = 0; if (cpu->tlb_valid && cpu->tlb_va == (va & ~0xFFFU)) pte = cpu->tlb_pte, tlb_hit = 1, i = cpu->tlb_i; while (!tlb_hit) { /* pte_address = a + va.vpn[i] * PTESIZE */ pte_address = a + (rv_bf(va, 21 + 10 * i, 12 + 10 * i) << 2); if (cpu->bus_cb(cpu->user, pte_address, (rv_u8 *)&pte, 0, 4)) return RV_BAD; rv_endcvt((rv_u8 *)&pte, (rv_u8 *)&pte, 4, 0); if (!rv_b(pte, 0) || (!rv_b(pte, 1) && rv_b(pte, 2))) return RV_PAGEFAULT; /* pte.v == 0, or (pte.r == 0 and pte.w == 1) */ if (rv_b(pte, 1) || rv_b(pte, 3)) break; /* if pte.r = 1 or pte.x = 1, this is a leaf page */ if (i == 0) return RV_PAGEFAULT; /* if i - 1 < 0, pagefault */ i = i - 1; a = rv_tbf(pte, 31, 10, 12); /* a = pte.ppn[*] * PAGESIZE */ } if (!tlb_hit) cpu->tlb_va = va & ~0xFFFU, cpu->tlb_pte = pte, cpu->tlb_i = i, cpu->tlb_valid = 1; /* avoid another pte walk on the next access */ if (rv_b(cpu->csr.mstatus, 19)) pte |= rv_b(pte, 3) << 2; /* pte.r = pte.x if mxr bit set */ if ((!rv_b(pte, 4) && epriv == RV_PUSER) /* u-bit not set */ || (epriv == RV_PSUPER && !rv_b(cpu->csr.mstatus, 18) && rv_b(pte, 4)) /* mstatus.sum bit wrong */ || ~rv_bf(pte, 3, 1) & access /* mismatching access type*/ || (i && rv_bf(pte, 19, 10)) /* misaligned megapage */ || !rv_b(pte, 6) /* pte.a == 0 */ || ((access & RV_AW) && !rv_b(pte, 7))) /* writing and pte.d == 0 */ return RV_PAGEFAULT; /* pa.ppn[1:i] = pte.ppn[1:i] */ *pa = rv_tbf(pte, 31, 10 + 10 * i, 12 + 10 * i) | rv_bf(va, 11 + 10 * i, 0); } return RV_OK; } #define rvm_lo(w) ((w) & (rv_u32)0xFFFFU) /* low 16 bits of 32-bit word */ #define rvm_hi(w) ((w) >> 16) /* high 16 bits of 32-bit word */ /* adc 16 bit */ static rv_u32 rvm_ahh(rv_u32 a, rv_u32 b, rv_u32 cin, rv_u32 *cout) { rv_u32 sum = a + b + cin /* cin must be less than 2. */; *cout = rvm_hi(sum); return rvm_lo(sum); } /* mul 16 bit */ static rv_u32 rvm_mhh(rv_u32 a, rv_u32 b, rv_u32 *cout) { rv_u32 prod = a * b; *cout = rvm_hi(prod); return rvm_lo(prod); } /* 32 x 32 -> 64 bit multiply */ static rv_u32 rvm(rv_u32 a, rv_u32 b, rv_u32 *hi) { rv_u32 al = rvm_lo(a), ah = rvm_hi(a), bl = rvm_lo(b), bh = rvm_hi(b); rv_u32 qh, ql = rvm_mhh(al, bl, &qh); /* qh, ql = al * bl */ rv_u32 rh, rl = rvm_mhh(al, bh, &rh); /* rh, rl = al * bh */ rv_u32 sh, sl = rvm_mhh(ah, bl, &sh); /* sh, sl = ah * bl */ rv_u32 th, tl = rvm_mhh(ah, bh, &th); /* th, tl = ah * bh */ rv_u32 mc, m = rvm_ahh(rl, sl, 0, &mc); /* m, nc = rl + sl */ rv_u32 nc, n = rvm_ahh(rh, sh, mc, &nc); /* n, nc = rh + sh + nc */ rv_u32 x = ql; /* x, 0 = ql */ rv_u32 yc, y = rvm_ahh(m, qh, 0, &yc); /* y, yc = qh + m */ rv_u32 zc, z = rvm_ahh(n, tl, yc, &zc); /* z, zc = tl + n + yc */ rv_u32 wc, w = rvm_ahh(th, nc, zc, &wc); /* w, 0 = th + nc + zc */ *hi = z | (w << 16); /* hi = (w, z) */ return x | (y << 16); /* lo = (y, x) */ } #define rvc_op(c) rv_bf(c, 1, 0) /* c. op */ #define rvc_f3(c) rv_bf(c, 15, 13) /* c. funct3 */ #define rvc_rp(r) ((r) + 8) /* c. r' register offsetter */ #define rvc_ird(c) rv_bf(c, 11, 7) /* c. ci-format rd/rs1 */ #define rvc_irpl(c) rvc_rp(rv_bf(c, 4, 2)) /* c. rd'/rs2' (bits 4-2) */ #define rvc_irph(c) rvc_rp(rv_bf(c, 9, 7)) /* c. rd'/rs1' (bits 9-7) */ #define rvc_imm_ciw(c) /* CIW imm. for c.addi4spn */ \ (rv_tbf(c, 10, 7, 6) | rv_tbf(c, 12, 11, 4) | rv_tb(c, 6, 2) | rv_tb(c, 5, 3)) #define rvc_imm_cl(c) /* CL imm. for c.lw/c.sw */ \ (rv_tb(c, 5, 6) | rv_tbf(c, 12, 10, 3) | rv_tb(c, 6, 2)) #define rvc_imm_ci(c) /* CI imm. for c.addi/c.li/c.lui */ \ (rv_signext(rv_tb(c, 12, 5), 5) | rv_bf(c, 6, 2)) #define rvc_imm_ci_b(c) /* CI imm. for c.addi16sp */ \ (rv_signext(rv_tb(c, 12, 9), 9) | rv_tbf(c, 4, 3, 7) | rv_tb(c, 5, 6) | \ rv_tb(c, 2, 5) | rv_tb(c, 6, 4)) #define rvc_imm_ci_c(c) /* CI imm. for c.lwsp */ \ (rv_tbf(c, 3, 2, 6) | rv_tb(c, 12, 5) | rv_tbf(c, 6, 4, 2)) #define rvc_imm_cj(c) /* CJ imm. for c.jalr/c.j */ \ (rv_signext(rv_tb(c, 12, 11), 11) | rv_tb(c, 11, 4) | rv_tbf(c, 10, 9, 8) | \ rv_tb(c, 8, 10) | rv_tb(c, 7, 6) | rv_tb(c, 6, 7) | rv_tbf(c, 5, 3, 1) | \ rv_tb(c, 2, 5)) #define rvc_imm_cb(c) /* CB imm. for c.beqz/c.bnez */ \ (rv_signext(rv_tb(c, 12, 8), 8) | rv_tbf(c, 6, 5, 6) | rv_tb(c, 2, 5) | \ rv_tbf(c, 11, 10, 3) | rv_tbf(c, 4, 3, 1)) #define rvc_imm_css(c) /* CSS imm. for c.swsp */ \ (rv_tbf(c, 8, 7, 6) | rv_tbf(c, 12, 9, 2)) /* macros to assemble all uncompressed instruction types */ #define rv_i_i(op, f3, rd, rs1, imm) /* I-type */ \ ((imm) << 20 | (rs1) << 15 | (f3) << 12 | (rd) << 7 | (op) << 2 | 3) #define rv_i_s(op, f3, rs1, rs2, imm) /* S-type */ \ (rv_bf(imm, 11, 5) << 25 | (rs2) << 20 | (rs1) << 15 | (f3) << 12 | \ rv_bf(imm, 4, 0) << 7 | (op) << 2 | 3) #define rv_i_u(op, rd, imm) /* U-type */ \ ((imm) << 12 | (rd) << 7 | (op) << 2 | 3) #define rv_i_r(op, f3, rd, rs1, rs2, f7) /* R-type */ \ ((f7) << 25 | (rs2) << 20 | (rs1) << 15 | (f3) << 12 | (rd) << 7 | \ (op) << 2 | 3) #define rv_i_j(op, rd, imm) /* J-type */ \ (rv_b(imm, 20) << 31 | rv_bf(imm, 10, 1) << 21 | rv_b(imm, 11) << 20 | \ rv_bf(imm, 19, 12) << 12 | (rd) << 7 | (op) << 2 | 3) #define rv_i_b(op, f3, rs1, rs2, imm) /* B-type */ \ (rv_b(imm, 12) << 31 | rv_bf(imm, 10, 5) << 25 | (rs2) << 20 | (rs1) << 15 | \ (f3) << 12 | rv_bf(imm, 4, 1) << 8 | rv_b(imm, 11) << 7 | (op) << 2 | 3) /* decompress instruction */ static rv_u32 rvc(rv_u32 c) { if (rvc_op(c) == 0) { if (rvc_f3(c) == 0 && c != 0) { /* c.addi4spn -> addi rd', x2, nzuimm */ return rv_i_i(4, 0, rvc_irpl(c), 2, rvc_imm_ciw(c)); } else if (c == 0) { /* illegal */ return 0; } else if (rvc_f3(c) == 2) { /*I c.lw -> lw rd', offset(rs1') */ return rv_i_i(0, 2, rvc_irpl(c), rvc_irph(c), rvc_imm_cl(c)); } else if (rvc_f3(c) == 6) { /*I c.sw -> sw rs2', offset(rs1') */ return rv_i_s(8, 2, rvc_irph(c), rvc_irpl(c), rvc_imm_cl(c)); } else { /* illegal */ return 0; } } else if (rvc_op(c) == 1) { if (rvc_f3(c) == 0) { /*I c.addi -> addi rd, rd, nzimm */ return rv_i_i(4, 0, rvc_ird(c), rvc_ird(c), rvc_imm_ci(c)); } else if (rvc_f3(c) == 1) { /*I c.jal -> jal x1, offset */ return rv_i_j(27, 1, rvc_imm_cj(c)); } else if (rvc_f3(c) == 2) { /*I c.li -> addi rd, x0, imm */ return rv_i_i(4, 0, rvc_ird(c), 0, rvc_imm_ci(c)); } else if (rvc_f3(c) == 3) { /* 01/011: LUI/ADDI16SP */ if (rvc_ird(c) == 2) { /*I c.addi16sp -> addi x2, x2, nzimm */ return rv_i_i(4, 0, 2, 2, rvc_imm_ci_b(c)); } else if (rvc_ird(c) != 0) { /*I c.lui -> lui rd, nzimm */ return rv_i_u(13, rvc_ird(c), rvc_imm_ci(c)); } else { /* illegal */ return 0; } } else if (rvc_f3(c) == 4) { /* 01/100: MISC-ALU */ if (rv_bf(c, 11, 10) == 0) { /*I c.srli -> srli rd', rd', shamt */ return rv_i_r(4, 5, rvc_irph(c), rvc_irph(c), rvc_imm_ci(c) & 0x1F, 0); } else if (rv_bf(c, 11, 10) == 1) { /*I c.srai -> srai rd', rd', shamt */ return rv_i_r(4, 5, rvc_irph(c), rvc_irph(c), rvc_imm_ci(c) & 0x1F, 32); } else if (rv_bf(c, 11, 10) == 2) { /*I c.andi -> andi rd', rd', imm */ return rv_i_i(4, 7, rvc_irph(c), rvc_irph(c), rvc_imm_ci(c)); } else if (rv_bf(c, 11, 10) == 3) { if (rv_bf(c, 6, 5) == 0) { /*I c.sub -> sub rd', rd', rs2' */ return rv_i_r(12, 0, rvc_irph(c), rvc_irph(c), rvc_irpl(c), 32); } else if (rv_bf(c, 6, 5) == 1) { /*I c.xor -> xor rd', rd', rs2' */ return rv_i_r(12, 4, rvc_irph(c), rvc_irph(c), rvc_irpl(c), 0); } else if (rv_bf(c, 6, 5) == 2) { /*I c.or -> or rd', rd', rs2' */ return rv_i_r(12, 6, rvc_irph(c), rvc_irph(c), rvc_irpl(c), 0); } else if (rv_bf(c, 6, 5) == 3) { /*I c.and -> and rd', rd', rs2' */ return rv_i_r(12, 7, rvc_irph(c), rvc_irph(c), rvc_irpl(c), 0); } else { /* illegal */ return 0; } } else { /* illegal */ return 0; } } else if (rvc_f3(c) == 5) { /*I c.j -> jal x0, offset */ return rv_i_j(27, 0, rvc_imm_cj(c)); } else if (rvc_f3(c) == 6) { /*I c.beqz -> beq rs1' x0, offset */ return rv_i_b(24, 0, rvc_irph(c), 0, rvc_imm_cb(c)); } else if (rvc_f3(c) == 7) { /*I c.bnez -> bne rs1' x0, offset */ return rv_i_b(24, 1, rvc_irph(c), 0, rvc_imm_cb(c)); } else { /* illegal */ return 0; } } else if (rvc_op(c) == 2) { if (rvc_f3(c) == 0) { /*I c.slli -> slli rd, rd, shamt */ return rv_i_r(4, 1, rvc_ird(c), rvc_ird(c), rvc_imm_ci(c) & 0x1F, 0); } else if (rvc_f3(c) == 2) { /*I c.lwsp -> lw rd, offset(x2) */ return rv_i_i(0, 2, rvc_ird(c), 2, rvc_imm_ci_c(c)); } else if (rvc_f3(c) == 4 && !rv_b(c, 12) && !rv_bf(c, 6, 2)) { /*I c.jr -> jalr x0, 0(rs1) */ return rv_i_i(25, 0, 0, rvc_ird(c), 0); } else if (rvc_f3(c) == 4 && !rv_b(c, 12)) { /*I c.mv -> add rd, x0, rs2 */ return rv_i_r(12, 0, rvc_ird(c), 0, rv_bf(c, 6, 2), 0); } else if (rvc_f3(c) == 4 && rv_b(c, 12) && rvc_ird(c) && !rv_bf(c, 6, 2)) { /*I c.jalr -> jalr x1, 0(rs1) */ return rv_i_i(25, 0, 1, rvc_ird(c), 0); } else if (rvc_f3(c) == 4 && rv_b(c, 12) && !rvc_ird(c) && !rv_bf(c, 6, 2)) { /*I c.ebreak -> ebreak */ return rv_i_i(28, 0, 0, 0, 1); } else if (rvc_f3(c) == 4 && rv_b(c, 12) && rvc_ird(c) && rv_bf(c, 6, 2)) { /*I c.add -> add rd, rd, rs2 */ return rv_i_r(12, 0, rvc_ird(c), rvc_ird(c), rv_bf(c, 6, 2), 0); } else if (rvc_f3(c) == 6) { /*I c.swsp -> sw rs2, offset(x2) */ return rv_i_s(8, 2, 2, rv_bf(c, 6, 2), rvc_imm_css(c)); } else { /* illegal */ return 0; } } else { /* illegal */ return 0; } } void rv_endcvt(rv_u8 *in, rv_u8 *out, rv_u32 width, rv_u32 is_store) { if (!is_store && width == 1) *out = in[0]; else if (!is_store && width == 2) *((rv_u16 *)out) = (rv_u16)(in[0] << 0) | (rv_u16)(in[1] << 8); else if (!is_store && width == 4) *((rv_u32 *)out) = (rv_u32)(in[0] << 0) | (rv_u32)(in[1] << 8) | (rv_u32)(in[2] << 16) | (rv_u32)(in[3] << 24); else if (width == 1) out[0] = *in; else if (width == 2) out[0] = *(rv_u16 *)in >> 0 & 0xFF, out[1] = (*(rv_u16 *)in >> 8); else out[0] = *(rv_u32 *)in >> 0 & 0xFF, out[1] = *(rv_u32 *)in >> 8 & 0xFF, out[2] = *(rv_u32 *)in >> 16 & 0xFF, out[3] = *(rv_u32 *)in >> 24 & 0xFF; } /* perform a bus access. access == RV_AW stores data. */ static rv_u32 rv_bus(rv *cpu, rv_u32 *va, rv_u8 *data, rv_u32 width, rv_access access) { rv_u32 err, pa /* physical address */; rv_u8 ledata[4]; rv_endcvt(data, ledata, width, 1); if (*va & (width - 1)) return RV_BAD_ALIGN; if ((err = rv_vmm(cpu, *va, &pa, access))) return err; /* page or access fault */ if (((pa + width - 1) ^ pa) & ~0xFFFU) /* page bound overrun */ { rv_u32 w0 /* load this many bytes from 1st page */ = 0x1000 - (*va & 0xFFF); if ((err = cpu->bus_cb(cpu->user, pa, ledata, access == RV_AW, w0))) return err; width -= w0, *va += w0, data += w0; if ((err = rv_vmm(cpu, *va, &pa, RV_AW))) return err; } if ((err = cpu->bus_cb(cpu->user, pa, ledata, access == RV_AW, width))) return err; rv_endcvt(ledata, data, width, 0); return 0; } /* instruction fetch */ static rv_u32 rv_if(rv *cpu, rv_u32 *i, rv_u32 *tval) { rv_u32 err, page = (cpu->pc ^ (cpu->pc + 3)) & ~0xFFFU, pc = cpu->pc; if (cpu->pc & 2 || page) { /* perform fetch in two 2-byte fetches */ rv_u32 ia /* first half of instruction */ = 0, ib /* second half */ = 0; if ((err = rv_bus(cpu, &pc, (rv_u8 *)&ia, 2, RV_AX))) /* fetch 1st half */ goto error; if (rv_isz(ia) == 4 && (pc += 2, 1) && /* if instruction is 4 byte wide */ (err = rv_bus(cpu, &pc, (rv_u8 *)&ib, 2, RV_AX))) /* fetch 2nd half */ goto error; /* need pc += 2 above for accurate {page}fault traps */ *i = (rv_u32)ia | (rv_u32)ib << 16U; } else if ((err = rv_bus(cpu, &pc, (rv_u8 *)i, 4, RV_AX))) /* 4-byte fetch */ goto error; cpu->next_pc = cpu->pc + rv_isz(*i); *tval = *i; /* tval is original inst for illegal instruction traps */ if (rv_isz(*i) < 4) *i = rvc(*i & 0xFFFF); return RV_OK; error: *tval = pc; /* tval is pc for instruction {page}fault traps */ return err; } /* service interrupts */ static rv_u32 rv_service(rv *cpu) { rv_u32 iidx /* interrupt number */, d /* delegated privilege */; for (iidx = 12; iidx > 0; iidx--) { /* highest -> lowest priority */ if (!(cpu->csr.mip & cpu->csr.mie & (1 << iidx))) continue; /* interrupt not triggered or not enabled */ d = (cpu->csr.mideleg & (1 << iidx)) ? RV_PSUPER : RV_PMACH; if (d == cpu->priv ? rv_b(cpu->csr.mstatus, d) : (d > cpu->priv)) return rv_trap(cpu, 0x80000000U + iidx, cpu->pc); } return RV_TRAP_NONE; } /* single step */ rv_u32 rv_step(rv *cpu) { rv_u32 i, tval, err = rv_if(cpu, &i, &tval); /* fetch instruction into i */ if (!++cpu->csr.cycle) cpu->csr.cycleh++; /* add to cycle,cycleh with carry */ if (err) return rv_trap_bus(cpu, err, tval, RV_AX); /* instruction fetch error */ if (rv_isz(i) != 4) return rv_trap(cpu, RV_EILL, tval); /* instruction length invalid */ if (rv_iopl(i) == 0) { if (rv_ioph(i) == 0) { /*Q 00/000: LOAD */ rv_u32 va /* virtual address */ = rv_lr(cpu, rv_irs1(i)) + rv_iimm_i(i); rv_u32 v /* loaded value */ = 0, w /* value width */, sx /* sign ext. */; w = 1 << (rv_if3(i) & 3), sx = ~rv_if3(i) & 4; /*I lb, lh, lw, lbu, lhu */ if ((err = rv_bus(cpu, &va, (rv_u8 *)&v, w, RV_AR))) return rv_trap_bus(cpu, err, va, RV_AR); if ((rv_if3(i) & 3) == 3) return rv_trap(cpu, RV_EILL, tval); /* ld instruction not supported */ if (sx) v = rv_signext(v, (w * 8 - 1)); rv_sr(cpu, rv_ird(i), v); } else if (rv_ioph(i) == 1) { /*Q 01/000: STORE */ rv_u32 va /* virtual address */ = rv_lr(cpu, rv_irs1(i)) + rv_iimm_s(i); rv_u32 w /* value width */ = 1 << (rv_if3(i) & 3); rv_u32 y /* stored value */ = rv_lr(cpu, rv_irs2(i)); if (rv_if3(i) > 2) /*I sb, sh, sw */ return rv_trap(cpu, RV_EILL, tval); /* sd instruction not supported */ if ((err = rv_bus(cpu, &va, (rv_u8 *)&y, w, RV_AW))) return rv_trap_bus(cpu, err, va, RV_AW); } else if (rv_ioph(i) == 3) { /*Q 11/000: BRANCH */ rv_u32 a = rv_lr(cpu, rv_irs1(i)), b = rv_lr(cpu, rv_irs2(i)); rv_u32 y /* comparison value */ = a - b; rv_u32 zero = !y, sgn = rv_sgn(y), ovf = rv_ovf(a, b, y), carry = y > a; rv_u32 targ = cpu->pc + rv_iimm_b(i); /* computed branch target */ if ((rv_if3(i) == 0 && zero) || /*I beq */ (rv_if3(i) == 1 && !zero) || /*I bne */ (rv_if3(i) == 4 && (sgn != ovf)) || /*I blt */ (rv_if3(i) == 5 && (sgn == ovf)) || /*I bge */ (rv_if3(i) == 6 && carry) || /*I bltu */ (rv_if3(i) == 7 && !carry) /*I bgtu */ ) { cpu->next_pc = targ; /* take branch */ } else if (rv_if3(i) == 2 || rv_if3(i) == 3) return rv_trap(cpu, RV_EILL, tval); /* default: don't take branch [fall through here] */ } else return rv_trap(cpu, RV_EILL, tval); } else if (rv_iopl(i) == 1) { if (rv_ioph(i) == 3 && rv_if3(i) == 0) { /*Q 11/001: JALR */ rv_u32 target = (rv_lr(cpu, rv_irs1(i)) + rv_iimm_i(i)); /*I jalr */ rv_sr(cpu, rv_ird(i), cpu->next_pc); cpu->next_pc = target & ~1U; /* target is two-byte aligned */ } else return rv_trap(cpu, RV_EILL, tval); } else if (rv_iopl(i) == 3) { if (rv_ioph(i) == 0) { /*Q 00/011: MISC-MEM */ if (rv_if3(i) == 0) { /*I fence */ rv_u32 fm = rv_bf(i, 31, 28); /* extract fm field */ if (fm && fm != 8) return rv_trap(cpu, RV_EILL, tval); } else if (rv_if3(i) == 1) { /*I fence.i */ } else return rv_trap(cpu, RV_EILL, tval); } else if (rv_ioph(i) == 1) { /*Q 01/011: AMO */ rv_u32 va /* address */ = rv_lr(cpu, rv_irs1(i)); rv_u32 b /* argument */ = rv_lr(cpu, rv_irs2(i)); rv_u32 x /* loaded value */ = 0, y /* stored value */ = b; rv_u32 l /* should load? */ = rv_if5(i) != 3, s /* should store? */ = 1; if (rv_bf(i, 14, 12) != 2) { /* width must be 2 */ return rv_trap(cpu, RV_EILL, tval); } else { if (l && (err = rv_bus(cpu, &va, (rv_u8 *)&x, 4, RV_AR))) return rv_trap_bus(cpu, err, va, RV_AR); if (rv_if5(i) == 0) /*I amoadd.w */ y = x + b; else if (rv_if5(i) == 1) /*I amoswap.w */ y = b; else if (rv_if5(i) == 2 && !b) /*I lr.w */ cpu->res = va, cpu->res_valid = 1, s = 0; else if (rv_if5(i) == 3) /*I sc.w */ x = !(cpu->res_valid && cpu->res_valid-- && cpu->res == va), s = !x; else if (rv_if5(i) == 4) /*I amoxor.w */ y = x ^ b; else if (rv_if5(i) == 8) /*I amoor.w */ y = x | b; else if (rv_if5(i) == 12) /*I amoand.w */ y = x & b; else if (rv_if5(i) == 16) /*I amomin.w */ y = rv_sgn(x - b) != rv_ovf(x, b, x - b) ? x : b; else if (rv_if5(i) == 20) /*I amomax.w */ y = rv_sgn(x - b) == rv_ovf(x, b, x - b) ? x : b; else if (rv_if5(i) == 24) /*I amominu.w */ y = (x - b) > x ? x : b; else if (rv_if5(i) == 28) /*I amomaxu.w */ y = (x - b) <= x ? x : b; else return rv_trap(cpu, RV_EILL, tval); if (s && (err = rv_bus(cpu, &va, (rv_u8 *)&y, 4, RV_AW))) return rv_trap_bus(cpu, err, va, RV_AW); } rv_sr(cpu, rv_ird(i), x); } else if (rv_ioph(i) == 3) { /*Q 11/011: JAL */ rv_sr(cpu, rv_ird(i), cpu->next_pc); /*I jal */ cpu->next_pc = cpu->pc + rv_iimm_j(i); } else return rv_trap(cpu, RV_EILL, tval); } else if (rv_iopl(i) == 4) { /* ALU section */ if (rv_ioph(i) == 0 || /*Q 00/100: OP-IMM */ rv_ioph(i) == 1) { /*Q 01/100: OP */ rv_u32 a = rv_lr(cpu, rv_irs1(i)), b = rv_ioph(i) ? rv_lr(cpu, rv_irs2(i)) : rv_iimm_i(i), s /* alt. ALU op */ = (rv_ioph(i) || rv_if3(i)) ? rv_b(i, 30) : 0, y /* result */, sh /* shift amount */ = b & 0x1F; if (!rv_ioph(i) || !rv_b(i, 25)) { if (rv_if3(i) == 0) /*I add, addi, sub */ y = s ? a - b : a + b; /* subtract if alt. op, otherwise add */ else if ((rv_if3(i) == 5 || rv_if3(i) == 1) && b >> 5 & 0x5F && !rv_ioph(i)) return rv_trap(cpu, RV_EILL, tval); /* shift too big! */ else if (rv_if3(i) == 1) /*I sll, slli */ y = a << sh; else if (rv_if3(i) == 2) /*I slt, slti */ y = rv_ovf(a, b, a - b) != rv_sgn(a - b); else if (rv_if3(i) == 3) /*I sltu, sltiu */ y = (a - b) > a; else if (rv_if3(i) == 4) /*I xor, xori */ y = a ^ b; else if (rv_if3(i) == 5) /*I srl, srli, sra, srai */ y = a >> (sh & 31) | (0U - (s && rv_sgn(a))) << (31 - (sh & 31)); else if (rv_if3(i) == 6) /*I or, ori */ y = a | b; else /*I and, andi */ y = a & b; } else { rv_u32 as /* sgn(a) */ = 0, bs /* sgn(b) */ = 0, ylo, yhi /* result */; if (rv_if3(i) < 4) { /*I mul, mulh, mulhsu, mulhu */ if (rv_if3(i) < 3 && rv_sgn(a)) /* a is signed iff f3 in {0, 1, 2} */ a = ~a + 1, as = 1; /* two's complement */ if (rv_if3(i) < 2 && rv_sgn(b)) /* b is signed iff f3 in {0, 1} */ b = ~b + 1, bs = 1; /* two's complement */ ylo = rvm(a, b, &yhi); /* perform multiply */ if (as != bs) /* invert output quantity if result <0 */ ylo = ~ylo + 1, yhi = ~yhi + !ylo; /* two's complement */ y = rv_if3(i) ? yhi : ylo; /* return hi word if mulh, otherwise lo */ } else { if (rv_if3(i) == 4) /*I div */ y = b ? (rv_u32)((rv_s32)a / (rv_s32)b) : (rv_u32)(-1); else if (rv_if3(i) == 5) /*I divu */ y = b ? (a / b) : (rv_u32)(-1); else if (rv_if3(i) == 6) /*I rem */ y = (rv_u32)((rv_s32)a % (rv_s32)b); else /* if (rv_if3(i) == 8) */ /*I remu */ y = a % b; } /* all this because we don't have 64bits. worth it? probably not B) */ } rv_sr(cpu, rv_ird(i), y); /* set register to ALU output */ } else if (rv_ioph(i) == 3) { /*Q 11/100: SYSTEM */ rv_u32 csr /* CSR number */ = rv_iimm_iu(i), y /* result */; rv_u32 s /* uimm */ = rv_if3(i) & 4 ? rv_irs1(i) : rv_lr(cpu, rv_irs1(i)); if ((rv_if3(i) & 3) == 1) { /*I csrrw, csrrwi */ if (rv_irs1(i)) { /* perform CSR load */ if (rv_csr_bus(cpu, csr, 0, &y)) /* load CSR into y */ return rv_trap(cpu, RV_EILL, tval); if (rv_ird(i)) rv_sr(cpu, rv_ird(i), y); /* store y into rd */ } if (rv_csr_bus(cpu, csr, 1, &s)) /* set CSR to s */ return rv_trap(cpu, RV_EILL, tval); } else if ((rv_if3(i) & 3) == 2) { /*I csrrs, csrrsi */ if (rv_csr_bus(cpu, csr, 0, &y)) /* load CSR into y */ return rv_trap(cpu, RV_EILL, tval); rv_sr(cpu, rv_ird(i), y), y |= s; /* store y into rd */ if (rv_irs1(i) && rv_csr_bus(cpu, csr, 1, &y)) /* s|y into CSR */ return rv_trap(cpu, RV_EILL, tval); } else if ((rv_if3(i) & 3) == 3) { /*I csrrc, csrrci */ if (rv_csr_bus(cpu, csr, 0, &y)) /* load CSR into y */ return rv_trap(cpu, RV_EILL, tval); rv_sr(cpu, rv_ird(i), y), y &= ~s; /* store y into rd */ if (rv_irs1(i) && rv_csr_bus(cpu, csr, 1, &y)) /* ~s&y into CSR */ return rv_trap(cpu, RV_EILL, tval); } else if (!rv_if3(i)) { if (!rv_ird(i)) { if (!rv_irs1(i) && rv_irs2(i) == 2 && (rv_if7(i) == 8 || rv_if7(i) == 24)) { /*I mret, sret */ rv_u32 xp /* instruction privilege */ = rv_if7(i) >> 3; rv_u32 yp /* previous (incoming) privilege [either mpp or spp] */ = cpu->csr.mstatus >> (xp == RV_PMACH ? 11 : 8) & xp; rv_u32 xpie /* previous ie bit */ = rv_b(cpu->csr.mstatus, 4 + xp); rv_u32 mprv /* modify privilege */ = rv_b(cpu->csr.mstatus, 17); if (rv_b(cpu->csr.mstatus, 22) && xp == RV_PSUPER) return rv_trap(cpu, RV_EILL, tval); /* exception if tsr=1 */ mprv *= yp == RV_PMACH; /* if y != m, mprv' = 0 */ cpu->csr.mstatus &= xp == RV_PMACH ? 0xFFFDE777 /* {mpp, mie, mpie, mprv} <- 0 */ : 0xFFFDFEDD; /* {spp, sie, spie, mprv} <- 0 */ cpu->csr.mstatus |= xpie << xp /* xie <- xpie */ | 1 << (4 + xp) /* xpie <- 1 */ | mprv << 17; /* mprv <- mprv' */ cpu->priv = yp; /* priv <- y */ cpu->next_pc = xp == RV_PMACH ? cpu->csr.mepc : cpu->csr.sepc; } else if (rv_irs2(i) == 5 && rv_if7(i) == 8) { /*I wfi */ cpu->pc = cpu->next_pc; return (err = rv_service(cpu)) == RV_TRAP_NONE ? RV_TRAP_WFI : err; } else if (rv_if7(i) == 9) { /*I sfence.vma */ if (cpu->priv == RV_PSUPER && (cpu->csr.mstatus & (1 << 20))) return rv_trap(cpu, RV_EILL, tval); cpu->tlb_valid = 0; } else if (!rv_irs1(i) && !rv_irs2(i) && !rv_if7(i)) { /*I ecall */ return rv_trap(cpu, RV_EUECALL + cpu->priv, cpu->pc); } else if (!rv_irs1(i) && rv_irs2(i) == 1 && !rv_if7(i)) { return rv_trap(cpu, RV_EBP, cpu->pc); /*I ebreak */ } else return rv_trap(cpu, RV_EILL, tval); } else return rv_trap(cpu, RV_EILL, tval); } else return rv_trap(cpu, RV_EILL, tval); } else return rv_trap(cpu, RV_EILL, tval); } else if (rv_iopl(i) == 5) { if (rv_ioph(i) == 0) { /*Q 00/101: AUIPC */ rv_sr(cpu, rv_ird(i), rv_iimm_u(i) + cpu->pc); /*I auipc */ } else if (rv_ioph(i) == 1) { /*Q 01/101: LUI */ rv_sr(cpu, rv_ird(i), rv_iimm_u(i)); /*I lui */ } else return rv_trap(cpu, RV_EILL, tval); } else return rv_trap(cpu, RV_EILL, tval); cpu->pc = cpu->next_pc; if (cpu->csr.mip && (err = rv_service(cpu)) != RV_TRAP_NONE) return err; return RV_TRAP_NONE; /* reserved code -- no exception */ } void rv_irq(rv *cpu, rv_cause cause) { cpu->csr.mip &= ~(rv_u32)(RV_CSI | RV_CTI | RV_CEI); cpu->csr.mip |= cause; } #include <string.h> #include <stdio.h> #include <assert.h> #define RAM_BASE 0x80000000 #define RAM_SIZE 0x10000 rv_res bus_cb(void *user, rv_u32 addr, rv_u8 *data, rv_u32 is_store, rv_u32 width) { rv_u8 *mem = (rv_u8 *)user + addr - RAM_BASE; if (addr < RAM_BASE || addr + width >= RAM_BASE + RAM_SIZE) return RV_BAD; memcpy(is_store ? mem : data, is_store ? data : mem, width); return RV_OK; } int test_5(void) { rv cpu; rv_u8 mem[RAM_SIZE]; rv_u32 prog[3] = {0x42437733, 0x3384F333, 0x00000073}; memcpy((void*)mem, prog, sizeof(prog)); rv_init(&cpu, mem, &bus_cb); rv_step(&cpu); rv_step(&cpu); rv_step(&cpu); assert(1); return 0; } int main(void) { assert(!test_5()); }
Become a Patron
Sponsor on GitHub
Donate via PayPal
Compiler Explorer Shop
Source on GitHub
Mailing list
Installed libraries
Wiki
Report an issue
How it works
Contact the author
CE on Mastodon
CE on Bluesky
Statistics
Changelog
Version tree