#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 */
typedef int /*<<< orphan*/ BN_CTX;
typedef int /*<<< orphan*/ BIGNUM;

/* Variables and functions */
scalar_t__ BN_cmp(int /*<<< orphan*/ *, int /*<<< orphan*/ *);
int BN_div(int /*<<< orphan*/ *, int /*<<< orphan*/ *,
           int /*<<< orphan*/ const *, int /*<<< orphan*/ *,
           int /*<<< orphan*/ *);
int /*<<< orphan*/ BN_free(int /*<<< orphan*/ *);
int BN_gcd(int /*<<< orphan*/ *, int /*<<< orphan*/ *,
           int /*<<< orphan*/ const *, int /*<<< orphan*/ *);
int BN_mod_lshift1(int /*<<< orphan*/ *, int /*<<< orphan*/ const *,
                   int /*<<< orphan*/ const *, int /*<<< orphan*/ *);
int BN_mod_sub(int /*<<< orphan*/ *, int /*<<< orphan*/ const *,
               int /*<<< orphan*/ *, int /*<<< orphan*/ const *,
               int /*<<< orphan*/ *);
int /*<<< orphan*/ *BN_new();
int BN_set_word(int /*<<< orphan*/ *, int);
int /*<<< orphan*/ fflush(int /*<<< orphan*/);
int /*<<< orphan*/ fprintf(int /*<<< orphan*/, char *, char *, int);
int /*<<< orphan*/ stderr;
int Fextract(BIGNUM *p, BIGNUM *q, const BIGNUM *x0, const BIGNUM *x1,
             const BIGNUM *N, int recursing, BN_CTX *bn_ctx) {
  int ret, ok;
  BIGNUM *t1 = NULL, *t2 = NULL, *one = NULL;
  if ((t1 = BN_new()) == NULL) {
    fprintf(stderr, "@@@ %s:%d @@@\n",
            "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
            "2022-01-22/02-19-57/repos/dstebila/daps/refs/heads/master/"
            "daps_h2_mr.c",
            242);
    fflush(stderr);
    ;
    goto err;
  };
  if ((t2 = BN_new()) == NULL) {
    fprintf(stderr, "@@@ %s:%d @@@\n",
            "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
            "2022-01-22/02-19-57/repos/dstebila/daps/refs/heads/master/"
            "daps_h2_mr.c",
            243);
    fflush(stderr);
    ;
    goto err;
  };
  if ((one = BN_new()) == NULL) {
    fprintf(stderr, "@@@ %s:%d @@@\n",
            "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
            "2022-01-22/02-19-57/repos/dstebila/daps/refs/heads/master/"
            "daps_h2_mr.c",
            244);
    fflush(stderr);
    ;
    goto err;
  };
  ok = (BN_set_word(one, 1));
  if (ok != 1) {
    fprintf(stderr, "@@@ %s:%d @@@\n",
            "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
            "2022-01-22/02-19-57/repos/dstebila/daps/refs/heads/master/"
            "daps_h2_mr.c",
            245);
    fflush(stderr);
    ;
    goto err;
  };
  ok = (BN_mod_lshift1(t1, x1, N, bn_ctx));
  if (ok != 1) {
    fprintf(stderr, "@@@ %s:%d @@@\n",
            "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
            "2022-01-22/02-19-57/repos/dstebila/daps/refs/heads/master/"
            "daps_h2_mr.c",
            247);
    fflush(stderr);
    ;
    goto err;
  };
  ok = (BN_mod_sub(t2, x0, t1, N, bn_ctx));
  if (ok != 1) {
    fprintf(stderr, "@@@ %s:%d @@@\n",
            "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
            "2022-01-22/02-19-57/repos/dstebila/daps/refs/heads/master/"
            "daps_h2_mr.c",
            248);
    fflush(stderr);
    ;
    goto err;
  };
  ok = (BN_gcd(p, t2, N, bn_ctx));
  if (ok != 1) {
    fprintf(stderr, "@@@ %s:%d @@@\n",
            "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
            "2022-01-22/02-19-57/repos/dstebila/daps/refs/heads/master/"
            "daps_h2_mr.c",
            249);
    fflush(stderr);
    ;
    goto err;
  };
  ok = (BN_div(q, NULL, N, p, bn_ctx));
  if (ok != 1) {
    fprintf(stderr, "@@@ %s:%d @@@\n",
            "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
            "2022-01-22/02-19-57/repos/dstebila/daps/refs/heads/master/"
            "daps_h2_mr.c",
            250);
    fflush(stderr);
    ;
    goto err;
  };
  if (((BN_cmp(p, one) == 0) || (BN_cmp(q, one) == 0)) && !recursing) {
    ok = (Fextract(p, q, x1, x0, N, 1, bn_ctx));
    if (ok != 1) {
      fprintf(stderr, "@@@ %s:%d @@@\n",
              "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
              "2022-01-22/02-19-57/repos/dstebila/daps/refs/heads/master/"
              "daps_h2_mr.c",
              252);
      fflush(stderr);
      ;
      goto err;
    };
  }
  ret = 1;
  goto cleanup;
err:
  ret = 0;
cleanup:
  BN_free(t1);
  BN_free(t2);
  return ret;
}


