abi_win_x64.c File Reference

Implements the FFI logic for the Windows x64 calling convention. More...

#include "abi_x64_common.h"
#include "abi_x64_emitters.h"
#include "common/infix_internals.h"
#include "common/utility.h"
#include <stdbool.h>
#include <stdlib.h>

Include dependency graph for abi_win_x64.c:

Macros
#define	NUM_GPR_ARGS   4
#define	NUM_XMM_ARGS   4
#define	SHADOW_SPACE   32

Functions
static infix_status	prepare_forward_call_frame_win_x64 (infix_arena_t *arena, infix_call_frame_layout **out_layout, infix_type *ret_type, infix_type **arg_types, size_t num_args, size_t num_fixed_args, void *target_fn)
static infix_status	generate_forward_prologue_win_x64 (code_buffer *buf, infix_call_frame_layout *layout)
static infix_status	generate_forward_argument_moves_win_x64 (code_buffer *buf, infix_call_frame_layout *layout, infix_type **arg_types, size_t num_args, size_t num_fixed_args)
static infix_status	generate_forward_call_instruction_win_x64 (code_buffer *, infix_call_frame_layout *)
static infix_status	generate_forward_epilogue_win_x64 (code_buffer *buf, infix_call_frame_layout *layout, infix_type *ret_type)
static infix_status	prepare_reverse_call_frame_win_x64 (infix_arena_t *arena, infix_reverse_call_frame_layout **out_layout, infix_reverse_t *context)
static infix_status	generate_reverse_prologue_win_x64 (code_buffer *buf, infix_reverse_call_frame_layout *layout)
static infix_status	generate_reverse_argument_marshalling_win_x64 (code_buffer *buf, infix_reverse_call_frame_layout *layout, infix_reverse_t *context)
static infix_status	generate_reverse_dispatcher_call_win_x64 (code_buffer *buf, infix_reverse_call_frame_layout *layout, infix_reverse_t *context)
static infix_status	generate_reverse_epilogue_win_x64 (code_buffer *buf, infix_reverse_call_frame_layout *layout, infix_reverse_t *context)
static bool	return_value_is_by_reference (infix_type *type)
static bool	is_passed_by_reference (infix_type *type)
static infix_status	generate_forward_call_instruction_win_x64 (code_buffer *buf, c23_maybe_unused infix_call_frame_layout *layout)

Variables
static const x64_gpr	GPR_ARGS [] = {RCX_REG, RDX_REG, R8_REG, R9_REG}
static const x64_xmm	XMM_ARGS [] = {XMM0_REG, XMM1_REG, XMM2_REG, XMM3_REG}
const infix_forward_abi_spec	g_win_x64_forward_spec
	The v-table of Windows x64 functions for generating forward trampolines.
const infix_reverse_abi_spec	g_win_x64_reverse_spec
	The v-table of Windows x64 functions for generating reverse trampolines.

Detailed Description

Implements the FFI logic for the Windows x64 calling convention.

Copyright (c) 2025 Sanko Robinson

This source code is dual-licensed under the Artistic License 2.0 or the MIT License. You may choose to use this code under the terms of either license.

SPDX-License-Identifier: (Artistic-2.0 OR MIT)

The documentation blocks within this file are licensed under the Creative Commons Attribution 4.0 International License (CC BY 4.0).

SPDX-License-Identifier: CC-BY-4.0

Macro Definition Documentation

NUM_GPR_ARGS

#define NUM_GPR_ARGS   4

The number of register "slots" available for arguments.

NUM_XMM_ARGS

#define NUM_XMM_ARGS   4

The number of XMM registers used for arguments.

SHADOW_SPACE

#define SHADOW_SPACE   32

The size in bytes of the mandatory stack space reserved by the caller for the callee.

Function Documentation

generate_forward_argument_moves_win_x64()

static infix_status generate_forward_argument_moves_win_x64 ( code_buffer *  buf, infix_call_frame_layout *  layout, infix_type **  arg_types, size_t  num_args, size_t  num_fixed_args  )

