template

Yes but T may be a problem. The obvious one is:

Code:

macro swap lhs,rhs
{
    xchg lhs,rhs
}

but if T is more than a basic register/pointer you have to introduce information about T - this can also be done at preprocessor level but is more involved as you'd be creating preprocessor time objects. I'll leave type hierarchies and annotations for now but as an example of what I mean here's two partial specialisation equivalents:

Code:

macro swap lhs,rhs,T
{
if lhs in <...> and rhs in <...> then ; regs/mem
    xchg lhs,rhs
; could add more cases/checks for other specialisations here
else ; assume structs
    mov ecx,sizeof.T
    sub esp,ecx

    mov esi,lhs
    mov edi,esp
    rep movsb

    mov esi,rhs
    mov edi,lhs
    rep movsb

    mov esi,esp
    mov edi,rhs
    movsb

    add esp,ecx
end if
}

Hope that helps Question