code wiki / (root) / nx_x86_64_ctx.nx

nx_x86_64_ctx.nx

buildroot/runtime/nx_x86_64_ctx.nx

171467 B3382 linesdepth 4pulls 6 transitivereach 3 importersview sourcekind librarytopic x86
docsdependenciesstructsconstsfunctions

about

nx_x86_64_ctx.nx -- IR-driven codegen for x86_64 (session 6). Consumes a parsed/opt'd Function and emits AT&T x86_64 asm using the emit primitives in nx_x86_64.nx (sessions 1-5). Stack-machine layout per nxc2/x86_64.c: every SSA Value that needs storage gets a fixed [rbp - 8*slot] address. Constants are rematerialised at each use via movabsq; globals via leaq label(%rip). Per cardinal feedback-no-nxc2-c-extension-only-nishilang-forward: the C file stays the read-only comparator; new functionality lives here. nx_safety_envelope: intended_use: "IR-driven x86_64 SysV codegen. Walks a Function's blocks/instrs and emits asm via the sessions-1-5 emit primitives." sil_target: SIL3 (codegen correctness) asil_target: QM dal_target: DAL B iec_62304_class: NONE evidence: [no_floating_point_in_layout_logic, stack_machine_no_register_allocation, per_opcode_dispatch_explicit, 16_byte_frame_alignment_enforced, materialise_handles_const_global_spill] hazard_register: [bug-tape-slot-offset-vs-disp-sign, bug-tape-syscall-rax-overwritten-by-clobber, bug-tape-store-result-skipped-for-unused-value] residual_risk: "Subset coverage: arith/bitwise/cmp/branch/ call/load/store/GEP/syscall/alloca/copy. Float / SIMD / atomic / thread ops deferred to sessions 8+ (queued per migration index)." verdict: NOT_YET_EVALUATED

dependencies 5 imports · 3 importers

nx_syscalls.nx nx_types.nx nx_outbuf.nx nx_x86_64.nx nx_x86_regalloc.nx nx_x86_64_ctx.nx nx_compile_x86.nx nx_x86_64_ctx_test.nx nx_x86_64_module_test.nx

imports: nx_syscalls.nxnx_types.nxnx_outbuf.nxnx_x86_64.nxnx_x86_regalloc.nx

imported by: nx_compile_x86.nxnx_x86_64_ctx_test.nxnx_x86_64_module_test.nx

structs

51struct X86Ctx

consts

74const NX_X86CTX_BYTES: i64 = 144
79const X86_NEGCTL_G14_SIGNED: i64 = 0
85const X86_NEGCTL_LEA_WRONG_SCALE: i64 = 0
91const X86_NEGCTL_G21_COMMUTE_ANY: i64 = 0
99const X86_NEGCTL_G22_CMOV_INVERT: i64 = 0
100const X86_NEGCTL_G22_RIDE_ALWAYS: i64 = 0
107const X86_NEGCTL_G23_CMOV_INVERT: i64 = 0
1218const OP_TRUNC: i64 = 17
1219const OP_SEXT: i64 = 18
1220const OP_ZEXT: i64 = 19
1221const OP_BITCAST: i64 = 26

functions

