#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 */
scalar_t__ CRYPTO_memcmp(unsigned char *, unsigned char *, int);
int /*<<< orphan*/ ERR_R_MALLOC_FAILURE;
int /*<<< orphan*/ EVP_Digest(void *, int, unsigned char *,
                              int /*<<< orphan*/ *, int /*<<< orphan*/,
                              int /*<<< orphan*/ *);
int /*<<< orphan*/ EVP_sha256();
scalar_t__ MGF1_SHA256(unsigned char *, int, unsigned char const *, int);
int /*<<< orphan*/ OPENSSL_free(unsigned char *);
unsigned char *OPENSSL_malloc(int);
int /*<<< orphan*/ RSA_F_RSA_PADDING_CHECK_PKCS1_OAEP;
int /*<<< orphan*/ RSA_R_DATA_TOO_LARGE;
int /*<<< orphan*/ RSA_R_OAEP_DECODING_ERROR;
int /*<<< orphan*/ RSAerr(int /*<<< orphan*/, int /*<<< orphan*/);
int SHA256_DIGEST_LENGTH;
int /*<<< orphan*/ memcpy(unsigned char *, unsigned char const *, int);
int /*<<< orphan*/ memset(unsigned char *, int /*<<< orphan*/, int);
int RSA_padding_check_PKCS1_OAEP_SHA256(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, seed[SHA256_DIGEST_LENGTH],
                phash[SHA256_DIGEST_LENGTH];
  unsigned char *padded_from;
  int bad = 0;
  if (--num < 2 * SHA256_DIGEST_LENGTH + 1)
    goto decoding_err;
  lzero = num - flen;
  if (lzero < 0) {
    bad = 1;
    lzero = 0;
    flen = num;
  }
  dblen = num - SHA256_DIGEST_LENGTH;
  db = OPENSSL_malloc(dblen + num);
  if (db == NULL) {
    RSAerr(RSA_F_RSA_PADDING_CHECK_PKCS1_OAEP, ERR_R_MALLOC_FAILURE);
    return -1;
  }
  padded_from = db + dblen;
  memset(padded_from, 0, lzero);
  memcpy(padded_from + lzero, from, flen);
  maskeddb = padded_from + SHA256_DIGEST_LENGTH;
  if (MGF1_SHA256(seed, SHA256_DIGEST_LENGTH, maskeddb, dblen))
    return -1;
  for (i = 0; i < SHA256_DIGEST_LENGTH; i++)
    seed[i] ^= padded_from[i];
  if (MGF1_SHA256(db, dblen, seed, SHA256_DIGEST_LENGTH))
    return -1;
  for (i = 0; i < dblen; i++)
    db[i] ^= maskeddb[i];
  if (!EVP_Digest((void *)param, plen, phash, NULL, EVP_sha256(), NULL))
    return -1;
  if (CRYPTO_memcmp(db, phash, SHA256_DIGEST_LENGTH) != 0 || bad)
    goto decoding_err;
  else {
    for (i = SHA256_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) {
        RSAerr(RSA_F_RSA_PADDING_CHECK_PKCS1_OAEP, RSA_R_DATA_TOO_LARGE);
        mlen = -1;
      } else
        memcpy(to, db + i, mlen);
    }
  }
  OPENSSL_free(db);
  return mlen;
decoding_err:
  RSAerr(RSA_F_RSA_PADDING_CHECK_PKCS1_OAEP, RSA_R_OAEP_DECODING_ERROR);
  if (db != NULL)
    OPENSSL_free(db);
  return -1;
}


