#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_sha1();
scalar_t__ MGF1(unsigned char *, int, unsigned char const *, 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 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);
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) {
    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 + 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 (CRYPTO_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) {
        RSAerr(RSA_F_RSA_PADDING_CHECK_PKCS1_OAEP, RSA_R_DATA_TOO_LARGE);
        mlen = -1;
      } else
        memcpy(to, db + i, mlen);
    }
  }
  free(db);
  return mlen;
decoding_err:
  RSAerr(RSA_F_RSA_PADDING_CHECK_PKCS1_OAEP, 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    156d <RSA_padding_check_PKCS1_OAEP+0x3dd>
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    12b9 <RSA_padding_check_PKCS1_OAEP+0x129>
mov    0x2d2a(%rip),%rax
mov    (%rax),%edi
mov    0x2d41(%rip),%rax
mov    (%rax),%esi
call   10b0 <RSAerr@plt>
movl   $0xffffffff,-0x4(%rbp)
movl   $0x1,-0x80(%rbp)
jmp    159b <RSA_padding_check_PKCS1_OAEP+0x40b>
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    0x2ce9(%rip),%rcx
movslq (%rcx),%rcx
add    %rcx,%rax
mov    %rax,-0x48(%rbp)
mov    0x2cd8(%rip),%rax
mov    (%rax),%esi
mov    -0x48(%rbp),%rdx
mov    -0x38(%rbp),%ecx
call   10a0 <MGF1@plt>
cmp    $0x0,%rax
je     133b <RSA_padding_check_PKCS1_OAEP+0x1ab>
movl   $0xffffffff,-0x4(%rbp)
movl   $0x1,-0x80(%rbp)
jmp    159b <RSA_padding_check_PKCS1_OAEP+0x40b>
movl   $0x0,-0x34(%rbp)
mov    -0x34(%rbp),%eax
mov    0x2c9c(%rip),%rcx
cmp    (%rcx),%eax
jge    1382 <RSA_padding_check_PKCS1_OAEP+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+0x1b2>
mov    -0x90(%rbp),%rdx
mov    -0x58(%rbp),%rdi
mov    -0x38(%rbp),%esi
mov    0x2c51(%rip),%rax
mov    (%rax),%ecx
call   10a0 <MGF1@plt>
cmp    $0x0,%rax
je     13bb <RSA_padding_check_PKCS1_OAEP+0x22b>
movl   $0xffffffff,-0x4(%rbp)
movl   $0x1,-0x80(%rbp)
jmp    159b <RSA_padding_check_PKCS1_OAEP+0x40b>
movl   $0x0,-0x34(%rbp)
mov    -0x34(%rbp),%eax
cmp    -0x38(%rbp),%eax
jge    13f9 <RSA_padding_check_PKCS1_OAEP+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+0x232>
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    1454 <RSA_padding_check_PKCS1_OAEP+0x2c4>
movl   $0xffffffff,-0x4(%rbp)
movl   $0x1,-0x80(%rbp)
jmp    159b <RSA_padding_check_PKCS1_OAEP+0x40b>
mov    -0x88(%rbp),%rsi
mov    -0x58(%rbp),%rdi
mov    0x2b82(%rip),%rax
mov    (%rax),%edx
call   1090 <CRYPTO_memcmp@plt>
cmp    $0x0,%rax
jne    1481 <RSA_padding_check_PKCS1_OAEP+0x2f1>
cmpl   $0x0,-0x7c(%rbp)
je     1486 <RSA_padding_check_PKCS1_OAEP+0x2f6>
jmp    156d <RSA_padding_check_PKCS1_OAEP+0x3dd>
mov    0x2b5b(%rip),%rax
mov    (%rax),%eax
mov    %eax,-0x34(%rbp)
mov    -0x34(%rbp),%eax
cmp    -0x38(%rbp),%eax
jge    14cb <RSA_padding_check_PKCS1_OAEP+0x33b>
mov    -0x58(%rbp),%rax
movslq -0x34(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
je     14b8 <RSA_padding_check_PKCS1_OAEP+0x328>
jmp    14cb <RSA_padding_check_PKCS1_OAEP+0x33b>
jmp    14bd <RSA_padding_check_PKCS1_OAEP+0x32d>
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    1492 <RSA_padding_check_PKCS1_OAEP+0x302>
mov    -0x34(%rbp),%eax
cmp    -0x38(%rbp),%eax
je     14ec <RSA_padding_check_PKCS1_OAEP+0x35c>
mov    -0x58(%rbp),%rax
movslq -0x34(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
cmp    $0x1,%eax
je     14f1 <RSA_padding_check_PKCS1_OAEP+0x361>
jmp    156d <RSA_padding_check_PKCS1_OAEP+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+0x3a1>
mov    0x2aab(%rip),%rax
mov    (%rax),%edi
mov    0x2ab2(%rip),%rax
mov    (%rax),%esi
call   10b0 <RSAerr@plt>
movl   $0xffffffff,-0x3c(%rbp)
jmp    1548 <RSA_padding_check_PKCS1_OAEP+0x3b8>
mov    -0x10(%rbp),%rdi
mov    -0x58(%rbp),%rsi
movslq -0x34(%rbp),%rax
add    %rax,%rsi
mov    -0x3c(%rbp),%edx
call   1060 <memcpy@plt>
jmp    154d <RSA_padding_check_PKCS1_OAEP+0x3bd>
jmp    1552 <RSA_padding_check_PKCS1_OAEP+0x3c2>
mov    -0x58(%rbp),%rdi
call   1030 <free@plt>
mov    -0x3c(%rbp),%eax
mov    %eax,-0x4(%rbp)
movl   $0x1,-0x80(%rbp)
jmp    159b <RSA_padding_check_PKCS1_OAEP+0x40b>
mov    0x2a4c(%rip),%rax
mov    (%rax),%edi
mov    0x2a4b(%rip),%rax
mov    (%rax),%esi
call   10b0 <RSAerr@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    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    12b6 <RSA_padding_check_PKCS1_OAEP+0x126>
mov    %rdi,-0x70(%rbp)
mov    %rdx,-0x40(%rbp)
mov    %rbx,-0x78(%rbp)
mov    %r9,-0x80(%rbp)
mov    %esi,-0x34(%rbp)
movslq %r10d,%rax
add    $0xffffffff,%r8d
mov    %r8,-0x48(%rbp)
mov    %r8d,%ebx
mov    %ecx,%r15d
sub    %ecx,%ebx
cmovns %ebx,%r14d
mov    %r8d,%r12d
mov    %rax,-0x30(%rbp)
sub    %eax,%r12d
lea    (%r12,%r8,1),%edi
call   1070 <malloc@plt>
test   %rax,%rax
je     12dd <RSA_padding_check_PKCS1_OAEP+0x14d>
mov    %ebx,-0x4c(%rbp)
test   %ebx,%ebx
mov    %r15d,%ebx
cmovs  -0x48(%rbp),%ebx
movslq %r12d,%rcx
mov    %rcx,-0x60(%rbp)
mov    %rax,-0x68(%rbp)
lea    (%rax,%rcx,1),%r15
mov    %r15,%rdi
xor    %esi,%esi
mov    %r14d,%edx
call   1050 <memset@plt>
mov    %r14d,%edi
add    %r15,%rdi
mov    -0x40(%rbp),%rsi
mov    %ebx,%edx
call   1060 <memcpy@plt>
mov    0x2d87(%rip),%rbx
mov    (%rbx),%eax
movslq %eax,%rbx
mov    %r15,-0x40(%rbp)
lea    (%r15,%rbx,1),%r14
mov    -0x60(%rbp),%rcx
mov    %r13,%rdi
mov    %ebx,%esi
mov    %r14,%rdx
call   10a0 <MGF1@plt>
mov    $0xffffffff,%ecx
test   %rax,%rax
jne    141f <RSA_padding_check_PKCS1_OAEP+0x28f>
mov    %r12,-0x58(%rbp)
mov    -0x68(%rbp),%r15
mov    0x2d4c(%rip),%rax
mov    (%rax),%ecx
test   %ecx,%ecx
mov    -0x40(%rbp),%r10
jle    1403 <RSA_padding_check_PKCS1_OAEP+0x273>
cmp    $0x8,%ecx
jae    12f9 <RSA_padding_check_PKCS1_OAEP+0x169>
xor    %eax,%eax
jmp    13f0 <RSA_padding_check_PKCS1_OAEP+0x260>
xor    %r15d,%r15d
mov    0x2d00(%rip),%rax
mov    (%rax),%edi
mov    0x2cff(%rip),%rax
mov    (%rax),%esi
call   10b0 <RSAerr@plt>
mov    %r15,%rdi
call   1030 <free@plt>
jmp    141a <RSA_padding_check_PKCS1_OAEP+0x28a>
mov    0x2cdc(%rip),%rax
mov    (%rax),%edi
mov    0x2cf3(%rip),%rax
mov    (%rax),%esi
call   10b0 <RSAerr@plt>
jmp    141a <RSA_padding_check_PKCS1_OAEP+0x28a>
cmp    $0x20,%ecx
jae    1305 <RSA_padding_check_PKCS1_OAEP+0x175>
xor    %eax,%eax
jmp    13c4 <RSA_padding_check_PKCS1_OAEP+0x234>
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
add    %r15,%rdx
add    $0x30,%rdx
xor    %esi,%esi
cs nopw 0x0(%rax,%rax,1)
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     13ba <RSA_padding_check_PKCS1_OAEP+0x22a>
movups (%r10,%rsi,1),%xmm0
movups 0x10(%r10,%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     1403 <RSA_padding_check_PKCS1_OAEP+0x273>
test   $0x18,%cl
je     13f0 <RSA_padding_check_PKCS1_OAEP+0x260>
mov    %rax,%rdx
mov    %ecx,%eax
and    $0xfffffff8,%eax
nopl   0x0(%rax)
mov    (%r10,%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     1403 <RSA_padding_check_PKCS1_OAEP+0x273>
nopw   0x0(%rax,%rax,1)
movzbl (%r10,%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    -0x58(%rbp),%r12
mov    %r12d,%esi
mov    %r13,%rdx
call   10a0 <MGF1@plt>
test   %rax,%rax
je     1430 <RSA_padding_check_PKCS1_OAEP+0x2a0>
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    -0x4c(%rbp),%r13d
jle    150c <RSA_padding_check_PKCS1_OAEP+0x37c>
mov    %rbx,%r11
mov    %r12d,%eax
movslq -0x48(%rbp),%r9
cmp    $0x8,%r12d
jb     1472 <RSA_padding_check_PKCS1_OAEP+0x2e2>
lea    (%r11,%r9,1),%rcx
lea    (%rcx,%rax,1),%rdx
sub    -0x30(%rbp),%rdx
add    %r15,%rdx
cmp    %rdx,%r15
jae    1588 <RSA_padding_check_PKCS1_OAEP+0x3f8>
lea    (%r15,%rax,1),%rdx
cmp    %rdx,%r14
jae    1588 <RSA_padding_check_PKCS1_OAEP+0x3f8>
xor    %edx,%edx
mov    %rdx,%rdi
not    %rdi
lea    (%rdi,%rax,1),%r8
mov    %rax,%rcx
and    $0x3,%rcx
je     14be <RSA_padding_check_PKCS1_OAEP+0x32e>
add    $0x1,%rdi
add    %r15,%rdx
lea    (%r11,%r9,1),%rsi
sub    -0x30(%rbp),%rsi
cs nopw 0x0(%rax,%rax,1)
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    -0x58(%rbp),%r12
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    -0x30(%rbp),%r11
cs nopw 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),%rbx
mov    %rbx,%rdx
xor    %ecx,%ecx
mov    %eax,%r8d
xor    %r9d,%r9d
call   1080 <EVP_Digest@plt>
test   %eax,%eax
mov    $0xffffffff,%ecx
je     141f <RSA_padding_check_PKCS1_OAEP+0x28f>
mov    0x2aa6(%rip),%r14
mov    (%r14),%edx
mov    %r15,%rdi
mov    %rbx,%rsi
call   1090 <CRYPTO_memcmp@plt>
test   %rax,%rax
jne    12b9 <RSA_padding_check_PKCS1_OAEP+0x129>
test   %r13d,%r13d
js     12b9 <RSA_padding_check_PKCS1_OAEP+0x129>
mov    (%r14),%eax
cmp    %r12d,%eax
jge    1595 <RSA_padding_check_PKCS1_OAEP+0x405>
cltq
mov    -0x34(%rbp),%edx
mov    -0x60(%rbp),%rcx
cmpb   $0x0,(%r15,%rax,1)
jne    1598 <RSA_padding_check_PKCS1_OAEP+0x408>
add    $0x1,%rax
cmp    %rcx,%rax
jl     1573 <RSA_padding_check_PKCS1_OAEP+0x3e3>
jmp    12b9 <RSA_padding_check_PKCS1_OAEP+0x129>
cmp    $0x20,%r12d
jae    15e0 <RSA_padding_check_PKCS1_OAEP+0x450>
xor    %edx,%edx
jmp    16ce <RSA_padding_check_PKCS1_OAEP+0x53e>
mov    -0x34(%rbp),%edx
cmp    %r12d,%eax
je     12b9 <RSA_padding_check_PKCS1_OAEP+0x129>
movslq %eax,%rcx
cmpb   $0x1,(%r15,%rcx,1)
jne    12b9 <RSA_padding_check_PKCS1_OAEP+0x129>
add    $0x1,%eax
sub    %eax,%r12d
cmp    %edx,%r12d
jle    166a <RSA_padding_check_PKCS1_OAEP+0x4da>
mov    0x29fb(%rip),%rax
mov    (%rax),%edi
mov    0x2a02(%rip),%rax
mov    (%rax),%esi
call   10b0 <RSAerr@plt>
mov    $0xffffffff,%r12d
jmp    167e <RSA_padding_check_PKCS1_OAEP+0x4ee>
mov    %eax,%edx
and    $0xffffffe0,%edx
lea    -0x20(%rdx),%rsi
mov    %rsi,%r8
shr    $0x5,%r8
add    $0x1,%r8
test   %rsi,%rsi
je     168e <RSA_padding_check_PKCS1_OAEP+0x4fe>
mov    %r8,%rsi
and    $0xfffffffffffffffe,%rsi
sub    -0x30(%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    1611 <RSA_padding_check_PKCS1_OAEP+0x481>
jmp    1690 <RSA_padding_check_PKCS1_OAEP+0x500>
cltq
mov    %r15,%rsi
add    %rax,%rsi
mov    -0x70(%rbp),%rdi
mov    %r12d,%edx
call   1060 <memcpy@plt>
mov    %r15,%rdi
call   1030 <free@plt>
mov    %r12d,%ecx
jmp    141f <RSA_padding_check_PKCS1_OAEP+0x28f>
xor    %edi,%edi
test   $0x1,%r8b
je     16bd <RSA_padding_check_PKCS1_OAEP+0x52d>
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     1474 <RSA_padding_check_PKCS1_OAEP+0x2e4>
mov    %rdx,%rsi
mov    %eax,%edx
and    $0xfffffff8,%edx
lea    (%rsi,%r11,1),%r10
add    %r9,%r10
sub    -0x30(%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    16f0 <RSA_padding_check_PKCS1_OAEP+0x560>
cmp    %rax,%rdx
je     150c <RSA_padding_check_PKCS1_OAEP+0x37c>
jmp    1474 <RSA_padding_check_PKCS1_OAEP+0x2e4>

LLVM IR (-O0):
@SHA_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(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 %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* @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 %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 %221
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* @SHA_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* @SHA_DIGEST_LENGTH
%84 = load i8*, i8** %19
%85 = load i32, i32* %17
%86 = call i64 @MGF1(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 %221
89: ; preds = %64
store i32 0, i32* %16
br label %90
90: ; preds = %108, %89
%91 = load i32, i32* %16
%92 = load i32, i32* @SHA_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* @SHA_DIGEST_LENGTH
%115 = call i64 @MGF1(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 %221
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_sha1()
%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 %221
148: ; preds = %141
%149 = load i8*, i8** %21
%150 = load i32, i32* @SHA_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* @SHA_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 @free(i8* %212)
%214 = load i32, i32* %18
store i32 %214, i32* %8
store i32 1, i32* %27
br label %221
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 = call i32 @free(i8* %219)
store i32 -1, i32* %8
store i32 1, i32* %27
br label %221
221: ; preds = %215, %211, %147, %117, %88, %60
%222 = load i8*, i8** %22
%223 = load i32, i32* %8
ret i32 %223
}

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