michaeljclark

$ ./build/darwin_x86_64/bin/rv-jit build/riscv64-unknown-elf/bin/test-sha512 --trace --log-jit-trace

rv-jit-0.0.0-prealpha-0

jit-trace-begin pc=0x000000000001041c
	# 0x000000000001041c	addi        a6, a3, 1
		lea r14, qword ptr [r11 + 1]
	# 0x0000000000010420	andi        a4, a6, 15
		mov r12, r14
		and r12, 15

michaeljclark

$ git clone https://github.com/michaeljclark/riscv-meta.git
$ cd riscv-meta/
$ git submodule update --init --recursive
$ make -j4 && sudo make install
$ rv-sys -H build/riscv64-unknown-elf/bin/bbl
              vvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvv
                  vvvvvvvvvvvvvvvvvvvvvvvvvvvv
rrrrrrrrrrrrr       vvvvvvvvvvvvvvvvvvvvvvvvvv
rrrrrrrrrrrrrrrr      vvvvvvvvvvvvvvvvvvvvvvvv
rrrrrrrrrrrrrrrrrr    vvvvvvvvvvvvvvvvvvvvvvvv

michaeljclark

class u
{
	Inst{11-7} = rd;
	Inst{31-12} = imm{31-12};
}

class uj
{
	Inst{11-7} = rd;
	Inst{19-12} = imm{19-12};

michaeljclark

/* riscv-soft-float.h */

#ifndef riscv_soft_float_h
#define riscv_soft_float_h

#ifdef __cplusplus
extern "C" {
#endif

/* RV32F */

michaeljclark

Keybase proof

I hereby claim:

• I am michaeljclark on github.
• I am michaeljclark (https://keybase.io/michaeljclark) on keybase.
• I have a public key whose fingerprint is 7C99 930E B17C D8BA 073D 5EFA 6BF1 D7B3 57EF 3E4F

To claim this, I am signing this object:

michaeljclark

\documentclass{report}
\usepackage[letterpaper, portrait, margin=0.5in]{geometry}
\usepackage[utf8]{inputenc}
\usepackage{tikz}
\begin{document}

\bf{Type-UJ}

\begin{tikzpicture}[fill=blue!20,scale=0.5]
\begin{scope}[every node/.style={font=\scriptsize}]

michaeljclark

test_cb:
	sll	a1,a0,1
	srl	a3,a0,2
	and	a1,a1,192
	sll	a4,a0,3
	srl	a2,a0,4
	srl	a5,a0,7
	and	a3,a3,6
	or	a3,a1,a3
	and	a0,a2,256

michaeljclark

/*
 * RISC-V Immediate Decoder Template Metaprogram
 *
 * Author: Michael Clark <[email protected]>
 */

#include <cstdio>
#include <cstdint>

/* sign extension template */