static

generate_forward_call_instruction_win_x64() [1/2]

static infix_status generate_forward_call_instruction_win_x64 ( code_buffer *  , infix_call_frame_layout *    )

static

generate_forward_call_instruction_win_x64() [2/2]

static infix_status generate_forward_call_instruction_win_x64 ( code_buffer *  buf, c23_maybe_unused infix_call_frame_layout *  layout  )

static

generate_forward_epilogue_win_x64()

static infix_status generate_forward_epilogue_win_x64 ( code_buffer *  buf, infix_call_frame_layout *  layout, infix_type *  ret_type  )

static

generate_forward_prologue_win_x64()

static infix_status generate_forward_prologue_win_x64 ( code_buffer *  buf, infix_call_frame_layout *  layout  )

static

generate_reverse_argument_marshalling_win_x64()

static infix_status generate_reverse_argument_marshalling_win_x64 ( code_buffer *  buf, infix_reverse_call_frame_layout *  layout, infix_reverse_t *  context  )

static

generate_reverse_dispatcher_call_win_x64()

static infix_status generate_reverse_dispatcher_call_win_x64 ( code_buffer *  buf, infix_reverse_call_frame_layout *  layout, infix_reverse_t *  context  )

static

generate_reverse_epilogue_win_x64()

static infix_status generate_reverse_epilogue_win_x64 ( code_buffer *  buf, infix_reverse_call_frame_layout *  layout, infix_reverse_t *  context  )

static

generate_reverse_prologue_win_x64()

static infix_status generate_reverse_prologue_win_x64 ( code_buffer *  buf, infix_reverse_call_frame_layout *  layout  )

static

is_passed_by_reference()

static bool is_passed_by_reference ( infix_type *  type )

static

prepare_forward_call_frame_win_x64()

static infix_status prepare_forward_call_frame_win_x64 ( infix_arena_t *  arena, infix_call_frame_layout **  out_layout, infix_type *  ret_type, infix_type **  arg_types, size_t  num_args, size_t  num_fixed_args, void *  target_fn  )

static

prepare_reverse_call_frame_win_x64()

static infix_status prepare_reverse_call_frame_win_x64 ( infix_arena_t *  arena, infix_reverse_call_frame_layout **  out_layout, infix_reverse_t *  context  )

static

return_value_is_by_reference()

static bool return_value_is_by_reference ( infix_type *  type )

static

Variable Documentation

g_win_x64_forward_spec

const infix_forward_abi_spec g_win_x64_forward_spec

Initial value:

= {
    .prepare_forward_call_frame = prepare_forward_call_frame_win_x64,
    .generate_forward_prologue = generate_forward_prologue_win_x64,
    .generate_forward_argument_moves = generate_forward_argument_moves_win_x64,
 
    .generate_forward_call_instruction = generate_forward_call_instruction_win_x64,
    .generate_forward_epilogue = generate_forward_epilogue_win_x64}

The v-table of Windows x64 functions for generating forward trampolines.

g_win_x64_reverse_spec

const infix_reverse_abi_spec g_win_x64_reverse_spec

Initial value:

= {
    .prepare_reverse_call_frame = prepare_reverse_call_frame_win_x64,
    .generate_reverse_prologue = generate_reverse_prologue_win_x64,
    .generate_reverse_argument_marshalling = generate_reverse_argument_marshalling_win_x64,
    .generate_reverse_dispatcher_call = generate_reverse_dispatcher_call_win_x64,
    .generate_reverse_epilogue = generate_reverse_epilogue_win_x64}

The v-table of Windows x64 functions for generating reverse trampolines.

GPR_ARGS

const x64_gpr GPR_ARGS[] = {RCX_REG, RDX_REG, R8_REG, R9_REG}

static

An array of GPRs used for passing the first four integer/pointer arguments.

XMM_ARGS

const x64_xmm XMM_ARGS[] = {XMM0_REG, XMM1_REG, XMM2_REG, XMM3_REG}

static

An array of XMM registers used for passing the first four floating-point arguments.