#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */

/* Variables and functions */
int /*<<< orphan*/ abort();
unsigned long gcd(unsigned long a, unsigned long b) {
  unsigned long c = a | b;
  c = c ^ (c - 1);
  if (a & c) {
    if (b & c)
      goto odd_odd;
    else
      goto odd_even;
  } else {
    if (b & c)
      goto even_odd;
    else
      abort();
  }
  for (;;) {
  odd_odd:
    if (a == b)
      break;
    if (a > b) {
      a = a - b;
    even_odd:
      do
        a = a >> 1;
      while ((a & c) == 0);
    } else {
      b = b - a;
    odd_even:
      do
        b = b >> 1;
      while ((b & c) == 0);
    }
  }
  return a;
}


x86 assembly (clang, -O0):
<gcd>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    -0x8(%rbp),%rax
or     -0x10(%rbp),%rax
mov    %rax,-0x18(%rbp)
mov    -0x18(%rbp),%rax
mov    -0x18(%rbp),%rcx
sub    $0x1,%rcx
xor    %rcx,%rax
mov    %rax,-0x18(%rbp)
mov    -0x8(%rbp),%rax
and    -0x18(%rbp),%rax
cmp    $0x0,%rax
je     116d <gcd+0x5d>
mov    -0x10(%rbp),%rax
and    -0x18(%rbp),%rax
cmp    $0x0,%rax
je     1168 <gcd+0x58>
jmp    1190 <gcd+0x80>
jmp    11f1 <gcd+0xe1>
mov    -0x10(%rbp),%rax
and    -0x18(%rbp),%rax
cmp    $0x0,%rax
je     1184 <gcd+0x74>
jmp    11bd <gcd+0xad>
mov    $0x0,%al
call   1030 <abort@plt>
jmp    1190 <gcd+0x80>
mov    -0x8(%rbp),%rax
cmp    -0x10(%rbp),%rax
jne    11a3 <gcd+0x93>
jmp    121e <gcd+0x10e>
mov    -0x8(%rbp),%rax
cmp    -0x10(%rbp),%rax
jbe    11e5 <gcd+0xd5>
mov    -0x8(%rbp),%rax
sub    -0x10(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    11c2 <gcd+0xb2>
mov    -0x8(%rbp),%rax
shr    $0x1,%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
and    -0x18(%rbp),%rax
cmp    $0x0,%rax
je     11c2 <gcd+0xb2>
jmp    1219 <gcd+0x109>
mov    -0x10(%rbp),%rax
sub    -0x8(%rbp),%rax
mov    %rax,-0x10(%rbp)
jmp    11f6 <gcd+0xe6>
mov    -0x10(%rbp),%rax
shr    $0x1,%rax
mov    %rax,-0x10(%rbp)
mov    -0x10(%rbp),%rax
and    -0x18(%rbp),%rax
cmp    $0x0,%rax
je     11f6 <gcd+0xe6>
jmp    1219 <gcd+0x109>
jmp    118b <gcd+0x7b>
mov    -0x8(%rbp),%rax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<gcd>:
push   %rax
mov    %rsi,%rcx
or     %rdi,%rcx
lea    -0x1(%rcx),%rax
xor    %rcx,%rax
test   %rdi,%rax
je     112a <gcd+0x1a>
test   %rsi,%rax
jne    1136 <gcd+0x26>
jmp    1160 <gcd+0x50>
test   %rsi,%rax
jne    1150 <gcd+0x40>
xor    %eax,%eax
call   1030 <abort@plt>
mov    %rdi,%rcx
sub    %rsi,%rcx
je     116a <gcd+0x5a>
jbe    115a <gcd+0x4a>
mov    %rcx,%rdi
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
shr    %rdi
test   %rax,%rdi
je     1150 <gcd+0x40>
jmp    1136 <gcd+0x26>
sub    %rdi,%rsi
nopl   (%rax)
shr    %rsi
test   %rax,%rsi
je     1160 <gcd+0x50>
jmp    1136 <gcd+0x26>
mov    %rdi,%rax
pop    %rcx
ret

LLVM IR (-O0):
define i64 @gcd(i64 %0, i64 %1) {
%3 = alloca i64
%4 = alloca i64
%5 = alloca i64
store i64 %0, i64* %3
store i64 %1, i64* %4
%6 = load i64, i64* %3
%7 = load i64, i64* %4
%8 = or i64 %6, %7
store i64 %8, i64* %5
%9 = load i64, i64* %5
%10 = load i64, i64* %5
%11 = sub i64 %10, 1
%12 = xor i64 %9, %11
store i64 %12, i64* %5
%13 = load i64, i64* %3
%14 = load i64, i64* %5
%15 = and i64 %13, %14
%16 = icmp ne i64 %15, 0
br i1 %16, label %17, label %24
17: ; preds = %2
%18 = load i64, i64* %4
%19 = load i64, i64* %5
%20 = and i64 %18, %19
%21 = icmp ne i64 %20, 0
br i1 %21, label %22, label %23
22: ; preds = %17
br label %34
23: ; preds = %17
br label %61
24: ; preds = %2
%25 = load i64, i64* %4
%26 = load i64, i64* %5
%27 = and i64 %25, %26
%28 = icmp ne i64 %27, 0
br i1 %28, label %29, label %30
29: ; preds = %24
br label %47
30: ; preds = %24
%31 = call i32 (...) @abort()
unreachable
32: ; No predecessors!
br label %33
33: ; preds = %71, %32
br label %34
34: ; preds = %33, %22
%35 = load i64, i64* %3
%36 = load i64, i64* %4
%37 = icmp eq i64 %35, %36
br i1 %37, label %38, label %39
38: ; preds = %34
br label %72
39: ; preds = %34
%40 = load i64, i64* %3
%41 = load i64, i64* %4
%42 = icmp ugt i64 %40, %41
br i1 %42, label %43, label %57
43: ; preds = %39
%44 = load i64, i64* %3
%45 = load i64, i64* %4
%46 = sub i64 %44, %45
store i64 %46, i64* %3
br label %47
47: ; preds = %43, %29
br label %48
48: ; preds = %51, %47
%49 = load i64, i64* %3
%50 = lshr i64 %49, 1
store i64 %50, i64* %3
br label %51
51: ; preds = %48
%52 = load i64, i64* %3
%53 = load i64, i64* %5
%54 = and i64 %52, %53
%55 = icmp eq i64 %54, 0
br i1 %55, label %48, label %56
56: ; preds = %51
br label %71
57: ; preds = %39
%58 = load i64, i64* %4
%59 = load i64, i64* %3
%60 = sub i64 %58, %59
store i64 %60, i64* %4
br label %61
61: ; preds = %57, %23
br label %62
62: ; preds = %65, %61
%63 = load i64, i64* %4
%64 = lshr i64 %63, 1
store i64 %64, i64* %4
br label %65
65: ; preds = %62
%66 = load i64, i64* %4
%67 = load i64, i64* %5
%68 = and i64 %66, %67
%69 = icmp eq i64 %68, 0
br i1 %69, label %62, label %70
70: ; preds = %65
br label %71
71: ; preds = %70, %56
br label %33
72: ; preds = %38
%73 = load i64, i64* %3
ret i64 %73
}

LLVM IR (-O2):
define i64 @gcd(i64 %0, i64 %1) {
%3 = or i64 %1, %0
%4 = add i64 %3, -1
%5 = xor i64 %4, %3
%6 = and i64 %5, %0
%7 = icmp eq i64 %6, 0
%8 = and i64 %5, %1
%9 = icmp eq i64 %8, 0
br i1 %7, label %11, label %10
10: ; preds = %2
br i1 %9, label %32, label %14
11: ; preds = %2
br i1 %9, label %12, label %22
12: ; preds = %11
%13 = tail call i32 (...) @abort()
unreachable
14: ; preds = %25, %35, %10
%15 = phi i64 [ %0, %10 ], [ %33, %35 ], [ %27, %25 ]
%16 = phi i64 [ %1, %10 ], [ %37, %35 ], [ %24, %25 ]
%17 = icmp eq i64 %15, %16
br i1 %17, label %40, label %18
18: ; preds = %14
%19 = icmp ugt i64 %15, %16
br i1 %19, label %20, label %30
20: ; preds = %18
%21 = sub i64 %15, %16
br label %22
22: ; preds = %11, %20
%23 = phi i64 [ %21, %20 ], [ %0, %11 ]
%24 = phi i64 [ %16, %20 ], [ %1, %11 ]
br label %25
25: ; preds = %25, %22
%26 = phi i64 [ %23, %22 ], [ %27, %25 ]
%27 = lshr i64 %26, 1
%28 = and i64 %27, %5
%29 = icmp eq i64 %28, 0
br i1 %29, label %25, label %14
30: ; preds = %18
%31 = sub i64 %16, %15
br label %32
32: ; preds = %10, %30
%33 = phi i64 [ %15, %30 ], [ %0, %10 ]
%34 = phi i64 [ %31, %30 ], [ %1, %10 ]
br label %35
35: ; preds = %35, %32
%36 = phi i64 [ %34, %32 ], [ %37, %35 ]
%37 = lshr i64 %36, 1
%38 = and i64 %37, %5
%39 = icmp eq i64 %38, 0
br i1 %39, label %35, label %14
40: ; preds = %14
ret i64 %15
}