x86 assembly (clang, -O0):
<Fextract>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%rsp
mov    0x10(%rbp),%rax
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    %r8,-0x28(%rbp)
mov    %r9d,-0x2c(%rbp)
movq   $0x0,-0x40(%rbp)
movq   $0x0,-0x48(%rbp)
movq   $0x0,-0x50(%rbp)
mov    $0x0,%al
call   1050 <BN_new@plt>
mov    %rax,-0x40(%rbp)
cmp    $0x0,%rax
jne    1235 <Fextract+0x85>
mov    0x2dd8(%rip),%rax
mov    (%rax),%edi
lea    0xdef(%rip),%rsi
lea    0xdf7(%rip),%rdx
mov    $0xf2,%ecx
call   1090 <fprintf@plt>
mov    0x2db7(%rip),%rax
mov    (%rax),%edi
call   10a0 <fflush@plt>
jmp    1527 <Fextract+0x377>
mov    $0x0,%al
call   1050 <BN_new@plt>
mov    %rax,-0x48(%rbp)
cmp    $0x0,%rax
jne    127e <Fextract+0xce>
mov    0x2d8f(%rip),%rax
mov    (%rax),%edi
lea    0xda6(%rip),%rsi
lea    0xdae(%rip),%rdx
mov    $0xf3,%ecx
call   1090 <fprintf@plt>
mov    0x2d6e(%rip),%rax
mov    (%rax),%edi
call   10a0 <fflush@plt>
jmp    1527 <Fextract+0x377>
mov    $0x0,%al
call   1050 <BN_new@plt>
mov    %rax,-0x50(%rbp)
cmp    $0x0,%rax
jne    12c7 <Fextract+0x117>
mov    0x2d46(%rip),%rax
mov    (%rax),%edi
lea    0xd5d(%rip),%rsi
lea    0xd65(%rip),%rdx
mov    $0xf4,%ecx
call   1090 <fprintf@plt>
mov    0x2d25(%rip),%rax
mov    (%rax),%edi
call   10a0 <fflush@plt>
jmp    1527 <Fextract+0x377>
mov    -0x50(%rbp),%rdi
mov    $0x1,%esi
call   1030 <BN_set_word@plt>
mov    %eax,-0x34(%rbp)
cmpl   $0x1,-0x34(%rbp)
je     1316 <Fextract+0x166>
mov    0x2cf7(%rip),%rax
mov    (%rax),%edi
lea    0xd0e(%rip),%rsi
lea    0xd16(%rip),%rdx
mov    $0xf5,%ecx
call   1090 <fprintf@plt>
mov    0x2cd6(%rip),%rax
mov    (%rax),%edi
call   10a0 <fflush@plt>
jmp    1527 <Fextract+0x377>
mov    -0x40(%rbp),%rdi
mov    -0x20(%rbp),%rsi
mov    -0x28(%rbp),%rdx
mov    0x10(%rbp),%rcx
call   1070 <BN_mod_lshift1@plt>
mov    %eax,-0x34(%rbp)
cmpl   $0x1,-0x34(%rbp)
je     136c <Fextract+0x1bc>
mov    0x2ca1(%rip),%rax
mov    (%rax),%edi
lea    0xcb8(%rip),%rsi
lea    0xcc0(%rip),%rdx
mov    $0xf7,%ecx
call   1090 <fprintf@plt>
mov    0x2c80(%rip),%rax
mov    (%rax),%edi
call   10a0 <fflush@plt>
jmp    1527 <Fextract+0x377>
mov    -0x48(%rbp),%rdi
mov    -0x18(%rbp),%rsi
mov    -0x40(%rbp),%rdx
mov    -0x28(%rbp),%rcx
mov    0x10(%rbp),%r8
call   1060 <BN_mod_sub@plt>
mov    %eax,-0x34(%rbp)
cmpl   $0x1,-0x34(%rbp)
je     13c6 <Fextract+0x216>
mov    0x2c47(%rip),%rax
mov    (%rax),%edi
lea    0xc5e(%rip),%rsi
lea    0xc66(%rip),%rdx
mov    $0xf8,%ecx
call   1090 <fprintf@plt>
mov    0x2c26(%rip),%rax
mov    (%rax),%edi
call   10a0 <fflush@plt>
jmp    1527 <Fextract+0x377>
mov    -0x8(%rbp),%rdi
mov    -0x48(%rbp),%rsi
mov    -0x28(%rbp),%rdx
mov    0x10(%rbp),%rcx
call   1040 <BN_gcd@plt>
mov    %eax,-0x34(%rbp)
cmpl   $0x1,-0x34(%rbp)
je     141c <Fextract+0x26c>
mov    0x2bf1(%rip),%rax
mov    (%rax),%edi
lea    0xc08(%rip),%rsi
lea    0xc10(%rip),%rdx
mov    $0xf9,%ecx
call   1090 <fprintf@plt>
mov    0x2bd0(%rip),%rax
mov    (%rax),%edi
call   10a0 <fflush@plt>
jmp    1527 <Fextract+0x377>
mov    -0x10(%rbp),%rdi
mov    -0x28(%rbp),%rdx
mov    -0x8(%rbp),%rcx
mov    0x10(%rbp),%r8
xor    %eax,%eax
mov    %eax,%esi
call   10d0 <BN_div@plt>
mov    %eax,-0x34(%rbp)
cmpl   $0x1,-0x34(%rbp)
je     1476 <Fextract+0x2c6>
mov    0x2b97(%rip),%rax
mov    (%rax),%edi
lea    0xbae(%rip),%rsi
lea    0xbb6(%rip),%rdx
mov    $0xfa,%ecx
call   1090 <fprintf@plt>
mov    0x2b76(%rip),%rax
mov    (%rax),%edi
call   10a0 <fflush@plt>
jmp    1527 <Fextract+0x377>
mov    -0x8(%rbp),%rdi
mov    -0x50(%rbp),%rsi
call   10c0 <BN_cmp@plt>
cmp    $0x0,%rax
je     14a4 <Fextract+0x2f4>
mov    -0x10(%rbp),%rdi
mov    -0x50(%rbp),%rsi
call   10c0 <BN_cmp@plt>
cmp    $0x0,%rax
jne    151b <Fextract+0x36b>
cmpl   $0x0,-0x2c(%rbp)
jne    151b <Fextract+0x36b>
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    -0x20(%rbp),%rdx
mov    -0x18(%rbp),%rcx
mov    -0x28(%rbp),%r8
mov    0x10(%rbp),%rax
mov    $0x1,%r9d
mov    %rax,(%rsp)
call   10b0 <Fextract@plt>
mov    %eax,-0x34(%rbp)
cmpl   $0x1,-0x34(%rbp)
je     1516 <Fextract+0x366>
mov    0x2af7(%rip),%rax
mov    (%rax),%edi
lea    0xb0e(%rip),%rsi
lea    0xb16(%rip),%rdx
mov    $0xfc,%ecx
call   1090 <fprintf@plt>
mov    0x2ad6(%rip),%rax
mov    (%rax),%edi
call   10a0 <fflush@plt>
jmp    1527 <Fextract+0x377>
jmp    151b <Fextract+0x36b>
movl   $0x1,-0x30(%rbp)
jmp    152e <Fextract+0x37e>
movl   $0x0,-0x30(%rbp)
mov    -0x40(%rbp),%rdi
call   1080 <BN_free@plt>
mov    -0x48(%rbp),%rdi
call   1080 <BN_free@plt>
mov    -0x30(%rbp),%eax
add    $0x60,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<Fextract>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x38,%rsp
mov    %r9d,0xc(%rsp)
mov    %r8,%r12
mov    %rcx,%rbx
mov    %rdx,%r13
mov    %rsi,%rbp
mov    %rdi,0x28(%rsp)
xor    %r15d,%r15d
xor    %eax,%eax
call   1050 <BN_new@plt>
mov    %rax,%r14
test   %rax,%rax
je     1300 <Fextract+0x150>
xor    %eax,%eax
call   1050 <BN_new@plt>
test   %rax,%rax
je     1307 <Fextract+0x157>
mov    %rax,%r15
mov    %r12,0x18(%rsp)
mov    %rbx,0x20(%rsp)
mov    %rbp,0x10(%rsp)
xor    %eax,%eax
call   1050 <BN_new@plt>
test   %rax,%rax
je     1311 <Fextract+0x161>
mov    %rax,%r12
mov    %rax,%rdi
mov    $0x1,%esi
call   1030 <BN_set_word@plt>
mov    $0xf5,%ecx
cmp    $0x1,%eax
jne    1316 <Fextract+0x166>
mov    0x70(%rsp),%rbp
mov    %r14,%rdi
mov    0x20(%rsp),%rsi
mov    0x18(%rsp),%rbx
mov    %rbx,%rdx
mov    %rbp,%rcx
call   1070 <BN_mod_lshift1@plt>
mov    $0xf7,%ecx
cmp    $0x1,%eax
jne    1316 <Fextract+0x166>
mov    %r15,%rdi
mov    %r13,%rsi
mov    %r14,%rdx
mov    %rbx,%rcx
mov    %rbp,%r8
call   1060 <BN_mod_sub@plt>
mov    $0xf8,%ecx
cmp    $0x1,%eax
jne    1316 <Fextract+0x166>
mov    %rbp,%rcx
mov    0x28(%rsp),%rbp
mov    %rbp,%rdi
mov    %r15,%rsi
mov    %rbx,%rdx
call   1040 <BN_gcd@plt>
mov    $0xf9,%ecx
cmp    $0x1,%eax
jne    1316 <Fextract+0x166>
mov    0x10(%rsp),%rdi
xor    %esi,%esi
mov    %rbx,%rdx
mov    %rbp,%rcx
mov    0x70(%rsp),%r8
mov    %r8,%rbx
call   10d0 <BN_div@plt>
mov    $0xfa,%ecx
cmp    $0x1,%eax
jne    1316 <Fextract+0x166>
mov    %rbp,%rdi
mov    %r12,%rsi
call   10c0 <BN_cmp@plt>
test   %rax,%rax
mov    %r13,0x30(%rsp)
je     135e <Fextract+0x1ae>
mov    0x10(%rsp),%rdi
mov    %r12,%rsi
call   10c0 <BN_cmp@plt>
mov    $0x1,%ebp
cmpl   $0x0,0xc(%rsp)
jne    133d <Fextract+0x18d>
test   %rax,%rax
je     136a <Fextract+0x1ba>
jmp    133d <Fextract+0x18d>
mov    $0xf2,%ecx
jmp    1316 <Fextract+0x166>
mov    $0xf3,%ecx
xor    %r15d,%r15d
jmp    1316 <Fextract+0x166>
mov    $0xf4,%ecx
mov    0x2cc3(%rip),%rbp
mov    0x0(%rbp),%edi
lea    0xcd9(%rip),%rsi
lea    0xce1(%rip),%rdx
call   1090 <fprintf@plt>
mov    0x0(%rbp),%edi
call   10a0 <fflush@plt>
xor    %ebp,%ebp
mov    %r14,%rdi
call   1080 <BN_free@plt>
mov    %r15,%rdi
call   1080 <BN_free@plt>
mov    %ebp,%eax
add    $0x38,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
mov    $0x1,%ebp
cmpl   $0x0,0xc(%rsp)
jne    133d <Fextract+0x18d>
mov    %rbx,(%rsp)
mov    $0x1,%ebp
mov    0x28(%rsp),%rdi
mov    0x10(%rsp),%rsi
mov    0x20(%rsp),%rdx
mov    0x30(%rsp),%rcx
mov    0x18(%rsp),%r8
mov    $0x1,%r9d
call   10b0 <Fextract@plt>
mov    $0xfc,%ecx
cmp    $0x1,%eax
jne    1316 <Fextract+0x166>
jmp    133d <Fextract+0x18d>

