#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */

/* Variables and functions */
int /*<<< orphan*/ ERR_R_MALLOC_FAILURE;
int /*<<< orphan*/ EVP_Digest(void *, int, unsigned char *,
                              int /*<<< orphan*/ *, int /*<<< orphan*/,
                              int /*<<< orphan*/ *);
int /*<<< orphan*/ EVP_sha1();
scalar_t__ MGF1(unsigned char *, int, unsigned char const *, int);
int /*<<< orphan*/ RSA_R_DATA_TOO_LARGE;
int /*<<< orphan*/ RSA_R_OAEP_DECODING_ERROR;
int /*<<< orphan*/ RSAerror(int /*<<< orphan*/);
int SHA_DIGEST_LENGTH;
int /*<<< orphan*/ free(unsigned char *);
unsigned char *malloc(int);
int /*<<< orphan*/ memcpy(unsigned char *, unsigned char const *, int);
int /*<<< orphan*/ memset(unsigned char *, int /*<<< orphan*/, int);
scalar_t__ timingsafe_memcmp(unsigned char *, unsigned char *, int);
int RSA_padding_check_PKCS1_OAEP(unsigned char *to, int tlen,
                                 const unsigned char *from, int flen, int num,
                                 const unsigned char *param, int plen) {
  int i, dblen, mlen = -1;
  const unsigned char *maskeddb;
  int lzero;
  unsigned char *db = NULL;
  unsigned char seed[SHA_DIGEST_LENGTH], phash[SHA_DIGEST_LENGTH];
  unsigned char *padded_from;
  int bad = 0;
  if (--num < 2 * SHA_DIGEST_LENGTH + 1)
    goto decoding_err;
  lzero = num - flen;
  if (lzero < 0) {
    bad = 1;
    lzero = 0;
    flen = num;
  }
  dblen = num - SHA_DIGEST_LENGTH;
  if ((db = malloc(dblen + num)) == NULL) {
    RSAerror(ERR_R_MALLOC_FAILURE);
    return -1;
  }
  padded_from = db + dblen;
  memset(padded_from, 0, lzero);
  memcpy(padded_from + lzero, from, flen);
  maskeddb = padded_from + SHA_DIGEST_LENGTH;
  if (MGF1(seed, SHA_DIGEST_LENGTH, maskeddb, dblen))
    goto err;
  for (i = 0; i < SHA_DIGEST_LENGTH; i++)
    seed[i] ^= padded_from[i];
  if (MGF1(db, dblen, seed, SHA_DIGEST_LENGTH))
    goto err;
  for (i = 0; i < dblen; i++)
    db[i] ^= maskeddb[i];
  if (!EVP_Digest((void *)param, plen, phash, NULL, EVP_sha1(), NULL))
    goto err;
  if (timingsafe_memcmp(db, phash, SHA_DIGEST_LENGTH) != 0 || bad)
    goto decoding_err;
  else {
    for (i = SHA_DIGEST_LENGTH; i < dblen; i++)
      if (db[i] != 0x00)
        break;
    if (i == dblen || db[i] != 0x01)
      goto decoding_err;
    else {
      mlen = dblen - ++i;
      if (tlen < mlen) {
        RSAerror(RSA_R_DATA_TOO_LARGE);
        mlen = -1;
      } else
        memcpy(to, db + i, mlen);
    }
  }
  free(db);
  return mlen;
decoding_err:
  RSAerror(RSA_R_OAEP_DECODING_ERROR);
err:
  free(db);
  return -1;
}


