#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*/ BIGNUM;

/* Variables and functions */
scalar_t__ BN_cmp(int /*<<< orphan*/ *, int /*<<< orphan*/ *);
scalar_t__ BN_is_odd(int /*<<< orphan*/ *);
int /*<<< orphan*/ BN_is_zero(int /*<<< orphan*/ *);
int /*<<< orphan*/ BN_lshift(int /*<<< orphan*/ *, int /*<<< orphan*/ *, int);
int /*<<< orphan*/ BN_rshift1(int /*<<< orphan*/ *, int /*<<< orphan*/ *);
int /*<<< orphan*/ BN_sub(int /*<<< orphan*/ *, int /*<<< orphan*/ *,
                          int /*<<< orphan*/ *);
int /*<<< orphan*/ bn_check_top(int /*<<< orphan*/ *);
BIGNUM *euclid(BIGNUM *a, BIGNUM *b) {
  BIGNUM *t;
  int shifts = 0;
  bn_check_top(a);
  bn_check_top(b);
  while (!BN_is_zero(b)) {
    if (BN_is_odd(a)) {
      if (BN_is_odd(b)) {
        if (!BN_sub(a, a, b))
          goto err;
        if (!BN_rshift1(a, a))
          goto err;
        if (BN_cmp(a, b) < 0) {
          t = a;
          a = b;
          b = t;
        }
      } else {
        if (!BN_rshift1(b, b))
          goto err;
        if (BN_cmp(a, b) < 0) {
          t = a;
          a = b;
          b = t;
        }
      }
    } else {
      if (BN_is_odd(b)) {
        if (!BN_rshift1(a, a))
          goto err;
        if (BN_cmp(a, b) < 0) {
          t = a;
          a = b;
          b = t;
        }
      } else {
        if (!BN_rshift1(a, a))
          goto err;
        if (!BN_rshift1(b, b))
          goto err;
        shifts++;
      }
    }
  }
  if (shifts) {
    if (!BN_lshift(a, a, shifts))
      goto err;
  }
  bn_check_top(a);
  return (a);
err:
  return (NULL);
}


