GCC проверяет, будет ли выражение выполняться за постоянное время

Допустим, у меня есть выражение (x << n) | (x >> (-n & 63)). В нем нет ничего условного. Итак, насколько я понимаю, он будет выполняться в постоянное время.

Действительно, когда я компилирую следующий код с помощью gcc -O3 -S:

#include <stdint.h>

// rotate left x by n places assuming n < 64
uint64_t rotl64(uint64_t x, uint8_t n) {
    return (x << n) | (x >> (-n & 63));
}

Я получаю на linux/amd64 следующий вывод (который выполняется за постоянное время):

    .file   "test.c"
    .text
    .p2align 4
    .globl  rotl64
    .type   rotl64, @function
rotl64:
.LFB0:
    .cfi_startproc
    movq    %rdi, %rax
    movl    %esi, %ecx
    rolq    %cl, %rax
    ret
    .cfi_endproc
.LFE0:
    .size   rotl64, .-rotl64
    .ident  "GCC: (Alpine 9.3.0) 9.3.0"
    .section    .note.GNU-stack,"",@progbits

Однако на linux/386 я получаю вывод, содержащий условные переходы:

    .file   "test.c"
    .text
    .p2align 4
    .globl  rotl64
    .type   rotl64, @function
rotl64:
.LFB0:
    .cfi_startproc
    pushl   %edi
    .cfi_def_cfa_offset 8
    .cfi_offset 7, -8
    pushl   %esi
    .cfi_def_cfa_offset 12
    .cfi_offset 6, -12
    movl    12(%esp), %eax
    movl    16(%esp), %edx
    movzbl  20(%esp), %ecx
    movl    %eax, %esi
    movl    %edx, %edi
    shldl   %esi, %edi
    sall    %cl, %esi
    testb   $32, %cl
    je  .L4
    movl    %esi, %edi
    xorl    %esi, %esi
.L4:
    negl    %ecx
    andl    $63, %ecx
    shrdl   %edx, %eax
    shrl    %cl, %edx
    testb   $32, %cl
    je  .L5
    movl    %edx, %eax
    xorl    %edx, %edx
.L5:
    orl %esi, %eax
    orl %edi, %edx
    popl    %esi
    .cfi_restore 6
    .cfi_def_cfa_offset 8
    popl    %edi
    .cfi_restore 7
    .cfi_def_cfa_offset 4
    ret
    .cfi_endproc
.LFE0:
    .size   rotl64, .-rotl64
    .ident  "GCC: (Alpine 9.3.0) 9.3.0"
    .section    .note.GNU-stack,"",@progbits

Насколько я понимаю, здесь нужно эмулировать 64-битные операции, отсюда и необходимость условных переходов.

Предоставляет ли GCC встроенную функцию, которая указывает, будет ли выражение компилироваться без переходов? Если это не так, как я могу узнать, будет ли выражение выполняться за постоянное время?
Является ли это проблемой для чувствительных ко времени приложений, таких как безопасность?