x86 assembly (clang, -O0):
<RSA_padding_check_PKCS1_OAEP>:
push   %rbp
mov    %rsp,%rbp
sub    $0xa0,%rsp
mov    0x10(%rbp),%eax
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %ecx,-0x24(%rbp)
mov    %r8d,-0x28(%rbp)
mov    %r9,-0x30(%rbp)
movl   $0xffffffff,-0x3c(%rbp)
movq   $0x0,-0x58(%rbp)
mov    0x2e1e(%rip),%rax
mov    (%rax),%ecx
mov    %rsp,%rdx
mov    %rdx,-0x60(%rbp)
mov    %rcx,%rsi
add    $0xf,%rsi
and    $0xfffffffffffffff0,%rsi
mov    %rsp,%rdx
sub    %rsi,%rdx
mov    %rdx,-0x90(%rbp)
mov    %rdx,%rsp
mov    %rcx,-0x68(%rbp)
mov    (%rax),%eax
mov    %rax,%rdx
add    $0xf,%rdx
and    $0xfffffffffffffff0,%rdx
mov    %rsp,%rcx
sub    %rdx,%rcx
mov    %rcx,-0x88(%rbp)
mov    %rcx,%rsp
mov    %rax,-0x70(%rbp)
movl   $0x0,-0x7c(%rbp)
mov    -0x28(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x28(%rbp)
mov    0x2dbe(%rip),%rcx
mov    (%rcx),%ecx
shl    $0x1,%ecx
add    $0x1,%ecx
cmp    %ecx,%eax
jge    123f <RSA_padding_check_PKCS1_OAEP+0xaf>
jmp    1530 <RSA_padding_check_PKCS1_OAEP+0x3a0>
mov    -0x28(%rbp),%eax
sub    -0x24(%rbp),%eax
mov    %eax,-0x4c(%rbp)
cmpl   $0x0,-0x4c(%rbp)
jge    1266 <RSA_padding_check_PKCS1_OAEP+0xd6>
movl   $0x1,-0x7c(%rbp)
movl   $0x0,-0x4c(%rbp)
mov    -0x28(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x28(%rbp),%eax
mov    0x2d78(%rip),%rcx
sub    (%rcx),%eax
mov    %eax,-0x38(%rbp)
mov    -0x38(%rbp),%edi
add    -0x28(%rbp),%edi
call   1070 <malloc@plt>
mov    %rax,-0x58(%rbp)
cmp    $0x0,%rax
jne    12af <RSA_padding_check_PKCS1_OAEP+0x11f>
mov    0x2d4b(%rip),%rax
mov    (%rax),%edi
call   10a0 <RSAerror@plt>
movl   $0xffffffff,-0x4(%rbp)
movl   $0x1,-0x80(%rbp)
jmp    1555 <RSA_padding_check_PKCS1_OAEP+0x3c5>
mov    -0x58(%rbp),%rax
movslq -0x38(%rbp),%rcx
add    %rcx,%rax
mov    %rax,-0x78(%rbp)
mov    -0x78(%rbp),%rdi
mov    -0x4c(%rbp),%edx
xor    %esi,%esi
call   1050 <memset@plt>
mov    -0x78(%rbp),%rdi
movslq -0x4c(%rbp),%rax
add    %rax,%rdi
mov    -0x20(%rbp),%rsi
mov    -0x24(%rbp),%edx
call   1060 <memcpy@plt>
mov    -0x90(%rbp),%rdi
mov    -0x78(%rbp),%rax
mov    0x2cf3(%rip),%rcx
movslq (%rcx),%rcx
add    %rcx,%rax
mov    %rax,-0x48(%rbp)
mov    0x2ce2(%rip),%rax
mov    (%rax),%esi
mov    -0x48(%rbp),%rdx
mov    -0x38(%rbp),%ecx
call   10b0 <MGF1@plt>
cmp    $0x0,%rax
je     1323 <RSA_padding_check_PKCS1_OAEP+0x193>
jmp    153e <RSA_padding_check_PKCS1_OAEP+0x3ae>
movl   $0x0,-0x34(%rbp)
mov    -0x34(%rbp),%eax
mov    0x2cb4(%rip),%rcx
cmp    (%rcx),%eax
jge    136a <RSA_padding_check_PKCS1_OAEP+0x1da>
mov    -0x90(%rbp),%rax
mov    -0x78(%rbp),%rcx
movslq -0x34(%rbp),%rdx
movzbl (%rcx,%rdx,1),%esi
movslq -0x34(%rbp),%rcx
movzbl (%rax,%rcx,1),%edx
xor    %esi,%edx
mov    %dl,(%rax,%rcx,1)
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    132a <RSA_padding_check_PKCS1_OAEP+0x19a>
mov    -0x90(%rbp),%rdx
mov    -0x58(%rbp),%rdi
mov    -0x38(%rbp),%esi
mov    0x2c69(%rip),%rax
mov    (%rax),%ecx
call   10b0 <MGF1@plt>
cmp    $0x0,%rax
je     1395 <RSA_padding_check_PKCS1_OAEP+0x205>
jmp    153e <RSA_padding_check_PKCS1_OAEP+0x3ae>
movl   $0x0,-0x34(%rbp)
mov    -0x34(%rbp),%eax
cmp    -0x38(%rbp),%eax
jge    13d3 <RSA_padding_check_PKCS1_OAEP+0x243>
mov    -0x48(%rbp),%rax
movslq -0x34(%rbp),%rcx
movzbl (%rax,%rcx,1),%esi
mov    -0x58(%rbp),%rax
movslq -0x34(%rbp),%rcx
movzbl (%rax,%rcx,1),%edx
xor    %esi,%edx
mov    %dl,(%rax,%rcx,1)
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    139c <RSA_padding_check_PKCS1_OAEP+0x20c>
mov    -0x30(%rbp),%rax
mov    %rax,-0xa0(%rbp)
mov    0x10(%rbp),%eax
mov    %eax,-0x94(%rbp)
mov    $0x0,%al
call   1040 <EVP_sha1@plt>
mov    -0xa0(%rbp),%rdi
mov    -0x94(%rbp),%esi
mov    -0x88(%rbp),%rdx
mov    %eax,%r8d
xor    %eax,%eax
mov    %eax,%r9d
mov    %r9,%rcx
call   1080 <EVP_Digest@plt>
cmp    $0x0,%eax
jne    1420 <RSA_padding_check_PKCS1_OAEP+0x290>
jmp    153e <RSA_padding_check_PKCS1_OAEP+0x3ae>
mov    -0x88(%rbp),%rsi
mov    -0x58(%rbp),%rdi
mov    0x2bb6(%rip),%rax
mov    (%rax),%edx
call   1090 <timingsafe_memcmp@plt>
cmp    $0x0,%rax
jne    144d <RSA_padding_check_PKCS1_OAEP+0x2bd>
cmpl   $0x0,-0x7c(%rbp)
je     1452 <RSA_padding_check_PKCS1_OAEP+0x2c2>
jmp    1530 <RSA_padding_check_PKCS1_OAEP+0x3a0>
mov    0x2b8f(%rip),%rax
mov    (%rax),%eax
mov    %eax,-0x34(%rbp)
mov    -0x34(%rbp),%eax
cmp    -0x38(%rbp),%eax
jge    1497 <RSA_padding_check_PKCS1_OAEP+0x307>
mov    -0x58(%rbp),%rax
movslq -0x34(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
je     1484 <RSA_padding_check_PKCS1_OAEP+0x2f4>
jmp    1497 <RSA_padding_check_PKCS1_OAEP+0x307>
jmp    1489 <RSA_padding_check_PKCS1_OAEP+0x2f9>
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    145e <RSA_padding_check_PKCS1_OAEP+0x2ce>
mov    -0x34(%rbp),%eax
cmp    -0x38(%rbp),%eax
je     14b8 <RSA_padding_check_PKCS1_OAEP+0x328>
mov    -0x58(%rbp),%rax
movslq -0x34(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
cmp    $0x1,%eax
je     14bd <RSA_padding_check_PKCS1_OAEP+0x32d>
jmp    1530 <RSA_padding_check_PKCS1_OAEP+0x3a0>
mov    -0x38(%rbp),%eax
mov    -0x34(%rbp),%ecx
add    $0x1,%ecx
mov    %ecx,-0x34(%rbp)
sub    %ecx,%eax
mov    %eax,-0x3c(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0x3c(%rbp),%eax
jge    14f4 <RSA_padding_check_PKCS1_OAEP+0x364>
mov    0x2aef(%rip),%rax
mov    (%rax),%edi
call   10a0 <RSAerror@plt>
movl   $0xffffffff,-0x3c(%rbp)
jmp    150b <RSA_padding_check_PKCS1_OAEP+0x37b>
mov    -0x10(%rbp),%rdi
mov    -0x58(%rbp),%rsi
movslq -0x34(%rbp),%rax
add    %rax,%rsi
mov    -0x3c(%rbp),%edx
call   1060 <memcpy@plt>
jmp    1510 <RSA_padding_check_PKCS1_OAEP+0x380>
jmp    1515 <RSA_padding_check_PKCS1_OAEP+0x385>
mov    -0x58(%rbp),%rdi
call   1030 <free@plt>
mov    -0x3c(%rbp),%eax
mov    %eax,-0x4(%rbp)
movl   $0x1,-0x80(%rbp)
jmp    1555 <RSA_padding_check_PKCS1_OAEP+0x3c5>
mov    0x2a91(%rip),%rax
mov    (%rax),%edi
call   10a0 <RSAerror@plt>
mov    -0x58(%rbp),%rdi
call   1030 <free@plt>
movl   $0xffffffff,-0x4(%rbp)
movl   $0x1,-0x80(%rbp)
mov    -0x60(%rbp),%rax
mov    %rax,%rsp
mov    -0x4(%rbp),%eax
mov    %rbp,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<RSA_padding_check_PKCS1_OAEP>:
push   %rbp
mov    %rsp,%rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x58,%rsp
mov    %ecx,%r14d
mov    0x2e3d(%rip),%rax
mov    (%rax),%eax
mov    %rsp,%r13
mov    %rax,%rcx
add    $0xf,%rcx
and    $0xfffffffffffffff0,%rcx
sub    %rcx,%r13
mov    %r13,%rsp
mov    %rsp,%rbx
sub    %rcx,%rbx
mov    %rbx,%rsp
lea    (%rax,%rax,1),%ecx
add    $0x1,%ecx
xor    %r15d,%r15d
cmp    %r8d,%ecx
jge    1289 <RSA_padding_check_PKCS1_OAEP+0xf9>
mov    %rdi,-0x70(%rbp)
mov    %esi,-0x50(%rbp)
mov    %rdx,-0x40(%rbp)
mov    %rbx,-0x78(%rbp)
mov    %r9,-0x80(%rbp)
cltq
add    $0xffffffff,%r8d
mov    %r8,-0x48(%rbp)
mov    %r8d,%ebx
sub    %r14d,%ebx
cmovns %ebx,%r15d
mov    %r8d,%r12d
mov    %rax,-0x30(%rbp)
sub    %eax,%r12d
lea    (%r12,%r8,1),%edi
call   1070 <malloc@plt>
test   %rax,%rax
je     12ba <RSA_padding_check_PKCS1_OAEP+0x12a>
mov    %ebx,-0x4c(%rbp)
test   %ebx,%ebx
cmovs  -0x48(%rbp),%r14d
movslq %r12d,%rdx
mov    %rdx,-0x58(%rbp)
mov    %rax,-0x38(%rbp)
lea    (%rax,%rdx,1),%rbx
mov    %rbx,%rdi
xor    %esi,%esi
mov    %r15d,%edx
call   1050 <memset@plt>
mov    %r15d,%edi
add    %rbx,%rdi
mov    -0x40(%rbp),%rsi
mov    %r14d,%edx
call   1060 <memcpy@plt>
mov    0x2d8a(%rip),%r14
mov    (%r14),%eax
movslq %eax,%r15
mov    %rbx,-0x40(%rbp)
lea    (%rbx,%r15,1),%r14
mov    -0x58(%rbp),%rcx
mov    %r13,%rdi
mov    %r15d,%esi
mov    %r14,%rdx
call   10b0 <MGF1@plt>
test   %rax,%rax
je     12ca <RSA_padding_check_PKCS1_OAEP+0x13a>
mov    -0x38(%rbp),%r14
jmp    129a <RSA_padding_check_PKCS1_OAEP+0x10a>
xor    %r14d,%r14d
mov    0x2d35(%rip),%rax
mov    (%rax),%edi
call   10a0 <RSAerror@plt>
mov    %r14,%rdi
call   1030 <free@plt>
mov    $0xffffffff,%r13d
mov    %r13d,%eax
lea    -0x28(%rbp),%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
mov    0x2d1f(%rip),%rax
mov    (%rax),%edi
call   10a0 <RSAerror@plt>
jmp    12a2 <RSA_padding_check_PKCS1_OAEP+0x112>
mov    %r14,-0x60(%rbp)
mov    %r15,-0x68(%rbp)
mov    0x2d0f(%rip),%rax
mov    (%rax),%ecx
test   %ecx,%ecx
mov    -0x40(%rbp),%rbx
jle    1402 <RSA_padding_check_PKCS1_OAEP+0x272>
cmp    $0x8,%ecx
jae    12f3 <RSA_padding_check_PKCS1_OAEP+0x163>
xor    %eax,%eax
jmp    13f0 <RSA_padding_check_PKCS1_OAEP+0x260>
cmp    $0x20,%ecx
jae    12ff <RSA_padding_check_PKCS1_OAEP+0x16f>
xor    %eax,%eax
jmp    13c2 <RSA_padding_check_PKCS1_OAEP+0x232>
mov    %ecx,%eax
and    $0xffffffe0,%eax
lea    -0x20(%rax),%rdx
mov    %rdx,%r8
shr    $0x5,%r8
add    $0x1,%r8
test   %rdx,%rdx
je     138f <RSA_padding_check_PKCS1_OAEP+0x1ff>
mov    %r8,%rdi
and    $0xfffffffffffffffe,%rdi
movslq -0x48(%rbp),%rdx
sub    -0x30(%rbp),%rdx
mov    -0x38(%rbp),%rsi
add    %rsi,%rdx
add    $0x30,%rdx
xor    %esi,%esi
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movups -0x30(%rdx,%rsi,1),%xmm0
movups -0x20(%rdx,%rsi,1),%xmm1
xorps  0x0(%r13,%rsi,1),%xmm0
xorps  0x10(%r13,%rsi,1),%xmm1
movaps %xmm0,0x0(%r13,%rsi,1)
movaps %xmm1,0x10(%r13,%rsi,1)
movups -0x10(%rdx,%rsi,1),%xmm0
movups (%rdx,%rsi,1),%xmm1
xorps  0x20(%r13,%rsi,1),%xmm0
xorps  0x30(%r13,%rsi,1),%xmm1
movaps %xmm0,0x20(%r13,%rsi,1)
movaps %xmm1,0x30(%r13,%rsi,1)
add    $0x40,%rsi
add    $0xfffffffffffffffe,%rdi
jne    1340 <RSA_padding_check_PKCS1_OAEP+0x1b0>
jmp    1391 <RSA_padding_check_PKCS1_OAEP+0x201>
xor    %esi,%esi
test   $0x1,%r8b
je     13b8 <RSA_padding_check_PKCS1_OAEP+0x228>
movups (%rbx,%rsi,1),%xmm0
movups 0x10(%rbx,%rsi,1),%xmm1
xorps  0x0(%r13,%rsi,1),%xmm0
xorps  0x10(%r13,%rsi,1),%xmm1
movaps %xmm0,0x0(%r13,%rsi,1)
movaps %xmm1,0x10(%r13,%rsi,1)
cmp    %rcx,%rax
je     1402 <RSA_padding_check_PKCS1_OAEP+0x272>
test   $0x18,%cl
je     13f0 <RSA_padding_check_PKCS1_OAEP+0x260>
mov    %rax,%rdx
mov    %ecx,%eax
and    $0xfffffff8,%eax
nopw   0x0(%rax,%rax,1)
mov    (%rbx,%rdx,1),%rsi
xor    %rsi,0x0(%r13,%rdx,1)
add    $0x8,%rdx
cmp    %rdx,%rax
jne    13d0 <RSA_padding_check_PKCS1_OAEP+0x240>
cmp    %rcx,%rax
je     1402 <RSA_padding_check_PKCS1_OAEP+0x272>
nopw   0x0(%rax,%rax,1)
movzbl (%rbx,%rax,1),%edx
xor    %dl,0x0(%r13,%rax,1)
add    $0x1,%rax
cmp    %rax,%rcx
jne    13f0 <RSA_padding_check_PKCS1_OAEP+0x260>
mov    -0x38(%rbp),%r14
mov    %r14,%rdi
mov    %r12,%r15
mov    %r15d,%esi
mov    %r13,%rdx
call   10b0 <MGF1@plt>
test   %rax,%rax
jne    129a <RSA_padding_check_PKCS1_OAEP+0x10a>
mov    0x10(%rbp),%ebx
test   %r15d,%r15d
mov    -0x50(%rbp),%r12d
mov    %r15,%r13
mov    -0x4c(%rbp),%r15d
mov    -0x68(%rbp),%r11
jle    150c <RSA_padding_check_PKCS1_OAEP+0x37c>
mov    %r13d,%r10d
movslq -0x48(%rbp),%r9
cmp    $0x8,%r13d
jb     1471 <RSA_padding_check_PKCS1_OAEP+0x2e1>
lea    (%r11,%r9,1),%rdi
lea    (%rdi,%r10,1),%rax
sub    -0x30(%rbp),%rax
add    %r14,%rax
cmp    %rax,%r14
mov    -0x60(%rbp),%rcx
jae    15c3 <RSA_padding_check_PKCS1_OAEP+0x433>
lea    (%r14,%r10,1),%rax
cmp    %rax,%rcx
jae    15c3 <RSA_padding_check_PKCS1_OAEP+0x433>
xor    %edx,%edx
mov    %rdx,%rdi
not    %rdi
lea    (%rdi,%r10,1),%rsi
mov    %r10,%rax
and    $0x3,%rax
je     14bd <RSA_padding_check_PKCS1_OAEP+0x32d>
mov    %ebx,%r8d
add    $0x1,%rdi
add    %r14,%rdx
lea    (%r11,%r9,1),%rbx
sub    -0x30(%rbp),%rbx
nopl   0x0(%rax,%rax,1)
movzbl (%rdx,%rbx,1),%ecx
xor    %cl,(%rdx)
add    $0xffffffffffffffff,%rdi
add    $0x1,%rdx
add    $0xffffffffffffffff,%rax
jne    14a0 <RSA_padding_check_PKCS1_OAEP+0x310>
neg    %rdi
mov    %rdi,%rdx
mov    %r8d,%ebx
cmp    $0x3,%rsi
jb     150c <RSA_padding_check_PKCS1_OAEP+0x37c>
sub    %rdx,%r10
lea    (%rdx,%r14,1),%rax
add    $0x3,%rax
add    %r9,%r11
sub    -0x30(%rbp),%r11
cs nopw 0x0(%rax,%rax,1)
nop
movzbl -0x3(%rax,%r11,1),%ecx
xor    %cl,-0x3(%rax)
movzbl -0x2(%rax,%r11,1),%ecx
xor    %cl,-0x2(%rax)
movzbl -0x1(%rax,%r11,1),%ecx
xor    %cl,-0x1(%rax)
movzbl (%rax,%r11,1),%ecx
xor    %cl,(%rax)
add    $0x4,%rax
add    $0xfffffffffffffffc,%r10
jne    14e0 <RSA_padding_check_PKCS1_OAEP+0x350>
xor    %eax,%eax
call   1040 <EVP_sha1@plt>
mov    -0x80(%rbp),%rdi
mov    %ebx,%esi
mov    -0x78(%rbp),%rbx
mov    %rbx,%rdx
xor    %ecx,%ecx
mov    %eax,%r8d
xor    %r9d,%r9d
call   1080 <EVP_Digest@plt>
test   %eax,%eax
je     129a <RSA_padding_check_PKCS1_OAEP+0x10a>
mov    0x2aac(%rip),%rax
mov    (%rax),%edx
mov    %r14,%rdi
mov    %rbx,%rsi
call   1090 <timingsafe_memcmp@plt>
test   %rax,%rax
jne    128c <RSA_padding_check_PKCS1_OAEP+0xfc>
test   %r15d,%r15d
js     128c <RSA_padding_check_PKCS1_OAEP+0xfc>
mov    0x2a86(%rip),%rax
mov    (%rax),%eax
cmp    %r13d,%eax
jge    1584 <RSA_padding_check_PKCS1_OAEP+0x3f4>
cltq
mov    -0x58(%rbp),%rcx
cmpb   $0x0,(%r14,%rax,1)
jne    1584 <RSA_padding_check_PKCS1_OAEP+0x3f4>
add    $0x1,%rax
cmp    %rcx,%rax
jl     156f <RSA_padding_check_PKCS1_OAEP+0x3df>
jmp    128c <RSA_padding_check_PKCS1_OAEP+0xfc>
cmp    %r13d,%eax
je     128c <RSA_padding_check_PKCS1_OAEP+0xfc>
movslq %eax,%rcx
cmpb   $0x1,(%r14,%rcx,1)
jne    128c <RSA_padding_check_PKCS1_OAEP+0xfc>
add    $0x1,%eax
sub    %eax,%r13d
cmp    %r12d,%r13d
jle    165c <RSA_padding_check_PKCS1_OAEP+0x4cc>
mov    0x2a1f(%rip),%rax
mov    (%rax),%edi
call   10a0 <RSAerror@plt>
mov    $0xffffffff,%r13d
jmp    1670 <RSA_padding_check_PKCS1_OAEP+0x4e0>
cmp    $0x20,%r13d
jae    15d0 <RSA_padding_check_PKCS1_OAEP+0x440>
xor    %edx,%edx
jmp    16c0 <RSA_padding_check_PKCS1_OAEP+0x530>
mov    %r10d,%edx
and    $0xffffffe0,%edx
lea    -0x20(%rdx),%rax
mov    %rax,%r8
shr    $0x5,%r8
add    $0x1,%r8
test   %rax,%rax
je     167d <RSA_padding_check_PKCS1_OAEP+0x4ed>
mov    %r8,%rsi
and    $0xfffffffffffffffe,%rsi
sub    -0x30(%rbp),%rdi
lea    (%rdi,%r14,1),%rbx
add    $0x30,%rbx
xor    %edi,%edi
movups -0x30(%rbx,%rdi,1),%xmm0
movups -0x20(%rbx,%rdi,1),%xmm1
movups (%r14,%rdi,1),%xmm2
xorps  %xmm0,%xmm2
movups 0x10(%r14,%rdi,1),%xmm0
xorps  %xmm1,%xmm0
movups 0x20(%r14,%rdi,1),%xmm1
movups 0x30(%r14,%rdi,1),%xmm3
movups %xmm2,(%r14,%rdi,1)
movups %xmm0,0x10(%r14,%rdi,1)
movups -0x10(%rbx,%rdi,1),%xmm0
xorps  %xmm1,%xmm0
movups (%rbx,%rdi,1),%xmm1
xorps  %xmm3,%xmm1
movups %xmm0,0x20(%r14,%rdi,1)
movups %xmm1,0x30(%r14,%rdi,1)
add    $0x40,%rdi
add    $0xfffffffffffffffe,%rsi
jne    1603 <RSA_padding_check_PKCS1_OAEP+0x473>
jmp    167f <RSA_padding_check_PKCS1_OAEP+0x4ef>
cltq
mov    %r14,%rsi
add    %rax,%rsi
mov    -0x70(%rbp),%rdi
mov    %r13d,%edx
call   1060 <memcpy@plt>
mov    %r14,%rdi
call   1030 <free@plt>
jmp    12a8 <RSA_padding_check_PKCS1_OAEP+0x118>
xor    %edi,%edi
test   $0x1,%r8b
je     16aa <RSA_padding_check_PKCS1_OAEP+0x51a>
movups (%rcx,%rdi,1),%xmm0
movups 0x10(%rcx,%rdi,1),%xmm1
movups (%r14,%rdi,1),%xmm2
xorps  %xmm0,%xmm2
movups 0x10(%r14,%rdi,1),%xmm0
xorps  %xmm1,%xmm0
movups %xmm2,(%r14,%rdi,1)
movups %xmm0,0x10(%r14,%rdi,1)
cmp    %r10,%rdx
mov    0x10(%rbp),%ebx
je     150c <RSA_padding_check_PKCS1_OAEP+0x37c>
test   $0x18,%r10b
je     1473 <RSA_padding_check_PKCS1_OAEP+0x2e3>
mov    %ebx,%ecx
mov    %rdx,%rbx
mov    %r10d,%edx
and    $0xfffffff8,%edx
lea    (%rbx,%r11,1),%rax
add    %r9,%rax
sub    -0x30(%rbp),%rax
add    %r14,%rax
lea    (%r14,%rbx,1),%r8
mov    %rdx,%rdi
sub    %rbx,%rdi
xor    %ebx,%ebx
mov    (%rax,%rbx,1),%rsi
xor    %rsi,(%r8,%rbx,1)
add    $0x8,%rbx
cmp    %rbx,%rdi
jne    16e5 <RSA_padding_check_PKCS1_OAEP+0x555>
cmp    %r10,%rdx
mov    %ecx,%ebx
je     150c <RSA_padding_check_PKCS1_OAEP+0x37c>
jmp    1473 <RSA_padding_check_PKCS1_OAEP+0x2e3>

LLVM IR (-O0):
@SHA_DIGEST_LENGTH = global i32 0
@ERR_R_MALLOC_FAILURE = global i32 0
@RSA_R_DATA_TOO_LARGE = global i32 0
@RSA_R_OAEP_DECODING_ERROR = global i32 0
define i32 @RSA_padding_check_PKCS1_OAEP(i8* %0, i32 %1, i8* %2, i32 %3, i32 %4, i8* %5, i32 %6) {
%8 = alloca i32
%9 = alloca i8*
%10 = alloca i32
%11 = alloca i8*
%12 = alloca i32
%13 = alloca i32
%14 = alloca i8*
%15 = alloca i32
%16 = alloca i32
%17 = alloca i32
%18 = alloca i32
%19 = alloca i8*
%20 = alloca i32
%21 = alloca i8*
%22 = alloca i8*
%23 = alloca i64
%24 = alloca i64
%25 = alloca i8*
%26 = alloca i32
%27 = alloca i32
store i8* %0, i8** %9
store i32 %1, i32* %10
store i8* %2, i8** %11
store i32 %3, i32* %12
store i32 %4, i32* %13
store i8* %5, i8** %14
store i32 %6, i32* %15
store i32 -1, i32* %18
store i8* null, i8** %21
%28 = load i32, i32* @SHA_DIGEST_LENGTH
%29 = zext i32 %28 to i64
%30 = call i8* @llvm.stacksave()
store i8* %30, i8** %22
%31 = alloca i8, i64 %29
store i64 %29, i64* %23
%32 = load i32, i32* @SHA_DIGEST_LENGTH
%33 = zext i32 %32 to i64
%34 = alloca i8, i64 %33
store i64 %33, i64* %24
store i32 0, i32* %26
%35 = load i32, i32* %13
%36 = add nsw i32 %35, -1
store i32 %36, i32* %13
%37 = load i32, i32* @SHA_DIGEST_LENGTH
%38 = mul nsw i32 2, %37
%39 = add nsw i32 %38, 1
%40 = icmp slt i32 %36, %39
br i1 %40, label %41, label %42
41: ; preds = %7
br label %212
42: ; preds = %7
%43 = load i32, i32* %13
%44 = load i32, i32* %12
%45 = sub nsw i32 %43, %44
store i32 %45, i32* %20
%46 = load i32, i32* %20
%47 = icmp slt i32 %46, 0
br i1 %47, label %48, label %50
48: ; preds = %42
store i32 1, i32* %26
store i32 0, i32* %20
%49 = load i32, i32* %13
store i32 %49, i32* %12
br label %50
50: ; preds = %48, %42
%51 = load i32, i32* %13
%52 = load i32, i32* @SHA_DIGEST_LENGTH
%53 = sub nsw i32 %51, %52
store i32 %53, i32* %17
%54 = load i32, i32* %17
%55 = load i32, i32* %13
%56 = add nsw i32 %54, %55
%57 = call i8* @malloc(i32 %56)
store i8* %57, i8** %21
%58 = icmp eq i8* %57, null
br i1 %58, label %59, label %62
59: ; preds = %50
%60 = load i32, i32* @ERR_R_MALLOC_FAILURE
%61 = call i32 @RSAerror(i32 %60)
store i32 -1, i32* %8
store i32 1, i32* %27
br label %218
62: ; preds = %50
%63 = load i8*, i8** %21
%64 = load i32, i32* %17
%65 = sext i32 %64 to i64
%66 = getelementptr inbounds i8, i8* %63, i64 %65
store i8* %66, i8** %25
%67 = load i8*, i8** %25
%68 = load i32, i32* %20
%69 = call i32 @memset(i8* %67, i32 0, i32 %68)
%70 = load i8*, i8** %25
%71 = load i32, i32* %20
%72 = sext i32 %71 to i64
%73 = getelementptr inbounds i8, i8* %70, i64 %72
%74 = load i8*, i8** %11
%75 = load i32, i32* %12
%76 = call i32 @memcpy(i8* %73, i8* %74, i32 %75)
%77 = load i8*, i8** %25
%78 = load i32, i32* @SHA_DIGEST_LENGTH
%79 = sext i32 %78 to i64
%80 = getelementptr inbounds i8, i8* %77, i64 %79
store i8* %80, i8** %19
%81 = load i32, i32* @SHA_DIGEST_LENGTH
%82 = load i8*, i8** %19
%83 = load i32, i32* %17
%84 = call i64 @MGF1(i8* %31, i32 %81, i8* %82, i32 %83)
%85 = icmp ne i64 %84, 0
br i1 %85, label %86, label %87
86: ; preds = %62
br label %215
87: ; preds = %62
store i32 0, i32* %16
br label %88
88: ; preds = %106, %87
%89 = load i32, i32* %16
%90 = load i32, i32* @SHA_DIGEST_LENGTH
%91 = icmp slt i32 %89, %90
br i1 %91, label %92, label %109
92: ; preds = %88
%93 = load i8*, i8** %25
%94 = load i32, i32* %16
%95 = sext i32 %94 to i64
%96 = getelementptr inbounds i8, i8* %93, i64 %95
%97 = load i8, i8* %96
%98 = zext i8 %97 to i32
%99 = load i32, i32* %16
%100 = sext i32 %99 to i64
%101 = getelementptr inbounds i8, i8* %31, i64 %100
%102 = load i8, i8* %101
%103 = zext i8 %102 to i32
%104 = xor i32 %103, %98
%105 = trunc i32 %104 to i8
store i8 %105, i8* %101
br label %106
106: ; preds = %92
%107 = load i32, i32* %16
%108 = add nsw i32 %107, 1
store i32 %108, i32* %16
br label %88
109: ; preds = %88
%110 = load i8*, i8** %21
%111 = load i32, i32* %17
%112 = load i32, i32* @SHA_DIGEST_LENGTH
%113 = call i64 @MGF1(i8* %110, i32 %111, i8* %31, i32 %112)
%114 = icmp ne i64 %113, 0
br i1 %114, label %115, label %116
115: ; preds = %109
br label %215
116: ; preds = %109
store i32 0, i32* %16
br label %117
117: ; preds = %136, %116
%118 = load i32, i32* %16
%119 = load i32, i32* %17
%120 = icmp slt i32 %118, %119
br i1 %120, label %121, label %139
121: ; preds = %117
%122 = load i8*, i8** %19
%123 = load i32, i32* %16
%124 = sext i32 %123 to i64
%125 = getelementptr inbounds i8, i8* %122, i64 %124
%126 = load i8, i8* %125
%127 = zext i8 %126 to i32
%128 = load i8*, i8** %21
%129 = load i32, i32* %16
%130 = sext i32 %129 to i64
%131 = getelementptr inbounds i8, i8* %128, i64 %130
%132 = load i8, i8* %131
%133 = zext i8 %132 to i32
%134 = xor i32 %133, %127
%135 = trunc i32 %134 to i8
store i8 %135, i8* %131
br label %136
136: ; preds = %121
%137 = load i32, i32* %16
%138 = add nsw i32 %137, 1
store i32 %138, i32* %16
br label %117
139: ; preds = %117
%140 = load i8*, i8** %14
%141 = load i32, i32* %15
%142 = call i32 (...) @EVP_sha1()
%143 = call i32 @EVP_Digest(i8* %140, i32 %141, i8* %34, i32* null, i32 %142, i32* null)
%144 = icmp ne i32 %143, 0
br i1 %144, label %146, label %145
145: ; preds = %139
br label %215
146: ; preds = %139
%147 = load i8*, i8** %21
%148 = load i32, i32* @SHA_DIGEST_LENGTH
%149 = call i64 @timingsafe_memcmp(i8* %147, i8* %34, i32 %148)
%150 = icmp ne i64 %149, 0
br i1 %150, label %154, label %151
151: ; preds = %146
%152 = load i32, i32* %26
%153 = icmp ne i32 %152, 0
br i1 %153, label %154, label %155
154: ; preds = %151, %146
br label %212
155: ; preds = %151
%156 = load i32, i32* @SHA_DIGEST_LENGTH
store i32 %156, i32* %16
br label %157
157: ; preds = %171, %155
%158 = load i32, i32* %16
%159 = load i32, i32* %17
%160 = icmp slt i32 %158, %159
br i1 %160, label %161, label %174
161: ; preds = %157
%162 = load i8*, i8** %21
%163 = load i32, i32* %16
%164 = sext i32 %163 to i64
%165 = getelementptr inbounds i8, i8* %162, i64 %164
%166 = load i8, i8* %165
%167 = zext i8 %166 to i32
%168 = icmp ne i32 %167, 0
br i1 %168, label %169, label %170
169: ; preds = %161
br label %174
170: ; preds = %161
br label %171
171: ; preds = %170
%172 = load i32, i32* %16
%173 = add nsw i32 %172, 1
store i32 %173, i32* %16
br label %157
174: ; preds = %169, %157
%175 = load i32, i32* %16
%176 = load i32, i32* %17
%177 = icmp eq i32 %175, %176
br i1 %177, label %186, label %178
178: ; preds = %174
%179 = load i8*, i8** %21
%180 = load i32, i32* %16
%181 = sext i32 %180 to i64
%182 = getelementptr inbounds i8, i8* %179, i64 %181
%183 = load i8, i8* %182
%184 = zext i8 %183 to i32
%185 = icmp ne i32 %184, 1
br i1 %185, label %186, label %187
186: ; preds = %178, %174
br label %212
187: ; preds = %178
%188 = load i32, i32* %17
%189 = load i32, i32* %16
%190 = add nsw i32 %189, 1
store i32 %190, i32* %16
%191 = sub nsw i32 %188, %190
store i32 %191, i32* %18
%192 = load i32, i32* %10
%193 = load i32, i32* %18
%194 = icmp slt i32 %192, %193
br i1 %194, label %195, label %198
195: ; preds = %187
%196 = load i32, i32* @RSA_R_DATA_TOO_LARGE
%197 = call i32 @RSAerror(i32 %196)
store i32 -1, i32* %18
br label %206
198: ; preds = %187
%199 = load i8*, i8** %9
%200 = load i8*, i8** %21
%201 = load i32, i32* %16
%202 = sext i32 %201 to i64
%203 = getelementptr inbounds i8, i8* %200, i64 %202
%204 = load i32, i32* %18
%205 = call i32 @memcpy(i8* %199, i8* %203, i32 %204)
br label %206
206: ; preds = %198, %195
br label %207
207: ; preds = %206
br label %208
208: ; preds = %207
%209 = load i8*, i8** %21
%210 = call i32 @free(i8* %209)
%211 = load i32, i32* %18
store i32 %211, i32* %8
store i32 1, i32* %27
br label %218
212: ; preds = %186, %154, %41
%213 = load i32, i32* @RSA_R_OAEP_DECODING_ERROR
%214 = call i32 @RSAerror(i32 %213)
br label %215
215: ; preds = %212, %145, %115, %86
%216 = load i8*, i8** %21
%217 = call i32 @free(i8* %216)
store i32 -1, i32* %8
store i32 1, i32* %27
br label %218
218: ; preds = %215, %208, %59
%219 = load i8*, i8** %22
%220 = load i32, i32* %8
ret i32 %220
}

LLVM IR (-O2):
@SHA_DIGEST_LENGTH = global i32 0
@ERR_R_MALLOC_FAILURE = global i32 0
@RSA_R_DATA_TOO_LARGE = global i32 0
@RSA_R_OAEP_DECODING_ERROR = global i32 0
define i32 @RSA_padding_check_PKCS1_OAEP(i8* %0, i32 %1, i8* %2, i32 %3, i32 %4, i8* %5, i32 %6) {
%8 = load i32, i32* @SHA_DIGEST_LENGTH
%9 = zext i32 %8 to i64
%10 = alloca i8, i64 %9
%11 = alloca i8, i64 %9
%12 = add i32 %4, -1
%13 = shl nsw i32 %8, 1
%14 = or i32 %13, 1
%15 = icmp slt i32 %14, %4
br i1 %15, label %16, label %353
16: ; preds = %7
%17 = sub nsw i32 %12, %3
%18 = icmp slt i32 %17, 0
%19 = select i1 %18, i32 0, i32 %17
%20 = sub nsw i32 %12, %8
%21 = add nsw i32 %20, %12
%22 = tail call i8* @malloc(i32 %21)
%23 = icmp eq i8* %22, null
br i1 %23, label %24, label %27
24: ; preds = %16
%25 = load i32, i32* @ERR_R_MALLOC_FAILURE
%26 = tail call i32 @RSAerror(i32 %25)
br label %360
27: ; preds = %16
%28 = select i1 %18, i32 %12, i32 %3
%29 = sext i32 %20 to i64
%30 = getelementptr inbounds i8, i8* %22, i64 %29
%31 = tail call i32 @memset(i8* %30, i32 0, i32 %19)
%32 = zext i32 %19 to i64
%33 = getelementptr inbounds i8, i8* %30, i64 %32
%34 = tail call i32 @memcpy(i8* %33, i8* %2, i32 %28)
%35 = load i32, i32* @SHA_DIGEST_LENGTH
%36 = sext i32 %35 to i64
%37 = getelementptr inbounds i8, i8* %30, i64 %36
%38 = call i64 @MGF1(i8* %10, i32 %35, i8* %37, i32 %20)
%39 = icmp eq i64 %38, 0
br i1 %39, label %40, label %357
40: ; preds = %27
%41 = load i32, i32* @SHA_DIGEST_LENGTH
%42 = icmp sgt i32 %41, 0
br i1 %42, label %43, label %149
43: ; preds = %40
%44 = zext i32 %41 to i64
%45 = icmp ult i32 %41, 8
br i1 %45, label %138, label %46
46: ; preds = %43
%47 = icmp ult i32 %41, 32
br i1 %47, label %121, label %48
48: ; preds = %46
%49 = and i64 %44, 4294967264
%50 = add nsw i64 %49, -32
%51 = lshr exact i64 %50, 5
%52 = add nuw nsw i64 %51, 1
%53 = and i64 %52, 1
%54 = icmp eq i64 %50, 0
br i1 %54, label %96, label %55
55: ; preds = %48
%56 = and i64 %52, 1152921504606846974
br label %57
57: ; preds = %57, %55
%58 = phi i64 [ 0, %55 ], [ %93, %57 ]
%59 = phi i64 [ 0, %55 ], [ %94, %57 ]
%60 = getelementptr inbounds i8, i8* %30, i64 %58
%61 = bitcast i8* %60 to <16 x i8>*
%62 = load <16 x i8>, <16 x i8>* %61
%63 = getelementptr inbounds i8, i8* %60, i64 16
%64 = bitcast i8* %63 to <16 x i8>*
%65 = load <16 x i8>, <16 x i8>* %64
%66 = getelementptr inbounds i8, i8* %10, i64 %58
%67 = bitcast i8* %66 to <16 x i8>*
%68 = load <16 x i8>, <16 x i8>* %67
%69 = getelementptr inbounds i8, i8* %66, i64 16
%70 = bitcast i8* %69 to <16 x i8>*
%71 = load <16 x i8>, <16 x i8>* %70
%72 = xor <16 x i8> %68, %62
%73 = xor <16 x i8> %71, %65
%74 = bitcast i8* %66 to <16 x i8>*
store <16 x i8> %72, <16 x i8>* %74
%75 = bitcast i8* %69 to <16 x i8>*
store <16 x i8> %73, <16 x i8>* %75
%76 = or i64 %58, 32
%77 = getelementptr inbounds i8, i8* %30, i64 %76
%78 = bitcast i8* %77 to <16 x i8>*
%79 = load <16 x i8>, <16 x i8>* %78
%80 = getelementptr inbounds i8, i8* %77, i64 16
%81 = bitcast i8* %80 to <16 x i8>*
%82 = load <16 x i8>, <16 x i8>* %81
%83 = getelementptr inbounds i8, i8* %10, i64 %76
%84 = bitcast i8* %83 to <16 x i8>*
%85 = load <16 x i8>, <16 x i8>* %84
%86 = getelementptr inbounds i8, i8* %83, i64 16
%87 = bitcast i8* %86 to <16 x i8>*
%88 = load <16 x i8>, <16 x i8>* %87
%89 = xor <16 x i8> %85, %79
%90 = xor <16 x i8> %88, %82
%91 = bitcast i8* %83 to <16 x i8>*
store <16 x i8> %89, <16 x i8>* %91
%92 = bitcast i8* %86 to <16 x i8>*
store <16 x i8> %90, <16 x i8>* %92
%93 = add nuw i64 %58, 64
%94 = add i64 %59, 2
%95 = icmp eq i64 %94, %56
br i1 %95, label %96, label %57
96: ; preds = %57, %48
%97 = phi i64 [ 0, %48 ], [ %93, %57 ]
%98 = icmp eq i64 %53, 0
br i1 %98, label %116, label %99
99: ; preds = %96
%100 = getelementptr inbounds i8, i8* %30, i64 %97
%101 = bitcast i8* %100 to <16 x i8>*
%102 = load <16 x i8>, <16 x i8>* %101
%103 = getelementptr inbounds i8, i8* %100, i64 16
%104 = bitcast i8* %103 to <16 x i8>*
%105 = load <16 x i8>, <16 x i8>* %104
%106 = getelementptr inbounds i8, i8* %10, i64 %97
%107 = bitcast i8* %106 to <16 x i8>*
%108 = load <16 x i8>, <16 x i8>* %107
%109 = getelementptr inbounds i8, i8* %106, i64 16
%110 = bitcast i8* %109 to <16 x i8>*
%111 = load <16 x i8>, <16 x i8>* %110
%112 = xor <16 x i8> %108, %102
%113 = xor <16 x i8> %111, %105
%114 = bitcast i8* %106 to <16 x i8>*
store <16 x i8> %112, <16 x i8>* %114
%115 = bitcast i8* %109 to <16 x i8>*
store <16 x i8> %113, <16 x i8>* %115
br label %116
116: ; preds = %96, %99
%117 = icmp eq i64 %49, %44
br i1 %117, label %149, label %118
118: ; preds = %116
%119 = and i64 %44, 24
%120 = icmp eq i64 %119, 0
br i1 %120, label %138, label %121
121: ; preds = %46, %118
%122 = phi i64 [ %49, %118 ], [ 0, %46 ]
%123 = and i64 %44, 4294967288
br label %124
124: ; preds = %124, %121
%125 = phi i64 [ %122, %121 ], [ %134, %124 ]
%126 = getelementptr inbounds i8, i8* %30, i64 %125
%127 = bitcast i8* %126 to <8 x i8>*
%128 = load <8 x i8>, <8 x i8>* %127
%129 = getelementptr inbounds i8, i8* %10, i64 %125
%130 = bitcast i8* %129 to <8 x i8>*
%131 = load <8 x i8>, <8 x i8>* %130
%132 = xor <8 x i8> %131, %128
%133 = bitcast i8* %129 to <8 x i8>*
store <8 x i8> %132, <8 x i8>* %133
%134 = add nuw i64 %125, 8
%135 = icmp eq i64 %134, %123
br i1 %135, label %136, label %124
136: ; preds = %124
%137 = icmp eq i64 %123, %44
br i1 %137, label %149, label %138
138: ; preds = %43, %118, %136
%139 = phi i64 [ 0, %43 ], [ %49, %118 ], [ %123, %136 ]
br label %140
140: ; preds = %138, %140
%141 = phi i64 [ %147, %140 ], [ %139, %138 ]
%142 = getelementptr inbounds i8, i8* %30, i64 %141
%143 = load i8, i8* %142
%144 = getelementptr inbounds i8, i8* %10, i64 %141
%145 = load i8, i8* %144
%146 = xor i8 %145, %143
store i8 %146, i8* %144
%147 = add nuw nsw i64 %141, 1
%148 = icmp eq i64 %147, %44
br i1 %148, label %149, label %140
149: ; preds = %140, %116, %136, %40
%150 = call i64 @MGF1(i8* %22, i32 %20, i8* %10, i32 %41)
%151 = icmp eq i64 %150, 0
br i1 %151, label %152, label %357
152: ; preds = %149
%153 = icmp sgt i32 %20, 0
br i1 %153, label %154, label %307
154: ; preds = %152
%155 = zext i32 %20 to i64
%156 = icmp ult i32 %20, 8
br i1 %156, label %260, label %157
157: ; preds = %154
%158 = getelementptr i8, i8* %22, i64 %155
%159 = sext i32 %12 to i64
%160 = add nsw i64 %36, %159
%161 = add nsw i64 %160, %155
%162 = sext i32 %8 to i64
%163 = sub nsw i64 %161, %162
%164 = getelementptr i8, i8* %22, i64 %163
%165 = icmp ult i8* %22, %164
%166 = icmp ult i8* %37, %158
%167 = and i1 %165, %166
br i1 %167, label %260, label %168
168: ; preds = %157
%169 = icmp ult i32 %20, 32
br i1 %169, label %243, label %170
170: ; preds = %168
%171 = and i64 %155, 4294967264
%172 = add nsw i64 %171, -32
%173 = lshr exact i64 %172, 5
%174 = add nuw nsw i64 %173, 1
%175 = and i64 %174, 1
%176 = icmp eq i64 %172, 0
br i1 %176, label %218, label %177
177: ; preds = %170
%178 = and i64 %174, 1152921504606846974
br label %179
179: ; preds = %179, %177
%180 = phi i64 [ 0, %177 ], [ %215, %179 ]
%181 = phi i64 [ 0, %177 ], [ %216, %179 ]
%182 = getelementptr inbounds i8, i8* %37, i64 %180
%183 = bitcast i8* %182 to <16 x i8>*
%184 = load <16 x i8>, <16 x i8>* %183
%185 = getelementptr inbounds i8, i8* %182, i64 16
%186 = bitcast i8* %185 to <16 x i8>*
%187 = load <16 x i8>, <16 x i8>* %186
%188 = getelementptr inbounds i8, i8* %22, i64 %180
%189 = bitcast i8* %188 to <16 x i8>*
%190 = load <16 x i8>, <16 x i8>* %189
%191 = getelementptr inbounds i8, i8* %188, i64 16
%192 = bitcast i8* %191 to <16 x i8>*
%193 = load <16 x i8>, <16 x i8>* %192
%194 = xor <16 x i8> %190, %184
%195 = xor <16 x i8> %193, %187
%196 = bitcast i8* %188 to <16 x i8>*
store <16 x i8> %194, <16 x i8>* %196
%197 = bitcast i8* %191 to <16 x i8>*
store <16 x i8> %195, <16 x i8>* %197
%198 = or i64 %180, 32
%199 = getelementptr inbounds i8, i8* %37, i64 %198
%200 = bitcast i8* %199 to <16 x i8>*
%201 = load <16 x i8>, <16 x i8>* %200
%202 = getelementptr inbounds i8, i8* %199, i64 16
%203 = bitcast i8* %202 to <16 x i8>*
%204 = load <16 x i8>, <16 x i8>* %203
%205 = getelementptr inbounds i8, i8* %22, i64 %198
%206 = bitcast i8* %205 to <16 x i8>*
%207 = load <16 x i8>, <16 x i8>* %206
%208 = getelementptr inbounds i8, i8* %205, i64 16
%209 = bitcast i8* %208 to <16 x i8>*
%210 = load <16 x i8>, <16 x i8>* %209
%211 = xor <16 x i8> %207, %201
%212 = xor <16 x i8> %210, %204
%213 = bitcast i8* %205 to <16 x i8>*
store <16 x i8> %211, <16 x i8>* %213
%214 = bitcast i8* %208 to <16 x i8>*
store <16 x i8> %212, <16 x i8>* %214
%215 = add nuw i64 %180, 64
%216 = add i64 %181, 2
%217 = icmp eq i64 %216, %178
br i1 %217, label %218, label %179
218: ; preds = %179, %170
%219 = phi i64 [ 0, %170 ], [ %215, %179 ]
%220 = icmp eq i64 %175, 0
br i1 %220, label %238, label %221
221: ; preds = %218
%222 = getelementptr inbounds i8, i8* %37, i64 %219
%223 = bitcast i8* %222 to <16 x i8>*
%224 = load <16 x i8>, <16 x i8>* %223
%225 = getelementptr inbounds i8, i8* %222, i64 16
%226 = bitcast i8* %225 to <16 x i8>*
%227 = load <16 x i8>, <16 x i8>* %226
%228 = getelementptr inbounds i8, i8* %22, i64 %219
%229 = bitcast i8* %228 to <16 x i8>*
%230 = load <16 x i8>, <16 x i8>* %229
%231 = getelementptr inbounds i8, i8* %228, i64 16
%232 = bitcast i8* %231 to <16 x i8>*
%233 = load <16 x i8>, <16 x i8>* %232
%234 = xor <16 x i8> %230, %224
%235 = xor <16 x i8> %233, %227
%236 = bitcast i8* %228 to <16 x i8>*
store <16 x i8> %234, <16 x i8>* %236
%237 = bitcast i8* %231 to <16 x i8>*
store <16 x i8> %235, <16 x i8>* %237
br label %238
238: ; preds = %218, %221
%239 = icmp eq i64 %171, %155
br i1 %239, label %307, label %240
240: ; preds = %238
%241 = and i64 %155, 24
%242 = icmp eq i64 %241, 0
br i1 %242, label %260, label %243
243: ; preds = %168, %240
%244 = phi i64 [ %171, %240 ], [ 0, %168 ]
%245 = and i64 %155, 4294967288
br label %246
246: ; preds = %246, %243
%247 = phi i64 [ %244, %243 ], [ %256, %246 ]
%248 = getelementptr inbounds i8, i8* %37, i64 %247
%249 = bitcast i8* %248 to <8 x i8>*
%250 = load <8 x i8>, <8 x i8>* %249
%251 = getelementptr inbounds i8, i8* %22, i64 %247
%252 = bitcast i8* %251 to <8 x i8>*
%253 = load <8 x i8>, <8 x i8>* %252
%254 = xor <8 x i8> %253, %250
%255 = bitcast i8* %251 to <8 x i8>*
store <8 x i8> %254, <8 x i8>* %255
%256 = add nuw i64 %247, 8
%257 = icmp eq i64 %256, %245
br i1 %257, label %258, label %246
258: ; preds = %246
%259 = icmp eq i64 %245, %155
br i1 %259, label %307, label %260
260: ; preds = %157, %154, %240, %258
%261 = phi i64 [ 0, %154 ], [ 0, %157 ], [ %171, %240 ], [ %245, %258 ]
%262 = xor i64 %261, -1
%263 = add nsw i64 %262, %155
%264 = and i64 %155, 3
%265 = icmp eq i64 %264, 0
br i1 %265, label %277, label %266
266: ; preds = %260, %266
%267 = phi i64 [ %274, %266 ], [ %261, %260 ]
%268 = phi i64 [ %275, %266 ], [ 0, %260 ]
%269 = getelementptr inbounds i8, i8* %37, i64 %267
%270 = load i8, i8* %269
%271 = getelementptr inbounds i8, i8* %22, i64 %267
%272 = load i8, i8* %271
%273 = xor i8 %272, %270
store i8 %273, i8* %271
%274 = add nuw nsw i64 %267, 1
%275 = add i64 %268, 1
%276 = icmp eq i64 %275, %264
br i1 %276, label %277, label %266
277: ; preds = %266, %260
%278 = phi i64 [ %261, %260 ], [ %274, %266 ]
%279 = icmp ult i64 %263, 3
br i1 %279, label %307, label %280
280: ; preds = %277, %280
%281 = phi i64 [ %305, %280 ], [ %278, %277 ]
%282 = getelementptr inbounds i8, i8* %37, i64 %281
%283 = load i8, i8* %282
%284 = getelementptr inbounds i8, i8* %22, i64 %281
%285 = load i8, i8* %284
%286 = xor i8 %285, %283
store i8 %286, i8* %284
%287 = add nuw nsw i64 %281, 1
%288 = getelementptr inbounds i8, i8* %37, i64 %287
%289 = load i8, i8* %288
%290 = getelementptr inbounds i8, i8* %22, i64 %287
%291 = load i8, i8* %290
%292 = xor i8 %291, %289
store i8 %292, i8* %290
%293 = add nuw nsw i64 %281, 2
%294 = getelementptr inbounds i8, i8* %37, i64 %293
%295 = load i8, i8* %294
%296 = getelementptr inbounds i8, i8* %22, i64 %293
%297 = load i8, i8* %296
%298 = xor i8 %297, %295
store i8 %298, i8* %296
%299 = add nuw nsw i64 %281, 3
%300 = getelementptr inbounds i8, i8* %37, i64 %299
%301 = load i8, i8* %300
%302 = getelementptr inbounds i8, i8* %22, i64 %299
%303 = load i8, i8* %302
%304 = xor i8 %303, %301
store i8 %304, i8* %302
%305 = add nuw nsw i64 %281, 4
%306 = icmp eq i64 %305, %155
br i1 %306, label %307, label %280
307: ; preds = %277, %280, %238, %258, %152
%308 = call i32 (...) @EVP_sha1()
%309 = call i32 @EVP_Digest(i8* %5, i32 %6, i8* %11, i32* null, i32 %308, i32* null)
%310 = icmp eq i32 %309, 0
br i1 %310, label %357, label %311
311: ; preds = %307
%312 = load i32, i32* @SHA_DIGEST_LENGTH
%313 = call i64 @timingsafe_memcmp(i8* %22, i8* %11, i32 %312)
%314 = icmp ne i64 %313, 0
%315 = select i1 %314, i1 true, i1 %18
br i1 %315, label %353, label %316
316: ; preds = %311
%317 = load i32, i32* @SHA_DIGEST_LENGTH
%318 = icmp slt i32 %317, %20
br i1 %318, label %319, label %331
319: ; preds = %316
%320 = sext i32 %317 to i64
br label %321
321: ; preds = %319, %326
%322 = phi i64 [ %320, %319 ], [ %327, %326 ]
%323 = getelementptr inbounds i8, i8* %22, i64 %322
%324 = load i8, i8* %323
%325 = icmp eq i8 %324, 0
br i1 %325, label %326, label %329
326: ; preds = %321
%327 = add nsw i64 %322, 1
%328 = icmp slt i64 %327, %29
br i1 %328, label %321, label %353
329: ; preds = %321
%330 = trunc i64 %322 to i32
br label %331
331: ; preds = %329, %316
%332 = phi i32 [ %317, %316 ], [ %330, %329 ]
%333 = icmp eq i32 %332, %20
br i1 %333, label %353, label %334
334: ; preds = %331
%335 = sext i32 %332 to i64
%336 = getelementptr inbounds i8, i8* %22, i64 %335
%337 = load i8, i8* %336
%338 = icmp eq i8 %337, 1
br i1 %338, label %339, label %353
339: ; preds = %334
%340 = add nsw i32 %332, 1
%341 = sub nsw i32 %20, %340
%342 = icmp sgt i32 %341, %1
br i1 %342, label %343, label %346
343: ; preds = %339
%344 = load i32, i32* @RSA_R_DATA_TOO_LARGE
%345 = call i32 @RSAerror(i32 %344)
br label %350
346: ; preds = %339
%347 = sext i32 %340 to i64
%348 = getelementptr inbounds i8, i8* %22, i64 %347
%349 = call i32 @memcpy(i8* %0, i8* %348, i32 %341)
br label %350
350: ; preds = %346, %343
%351 = phi i32 [ -1, %343 ], [ %341, %346 ]
%352 = call i32 @free(i8* %22)
br label %360
353: ; preds = %326, %331, %334, %311, %7
%354 = phi i8* [ null, %7 ], [ %22, %311 ], [ %22, %331 ], [ %22, %334 ], [ %22, %326 ]
%355 = load i32, i32* @RSA_R_OAEP_DECODING_ERROR
%356 = call i32 @RSAerror(i32 %355)
br label %357
357: ; preds = %307, %149, %27, %353
%358 = phi i8* [ %354, %353 ], [ %22, %27 ], [ %22, %149 ], [ %22, %307 ]
%359 = call i32 @free(i8* %358)
br label %360
360: ; preds = %357, %350, %24
%361 = phi i32 [ -1, %357 ], [ -1, %24 ], [ %351, %350 ]
ret i32 %361
}