; x86_64 iron · rdi rsi rdx → rax · linear
        bits    64
        default rel
        section .text
        global  ezzie,essie,phi,thermo,adjoin,baphomet

ezzie:
        mov     rax, rdi
        xor     rax, rsi
        or      rax, 1
        ret

essie:
        mov     rax, rdi
        xor     rax, rsi
        mov     rcx, rax
        or      rax, 1
        mov     r8d, 1
        test    rcx, 7
        cmovz   rax, r8
        ret

phi:
        mov     rax, rdi
        imul    rax, rsi
        or      rax, 1
        ret

thermo:
        mov     rax, 3
        mov     r8d, 1
        cmp     rdi, 84
        cmovle  rax, r8
        cmp     rdi, 70
        cmovle  rax, r8
        ret

adjoin:
        mov     rax, rdi
        or      rax, rsi
        or      rax, 1
        ret

baphomet:
        mov     rax, rdi
        or      rax, rsi
        or      rax, 1
        mov     r8d, 1
        test    rdx, rdx
        cmovnz  rax, r8
        ret