LLVM IR (-O0):
@stderr = global i32 0
@.str = [15 x i8] c"@@@ %s:%d @@@\0A\00"
@.str.1 = [135 x i8] c"/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/2022-01-22/02-19-57/repos/dstebila/daps/refs/heads/master/daps_h2_mr.c\00"
define i32 @Fextract(i32* %0, i32* %1, i32* %2, i32* %3, i32* %4, i32 %5, i32* %6) {
%8 = alloca i32*
%9 = alloca i32*
%10 = alloca i32*
%11 = alloca i32*
%12 = alloca i32*
%13 = alloca i32
%14 = alloca i32*
%15 = alloca i32
%16 = alloca i32
%17 = alloca i32*
%18 = alloca i32*
%19 = alloca i32*
store i32* %0, i32** %8
store i32* %1, i32** %9
store i32* %2, i32** %10
store i32* %3, i32** %11
store i32* %4, i32** %12
store i32 %5, i32* %13
store i32* %6, i32** %14
store i32* null, i32** %17
store i32* null, i32** %18
store i32* null, i32** %19
%20 = call i32* (...) @BN_new()
store i32* %20, i32** %17
%21 = icmp eq i32* %20, null
br i1 %21, label %22, label %27
22: ; preds = %7
%23 = load i32, i32* @stderr
%24 = call i32 @fprintf(i32 %23, i8* getelementptr inbounds ([15 x i8], [15 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([135 x i8], [135 x i8]* @.str.1, i64 0, i64 0), i32 242)
%25 = load i32, i32* @stderr
%26 = call i32 @fflush(i32 %25)
br label %136
27: ; preds = %7
%28 = call i32* (...) @BN_new()
store i32* %28, i32** %18
%29 = icmp eq i32* %28, null
br i1 %29, label %30, label %35
30: ; preds = %27
%31 = load i32, i32* @stderr
%32 = call i32 @fprintf(i32 %31, i8* getelementptr inbounds ([15 x i8], [15 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([135 x i8], [135 x i8]* @.str.1, i64 0, i64 0), i32 243)
%33 = load i32, i32* @stderr
%34 = call i32 @fflush(i32 %33)
br label %136
35: ; preds = %27
%36 = call i32* (...) @BN_new()
store i32* %36, i32** %19
%37 = icmp eq i32* %36, null
br i1 %37, label %38, label %43
38: ; preds = %35
%39 = load i32, i32* @stderr
%40 = call i32 @fprintf(i32 %39, i8* getelementptr inbounds ([15 x i8], [15 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([135 x i8], [135 x i8]* @.str.1, i64 0, i64 0), i32 244)
%41 = load i32, i32* @stderr
%42 = call i32 @fflush(i32 %41)
br label %136
43: ; preds = %35
%44 = load i32*, i32** %19
%45 = call i32 @BN_set_word(i32* %44, i32 1)
store i32 %45, i32* %16
%46 = load i32, i32* %16
%47 = icmp ne i32 %46, 1
br i1 %47, label %48, label %53
48: ; preds = %43
%49 = load i32, i32* @stderr
%50 = call i32 @fprintf(i32 %49, i8* getelementptr inbounds ([15 x i8], [15 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([135 x i8], [135 x i8]* @.str.1, i64 0, i64 0), i32 245)
%51 = load i32, i32* @stderr
%52 = call i32 @fflush(i32 %51)
br label %136
53: ; preds = %43
%54 = load i32*, i32** %17
%55 = load i32*, i32** %11
%56 = load i32*, i32** %12
%57 = load i32*, i32** %14
%58 = call i32 @BN_mod_lshift1(i32* %54, i32* %55, i32* %56, i32* %57)
store i32 %58, i32* %16
%59 = load i32, i32* %16
%60 = icmp ne i32 %59, 1
br i1 %60, label %61, label %66
61: ; preds = %53
%62 = load i32, i32* @stderr
%63 = call i32 @fprintf(i32 %62, i8* getelementptr inbounds ([15 x i8], [15 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([135 x i8], [135 x i8]* @.str.1, i64 0, i64 0), i32 247)
%64 = load i32, i32* @stderr
%65 = call i32 @fflush(i32 %64)
br label %136
66: ; preds = %53
%67 = load i32*, i32** %18
%68 = load i32*, i32** %10
%69 = load i32*, i32** %17
%70 = load i32*, i32** %12
%71 = load i32*, i32** %14
%72 = call i32 @BN_mod_sub(i32* %67, i32* %68, i32* %69, i32* %70, i32* %71)
store i32 %72, i32* %16
%73 = load i32, i32* %16
%74 = icmp ne i32 %73, 1
br i1 %74, label %75, label %80
75: ; preds = %66
%76 = load i32, i32* @stderr
%77 = call i32 @fprintf(i32 %76, i8* getelementptr inbounds ([15 x i8], [15 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([135 x i8], [135 x i8]* @.str.1, i64 0, i64 0), i32 248)
%78 = load i32, i32* @stderr
%79 = call i32 @fflush(i32 %78)
br label %136
80: ; preds = %66
%81 = load i32*, i32** %8
%82 = load i32*, i32** %18
%83 = load i32*, i32** %12
%84 = load i32*, i32** %14
%85 = call i32 @BN_gcd(i32* %81, i32* %82, i32* %83, i32* %84)
store i32 %85, i32* %16
%86 = load i32, i32* %16
%87 = icmp ne i32 %86, 1
br i1 %87, label %88, label %93
88: ; preds = %80
%89 = load i32, i32* @stderr
%90 = call i32 @fprintf(i32 %89, i8* getelementptr inbounds ([15 x i8], [15 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([135 x i8], [135 x i8]* @.str.1, i64 0, i64 0), i32 249)
%91 = load i32, i32* @stderr
%92 = call i32 @fflush(i32 %91)
br label %136
93: ; preds = %80
%94 = load i32*, i32** %9
%95 = load i32*, i32** %12
%96 = load i32*, i32** %8
%97 = load i32*, i32** %14
%98 = call i32 @BN_div(i32* %94, i32* null, i32* %95, i32* %96, i32* %97)
store i32 %98, i32* %16
%99 = load i32, i32* %16
%100 = icmp ne i32 %99, 1
br i1 %100, label %101, label %106
101: ; preds = %93
%102 = load i32, i32* @stderr
%103 = call i32 @fprintf(i32 %102, i8* getelementptr inbounds ([15 x i8], [15 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([135 x i8], [135 x i8]* @.str.1, i64 0, i64 0), i32 250)
%104 = load i32, i32* @stderr
%105 = call i32 @fflush(i32 %104)
br label %136
106: ; preds = %93
%107 = load i32*, i32** %8
%108 = load i32*, i32** %19
%109 = call i64 @BN_cmp(i32* %107, i32* %108)
%110 = icmp eq i64 %109, 0
br i1 %110, label %116, label %111
111: ; preds = %106
%112 = load i32*, i32** %9
%113 = load i32*, i32** %19
%114 = call i64 @BN_cmp(i32* %112, i32* %113)
%115 = icmp eq i64 %114, 0
br i1 %115, label %116, label %135
116: ; preds = %111, %106
%117 = load i32, i32* %13
%118 = icmp ne i32 %117, 0
br i1 %118, label %135, label %119
119: ; preds = %116
%120 = load i32*, i32** %8
%121 = load i32*, i32** %9
%122 = load i32*, i32** %11
%123 = load i32*, i32** %10
%124 = load i32*, i32** %12
%125 = load i32*, i32** %14
%126 = call i32 @Fextract(i32* %120, i32* %121, i32* %122, i32* %123, i32* %124, i32 1, i32* %125)
store i32 %126, i32* %16
%127 = load i32, i32* %16
%128 = icmp ne i32 %127, 1
br i1 %128, label %129, label %134
129: ; preds = %119
%130 = load i32, i32* @stderr
%131 = call i32 @fprintf(i32 %130, i8* getelementptr inbounds ([15 x i8], [15 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([135 x i8], [135 x i8]* @.str.1, i64 0, i64 0), i32 252)
%132 = load i32, i32* @stderr
%133 = call i32 @fflush(i32 %132)
br label %136
134: ; preds = %119
br label %135
135: ; preds = %134, %116, %111
store i32 1, i32* %15
br label %137
136: ; preds = %129, %101, %88, %75, %61, %48, %38, %30, %22
store i32 0, i32* %15
br label %137
137: ; preds = %136, %135
%138 = load i32*, i32** %17
%139 = call i32 @BN_free(i32* %138)
%140 = load i32*, i32** %18
%141 = call i32 @BN_free(i32* %140)
%142 = load i32, i32* %15
ret i32 %142
}

LLVM IR (-O2):
@stderr = global i32 0
@.str = [15 x i8] c"@@@ %s:%d @@@\0A\00"
@.str.1 = [135 x i8] c"/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/2022-01-22/02-19-57/repos/dstebila/daps/refs/heads/master/daps_h2_mr.c\00"
define i32 @Fextract(i32* %0, i32* %1, i32* %2, i32* %3, i32* %4, i32 %5, i32* %6) {
%8 = tail call i32* (...) @BN_new()
%9 = icmp eq i32* %8, null
br i1 %9, label %44, label %10
10: ; preds = %7
%11 = tail call i32* (...) @BN_new()
%12 = icmp eq i32* %11, null
br i1 %12, label %44, label %13
13: ; preds = %10
%14 = tail call i32* (...) @BN_new()
%15 = icmp eq i32* %14, null
br i1 %15, label %44, label %16
16: ; preds = %13
%17 = tail call i32 @BN_set_word(i32* %14, i32 1)
%18 = icmp eq i32 %17, 1
br i1 %18, label %19, label %44
19: ; preds = %16
%20 = tail call i32 @BN_mod_lshift1(i32* %8, i32* %3, i32* %4, i32* %6)
%21 = icmp eq i32 %20, 1
br i1 %21, label %22, label %44
22: ; preds = %19
%23 = tail call i32 @BN_mod_sub(i32* %11, i32* %2, i32* %8, i32* %4, i32* %6)
%24 = icmp eq i32 %23, 1
br i1 %24, label %25, label %44
25: ; preds = %22
%26 = tail call i32 @BN_gcd(i32* %0, i32* %11, i32* %4, i32* %6)
%27 = icmp eq i32 %26, 1
br i1 %27, label %28, label %44
28: ; preds = %25
%29 = tail call i32 @BN_div(i32* %1, i32* null, i32* %4, i32* %0, i32* %6)
%30 = icmp eq i32 %29, 1
br i1 %30, label %31, label %44
31: ; preds = %28
%32 = tail call i64 @BN_cmp(i32* %0, i32* %14)
%33 = icmp eq i64 %32, 0
br i1 %33, label %39, label %34
34: ; preds = %31
%35 = tail call i64 @BN_cmp(i32* %1, i32* %14)
%36 = icmp ne i64 %35, 0
%37 = icmp ne i32 %5, 0
%38 = or i1 %37, %36
br i1 %38, label %51, label %41
39: ; preds = %31
%40 = icmp eq i32 %5, 0
br i1 %40, label %41, label %51
41: ; preds = %34, %39
%42 = tail call i32 @Fextract(i32* %0, i32* %1, i32* %3, i32* %2, i32* %4, i32 1, i32* %6)
%43 = icmp eq i32 %42, 1
br i1 %43, label %51, label %44
44: ; preds = %41, %28, %25, %22, %19, %16, %13, %10, %7
%45 = phi i32 [ 242, %7 ], [ 243, %10 ], [ 244, %13 ], [ 245, %16 ], [ 247, %19 ], [ 248, %22 ], [ 249, %25 ], [ 250, %28 ], [ 252, %41 ]
%46 = phi i32* [ null, %7 ], [ null, %10 ], [ %11, %13 ], [ %11, %16 ], [ %11, %19 ], [ %11, %22 ], [ %11, %25 ], [ %11, %28 ], [ %11, %41 ]
%47 = load i32, i32* @stderr
%48 = tail call i32 @fprintf(i32 %47, i8* getelementptr inbounds ([15 x i8], [15 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([135 x i8], [135 x i8]* @.str.1, i64 0, i64 0), i32 %45)
%49 = load i32, i32* @stderr
%50 = tail call i32 @fflush(i32 %49)
br label %51
51: ; preds = %44, %34, %39, %41
%52 = phi i32 [ 1, %41 ], [ 1, %39 ], [ 1, %34 ], [ 0, %44 ]
%53 = phi i32* [ %11, %41 ], [ %11, %39 ], [ %11, %34 ], [ %46, %44 ]
%54 = tail call i32 @BN_free(i32* %8)
%55 = tail call i32 @BN_free(i32* %53)
ret i32 %52
}