Подскажите самый быстрый способ перемножить два unsigned int если ...

mov eax, 1 ; или 0
dec eax
and eax, ebx
sub ebx, eax

; в EAX - первое число (0 или 1), в EBX - второе
; результат в ECX
XOR    ECX, ECX
AND    EAX, 1
CMOVNZ ECX, EBX

Anonymous@work:~$ cat 1.c 
#include <stdint.h>
int main(int argc, const char *argv[]) {
        volatile uint32_t a = 1, c = 2, b = 3;
        if (a) { b = c; }
}

Anonymous@work:~$ gcc -O2 -S 1.c

Anonymous@work:~$ cat 1.s 
        .file   "1.c"
        .section        .text.unlikely,"ax",@progbits
.LCOLDB0:
        .section        .text.startup,"ax",@progbits
.LHOTB0:
        .p2align 4,,15
        .globl  main
        .type   main, @function
main:
.LFB11:
        .cfi_startproc
        movl    $1, -12(%rsp)
        movl    $2, -8(%rsp)
        movl    $3, -4(%rsp)
        movl    -12(%rsp), %eax
        testl   %eax, %eax
        je      .L2
        movl    -8(%rsp), %eax
        movl    %eax, -4(%rsp)
.L2:
        rep ret
        .cfi_endproc
.LFE11:
        .size   main, .-main
        .section        .text.unlikely
.LCOLDE0:
        .section        .text.startup
.LHOTE0:
        .ident  "GCC: (Debian 4.9.2-10) 4.9.2"
        .section        .note.GNU-stack,"",@progbits