x86 assembly (clang, -O0):
<RSA_padding_check_PKCS1_OAEP_SHA256>:
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    0x2dfe(%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    0x2d9e(%rip),%rcx
mov    (%rcx),%ecx
shl    $0x1,%ecx
add    $0x1,%ecx
cmp    %ecx,%eax
jge    123f <RSA_padding_check_PKCS1_OAEP_SHA256+0xaf>
jmp    156d <RSA_padding_check_PKCS1_OAEP_SHA256+0x3dd>
mov    -0x28(%rbp),%eax
sub    -0x24(%rbp),%eax
mov    %eax,-0x4c(%rbp)
cmpl   $0x0,-0x4c(%rbp)
jge    1266 <RSA_padding_check_PKCS1_OAEP_SHA256+0xd6>
movl   $0x1,-0x7c(%rbp)
movl   $0x0,-0x4c(%rbp)
mov    -0x28(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x28(%rbp),%eax
mov    0x2d58(%rip),%rcx
sub    (%rcx),%eax
mov    %eax,-0x38(%rbp)
mov    -0x38(%rbp),%edi
add    -0x28(%rbp),%edi
call   1060 <OPENSSL_malloc@plt>
mov    %rax,-0x58(%rbp)
cmpq   $0x0,-0x58(%rbp)
jne    12b9 <RSA_padding_check_PKCS1_OAEP_SHA256+0x129>
mov    0x2d2a(%rip),%rax
mov    (%rax),%edi
mov    0x2d49(%rip),%rax
mov    (%rax),%esi
call   1090 <RSAerr@plt>
movl   $0xffffffff,-0x4(%rbp)
movl   $0x1,-0x80(%rbp)
jmp    15a6 <RSA_padding_check_PKCS1_OAEP_SHA256+0x416>
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   1040 <memset@plt>
mov    -0x78(%rbp),%rdi
movslq -0x4c(%rbp),%rax
add    %rax,%rdi
mov    -0x20(%rbp),%rsi
mov    -0x24(%rbp),%edx
call   1050 <memcpy@plt>
mov    -0x90(%rbp),%rdi
mov    -0x78(%rbp),%rax
mov    0x2cc9(%rip),%rcx
movslq (%rcx),%rcx
add    %rcx,%rax
mov    %rax,-0x48(%rbp)
mov    0x2cb8(%rip),%rax
mov    (%rax),%esi
mov    -0x48(%rbp),%rdx
mov    -0x38(%rbp),%ecx
call   1030 <MGF1_SHA256@plt>
cmp    $0x0,%rax
je     133b <RSA_padding_check_PKCS1_OAEP_SHA256+0x1ab>
movl   $0xffffffff,-0x4(%rbp)
movl   $0x1,-0x80(%rbp)
jmp    15a6 <RSA_padding_check_PKCS1_OAEP_SHA256+0x416>
movl   $0x0,-0x34(%rbp)
mov    -0x34(%rbp),%eax
mov    0x2c7c(%rip),%rcx
cmp    (%rcx),%eax
jge    1382 <RSA_padding_check_PKCS1_OAEP_SHA256+0x1f2>
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    1342 <RSA_padding_check_PKCS1_OAEP_SHA256+0x1b2>
mov    -0x90(%rbp),%rdx
mov    -0x58(%rbp),%rdi
mov    -0x38(%rbp),%esi
mov    0x2c31(%rip),%rax
mov    (%rax),%ecx
call   1030 <MGF1_SHA256@plt>
cmp    $0x0,%rax
je     13bb <RSA_padding_check_PKCS1_OAEP_SHA256+0x22b>
movl   $0xffffffff,-0x4(%rbp)
movl   $0x1,-0x80(%rbp)
jmp    15a6 <RSA_padding_check_PKCS1_OAEP_SHA256+0x416>
movl   $0x0,-0x34(%rbp)
mov    -0x34(%rbp),%eax
cmp    -0x38(%rbp),%eax
jge    13f9 <RSA_padding_check_PKCS1_OAEP_SHA256+0x269>
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    13c2 <RSA_padding_check_PKCS1_OAEP_SHA256+0x232>
mov    -0x30(%rbp),%rax
mov    %rax,-0xa0(%rbp)
mov    0x10(%rbp),%eax
mov    %eax,-0x94(%rbp)
mov    $0x0,%al
call   10b0 <EVP_sha256@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   1070 <EVP_Digest@plt>
cmp    $0x0,%eax
jne    1454 <RSA_padding_check_PKCS1_OAEP_SHA256+0x2c4>
movl   $0xffffffff,-0x4(%rbp)
movl   $0x1,-0x80(%rbp)
jmp    15a6 <RSA_padding_check_PKCS1_OAEP_SHA256+0x416>
mov    -0x88(%rbp),%rsi
mov    -0x58(%rbp),%rdi
mov    0x2b62(%rip),%rax
mov    (%rax),%edx
call   1080 <CRYPTO_memcmp@plt>
cmp    $0x0,%rax
jne    1481 <RSA_padding_check_PKCS1_OAEP_SHA256+0x2f1>
cmpl   $0x0,-0x7c(%rbp)
je     1486 <RSA_padding_check_PKCS1_OAEP_SHA256+0x2f6>
jmp    156d <RSA_padding_check_PKCS1_OAEP_SHA256+0x3dd>
mov    0x2b3b(%rip),%rax
mov    (%rax),%eax
mov    %eax,-0x34(%rbp)
mov    -0x34(%rbp),%eax
cmp    -0x38(%rbp),%eax
jge    14cb <RSA_padding_check_PKCS1_OAEP_SHA256+0x33b>
mov    -0x58(%rbp),%rax
movslq -0x34(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
je     14b8 <RSA_padding_check_PKCS1_OAEP_SHA256+0x328>
jmp    14cb <RSA_padding_check_PKCS1_OAEP_SHA256+0x33b>
jmp    14bd <RSA_padding_check_PKCS1_OAEP_SHA256+0x32d>
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    1492 <RSA_padding_check_PKCS1_OAEP_SHA256+0x302>
mov    -0x34(%rbp),%eax
cmp    -0x38(%rbp),%eax
je     14ec <RSA_padding_check_PKCS1_OAEP_SHA256+0x35c>
mov    -0x58(%rbp),%rax
movslq -0x34(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
cmp    $0x1,%eax
je     14f1 <RSA_padding_check_PKCS1_OAEP_SHA256+0x361>
jmp    156d <RSA_padding_check_PKCS1_OAEP_SHA256+0x3dd>
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    1531 <RSA_padding_check_PKCS1_OAEP_SHA256+0x3a1>
mov    0x2aab(%rip),%rax
mov    (%rax),%edi
mov    0x2aba(%rip),%rax
mov    (%rax),%esi
call   1090 <RSAerr@plt>
movl   $0xffffffff,-0x3c(%rbp)
jmp    1548 <RSA_padding_check_PKCS1_OAEP_SHA256+0x3b8>
mov    -0x10(%rbp),%rdi
mov    -0x58(%rbp),%rsi
movslq -0x34(%rbp),%rax
add    %rax,%rsi
mov    -0x3c(%rbp),%edx
call   1050 <memcpy@plt>
jmp    154d <RSA_padding_check_PKCS1_OAEP_SHA256+0x3bd>
jmp    1552 <RSA_padding_check_PKCS1_OAEP_SHA256+0x3c2>
mov    -0x58(%rbp),%rdi
call   10a0 <OPENSSL_free@plt>
mov    -0x3c(%rbp),%eax
mov    %eax,-0x4(%rbp)
movl   $0x1,-0x80(%rbp)
jmp    15a6 <RSA_padding_check_PKCS1_OAEP_SHA256+0x416>
mov    0x2a4c(%rip),%rax
mov    (%rax),%edi
mov    0x2a53(%rip),%rax
mov    (%rax),%esi
call   1090 <RSAerr@plt>
cmpq   $0x0,-0x58(%rbp)
je     1598 <RSA_padding_check_PKCS1_OAEP_SHA256+0x408>
mov    -0x58(%rbp),%rdi
call   10a0 <OPENSSL_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_SHA256>:
push   %rbp
mov    %rsp,%rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x68,%rsp
mov    0x2e20(%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    %r15d,%r15d
cmp    %r8d,%eax
jge    14cc <RSA_padding_check_PKCS1_OAEP_SHA256+0x33c>
mov    %rdx,-0x48(%rbp)
mov    %rbx,-0x80(%rbp)
mov    %r9,-0x88(%rbp)
mov    %esi,-0x4c(%rbp)
mov    %rdi,-0x78(%rbp)
movslq %r10d,%rax
add    $0xffffffff,%r8d
mov    %r8,-0x60(%rbp)
mov    %r8d,%r14d
mov    %ecx,%r12d
sub    %ecx,%r14d
cmovns %r14d,%r15d
mov    %r8d,%ebx
mov    %rax,-0x30(%rbp)
sub    %eax,%ebx
lea    (%rbx,%r8,1),%edi
call   1060 <OPENSSL_malloc@plt>
test   %rax,%rax
je     14fa <RSA_padding_check_PKCS1_OAEP_SHA256+0x36a>
test   %r14d,%r14d
cmovs  -0x60(%rbp),%r12d
mov    %r12d,-0x34(%rbp)
mov    %rbx,-0x40(%rbp)
movslq %ebx,%rcx
mov    %rcx,-0x58(%rbp)
mov    %rax,-0x70(%rbp)
lea    (%rax,%rcx,1),%r12
mov    %r12,%rdi
xor    %esi,%esi
mov    %r15d,%edx
call   1040 <memset@plt>
mov    %r15d,%edi
add    %r12,%rdi
mov    -0x48(%rbp),%rsi
mov    -0x34(%rbp),%edx
call   1050 <memcpy@plt>
mov    0x2d5f(%rip),%rbx
mov    (%rbx),%eax
movslq %eax,%rbx
mov    %r12,-0x48(%rbp)
lea    (%r12,%rbx,1),%r15
mov    -0x58(%rbp),%rcx
mov    %r13,%rdi
mov    %ebx,%esi
mov    %r15,%rdx
call   1030 <MGF1_SHA256@plt>
test   %rax,%rax
jne    1511 <RSA_padding_check_PKCS1_OAEP_SHA256+0x381>
mov    %r15,-0x68(%rbp)
mov    %rbx,%r15
mov    %r14d,-0x34(%rbp)
mov    0x2d26(%rip),%rax
mov    (%rax),%ecx
test   %ecx,%ecx
mov    -0x70(%rbp),%r14
mov    -0x40(%rbp),%r12
mov    -0x60(%rbp),%r8
mov    -0x48(%rbp),%r9
jle    1360 <RSA_padding_check_PKCS1_OAEP_SHA256+0x1d0>
cmp    $0x8,%ecx
jb     12e5 <RSA_padding_check_PKCS1_OAEP_SHA256+0x155>
movslq %r8d,%rsi
lea    (%rsi,%rcx,1),%rax
sub    -0x30(%rbp),%rax
add    %r14,%rax
cmp    %rax,%r13
jae    1527 <RSA_padding_check_PKCS1_OAEP_SHA256+0x397>
lea    (%rcx,%r13,1),%rax
cmp    %rax,%r9
jae    1527 <RSA_padding_check_PKCS1_OAEP_SHA256+0x397>
xor    %eax,%eax
mov    %rax,%rdx
not    %rdx
add    %rcx,%rdx
mov    %rcx,%rsi
and    $0x3,%rsi
je     1314 <RSA_padding_check_PKCS1_OAEP_SHA256+0x184>
nopl   0x0(%rax)
movzbl (%r9,%rax,1),%ebx
xor    %bl,0x0(%r13,%rax,1)
add    $0x1,%rax
add    $0xffffffffffffffff,%rsi
jne    1300 <RSA_padding_check_PKCS1_OAEP_SHA256+0x170>
cmp    $0x3,%rdx
jb     1360 <RSA_padding_check_PKCS1_OAEP_SHA256+0x1d0>
movslq %r8d,%rdx
sub    -0x30(%rbp),%rdx
add    %r14,%rdx
add    $0x3,%rdx
nopl   0x0(%rax,%rax,1)
movzbl -0x3(%rdx,%rax,1),%ebx
xor    %bl,0x0(%r13,%rax,1)
movzbl -0x2(%rdx,%rax,1),%ebx
xor    %bl,0x1(%r13,%rax,1)
movzbl -0x1(%rdx,%rax,1),%ebx
xor    %bl,0x2(%r13,%rax,1)
movzbl (%rdx,%rax,1),%ebx
xor    %bl,0x3(%r13,%rax,1)
add    $0x4,%rax
cmp    %rax,%rcx
jne    1330 <RSA_padding_check_PKCS1_OAEP_SHA256+0x1a0>
mov    %r8,%rbx
mov    %r14,%rdi
mov    %r12d,%esi
mov    %r13,%rdx
call   1030 <MGF1_SHA256@plt>
test   %rax,%rax
jne    1511 <RSA_padding_check_PKCS1_OAEP_SHA256+0x381>
mov    0x10(%rbp),%r13d
test   %r12d,%r12d
mov    0x2c40(%rip),%r12
jle    145c <RSA_padding_check_PKCS1_OAEP_SHA256+0x2cc>
mov    -0x40(%rbp),%rax
mov    %eax,%r10d
movslq %ebx,%r9
cmp    $0x8,%eax
jb     13c6 <RSA_padding_check_PKCS1_OAEP_SHA256+0x236>
lea    (%r15,%r9,1),%rdi
lea    (%rdi,%r10,1),%rax
sub    -0x30(%rbp),%rax
add    %r14,%rax
cmp    %rax,%r14
mov    -0x68(%rbp),%rcx
jae    15ed <RSA_padding_check_PKCS1_OAEP_SHA256+0x45d>
lea    (%r14,%r10,1),%rax
cmp    %rax,%rcx
jae    15ed <RSA_padding_check_PKCS1_OAEP_SHA256+0x45d>
xor    %edx,%edx
mov    %rdx,%rdi
not    %rdi
lea    (%rdi,%r10,1),%rsi
mov    %r10,%rax
and    $0x3,%rax
je     140a <RSA_padding_check_PKCS1_OAEP_SHA256+0x27a>
add    $0x1,%rdi
add    %r14,%rdx
lea    (%r15,%r9,1),%rbx
sub    -0x30(%rbp),%rbx
nopw   0x0(%rax,%rax,1)
movzbl (%rdx,%rbx,1),%ecx
xor    %cl,(%rdx)
add    $0xffffffffffffffff,%rdi
add    $0x1,%rdx
add    $0xffffffffffffffff,%rax
jne    13f0 <RSA_padding_check_PKCS1_OAEP_SHA256+0x260>
neg    %rdi
mov    %rdi,%rdx
cmp    $0x3,%rsi
jb     145c <RSA_padding_check_PKCS1_OAEP_SHA256+0x2cc>
sub    %rdx,%r10
lea    (%rdx,%r14,1),%rax
add    $0x3,%rax
add    %r9,%r15
sub    -0x30(%rbp),%r15
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movzbl -0x3(%rax,%r15,1),%ecx
xor    %cl,-0x3(%rax)
movzbl -0x2(%rax,%r15,1),%ecx
xor    %cl,-0x2(%rax)
movzbl -0x1(%rax,%r15,1),%ecx
xor    %cl,-0x1(%rax)
movzbl (%rax,%r15,1),%ecx
xor    %cl,(%rax)
add    $0x4,%rax
add    $0xfffffffffffffffc,%r10
jne    1430 <RSA_padding_check_PKCS1_OAEP_SHA256+0x2a0>
xor    %eax,%eax
call   10b0 <EVP_sha256@plt>
mov    -0x88(%rbp),%rdi
mov    %r13d,%esi
mov    -0x80(%rbp),%r13
mov    %r13,%rdx
xor    %ecx,%ecx
mov    %eax,%r8d
xor    %r9d,%r9d
call   1070 <EVP_Digest@plt>
test   %eax,%eax
mov    $0xffffffff,%ebx
je     1516 <RSA_padding_check_PKCS1_OAEP_SHA256+0x386>
mov    (%r12),%edx
mov    %r14,%rdi
mov    %r13,%rsi
call   1080 <CRYPTO_memcmp@plt>
test   %rax,%rax
jne    14cf <RSA_padding_check_PKCS1_OAEP_SHA256+0x33f>
cmpl   $0x0,-0x34(%rbp)
js     14cf <RSA_padding_check_PKCS1_OAEP_SHA256+0x33f>
mov    (%r12),%eax
mov    -0x40(%rbp),%rbx
cmp    %ebx,%eax
jge    1533 <RSA_padding_check_PKCS1_OAEP_SHA256+0x3a3>
cltq
mov    -0x58(%rbp),%rcx
cmpb   $0x0,(%r14,%rax,1)
jne    1533 <RSA_padding_check_PKCS1_OAEP_SHA256+0x3a3>
add    $0x1,%rax
cmp    %rcx,%rax
jl     14ba <RSA_padding_check_PKCS1_OAEP_SHA256+0x32a>
jmp    14cf <RSA_padding_check_PKCS1_OAEP_SHA256+0x33f>
xor    %r14d,%r14d
mov    0x2aea(%rip),%rax
mov    (%rax),%edi
mov    0x2af1(%rip),%rax
mov    (%rax),%esi
call   1090 <RSAerr@plt>
mov    $0xffffffff,%ebx
test   %r14,%r14
je     1516 <RSA_padding_check_PKCS1_OAEP_SHA256+0x386>
mov    %r14,%rdi
call   10a0 <OPENSSL_free@plt>
jmp    1516 <RSA_padding_check_PKCS1_OAEP_SHA256+0x386>
mov    0x2abf(%rip),%rax
mov    (%rax),%edi
mov    0x2ade(%rip),%rax
mov    (%rax),%esi
call   1090 <RSAerr@plt>
mov    $0xffffffff,%ebx
mov    %ebx,%eax
lea    -0x28(%rbp),%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
cmp    $0x20,%ecx
jae    1570 <RSA_padding_check_PKCS1_OAEP_SHA256+0x3e0>
xor    %eax,%eax
jmp    1636 <RSA_padding_check_PKCS1_OAEP_SHA256+0x4a6>
cmp    %ebx,%eax
je     14cf <RSA_padding_check_PKCS1_OAEP_SHA256+0x33f>
movslq %eax,%rcx
cmpb   $0x1,(%r14,%rcx,1)
jne    14cf <RSA_padding_check_PKCS1_OAEP_SHA256+0x33f>
add    $0x1,%eax
sub    %eax,%ebx
cmp    -0x4c(%rbp),%ebx
jle    16ec <RSA_padding_check_PKCS1_OAEP_SHA256+0x55c>
mov    0x2a6a(%rip),%rax
mov    (%rax),%edi
mov    0x2a79(%rip),%rax
mov    (%rax),%esi
call   1090 <RSAerr@plt>
mov    $0xffffffff,%ebx
jmp    16ff <RSA_padding_check_PKCS1_OAEP_SHA256+0x56f>
mov    %ecx,%eax
and    $0xffffffe0,%eax
lea    -0x20(%rax),%rdi
mov    %rdi,%rdx
shr    $0x5,%rdx
add    $0x1,%rdx
test   %rdi,%rdi
je     15fa <RSA_padding_check_PKCS1_OAEP_SHA256+0x46a>
mov    %rdx,%rdi
and    $0xfffffffffffffffe,%rdi
sub    -0x30(%rbp),%rsi
lea    (%rsi,%r14,1),%rbx
add    $0x30,%rbx
xor    %esi,%esi
movups -0x30(%rbx,%rsi,1),%xmm0
movups -0x20(%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)
movups -0x10(%rbx,%rsi,1),%xmm0
movups (%rbx,%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    159e <RSA_padding_check_PKCS1_OAEP_SHA256+0x40e>
jmp    15fc <RSA_padding_check_PKCS1_OAEP_SHA256+0x46c>
cmpl   $0x20,-0x40(%rbp)
jae    1660 <RSA_padding_check_PKCS1_OAEP_SHA256+0x4d0>
xor    %edx,%edx
jmp    174c <RSA_padding_check_PKCS1_OAEP_SHA256+0x5bc>
xor    %esi,%esi
test   $0x1,%dl
je     1624 <RSA_padding_check_PKCS1_OAEP_SHA256+0x494>
movups (%r9,%rsi,1),%xmm0
movups 0x10(%r9,%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     1360 <RSA_padding_check_PKCS1_OAEP_SHA256+0x1d0>
test   $0x18,%cl
je     12e7 <RSA_padding_check_PKCS1_OAEP_SHA256+0x157>
mov    %rax,%rdx
mov    %ecx,%eax
and    $0xfffffff8,%eax
xchg   %ax,%ax
mov    (%r9,%rdx,1),%rsi
xor    %rsi,0x0(%r13,%rdx,1)
add    $0x8,%rdx
cmp    %rdx,%rax
jne    1640 <RSA_padding_check_PKCS1_OAEP_SHA256+0x4b0>
cmp    %rcx,%rax
je     1360 <RSA_padding_check_PKCS1_OAEP_SHA256+0x1d0>
jmp    12e7 <RSA_padding_check_PKCS1_OAEP_SHA256+0x157>
mov    %r10d,%edx
and    $0xffffffe0,%edx
lea    -0x20(%rdx),%rax
mov    %rax,%r8
shr    $0x5,%r8
add    $0x1,%r8
test   %rax,%rax
je     170c <RSA_padding_check_PKCS1_OAEP_SHA256+0x57c>
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    1693 <RSA_padding_check_PKCS1_OAEP_SHA256+0x503>
jmp    170e <RSA_padding_check_PKCS1_OAEP_SHA256+0x57e>
cltq
mov    %r14,%rsi
add    %rax,%rsi
mov    -0x78(%rbp),%rdi
mov    %ebx,%edx
call   1050 <memcpy@plt>
mov    %r14,%rdi
call   10a0 <OPENSSL_free@plt>
jmp    1516 <RSA_padding_check_PKCS1_OAEP_SHA256+0x386>
xor    %edi,%edi
test   $0x1,%r8b
je     1739 <RSA_padding_check_PKCS1_OAEP_SHA256+0x5a9>
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
je     145c <RSA_padding_check_PKCS1_OAEP_SHA256+0x2cc>
test   $0x18,%r10b
je     13c8 <RSA_padding_check_PKCS1_OAEP_SHA256+0x238>
mov    %rdx,%rbx
mov    %r10d,%edx
and    $0xfffffff8,%edx
lea    (%rbx,%r15,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    176f <RSA_padding_check_PKCS1_OAEP_SHA256+0x5df>
cmp    %r10,%rdx
je     145c <RSA_padding_check_PKCS1_OAEP_SHA256+0x2cc>
jmp    13c8 <RSA_padding_check_PKCS1_OAEP_SHA256+0x238>

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

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