129func _g1_is_rax(reg: *u8) -> i64
called by 3: x86ctx_load_valuex86ctx_store_resultx86ctx_load_value_v
139func x86ctx_value_at(f: *Function, id: i64) -> *Value
called by 11: x86ctx_sib_probex86ctx_initx86ctx_load_valuex86ctx_load_value_vx86ctx_emit_binopx86ctx_emit_cmp+5
144func x86ctx_block_at(f: *Function, id: i64) -> *BasicBlock
called by 5: x86ctx_count_usesx86ctx_sib_prepassx86ctx_initx86ctx_br_target_blockx86ctx_emit_function
149func x86ctx_round_up_16(n: i64) -> i64
called by 1: x86ctx_init
161func x86ctx_value_base(c: *X86Ctx) -> i64
called by 5: x86ctx_load_valuex86ctx_store_resultx86ctx_load_value_vx86ctx_emit_loadx86ctx_emit_store
167func x86ctx_result_reg(c: *X86Ctx, v_id: i64) -> *u8
called by 2: x86ctx_emit_binopx86ctx_emit_load calls 1: x86_home_reg_name
179func x86ctx_emit_cs_save(c: *X86Ctx) -> i64
called by 1: x86ctx_emit_function calls 3: x86_emit_store_qwordx86_home_reg_namex86_home_save_off
195func x86ctx_emit_cs_restore(c: *X86Ctx) -> i64
called by 3: x86ctx_emit_tail_callx86ctx_emit_returnx86ctx_emit_function calls 3: x86_emit_load_qwordx86_home_save_offx86_home_reg_name
219func x86ctx_sib_scratch() -> *i64
called by 3: x86ctx_sib_prepassx86ctx_emit_loadx86ctx_emit_store calls 1: sys_mmap
225func x86ctx_count_uses(c: *X86Ctx) -> i64
called by 1: x86ctx_init calls 3: x86ctx_block_atx86_n_value_operandsx86_operand_k
251func x86ctx_sib_probe(c: *X86Ctx, addr_id: i64, out: *i64) -> i64
called by 3: x86ctx_sib_prepassx86ctx_emit_loadx86ctx_emit_store calls 1: x86ctx_value_at
310func x86ctx_sib_prepass(c: *X86Ctx) -> i64
called by 1: x86ctx_init calls 4: x86ctx_sib_scratchx86ctx_block_atx86ctx_type_sizex86ctx_sib_probe
349func x86ctx_emit_sib_mem(c: *X86Ctx, base: *u8, index: *u8, scale: i64) -> i64
called by 2: x86ctx_emit_loadx86ctx_emit_store calls 2: out_strout_i64
366func x86ctx_init(f: *Function, o: *OutBuf) -> *X86Ctx
called by 1: x86ctx_emit_function calls 8: sys_mmapx86ctx_value_atx86ctx_block_atx86ctx_round_up_16x86_regalloc_functionx86ctx_count_uses+2
490func x86ctx_load_value(c: *X86Ctx, v_id: i64, reg: *u8) -> i64
called by 5: x86ctx_emit_loadx86ctx_emit_storex86ctx_emit_gepx86ctx_emit_syscallx86ctx_emit_instr calls 12: x86ctx_value_at_g1_is_raxx86_home_reg_namex86_reg_eqx86_emit_movq_reg_regx86_emit_movabsq+6
571func x86ctx_store_result(c: *X86Ctx, v_id: i64, reg: *u8) -> i64
called by 30: x86ctx_emit_binopx86ctx_emit_unopx86ctx_emit_atomicx86ctx_emit_cpuid_ebxx86ctx_emit_thread_clonex86ctx_emit_cmp+24 calls 6: x86_home_reg_namex86_reg_eqx86_emit_movq_reg_reg_g1_is_raxx86ctx_value_basex86_emit_store_qword
621func x86ctx_load_value_v(c: *X86Ctx, v_id: i64, reg: *u8) -> i64
called by 33: x86ctx_emit_binopx86ctx_emit_unopx86ctx_emit_atomicx86ctx_emit_adc_accx86ctx_emit_cpuid_ebxx86ctx_emit_thread_clone+27 calls 11: x86ctx_value_at_g1_is_raxx86_home_reg_namex86_reg_eqx86_emit_movq_reg_regx86_emit_movabsq+5
711func x86ctx_home_name_or_null(c: *X86Ctx, v_id: i64) -> *u8
called by 4: x86ctx_emit_binopx86ctx_emit_cmpx86ctx_emit_loadx86ctx_emit_store calls 1: x86_home_reg_name
723func x86ctx_fwd_name_or_null(c: *X86Ctx, v_id: i64) -> *u8
called by 4: x86ctx_emit_binopx86ctx_emit_cmpx86ctx_emit_loadx86ctx_emit_store calls 1: x86_home_reg_name
733func x86ctx_op1_direct_ok(op: i64) -> i64
called by 1: x86ctx_emit_binop
746func x86ctx_log2_i64(v: i64) -> i64
called by 1: x86ctx_emit_binop
753func x86ctx_emit_binop(c: *X86Ctx, i: *Instr) -> i64
called by 1: x86ctx_emit_instr calls 33: x86ctx_result_regx86_home_reg_namex86_chain_op_commutativex86ctx_home_name_or_nullx86ctx_value_atx86ctx_log2_i64+27
1223func x86ctx_emit_unop(c: *X86Ctx, i: *Instr) -> i64
called by 1: x86ctx_emit_instr calls 9: x86ctx_load_value_vx86_emit_negq_rx86ctx_store_resultx86_emit_notq_rx86_emit_bswapq_raxx86_emit_popcntq_rax+3
1278func x86ctx_emit_atomic(c: *X86Ctx, i: *Instr) -> i64
called by 1: x86ctx_emit_instr calls 10: x86ctx_load_value_vx86_emit_load_qwordx86ctx_store_resultx86_emit_xchgq_rax_mem_r11x86_emit_lock_cmpxchgq_rcx_mem_r11x86_emit_sete_al+4
1323func x86ctx_emit_adc_acc(c: *X86Ctx, i: *Instr) -> i64
called by 1: x86ctx_emit_instr calls 2: x86ctx_load_value_vout_str
1345func x86ctx_emit_cpuid_ebx(c: *X86Ctx, i: *Instr) -> i64
called by 1: x86ctx_emit_instr calls 3: x86ctx_load_value_vout_strx86ctx_store_result
1361func x86ctx_emit_clone_label(c: *X86Ctx, rid: i64) -> i64
called by 1: x86ctx_emit_thread_clone calls 3: out_strout_charout_i64
1370func x86ctx_emit_thread_clone(c: *X86Ctx, i: *Instr) -> i64
called by 1: x86ctx_emit_instr calls 6: x86ctx_load_value_vout_strx86_emit_movabsqx86ctx_emit_clone_labelout_charx86ctx_store_result
1407func x86ctx_cmp_to_cc(op: i64) -> i64
called by 1: x86ctx_emit_cmp
1417func x86ctx_emit_cmp(c: *X86Ctx, i: *Instr) -> i64
called by 1: x86ctx_emit_instr calls 13: x86ctx_cmp_to_ccout_strx86_emit_xorq_rrx86ctx_store_resultx86ctx_value_atx86ctx_fwd_name_or_null+7
1521func x86ctx_emit_bb_label(c: *X86Ctx, bb_id: i64) -> i64
called by 3: x86ctx_emit_jmp_to_bbx86ctx_emit_jcc_to_bbx86ctx_emit_block calls 2: out_strout_i64
1530func x86ctx_emit_jmp_to_bb(c: *X86Ctx, bb_id: i64) -> i64
called by 2: x86ctx_emit_condjumpx86ctx_emit_br calls 3: out_strx86ctx_emit_bb_labelout_char
1537func x86ctx_emit_jcc_to_bb(c: *X86Ctx, cc: i64, bb_id: i64) -> i64
called by 1: x86ctx_emit_condjump calls 4: out_strx86_cc_suffixout_charx86ctx_emit_bb_label
1548func x86ctx_cc_invert(cc: i64) -> i64
called by 1: x86ctx_emit_condjump
1565func x86ctx_emit_condjump(c: *X86Ctx, cc: i64, t: i64, fjb: i64) -> i64
called by 1: x86ctx_emit_br_cond calls 3: x86ctx_emit_jcc_to_bbx86ctx_cc_invertx86ctx_emit_jmp_to_bb
1583func x86ctx_br_target_block(c: *X86Ctx, id: i64) -> *BasicBlock
calls 1: x86ctx_block_at
1593func x86ctx_emit_br(c: *X86Ctx, i: *Instr) -> i64
called by 1: x86ctx_emit_instr calls 1: x86ctx_emit_jmp_to_bb
1601func x86ctx_emit_br_cond(c: *X86Ctx, i: *Instr) -> i64
called by 1: x86ctx_emit_instr calls 3: x86ctx_emit_condjumpx86ctx_load_value_vx86_emit_testq_rr
1624func x86ctx_type_size(t: *Type) -> i64
called by 3: x86ctx_sib_prepassx86ctx_emit_loadx86ctx_emit_store
1631func x86ctx_type_signed(t: *Type) -> i64
1650func x86ctx_type_sext(t: *Type) -> i64
called by 1: x86ctx_emit_load
1655func x86ctx_emit_load(c: *X86Ctx, i: *Instr) -> i64
called by 1: x86ctx_emit_instr calls 23: x86ctx_type_sizex86ctx_type_sextx86ctx_result_regx86ctx_sib_scratchx86ctx_sib_probex86ctx_load_value+17
1761func x86ctx_emit_store(c: *X86Ctx, i: *Instr) -> i64
called by 1: x86ctx_emit_instr calls 18: x86ctx_type_sizex86ctx_sib_scratchx86ctx_sib_probex86ctx_load_valuex86ctx_load_value_vx86ctx_home_name_or_null+12
1862func x86ctx_emit_gep(c: *X86Ctx, i: *Instr) -> i64
called by 1: x86ctx_emit_instr calls 4: x86ctx_load_valuex86ctx_load_value_vx86_emit_gep_addx86ctx_store_result
1903func x86ctx_rv64_to_x86_64_syscall(num: i64) -> i64
called by 1: x86ctx_emit_syscall
2020func x86ctx_emit_syscall(c: *X86Ctx, i: *Instr) -> i64
called by 1: x86ctx_emit_instr calls 7: x86ctx_load_value_vx86ctx_value_atx86ctx_rv64_to_x86_64_syscallx86_emit_movabsqx86ctx_load_valuex86_emit_syscall+1
2062func x86ctx_emit_call(c: *X86Ctx, i: *Instr) -> i64
called by 1: x86ctx_emit_instr calls 5: x86ctx_load_value_vout_strx86_emit_call_labelx86ctx_store_resultout_i64
2146func x86ctx_emit_call_indirect(c: *X86Ctx, i: *Instr) -> i64
called by 1: x86ctx_emit_instr calls 5: out_strx86ctx_load_value_vx86_emit_call_indirectx86ctx_store_resultout_i64
2223func x86ctx_emit_tail_call(c: *X86Ctx, i: *Instr) -> i64
called by 1: x86ctx_emit_instr calls 4: out_strx86ctx_load_value_vx86ctx_emit_cs_restorex86_emit_tail_call_label
2259func x86ctx_emit_copy(c: *X86Ctx, i: *Instr) -> i64
called by 1: x86ctx_emit_instr calls 2: x86ctx_load_value_vx86ctx_store_result
2267func x86ctx_emit_return(c: *X86Ctx, i: *Instr) -> i64
called by 1: x86ctx_emit_instr calls 4: x86ctx_load_value_vx86_emit_movabsqx86ctx_emit_cs_restorex86_emit_epilogue
2286func x86ctx_emit_f32(c: *X86Ctx, i: *Instr) -> i64
called by 1: x86ctx_emit_float calls 3: x86ctx_load_value_vout_strx86ctx_store_result
2329func x86ctx_emit_f64(c: *X86Ctx, i: *Instr) -> i64
called by 1: x86ctx_emit_float calls 3: x86ctx_load_value_vout_strx86ctx_store_result
2375func x86ctx_emit_float(c: *X86Ctx, i: *Instr) -> i64
called by 1: x86ctx_emit_instr calls 3: x86ctx_value_atx86ctx_emit_f64x86ctx_emit_f32
2392func x86ctx_emit_f32x4_dot(c: *X86Ctx, i: *Instr) -> i64
called by 1: x86ctx_emit_instr calls 3: x86ctx_load_value_vout_strx86ctx_store_result
2433func x86ctx_emit_q5unpack32(c: *X86Ctx, i: *Instr) -> i64
called by 1: x86ctx_emit_instr calls 3: x86ctx_load_value_vout_strx86ctx_store_result
2491func x86ctx_emit_q8row_label(c: *X86Ctx, rid: i64) -> i64
called by 1: x86ctx_emit_q8rowdot calls 3: out_strout_charout_i64
2508func x86ctx_emit_q8rowdot(c: *X86Ctx, i: *Instr) -> i64
called by 1: x86ctx_emit_instr calls 5: x86ctx_load_value_vout_strx86ctx_emit_q8row_labelout_charx86ctx_store_result
2556func x86ctx_emit_i8fma32(c: *X86Ctx, i: *Instr) -> i64
called by 1: x86ctx_emit_instr calls 3: x86ctx_load_value_vout_strx86ctx_store_result
2576func x86ctx_emit_i8dot32a(c: *X86Ctx, i: *Instr) -> i64
called by 1: x86ctx_emit_instr calls 3: x86ctx_load_value_vout_strx86ctx_store_result
2611func x86ctx_emit_i8dot32(c: *X86Ctx, i: *Instr) -> i64
called by 1: x86ctx_emit_instr calls 3: x86ctx_load_value_vout_strx86ctx_store_result
2643func x86ctx_emit_f32x8_dot(c: *X86Ctx, i: *Instr) -> i64
called by 1: x86ctx_emit_instr calls 3: x86ctx_load_value_vout_strx86ctx_store_result
2671func x86ctx_emit_f32x8_fma(c: *X86Ctx, i: *Instr) -> i64
called by 1: x86ctx_emit_instr calls 3: x86ctx_load_value_vout_strx86ctx_store_result
2684func x86ctx_emit_f32x8_hsum(c: *X86Ctx, i: *Instr) -> i64
called by 1: x86ctx_emit_instr calls 3: x86ctx_load_value_vout_strx86ctx_store_result
2708func x86ctx_emit_i16x16_madd(c: *X86Ctx, i: *Instr) -> i64
called by 1: x86ctx_emit_instr calls 3: x86ctx_load_value_vout_strx86ctx_store_result
2725func x86ctx_emit_aesni(c: *X86Ctx, i: *Instr) -> i64
called by 1: x86ctx_emit_instr calls 3: x86ctx_load_value_vout_strx86ctx_store_result
2753func x86ctx_emit_palignr(c: *X86Ctx, dst: i64, src: i64, imm: i64) -> i64
called by 1: x86ctx_emit_sha256_ni calls 3: out_strout_i64out_char
2770func x86ctx_emit_sha256_ni(c: *X86Ctx, i: *Instr) -> i64
called by 1: x86ctx_emit_instr calls 9: x86ctx_load_value_vout_strout_i64x86ctx_emit_sha_padddx86ctx_emit_sha_msg1x86ctx_emit_sha_movdqa+3
2845func x86ctx_emit_sha_paddd(c: *X86Ctx, dst: i64, src: i64) -> i64
called by 1: x86ctx_emit_sha256_ni calls 3: out_strout_i64out_char
2850func x86ctx_emit_sha_movdqa(c: *X86Ctx, dst: i64, src: i64) -> i64
called by 1: x86ctx_emit_sha256_ni calls 3: out_strout_i64out_char
2855func x86ctx_emit_sha_msg1(c: *X86Ctx, src: i64, dst: i64) -> i64
called by 1: x86ctx_emit_sha256_ni calls 3: out_strout_i64out_char
2860func x86ctx_emit_sha_msg2(c: *X86Ctx, src: i64, dst: i64) -> i64
called by 1: x86ctx_emit_sha256_ni calls 3: out_strout_i64out_char
2873func x86ctx_emit_clmul(c: *X86Ctx, i: *Instr, imm: i64) -> i64
called by 1: x86ctx_emit_instr calls 3: x86ctx_load_value_vout_strx86ctx_store_result
2899func x86ctx_mul256_reg(k: i64) -> *u8
called by 1: x86ctx_emit_mul256_wide
2909func x86ctx_emit_mul256_wide(c: *X86Ctx, i: *Instr) -> i64
called by 1: x86ctx_emit_instr calls 5: x86ctx_load_value_vout_strout_i64x86ctx_mul256_regx86ctx_store_result
2989func x86ctx_emit_instr(c: *X86Ctx, i: *Instr) -> i64
called by 1: x86ctx_emit_block calls 37: x86ctx_emit_binopx86ctx_emit_unopx86ctx_emit_atomicx86ctx_emit_adc_accx86ctx_emit_cpuid_ebxx86ctx_emit_thread_clone+31
3107func x86ctx_emit_param_prologue(c: *X86Ctx) -> i64
called by 1: x86ctx_emit_function calls 5: x86ctx_value_atx86_arg_reg_namex86ctx_store_resultout_strout_i64
3141func x86ctx_emit_block(c: *X86Ctx, bb: *BasicBlock) -> i64
called by 1: x86ctx_emit_function calls 3: x86ctx_emit_bb_labelout_strx86ctx_emit_instr
3161func x86ctx_emit_function(f: *Function, o: *OutBuf) -> i64
called by 2: x86ctx_emit_modulemain calls 14: sys_writex86ctx_initx86_emit_function_startx86_emit_prologuex86ctx_emit_cs_savex86ctx_emit_param_prologue+8
3236func x86ctx_emit_module_globals(m: *Module, o: *OutBuf) -> i64
called by 1: x86ctx_emit_module calls 4: x86_emit_section_rodataout_strout_i64out_char
3335func x86ctx_emit_module(m: *Module, o: *OutBuf) -> i64
called by 2: mainmain calls 6: out_strx86_emit_movabsqx86_emit_syscallx86ctx_emit_functionx86ctx_emit_module_globalsx86_emit_gnu_stack_note