x86 assembly (clang, -O0):
<euclid>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
movl   $0x0,-0x24(%rbp)
mov    -0x10(%rbp),%rdi
call   1040 <bn_check_top@plt>
mov    -0x18(%rbp),%rdi
call   1040 <bn_check_top@plt>
mov    -0x18(%rbp),%rdi
call   1060 <BN_is_zero@plt>
cmp    $0x0,%eax
setne  %al
xor    $0xff,%al
test   $0x1,%al
jne    11b7 <euclid+0x47>
jmp    134a <euclid+0x1da>
mov    -0x10(%rbp),%rdi
call   1090 <BN_is_odd@plt>
cmp    $0x0,%rax
je     129f <euclid+0x12f>
mov    -0x18(%rbp),%rdi
call   1090 <BN_is_odd@plt>
cmp    $0x0,%rax
je     124b <euclid+0xdb>
mov    -0x10(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    -0x18(%rbp),%rdx
call   1030 <BN_sub@plt>
cmp    $0x0,%eax
jne    11fc <euclid+0x8c>
jmp    138d <euclid+0x21d>
mov    -0x10(%rbp),%rdi
mov    -0x10(%rbp),%rsi
call   1050 <BN_rshift1@plt>
cmp    $0x0,%eax
jne    1217 <euclid+0xa7>
jmp    138d <euclid+0x21d>
mov    -0x10(%rbp),%rdi
mov    -0x18(%rbp),%rsi
call   1070 <BN_cmp@plt>
cmp    $0x0,%rax
jge    1246 <euclid+0xd6>
mov    -0x10(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x18(%rbp),%rax
mov    %rax,-0x10(%rbp)
mov    -0x20(%rbp),%rax
mov    %rax,-0x18(%rbp)
jmp    129a <euclid+0x12a>
mov    -0x18(%rbp),%rdi
mov    -0x18(%rbp),%rsi
call   1050 <BN_rshift1@plt>
cmp    $0x0,%eax
jne    1266 <euclid+0xf6>
jmp    138d <euclid+0x21d>
mov    -0x10(%rbp),%rdi
mov    -0x18(%rbp),%rsi
call   1070 <BN_cmp@plt>
cmp    $0x0,%rax
jge    1295 <euclid+0x125>
mov    -0x10(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x18(%rbp),%rax
mov    %rax,-0x10(%rbp)
mov    -0x20(%rbp),%rax
mov    %rax,-0x18(%rbp)
jmp    129a <euclid+0x12a>
jmp    1345 <euclid+0x1d5>
mov    -0x18(%rbp),%rdi
call   1090 <BN_is_odd@plt>
cmp    $0x0,%rax
je     1301 <euclid+0x191>
mov    -0x10(%rbp),%rdi
mov    -0x10(%rbp),%rsi
call   1050 <BN_rshift1@plt>
cmp    $0x0,%eax
jne    12cd <euclid+0x15d>
jmp    138d <euclid+0x21d>
mov    -0x10(%rbp),%rdi
mov    -0x18(%rbp),%rsi
call   1070 <BN_cmp@plt>
cmp    $0x0,%rax
jge    12fc <euclid+0x18c>
mov    -0x10(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x18(%rbp),%rax
mov    %rax,-0x10(%rbp)
mov    -0x20(%rbp),%rax
mov    %rax,-0x18(%rbp)
jmp    1340 <euclid+0x1d0>
mov    -0x10(%rbp),%rdi
mov    -0x10(%rbp),%rsi
call   1050 <BN_rshift1@plt>
cmp    $0x0,%eax
jne    131c <euclid+0x1ac>
jmp    138d <euclid+0x21d>
mov    -0x18(%rbp),%rdi
mov    -0x18(%rbp),%rsi
call   1050 <BN_rshift1@plt>
cmp    $0x0,%eax
jne    1337 <euclid+0x1c7>
jmp    138d <euclid+0x21d>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1345 <euclid+0x1d5>
jmp    1199 <euclid+0x29>
cmpl   $0x0,-0x24(%rbp)
je     1377 <euclid+0x207>
mov    -0x10(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    -0x24(%rbp),%edx
call   1080 <BN_lshift@plt>
cmp    $0x0,%eax
jne    1372 <euclid+0x202>
jmp    138d <euclid+0x21d>
jmp    1377 <euclid+0x207>
mov    -0x10(%rbp),%rdi
call   1040 <bn_check_top@plt>
mov    -0x10(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    1395 <euclid+0x225>
movq   $0x0,-0x8(%rbp)
mov    -0x8(%rbp),%rax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<euclid>:
push   %rbp
push   %r15
push   %r14
push   %r12
push   %rbx
mov    %rsi,%r12
mov    %rdi,%r14
call   1040 <bn_check_top@plt>
mov    %r12,%rdi
call   1040 <bn_check_top@plt>
mov    %r12,%rdi
call   1060 <BN_is_zero@plt>
test   %eax,%eax
je     11a4 <euclid+0x34>
mov    %r14,%rdi
call   1040 <bn_check_top@plt>
jmp    128f <euclid+0x11f>
xor    %r15d,%r15d
jmp    11c0 <euclid+0x50>
nopl   0x0(%rax)
mov    %r12,%rdi
call   1060 <BN_is_zero@plt>
test   %eax,%eax
jne    126d <euclid+0xfd>
mov    %r14,%rdi
call   1090 <BN_is_odd@plt>
mov    %rax,%rbx
mov    %r12,%rdi
call   1090 <BN_is_odd@plt>
mov    %rax,%rbp
test   %rbx,%rbx
je     1200 <euclid+0x90>
test   %rbp,%rbp
je     1220 <euclid+0xb0>
mov    %r14,%rdi
mov    %r14,%rsi
mov    %r12,%rdx
call   1030 <BN_sub@plt>
test   %eax,%eax
je     128c <euclid+0x11c>
mov    %r14,%rdi
mov    %r14,%rsi
jmp    1226 <euclid+0xb6>
xchg   %ax,%ax
mov    %r14,%rdi
mov    %r14,%rsi
call   1050 <BN_rshift1@plt>
test   %rbp,%rbp
je     1251 <euclid+0xe1>
test   %eax,%eax
jne    122f <euclid+0xbf>
jmp    128c <euclid+0x11c>
cs nopw 0x0(%rax,%rax,1)
mov    %r12,%rdi
mov    %r12,%rsi
call   1050 <BN_rshift1@plt>
test   %eax,%eax
je     128c <euclid+0x11c>
mov    %r14,%rdi
mov    %r12,%rsi
call   1070 <BN_cmp@plt>
test   %rax,%rax
jns    11b0 <euclid+0x40>
mov    %r12,%rax
mov    %r14,%r12
mov    %rax,%r14
jmp    11b0 <euclid+0x40>
test   %eax,%eax
je     128c <euclid+0x11c>
mov    %r12,%rdi
mov    %r12,%rsi
call   1050 <BN_rshift1@plt>
test   %eax,%eax
je     128c <euclid+0x11c>
add    $0x1,%r15d
jmp    11b0 <euclid+0x40>
test   %r15d,%r15d
je     1197 <euclid+0x27>
mov    %r14,%rdi
mov    %r14,%rsi
mov    %r15d,%edx
call   1080 <BN_lshift@plt>
test   %eax,%eax
jne    1197 <euclid+0x27>
xor    %r14d,%r14d
mov    %r14,%rax
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define i32* @euclid(i32* %0, i32* %1) {
%3 = alloca i32*
%4 = alloca i32*
%5 = alloca i32*
%6 = alloca i32*
%7 = alloca i32
store i32* %0, i32** %4
store i32* %1, i32** %5
store i32 0, i32* %7
%8 = load i32*, i32** %4
%9 = call i32 @bn_check_top(i32* %8)
%10 = load i32*, i32** %5
%11 = call i32 @bn_check_top(i32* %10)
br label %12
12: ; preds = %101, %2
%13 = load i32*, i32** %5
%14 = call i32 @BN_is_zero(i32* %13)
%15 = icmp ne i32 %14, 0
%16 = xor i1 %15, true
br i1 %16, label %17, label %102
17: ; preds = %12
%18 = load i32*, i32** %4
%19 = call i64 @BN_is_odd(i32* %18)
%20 = icmp ne i64 %19, 0
br i1 %20, label %21, label %65
21: ; preds = %17
%22 = load i32*, i32** %5
%23 = call i64 @BN_is_odd(i32* %22)
%24 = icmp ne i64 %23, 0
br i1 %24, label %25, label %48
25: ; preds = %21
%26 = load i32*, i32** %4
%27 = load i32*, i32** %4
%28 = load i32*, i32** %5
%29 = call i32 @BN_sub(i32* %26, i32* %27, i32* %28)
%30 = icmp ne i32 %29, 0
br i1 %30, label %32, label %31
31: ; preds = %25
br label %117
32: ; preds = %25
%33 = load i32*, i32** %4
%34 = load i32*, i32** %4
%35 = call i32 @BN_rshift1(i32* %33, i32* %34)
%36 = icmp ne i32 %35, 0
br i1 %36, label %38, label %37
37: ; preds = %32
br label %117
38: ; preds = %32
%39 = load i32*, i32** %4
%40 = load i32*, i32** %5
%41 = call i64 @BN_cmp(i32* %39, i32* %40)
%42 = icmp slt i64 %41, 0
br i1 %42, label %43, label %47
43: ; preds = %38
%44 = load i32*, i32** %4
store i32* %44, i32** %6
%45 = load i32*, i32** %5
store i32* %45, i32** %4
%46 = load i32*, i32** %6
store i32* %46, i32** %5
br label %47
47: ; preds = %43, %38
br label %64
48: ; preds = %21
%49 = load i32*, i32** %5
%50 = load i32*, i32** %5
%51 = call i32 @BN_rshift1(i32* %49, i32* %50)
%52 = icmp ne i32 %51, 0
br i1 %52, label %54, label %53
53: ; preds = %48
br label %117
54: ; preds = %48
%55 = load i32*, i32** %4
%56 = load i32*, i32** %5
%57 = call i64 @BN_cmp(i32* %55, i32* %56)
%58 = icmp slt i64 %57, 0
br i1 %58, label %59, label %63
59: ; preds = %54
%60 = load i32*, i32** %4
store i32* %60, i32** %6
%61 = load i32*, i32** %5
store i32* %61, i32** %4
%62 = load i32*, i32** %6
store i32* %62, i32** %5
br label %63
63: ; preds = %59, %54
br label %64
64: ; preds = %63, %47
br label %101
65: ; preds = %17
%66 = load i32*, i32** %5
%67 = call i64 @BN_is_odd(i32* %66)
%68 = icmp ne i64 %67, 0
br i1 %68, label %69, label %85
69: ; preds = %65
%70 = load i32*, i32** %4
%71 = load i32*, i32** %4
%72 = call i32 @BN_rshift1(i32* %70, i32* %71)
%73 = icmp ne i32 %72, 0
br i1 %73, label %75, label %74
74: ; preds = %69
br label %117
75: ; preds = %69
%76 = load i32*, i32** %4
%77 = load i32*, i32** %5
%78 = call i64 @BN_cmp(i32* %76, i32* %77)
%79 = icmp slt i64 %78, 0
br i1 %79, label %80, label %84
80: ; preds = %75
%81 = load i32*, i32** %4
store i32* %81, i32** %6
%82 = load i32*, i32** %5
store i32* %82, i32** %4
%83 = load i32*, i32** %6
store i32* %83, i32** %5
br label %84
84: ; preds = %80, %75
br label %100
85: ; preds = %65
%86 = load i32*, i32** %4
%87 = load i32*, i32** %4
%88 = call i32 @BN_rshift1(i32* %86, i32* %87)
%89 = icmp ne i32 %88, 0
br i1 %89, label %91, label %90
90: ; preds = %85
br label %117
91: ; preds = %85
%92 = load i32*, i32** %5
%93 = load i32*, i32** %5
%94 = call i32 @BN_rshift1(i32* %92, i32* %93)
%95 = icmp ne i32 %94, 0
br i1 %95, label %97, label %96
96: ; preds = %91
br label %117
97: ; preds = %91
%98 = load i32, i32* %7
%99 = add nsw i32 %98, 1
store i32 %99, i32* %7
br label %100
100: ; preds = %97, %84
br label %101
101: ; preds = %100, %64
br label %12
102: ; preds = %12
%103 = load i32, i32* %7
%104 = icmp ne i32 %103, 0
br i1 %104, label %105, label %113
105: ; preds = %102
%106 = load i32*, i32** %4
%107 = load i32*, i32** %4
%108 = load i32, i32* %7
%109 = call i32 @BN_lshift(i32* %106, i32* %107, i32 %108)
%110 = icmp ne i32 %109, 0
br i1 %110, label %112, label %111
111: ; preds = %105
br label %117
112: ; preds = %105
br label %113
113: ; preds = %112, %102
%114 = load i32*, i32** %4
%115 = call i32 @bn_check_top(i32* %114)
%116 = load i32*, i32** %4
store i32* %116, i32** %3
br label %118
117: ; preds = %111, %96, %90, %74, %53, %37, %31
store i32* null, i32** %3
br label %118
118: ; preds = %117, %113
%119 = load i32*, i32** %3
ret i32* %119
}

LLVM IR (-O2):
define i32* @euclid(i32* %0, i32* %1) {
%3 = tail call i32 @bn_check_top(i32* %0)
%4 = tail call i32 @bn_check_top(i32* %1)
%5 = tail call i32 @BN_is_zero(i32* %1)
%6 = icmp eq i32 %5, 0
br i1 %6, label %7, label %61
7: ; preds = %2, %50
%8 = phi i32 [ %53, %50 ], [ 0, %2 ]
%9 = phi i32* [ %52, %50 ], [ %1, %2 ]
%10 = phi i32* [ %51, %50 ], [ %0, %2 ]
%11 = tail call i64 @BN_is_odd(i32* %10)
%12 = icmp eq i64 %11, 0
%13 = tail call i64 @BN_is_odd(i32* %9)
%14 = icmp eq i64 %13, 0
br i1 %12, label %35, label %15
15: ; preds = %7
br i1 %14, label %27, label %16
16: ; preds = %15
%17 = tail call i32 @BN_sub(i32* %10, i32* %10, i32* %9)
%18 = icmp eq i32 %17, 0
br i1 %18, label %64, label %19
19: ; preds = %16
%20 = tail call i32 @BN_rshift1(i32* %10, i32* %10)
%21 = icmp eq i32 %20, 0
br i1 %21, label %64, label %22
22: ; preds = %19
%23 = tail call i64 @BN_cmp(i32* %10, i32* %9)
%24 = icmp slt i64 %23, 0
%25 = select i1 %24, i32* %9, i32* %10
%26 = select i1 %24, i32* %10, i32* %9
br label %50
27: ; preds = %15
%28 = tail call i32 @BN_rshift1(i32* %9, i32* %9)
%29 = icmp eq i32 %28, 0
br i1 %29, label %64, label %30
30: ; preds = %27
%31 = tail call i64 @BN_cmp(i32* %10, i32* %9)
%32 = icmp slt i64 %31, 0
%33 = select i1 %32, i32* %9, i32* %10
%34 = select i1 %32, i32* %10, i32* %9
br label %50
35: ; preds = %7
%36 = tail call i32 @BN_rshift1(i32* %10, i32* %10)
%37 = icmp eq i32 %36, 0
br i1 %14, label %44, label %38
38: ; preds = %35
br i1 %37, label %64, label %39
39: ; preds = %38
%40 = tail call i64 @BN_cmp(i32* %10, i32* %9)
%41 = icmp slt i64 %40, 0
%42 = select i1 %41, i32* %9, i32* %10
%43 = select i1 %41, i32* %10, i32* %9
br label %50
44: ; preds = %35
br i1 %37, label %64, label %45
45: ; preds = %44
%46 = tail call i32 @BN_rshift1(i32* %9, i32* %9)
%47 = icmp eq i32 %46, 0
br i1 %47, label %64, label %48
48: ; preds = %45
%49 = add nsw i32 %8, 1
br label %50
50: ; preds = %39, %30, %22, %48
%51 = phi i32* [ %10, %48 ], [ %25, %22 ], [ %33, %30 ], [ %42, %39 ]
%52 = phi i32* [ %9, %48 ], [ %26, %22 ], [ %34, %30 ], [ %43, %39 ]
%53 = phi i32 [ %49, %48 ], [ %8, %22 ], [ %8, %30 ], [ %8, %39 ]
%54 = tail call i32 @BN_is_zero(i32* %52)
%55 = icmp eq i32 %54, 0
br i1 %55, label %7, label %56
56: ; preds = %50
%57 = icmp eq i32 %53, 0
br i1 %57, label %61, label %58
58: ; preds = %56
%59 = tail call i32 @BN_lshift(i32* %51, i32* %51, i32 %53)
%60 = icmp eq i32 %59, 0
br i1 %60, label %64, label %61
61: ; preds = %2, %58, %56
%62 = phi i32* [ %51, %58 ], [ %51, %56 ], [ %0, %2 ]
%63 = tail call i32 @bn_check_top(i32* %62)
br label %64
64: ; preds = %16, %19, %27, %38, %44, %45, %58, %61
%65 = phi i32* [ %62, %61 ], [ null, %58 ], [ null, %45 ], [ null, %44 ], [ null, %38 ], [ null, %27 ], [ null, %19 ], [ null, %16 ]
ret i32* %65
}