code wiki / (root) / nx_riscv.nx

nx_riscv.nx

buildroot/runtime/nx_riscv.nx

110424 B2891 linesdepth 4pulls 7 transitivereach 24 importersview sourcekind librarytopic riscv
docsdependenciesstructsconstsfunctions

about

riscv.nx -- RV64 codegen backend, in NishiLang. Takes a Function + its ValueLoc table and emits RV64 assembly text to an output buffer. Pairs with regalloc.nx and ir.nx. Scope: the opcodes our benchmarks emit. Full backend parity is mechanical extension of the switch statement. Output format: raw asm text, same as riscv.c emits today, so the output of this NishiLang codegen is byte-compatible with gcc `as` (verified at compile time by reading its IR output).

dependencies 4 imports · 12 importers

nx_syscalls.nx nx_types.nx nx_ir.nx nx_outbuf.nx nx_riscv.nx nx_main.nx nx_nxc.nx nx_rv64_atomic_gate.nx nx_smoke_nxc_pipeline.nx nx_smoke_nxc_pipeline10.nx nx_smoke_nxc_pipeline2.nx nx_smoke_nxc_pipeline7.nx nx_smoke_nxc_pipeline8.nx nx_smoke_nxc_pipeline9.nx nx_smoke_nxc_tilde.nx

diagram shows first 10 each side; +0 more imports, +2 more importers in the complete lists below.

imports: nx_syscalls.nxnx_types.nxnx_ir.nxnx_outbuf.nx

imported by: nx_main.nxnx_nxc.nxnx_rv64_atomic_gate.nxnx_smoke_nxc_pipeline.nxnx_smoke_nxc_pipeline10.nxnx_smoke_nxc_pipeline2.nxnx_smoke_nxc_pipeline7.nxnx_smoke_nxc_pipeline8.nxnx_smoke_nxc_pipeline9.nxnx_smoke_nxc_tilde.nxnxc.nxriscv.nx

structs

none

consts

none

functions

