Ну вот условно код класса: CLASS str c_str:

int
length: int

METHOD __init__(this, c_str)
mov rax, c_str
mset this->c_str, rax
mov rax, str.__test_method
mov [str.__vtable__.__test_method], rax
RETURN 0
END

METHOD test_method(this)
RETURN 0
END
END

а вот макросы (недописанные):

macro CLASS cname {
struc cname {
.__vtable__ equ cname#.vtable
}
__current_class__ = cname
cname#.vtable:
}

macro METHOD line& {
match fname=(fargs=)=[flocs=], line {
matched = 1
__current_class__.#fname:
fargscount fargs
flocscount flocs
push rbp
mov rbp, rsp
sub rsp, flocscount * 8
}
match fname=(fargs=), line {
matched = 1
fname:
fargscount fargs
push rbp
mov rbp, rsp
sub rsp, fargscount * 8
}
if ~defined matched
display "Error: Invalid function definition"
err
end if
}

я хотя бы в правильном направлении двигаюсь?

С конкатенацией имён больше возни надо

По той же причине когда ты генерируешь один макрос внутри другого нужно перед скобочкой внутри ставить \

А тип аргументов у тебя какой? Максимально доступный на архитектуре?

не понял

Ну у тебя в функции аргументы перечисляются

это просто названия, которые потом превратяться в arg0name equ rbp+16 и т.д.

Да я знаю что названия, но у них ведь тоже размер может быть

Или flocks это и есть сохраняемые регистры?

это имена локальных переменных

А смысл их туда пихать? Локальный может и массив пригодиться