#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;
  db = malloc(dblen + num);
  if (db == 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))
    return -1;
  for (i = 0; i < SHA_DIGEST_LENGTH; i++)
    seed[i] ^= padded_from[i];
  if (MGF1(db, dblen, seed, SHA_DIGEST_LENGTH))
    return -1;
  for (i = 0; i < dblen; i++)
    db[i] ^= maskeddb[i];
  if (!EVP_Digest((void *)param, plen, phash, NULL, EVP_sha1(), NULL))
    return -1;
  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);
  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    155b <RSA_padding_check_PKCS1_OAEP+0x3cb>
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)
cmpq   $0x0,-0x58(%rbp)
jne    12b0 <RSA_padding_check_PKCS1_OAEP+0x120>
mov    0x2d4a(%rip),%rax
mov    (%rax),%edi
call   10a0 <RSAerror@plt>
movl   $0xffffffff,-0x4(%rbp)
movl   $0x1,-0x80(%rbp)
jmp    1580 <RSA_padding_check_PKCS1_OAEP+0x3f0>
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    0x2cf2(%rip),%rcx
movslq (%rcx),%rcx
add    %rcx,%rax
mov    %rax,-0x48(%rbp)
mov    0x2ce1(%rip),%rax
mov    (%rax),%esi
mov    -0x48(%rbp),%rdx
mov    -0x38(%rbp),%ecx
call   10b0 <MGF1@plt>
cmp    $0x0,%rax
je     1332 <RSA_padding_check_PKCS1_OAEP+0x1a2>
movl   $0xffffffff,-0x4(%rbp)
movl   $0x1,-0x80(%rbp)
jmp    1580 <RSA_padding_check_PKCS1_OAEP+0x3f0>
movl   $0x0,-0x34(%rbp)
mov    -0x34(%rbp),%eax
mov    0x2ca5(%rip),%rcx
cmp    (%rcx),%eax
jge    1379 <RSA_padding_check_PKCS1_OAEP+0x1e9>
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    1339 <RSA_padding_check_PKCS1_OAEP+0x1a9>
mov    -0x90(%rbp),%rdx
mov    -0x58(%rbp),%rdi
mov    -0x38(%rbp),%esi
mov    0x2c5a(%rip),%rax
mov    (%rax),%ecx
call   10b0 <MGF1@plt>
cmp    $0x0,%rax
je     13b2 <RSA_padding_check_PKCS1_OAEP+0x222>
movl   $0xffffffff,-0x4(%rbp)
movl   $0x1,-0x80(%rbp)
jmp    1580 <RSA_padding_check_PKCS1_OAEP+0x3f0>
movl   $0x0,-0x34(%rbp)
mov    -0x34(%rbp),%eax
cmp    -0x38(%rbp),%eax
jge    13f0 <RSA_padding_check_PKCS1_OAEP+0x260>
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    13b9 <RSA_padding_check_PKCS1_OAEP+0x229>
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    144b <RSA_padding_check_PKCS1_OAEP+0x2bb>
movl   $0xffffffff,-0x4(%rbp)
movl   $0x1,-0x80(%rbp)
jmp    1580 <RSA_padding_check_PKCS1_OAEP+0x3f0>
mov    -0x88(%rbp),%rsi
mov    -0x58(%rbp),%rdi
mov    0x2b8b(%rip),%rax
mov    (%rax),%edx
call   1090 <timingsafe_memcmp@plt>
cmp    $0x0,%rax
jne    1478 <RSA_padding_check_PKCS1_OAEP+0x2e8>
cmpl   $0x0,-0x7c(%rbp)
je     147d <RSA_padding_check_PKCS1_OAEP+0x2ed>
jmp    155b <RSA_padding_check_PKCS1_OAEP+0x3cb>
mov    0x2b64(%rip),%rax
mov    (%rax),%eax
mov    %eax,-0x34(%rbp)
mov    -0x34(%rbp),%eax
cmp    -0x38(%rbp),%eax
jge    14c2 <RSA_padding_check_PKCS1_OAEP+0x332>
mov    -0x58(%rbp),%rax
movslq -0x34(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
je     14af <RSA_padding_check_PKCS1_OAEP+0x31f>
jmp    14c2 <RSA_padding_check_PKCS1_OAEP+0x332>
jmp    14b4 <RSA_padding_check_PKCS1_OAEP+0x324>
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    1489 <RSA_padding_check_PKCS1_OAEP+0x2f9>
mov    -0x34(%rbp),%eax
cmp    -0x38(%rbp),%eax
je     14e3 <RSA_padding_check_PKCS1_OAEP+0x353>
mov    -0x58(%rbp),%rax
movslq -0x34(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
cmp    $0x1,%eax
je     14e8 <RSA_padding_check_PKCS1_OAEP+0x358>
jmp    155b <RSA_padding_check_PKCS1_OAEP+0x3cb>
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    151f <RSA_padding_check_PKCS1_OAEP+0x38f>
mov    0x2ac4(%rip),%rax
mov    (%rax),%edi
call   10a0 <RSAerror@plt>
movl   $0xffffffff,-0x3c(%rbp)
jmp    1536 <RSA_padding_check_PKCS1_OAEP+0x3a6>
mov    -0x10(%rbp),%rdi
mov    -0x58(%rbp),%rsi
movslq -0x34(%rbp),%rax
add    %rax,%rsi
mov    -0x3c(%rbp),%edx
call   1060 <memcpy@plt>
jmp    153b <RSA_padding_check_PKCS1_OAEP+0x3ab>
jmp    1540 <RSA_padding_check_PKCS1_OAEP+0x3b0>
mov    -0x58(%rbp),%rdi
call   1030 <free@plt>
mov    -0x3c(%rbp),%eax
mov    %eax,-0x4(%rbp)
movl   $0x1,-0x80(%rbp)
jmp    1580 <RSA_padding_check_PKCS1_OAEP+0x3f0>
mov    0x2a66(%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    $0x68,%rsp
mov    0x2e40(%rip),%rax
mov    (%rax),%r10d
mov    %rsp,%r13
mov    %r10,%rax
add    $0xf,%rax
and    $0xfffffffffffffff0,%rax
sub    %rax,%r13
mov    %r13,%rsp
mov    %rsp,%rbx
sub    %rax,%rbx
mov    %rbx,%rsp
lea    (%r10,%r10,1),%eax
add    $0x1,%eax
xor    %r14d,%r14d
cmp    %r8d,%eax
jge    12c6 <RSA_padding_check_PKCS1_OAEP+0x136>
mov    %rdi,-0x88(%rbp)
mov    %rdx,-0x48(%rbp)
mov    %rbx,-0x78(%rbp)
mov    %r9,-0x80(%rbp)
mov    %esi,-0x3c(%rbp)
movslq %r10d,%rax
add    $0xffffffff,%r8d
mov    %r8,-0x50(%rbp)
mov    %r8d,%r15d
mov    %ecx,%r12d
sub    %ecx,%r15d
cmovns %r15d,%r14d
mov    %r8d,%ebx
mov    %rax,-0x38(%rbp)
sub    %eax,%ebx
lea    (%rbx,%r8,1),%edi
call   1070 <malloc@plt>
test   %rax,%rax
je     12e4 <RSA_padding_check_PKCS1_OAEP+0x154>
test   %r15d,%r15d
cmovs  -0x50(%rbp),%r12d
mov    %r12d,-0x2c(%rbp)
mov    %rbx,-0x68(%rbp)
movslq %ebx,%rcx
mov    %rcx,-0x58(%rbp)
mov    %rax,-0x70(%rbp)
lea    (%rax,%rcx,1),%r12
mov    %r12,%rdi
xor    %esi,%esi
mov    %r14d,%edx
call   1050 <memset@plt>
mov    %r14d,%edi
add    %r12,%rdi
mov    -0x48(%rbp),%rsi
mov    -0x2c(%rbp),%edx
call   1060 <memcpy@plt>
mov    0x2d7f(%rip),%rbx
mov    (%rbx),%eax
movslq %eax,%rbx
mov    %r12,-0x48(%rbp)
lea    (%r12,%rbx,1),%r14
mov    -0x58(%rbp),%rcx
mov    %r13,%rdi
mov    %ebx,%esi
mov    %r14,%rdx
call   10b0 <MGF1@plt>
mov    $0xffffffff,%ecx
test   %rax,%rax
jne    141a <RSA_padding_check_PKCS1_OAEP+0x28a>
mov    %rbx,-0x60(%rbp)
mov    %r15d,-0x2c(%rbp)
mov    0x2d44(%rip),%rax
mov    (%rax),%ecx
test   %ecx,%ecx
mov    -0x70(%rbp),%r15
mov    -0x68(%rbp),%r12
mov    -0x48(%rbp),%rbx
jle    1402 <RSA_padding_check_PKCS1_OAEP+0x272>
cmp    $0x8,%ecx
jae    12f7 <RSA_padding_check_PKCS1_OAEP+0x167>
xor    %eax,%eax
jmp    13f0 <RSA_padding_check_PKCS1_OAEP+0x260>
xor    %r15d,%r15d
mov    0x2cf8(%rip),%rax
mov    (%rax),%edi
call   10a0 <RSAerror@plt>
mov    %r15,%rdi
call   1030 <free@plt>
jmp    1415 <RSA_padding_check_PKCS1_OAEP+0x285>
mov    0x2cf5(%rip),%rax
mov    (%rax),%edi
call   10a0 <RSAerror@plt>
jmp    1415 <RSA_padding_check_PKCS1_OAEP+0x285>
cmp    $0x20,%ecx
jae    1303 <RSA_padding_check_PKCS1_OAEP+0x173>
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 -0x50(%rbp),%rdx
sub    -0x38(%rbp),%rdx
add    %r15,%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    %r15,%rdi
mov    %r12d,%esi
mov    %r13,%rdx
call   10b0 <MGF1@plt>
test   %rax,%rax
je     142b <RSA_padding_check_PKCS1_OAEP+0x29b>
mov    $0xffffffff,%ecx
mov    %ecx,%eax
lea    -0x28(%rbp),%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
test   %r12d,%r12d
mov    -0x88(%rbp),%rbx
mov    -0x2c(%rbp),%r13d
mov    -0x60(%rbp),%r11
jle    150c <RSA_padding_check_PKCS1_OAEP+0x37c>
mov    %r12d,%eax
movslq -0x50(%rbp),%r9
cmp    $0x8,%r12d
jb     1475 <RSA_padding_check_PKCS1_OAEP+0x2e5>
lea    (%r11,%r9,1),%rcx
lea    (%rcx,%rax,1),%rdx
sub    -0x38(%rbp),%rdx
add    %r15,%rdx
cmp    %rdx,%r15
jae    158d <RSA_padding_check_PKCS1_OAEP+0x3fd>
lea    (%r15,%rax,1),%rdx
cmp    %rdx,%r14
jae    158d <RSA_padding_check_PKCS1_OAEP+0x3fd>
xor    %edx,%edx
mov    %rdx,%rdi
not    %rdi
lea    (%rdi,%rax,1),%r8
mov    %rax,%rcx
and    $0x3,%rcx
je     14c0 <RSA_padding_check_PKCS1_OAEP+0x330>
mov    %rbx,%r14
add    $0x1,%rdi
mov    %r15,%r10
add    %r15,%rdx
lea    (%r11,%r9,1),%rsi
sub    -0x38(%rbp),%rsi
nop
movzbl (%rdx,%rsi,1),%ebx
xor    %bl,(%rdx)
add    $0xffffffffffffffff,%rdi
add    $0x1,%rdx
add    $0xffffffffffffffff,%rcx
jne    14a0 <RSA_padding_check_PKCS1_OAEP+0x310>
neg    %rdi
mov    %rdi,%rdx
mov    %r10,%r15
mov    %r14,%rbx
cmp    $0x3,%r8
jb     150c <RSA_padding_check_PKCS1_OAEP+0x37c>
sub    %rdx,%rax
lea    (%rdx,%r15,1),%rcx
add    $0x3,%rcx
add    %r9,%r11
sub    -0x38(%rbp),%r11
nopl   0x0(%rax,%rax,1)
movzbl -0x3(%rcx,%r11,1),%edx
xor    %dl,-0x3(%rcx)
movzbl -0x2(%rcx,%r11,1),%edx
xor    %dl,-0x2(%rcx)
movzbl -0x1(%rcx,%r11,1),%edx
xor    %dl,-0x1(%rcx)
movzbl (%rcx,%r11,1),%edx
xor    %dl,(%rcx)
add    $0x4,%rcx
add    $0xfffffffffffffffc,%rax
jne    14e0 <RSA_padding_check_PKCS1_OAEP+0x350>
xor    %eax,%eax
call   1040 <EVP_sha1@plt>
mov    -0x80(%rbp),%rdi
mov    0x10(%rbp),%esi
mov    -0x78(%rbp),%r14
mov    %r14,%rdx
xor    %ecx,%ecx
mov    %eax,%r8d
xor    %r9d,%r9d
call   1080 <EVP_Digest@plt>
test   %eax,%eax
mov    $0xffffffff,%ecx
je     141a <RSA_padding_check_PKCS1_OAEP+0x28a>
mov    0x2aa6(%rip),%rax
mov    (%rax),%edx
mov    %r15,%rdi
mov    %r14,%rsi
call   1090 <timingsafe_memcmp@plt>
test   %rax,%rax
jne    12c9 <RSA_padding_check_PKCS1_OAEP+0x139>
test   %r13d,%r13d
js     12c9 <RSA_padding_check_PKCS1_OAEP+0x139>
mov    0x2a80(%rip),%rax
mov    (%rax),%eax
cmp    %r12d,%eax
jge    159a <RSA_padding_check_PKCS1_OAEP+0x40a>
cltq
mov    -0x3c(%rbp),%edx
mov    -0x58(%rbp),%rcx
cmpb   $0x0,(%r15,%rax,1)
jne    159d <RSA_padding_check_PKCS1_OAEP+0x40d>
add    $0x1,%rax
cmp    %rcx,%rax
jl     1578 <RSA_padding_check_PKCS1_OAEP+0x3e8>
jmp    12c9 <RSA_padding_check_PKCS1_OAEP+0x139>
cmp    $0x20,%r12d
jae    15dc <RSA_padding_check_PKCS1_OAEP+0x44c>
xor    %edx,%edx
jmp    16c9 <RSA_padding_check_PKCS1_OAEP+0x539>
mov    -0x3c(%rbp),%edx
cmp    %r12d,%eax
je     12c9 <RSA_padding_check_PKCS1_OAEP+0x139>
movslq %eax,%rcx
cmpb   $0x1,(%r15,%rcx,1)
jne    12c9 <RSA_padding_check_PKCS1_OAEP+0x139>
add    $0x1,%eax
sub    %eax,%r12d
cmp    %edx,%r12d
jle    1666 <RSA_padding_check_PKCS1_OAEP+0x4d6>
mov    0x2a06(%rip),%rax
mov    (%rax),%edi
call   10a0 <RSAerror@plt>
mov    $0xffffffff,%r12d
jmp    1679 <RSA_padding_check_PKCS1_OAEP+0x4e9>
mov    %eax,%edx
and    $0xffffffe0,%edx
lea    -0x20(%rdx),%rsi
mov    %rsi,%r8
shr    $0x5,%r8
add    $0x1,%r8
test   %rsi,%rsi
je     1689 <RSA_padding_check_PKCS1_OAEP+0x4f9>
mov    %r8,%rsi
and    $0xfffffffffffffffe,%rsi
sub    -0x38(%rbp),%rcx
add    %r15,%rcx
add    $0x30,%rcx
xor    %edi,%edi
movups -0x30(%rcx,%rdi,1),%xmm0
movups -0x20(%rcx,%rdi,1),%xmm1
movups (%r15,%rdi,1),%xmm2
xorps  %xmm0,%xmm2
movups 0x10(%r15,%rdi,1),%xmm0
xorps  %xmm1,%xmm0
movups 0x20(%r15,%rdi,1),%xmm1
movups 0x30(%r15,%rdi,1),%xmm3
movups %xmm2,(%r15,%rdi,1)
movups %xmm0,0x10(%r15,%rdi,1)
movups -0x10(%rcx,%rdi,1),%xmm0
xorps  %xmm1,%xmm0
movups (%rcx,%rdi,1),%xmm1
xorps  %xmm3,%xmm1
movups %xmm0,0x20(%r15,%rdi,1)
movups %xmm1,0x30(%r15,%rdi,1)
add    $0x40,%rdi
add    $0xfffffffffffffffe,%rsi
jne    160d <RSA_padding_check_PKCS1_OAEP+0x47d>
jmp    168b <RSA_padding_check_PKCS1_OAEP+0x4fb>
cltq
mov    %r15,%rsi
add    %rax,%rsi
mov    %rbx,%rdi
mov    %r12d,%edx
call   1060 <memcpy@plt>
mov    %r15,%rdi
call   1030 <free@plt>
mov    %r12d,%ecx
jmp    141a <RSA_padding_check_PKCS1_OAEP+0x28a>
xor    %edi,%edi
test   $0x1,%r8b
je     16b8 <RSA_padding_check_PKCS1_OAEP+0x528>
movups (%r14,%rdi,1),%xmm0
movups 0x10(%r14,%rdi,1),%xmm1
movups (%r15,%rdi,1),%xmm2
xorps  %xmm0,%xmm2
movups 0x10(%r15,%rdi,1),%xmm0
xorps  %xmm1,%xmm0
movups %xmm2,(%r15,%rdi,1)
movups %xmm0,0x10(%r15,%rdi,1)
cmp    %rax,%rdx
je     150c <RSA_padding_check_PKCS1_OAEP+0x37c>
test   $0x18,%al
je     1477 <RSA_padding_check_PKCS1_OAEP+0x2e7>
mov    %rdx,%rsi
mov    %eax,%edx
and    $0xfffffff8,%edx
lea    (%rsi,%r11,1),%r10
add    %r9,%r10
sub    -0x38(%rbp),%r10
add    %r15,%r10
lea    (%r15,%rsi,1),%r8
mov    %rdx,%rdi
sub    %rsi,%rdi
xor    %esi,%esi
mov    (%r10,%rsi,1),%rcx
xor    %rcx,(%r8,%rsi,1)
add    $0x8,%rsi
cmp    %rsi,%rdi
jne    16eb <RSA_padding_check_PKCS1_OAEP+0x55b>
cmp    %rax,%rdx
je     150c <RSA_padding_check_PKCS1_OAEP+0x37c>
jmp    1477 <RSA_padding_check_PKCS1_OAEP+0x2e7>

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 %213
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 = load i8*, i8** %21
%59 = icmp eq i8* %58, null
br i1 %59, label %60, label %63
60: ; preds = %50
%61 = load i32, i32* @ERR_R_MALLOC_FAILURE
%62 = call i32 @RSAerror(i32 %61)
store i32 -1, i32* %8
store i32 1, i32* %27
br label %218
63: ; preds = %50
%64 = load i8*, i8** %21
%65 = load i32, i32* %17
%66 = sext i32 %65 to i64
%67 = getelementptr inbounds i8, i8* %64, i64 %66
store i8* %67, i8** %25
%68 = load i8*, i8** %25
%69 = load i32, i32* %20
%70 = call i32 @memset(i8* %68, i32 0, i32 %69)
%71 = load i8*, i8** %25
%72 = load i32, i32* %20
%73 = sext i32 %72 to i64
%74 = getelementptr inbounds i8, i8* %71, i64 %73
%75 = load i8*, i8** %11
%76 = load i32, i32* %12
%77 = call i32 @memcpy(i8* %74, i8* %75, i32 %76)
%78 = load i8*, i8** %25
%79 = load i32, i32* @SHA_DIGEST_LENGTH
%80 = sext i32 %79 to i64
%81 = getelementptr inbounds i8, i8* %78, i64 %80
store i8* %81, i8** %19
%82 = load i32, i32* @SHA_DIGEST_LENGTH
%83 = load i8*, i8** %19
%84 = load i32, i32* %17
%85 = call i64 @MGF1(i8* %31, i32 %82, i8* %83, i32 %84)
%86 = icmp ne i64 %85, 0
br i1 %86, label %87, label %88
87: ; preds = %63
store i32 -1, i32* %8
store i32 1, i32* %27
br label %218
88: ; preds = %63
store i32 0, i32* %16
br label %89
89: ; preds = %107, %88
%90 = load i32, i32* %16
%91 = load i32, i32* @SHA_DIGEST_LENGTH
%92 = icmp slt i32 %90, %91
br i1 %92, label %93, label %110
93: ; preds = %89
%94 = load i8*, i8** %25
%95 = load i32, i32* %16
%96 = sext i32 %95 to i64
%97 = getelementptr inbounds i8, i8* %94, i64 %96
%98 = load i8, i8* %97
%99 = zext i8 %98 to i32
%100 = load i32, i32* %16
%101 = sext i32 %100 to i64
%102 = getelementptr inbounds i8, i8* %31, i64 %101
%103 = load i8, i8* %102
%104 = zext i8 %103 to i32
%105 = xor i32 %104, %99
%106 = trunc i32 %105 to i8
store i8 %106, i8* %102
br label %107
107: ; preds = %93
%108 = load i32, i32* %16
%109 = add nsw i32 %108, 1
store i32 %109, i32* %16
br label %89
110: ; preds = %89
%111 = load i8*, i8** %21
%112 = load i32, i32* %17
%113 = load i32, i32* @SHA_DIGEST_LENGTH
%114 = call i64 @MGF1(i8* %111, i32 %112, i8* %31, i32 %113)
%115 = icmp ne i64 %114, 0
br i1 %115, label %116, label %117
116: ; preds = %110
store i32 -1, i32* %8
store i32 1, i32* %27
br label %218
117: ; preds = %110
store i32 0, i32* %16
br label %118
118: ; preds = %137, %117
%119 = load i32, i32* %16
%120 = load i32, i32* %17
%121 = icmp slt i32 %119, %120
br i1 %121, label %122, label %140
122: ; preds = %118
%123 = load i8*, i8** %19
%124 = load i32, i32* %16
%125 = sext i32 %124 to i64
%126 = getelementptr inbounds i8, i8* %123, i64 %125
%127 = load i8, i8* %126
%128 = zext i8 %127 to i32
%129 = load i8*, i8** %21
%130 = load i32, i32* %16
%131 = sext i32 %130 to i64
%132 = getelementptr inbounds i8, i8* %129, i64 %131
%133 = load i8, i8* %132
%134 = zext i8 %133 to i32
%135 = xor i32 %134, %128
%136 = trunc i32 %135 to i8
store i8 %136, i8* %132
br label %137
137: ; preds = %122
%138 = load i32, i32* %16
%139 = add nsw i32 %138, 1
store i32 %139, i32* %16
br label %118
140: ; preds = %118
%141 = load i8*, i8** %14
%142 = load i32, i32* %15
%143 = call i32 (...) @EVP_sha1()
%144 = call i32 @EVP_Digest(i8* %141, i32 %142, i8* %34, i32* null, i32 %143, i32* null)
%145 = icmp ne i32 %144, 0
br i1 %145, label %147, label %146
146: ; preds = %140
store i32 -1, i32* %8
store i32 1, i32* %27
br label %218
147: ; preds = %140
%148 = load i8*, i8** %21
%149 = load i32, i32* @SHA_DIGEST_LENGTH
%150 = call i64 @timingsafe_memcmp(i8* %148, i8* %34, i32 %149)
%151 = icmp ne i64 %150, 0
br i1 %151, label %155, label %152
152: ; preds = %147
%153 = load i32, i32* %26
%154 = icmp ne i32 %153, 0
br i1 %154, label %155, label %156
155: ; preds = %152, %147
br label %213
156: ; preds = %152
%157 = load i32, i32* @SHA_DIGEST_LENGTH
store i32 %157, i32* %16
br label %158
158: ; preds = %172, %156
%159 = load i32, i32* %16
%160 = load i32, i32* %17
%161 = icmp slt i32 %159, %160
br i1 %161, label %162, label %175
162: ; preds = %158
%163 = load i8*, i8** %21
%164 = load i32, i32* %16
%165 = sext i32 %164 to i64
%166 = getelementptr inbounds i8, i8* %163, i64 %165
%167 = load i8, i8* %166
%168 = zext i8 %167 to i32
%169 = icmp ne i32 %168, 0
br i1 %169, label %170, label %171
170: ; preds = %162
br label %175
171: ; preds = %162
br label %172
172: ; preds = %171
%173 = load i32, i32* %16
%174 = add nsw i32 %173, 1
store i32 %174, i32* %16
br label %158
175: ; preds = %170, %158
%176 = load i32, i32* %16
%177 = load i32, i32* %17
%178 = icmp eq i32 %176, %177
br i1 %178, label %187, label %179
179: ; preds = %175
%180 = load i8*, i8** %21
%181 = load i32, i32* %16
%182 = sext i32 %181 to i64
%183 = getelementptr inbounds i8, i8* %180, i64 %182
%184 = load i8, i8* %183
%185 = zext i8 %184 to i32
%186 = icmp ne i32 %185, 1
br i1 %186, label %187, label %188
187: ; preds = %179, %175
br label %213
188: ; preds = %179
%189 = load i32, i32* %17
%190 = load i32, i32* %16
%191 = add nsw i32 %190, 1
store i32 %191, i32* %16
%192 = sub nsw i32 %189, %191
store i32 %192, i32* %18
%193 = load i32, i32* %10
%194 = load i32, i32* %18
%195 = icmp slt i32 %193, %194
br i1 %195, label %196, label %199
196: ; preds = %188
%197 = load i32, i32* @RSA_R_DATA_TOO_LARGE
%198 = call i32 @RSAerror(i32 %197)
store i32 -1, i32* %18
br label %207
199: ; preds = %188
%200 = load i8*, i8** %9
%201 = load i8*, i8** %21
%202 = load i32, i32* %16
%203 = sext i32 %202 to i64
%204 = getelementptr inbounds i8, i8* %201, i64 %203
%205 = load i32, i32* %18
%206 = call i32 @memcpy(i8* %200, i8* %204, i32 %205)
br label %207
207: ; preds = %199, %196
br label %208
208: ; preds = %207
br label %209
209: ; preds = %208
%210 = load i8*, i8** %21
%211 = call i32 @free(i8* %210)
%212 = load i32, i32* %18
store i32 %212, i32* %8
store i32 1, i32* %27
br label %218
213: ; preds = %187, %155, %41
%214 = load i32, i32* @RSA_R_OAEP_DECODING_ERROR
%215 = call i32 @RSAerror(i32 %214)
%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 = %213, %209, %146, %116, %87, %60
%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 %358
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 %358
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 %358
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 %358, 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 %358
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)
%357 = call i32 @free(i8* %354)
br label %358
358: ; preds = %307, %149, %27, %353, %350, %24
%359 = phi i32 [ -1, %353 ], [ -1, %24 ], [ %351, %350 ], [ -1, %27 ], [ -1, %149 ], [ -1, %307 ]
ret i32 %359
}