50func loc_at(locs: *ValueLoc, id: i64) -> *ValueLoc {
called by 33: materialisematerialise_valuefmaterialiserv_emit_fbinoprv_emit_vbinoprv_emit_binop+27
70func reg_name(o: *OutBuf, idx: i64) -> i64 {
called by 33: materialisematerialise_valuefmaterialiserv_emit_fbinoprv_emit_vbinoprv_emit_binop+27 calls 2: out_strout_i64
157func fits_imm12(off: i64) -> i64 {
called by 8: emit_sp_adjustemit_sp_ldemit_sp_sdemit_sp_addiemit_sp_flwemit_sp_fsw+2
164func emit_sp_adjust(o: *OutBuf, off: i64) -> i64 {
called by 1: emit_function calls 4: fits_imm12out_strout_i64out_char
180func emit_sp_ld(o: *OutBuf, dst: *u8, off: i64) -> i64 {
called by 5: materialisematerialise_valueemit_restore_gprrv_emit_tail_callemit_function calls 4: fits_imm12out_strout_i64out_char
203func sp_is_reg(name: *u8, a: i64, b: i64) -> i64 {
called by 1: emit_sp_sd
224func emit_sp_sd(o: *OutBuf, src: *u8, off: i64) -> i64 {
called by 29: rv_emit_binopemit_save_gprrv_emit_fcmprv_emit_cmprv_emit_callrv_emit_call_indirect+23 calls 5: fits_imm12out_strout_i64sp_is_regout_char
256func emit_sp_addi(o: *OutBuf, dst: *u8, off: i64) -> i64 {
calls 4: fits_imm12out_strout_i64out_char
293func emit_sp_flw(o: *OutBuf, dst: *u8, off: i64) -> i64 {
called by 1: fmaterialise calls 4: fits_imm12out_strout_i64out_char
312func emit_sp_fsw(o: *OutBuf, src: *u8, off: i64) -> i64 {
called by 4: rv_emit_fbinoprv_emit_callrv_emit_call_indirectrv_emit_fcast calls 4: fits_imm12out_strout_i64out_char
336func emit_sp_fld(o: *OutBuf, dst: *u8, off: i64) -> i64 {
called by 1: fmaterialise calls 4: fits_imm12out_strout_i64out_char
355func emit_sp_fsd(o: *OutBuf, src: *u8, off: i64) -> i64 {
called by 4: rv_emit_fbinoprv_emit_callrv_emit_call_indirectrv_emit_fcast calls 4: fits_imm12out_strout_i64out_char
380func emit_fbinop_mnem(o: *OutBuf, op: i64, is_double: i64) -> i64 {
called by 1: rv_emit_fbinop calls 1: out_str
411func emit_binop_mnem(o: *OutBuf, op: i64) -> i64 {
called by 1: rv_emit_binop calls 1: out_str
437func materialise(f: *Function, locs: *ValueLoc, o: *OutBuf,
called by 23: emit_branchrv_emit_loadrv_emit_addr_ofrv_emit_storerv_emit_geprv_emit_tail_call+17 calls 7: val_atout_strout_i64out_charloc_atreg_name+1
513func materialise_value(f: *Function, locs: *ValueLoc, o: *OutBuf,
called by 5: rv_emit_binoprv_emit_returnrv_emit_cmprv_emit_callrv_emit_call_indirect calls 7: val_atout_strout_i64out_charloc_atreg_name+1
603func fmaterialise(f: *Function, locs: *ValueLoc, o: *OutBuf,
called by 6: rv_emit_fbinoprv_emit_returnrv_emit_fcmprv_emit_callrv_emit_call_indirectrv_emit_fcast calls 8: val_atout_strout_i64out_charloc_atreg_name+2
661func rv_emit_fbinop(f: *Function, locs: *ValueLoc, o: *OutBuf, i: *Instr) -> i64 {
called by 1: emit_instr calls 7: fmaterialiseloc_atout_stremit_fbinop_mnemreg_nameemit_sp_fsd+1
708func emit_vbinop_mnem(o: *OutBuf, op: i64) -> i64 {
called by 1: rv_emit_vbinop calls 1: out_str
734func rv_emit_vbinop(f: *Function, locs: *ValueLoc, o: *OutBuf, i: *Instr) -> i64 {
called by 1: emit_instr calls 5: loc_atout_stremit_vbinop_mnemreg_nameout_char
757func rv_emit_binop(f: *Function, locs: *ValueLoc, o: *OutBuf, i: *Instr) -> i64 {
called by 1: emit_instr calls 6: materialise_valueloc_atout_stremit_binop_mnemreg_nameemit_sp_sd
815func popcount(x: i64) -> i64 {
called by 1: emit_function
833func emit_save_gpr(o: *OutBuf, mask: i64, save_base: i64,
called by 1: emit_function calls 5: sys_mmapemit_sp_sdout_strout_i64out_char
867func emit_restore_gpr(o: *OutBuf, mask: i64, save_base: i64) -> i64 {
called by 1: emit_function calls 2: sys_mmapemit_sp_ld
908func emit_save_fpr(o: *OutBuf, mask: i64, save_base: i64,
called by 1: emit_function calls 3: out_strout_charout_i64
945func emit_restore_fpr(o: *OutBuf, mask: i64, save_base: i64) -> i64 {
called by 1: emit_function calls 3: out_strout_charout_i64
982func rv_emit_return(f: *Function, locs: *ValueLoc, o: *OutBuf,
called by 1: emit_instr calls 6: val_atout_strout_i64out_charfmaterialisematerialise_value
1033func emit_branch(f: *Function, locs: *ValueLoc, o: *OutBuf, i: *Instr,
called by 1: emit_instr calls 4: out_strout_i64out_charmaterialise
1078func rv_emit_fcmp(f: *Function, locs: *ValueLoc, o: *OutBuf, i: *Instr, is_d: i64) -> i64 {
called by 1: rv_emit_cmp calls 5: fmaterialiseloc_atout_strreg_nameemit_sp_sd
1138func rv_emit_cmp(f: *Function, locs: *ValueLoc, o: *OutBuf, i: *Instr) -> i64 {
called by 1: emit_instr calls 8: val_atrv_emit_fcmpmaterialise_valueloc_atout_strreg_name+2
1224func target_reg_name(o: *OutBuf, k: i64) -> i64 {
called by 3: rv_emit_callrv_emit_call_indirectrv_emit_tail_call calls 2: out_strout_i64
1233func target_freg_name(o: *OutBuf, k: i64) -> i64 {
called by 2: rv_emit_callrv_emit_call_indirect calls 2: out_strout_i64
1239func rv_emit_call(f: *Function, locs: *ValueLoc, o: *OutBuf, i: *Instr) -> i64 {
called by 1: emit_instr calls 14: val_atout_strout_i64out_chartarget_freg_namesys_mmap+8
1360func rv_emit_call_indirect(f: *Function, locs: *ValueLoc, o: *OutBuf, i: *Instr) -> i64 {
called by 1: emit_instr calls 14: out_strmaterialise_valueval_atout_i64out_chartarget_freg_name+8
1478func load_mnem_name(o: *OutBuf, sz: i64, is_signed: i64) -> i64 {
called by 1: rv_emit_load calls 1: out_str
1495func store_mnem_name(o: *OutBuf, sz: i64) -> i64 {
called by 1: rv_emit_store calls 1: out_str
1504func type_kind_is_signed(k: i64) -> i64 {
1515func rv_home_t6(locs: *ValueLoc, o: *OutBuf, id: i64) -> i64 {
called by 1: emit_instr calls 4: loc_atout_strreg_nameemit_sp_sd
1528func rv_emit_load(f: *Function, locs: *ValueLoc, o: *OutBuf, i: *Instr) -> i64 {
called by 1: emit_instr calls 6: materialiseloc_atout_strload_mnem_namereg_nameemit_sp_sd
1555func rv_emit_addr_of(f: *Function, locs: *ValueLoc, o: *OutBuf, i: *Instr) -> i64 {
called by 1: emit_instr calls 5: materialiseloc_atout_strreg_nameemit_sp_sd
1569func rv_emit_store(f: *Function, locs: *ValueLoc, o: *OutBuf, i: *Instr) -> i64 {
called by 1: emit_instr calls 3: materialiseout_strstore_mnem_name
1590func rv_emit_gep(f: *Function, locs: *ValueLoc, o: *OutBuf, i: *Instr) -> i64 {
called by 1: emit_instr calls 8: materialiseval_atloc_atout_strreg_nameout_i64+2
1632func rv_emit_tail_call(f: *Function, locs: *ValueLoc, o: *OutBuf, i: *Instr,
called by 1: emit_instr calls 8: val_atout_strtarget_reg_nameout_i64out_charsys_mmap+2
1689func rv_emit_fcast(f: *Function, locs: *ValueLoc, o: *OutBuf, i: *Instr) -> i64 {
called by 1: emit_instr calls 9: materialiseloc_atout_strreg_nameemit_sp_fsdemit_sp_fsw+3
1749func compute_alloca_offsets(f: *Function, spill_bytes: i64,
called by 1: emit_function calls 1: block_at
1786func rv_emit_alloca(f: *Function, locs: *ValueLoc, o: *OutBuf, i: *Instr,
called by 1: emit_instr calls 6: out_strloc_atreg_nameout_i64out_charemit_sp_sd
1828func rv_emit_simd_vdot_i16(f: *Function, locs: *ValueLoc, o: *OutBuf, i: *Instr) -> i64 {
called by 1: emit_instr calls 5: materialiseout_strloc_atreg_nameemit_sp_sd
1903func rv_emit_simd_vreduce_minmax_i16(f: *Function, locs: *ValueLoc, o: *OutBuf, i: *Instr, is_max: i64) -> i64 {
called by 1: emit_instr calls 5: materialiseout_strloc_atreg_nameemit_sp_sd
1939func rv_emit_simd_vbinop_i16(f: *Function, locs: *ValueLoc, o: *OutBuf, i: *Instr, enc_word: i64) -> i64 {
called by 2: rv_emit_simd_vsadd_i16emit_instr calls 7: materialiseout_strout_i64out_charloc_atreg_name+1
1964func rv_emit_simd_vsadd_i16(f: *Function, locs: *ValueLoc, o: *OutBuf, i: *Instr) -> i64 {
calls 1: rv_emit_simd_vbinop_i16
1981func rv_emit_simd_vshift_i16(f: *Function, locs: *ValueLoc, o: *OutBuf, i: *Instr, enc_word: i64) -> i64 {
called by 1: emit_instr calls 7: materialiseout_strout_i64out_charloc_atreg_name+1
2014func rv_emit_simd_vreduce_sum_i16(f: *Function, locs: *ValueLoc, o: *OutBuf, i: *Instr) -> i64 {
called by 1: emit_instr calls 5: materialiseout_strloc_atreg_nameemit_sp_sd
2046func rv_emit_simd_vbroadcast_i16(f: *Function, locs: *ValueLoc, o: *OutBuf, i: *Instr) -> i64 {
called by 1: emit_instr calls 5: materialiseout_strloc_atreg_nameemit_sp_sd
2071func rv_emit_simd_vbinop_i8(f: *Function, locs: *ValueLoc, o: *OutBuf, i: *Instr, enc_word: i64) -> i64 {
called by 1: emit_instr calls 7: materialiseout_strout_i64out_charloc_atreg_name+1
2100func rv_emit_simd_vreduce_sum_i8(f: *Function, locs: *ValueLoc, o: *OutBuf, i: *Instr) -> i64 {
called by 1: emit_instr calls 5: materialiseout_strloc_atreg_nameemit_sp_sd
2133func rv_emit_simd_vbroadcast_i8(f: *Function, locs: *ValueLoc, o: *OutBuf, i: *Instr) -> i64 {
called by 1: emit_instr calls 5: materialiseout_strloc_atreg_nameemit_sp_sd
2156func rv_emit_simd_vbinop_i32(f: *Function, locs: *ValueLoc, o: *OutBuf, i: *Instr, enc_word: i64) -> i64 {
called by 1: emit_instr calls 7: materialiseout_strout_i64out_charloc_atreg_name+1
2184func rv_emit_simd_vreduce_sum_i32(f: *Function, locs: *ValueLoc, o: *OutBuf, i: *Instr) -> i64 {
called by 1: emit_instr calls 5: materialiseout_strloc_atreg_nameemit_sp_sd
2214func rv_emit_simd_vbroadcast_i32(f: *Function, locs: *ValueLoc, o: *OutBuf, i: *Instr) -> i64 {
called by 1: emit_instr calls 5: materialiseout_strloc_atreg_nameemit_sp_sd
2235func rv_emit_simd_vbinop_i64(f: *Function, locs: *ValueLoc, o: *OutBuf, i: *Instr, enc_word: i64) -> i64 {
called by 1: emit_instr calls 7: materialiseout_strout_i64out_charloc_atreg_name+1
2261func rv_emit_simd_vreduce_sum_i64(f: *Function, locs: *ValueLoc, o: *OutBuf, i: *Instr) -> i64 {
called by 1: emit_instr calls 5: materialiseout_strloc_atreg_nameemit_sp_sd
2282func rv_emit_simd_vbroadcast_i64(f: *Function, locs: *ValueLoc, o: *OutBuf, i: *Instr) -> i64 {
called by 1: emit_instr calls 5: materialiseout_strloc_atreg_nameemit_sp_sd
2302func emit_instr(f: *Function, locs: *ValueLoc, o: *OutBuf,
called by 1: emit_function calls 38: rv_emit_binoprv_emit_fbinoprv_emit_fcastrv_emit_vbinoprv_emit_simd_vdot_i16rv_emit_simd_vreduce_minmax_i16+32
2648func emit_function(f: *Function, locs: *ValueLoc, o: *OutBuf,
called by 12: nxc_compilemaincompilecompilenxc_compilega_compile+6 calls 17: sys_mmaploc_atcompute_alloca_offsetspopcountout_strout_char+11
2882func emit_return_instr(bb: *BasicBlock, v: i64) -> i64 {
called by 1: main calls 3: alloc_instrir_type_i64append_instr