int gcd(int a, int b) {
  if (b < a) {
    a += b;
    b = a - b;
    a -= b;
  }
  int i;
  for (i = 1; i <= a / 2; ++i)
    if ((a % i == 0) && ((b * i) % a == 0))
      return a / i;
  return 1;
}


x86 assembly (clang, -O0):
<gcd>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    -0xc(%rbp),%eax
cmp    -0x8(%rbp),%eax
jge    1133 <gcd+0x33>
mov    -0xc(%rbp),%eax
add    -0x8(%rbp),%eax
mov    %eax,-0x8(%rbp)
mov    -0x8(%rbp),%eax
sub    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0xc(%rbp),%ecx
mov    -0x8(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x8(%rbp)
movl   $0x1,-0x10(%rbp)
mov    -0x10(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0x8(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
mov    -0x14(%rbp),%eax
cmp    %ecx,%eax
jg     119e <gcd+0x9e>
mov    -0x8(%rbp),%eax
cltd
idivl  -0x10(%rbp)
cmp    $0x0,%edx
jne    118b <gcd+0x8b>
mov    -0xc(%rbp),%eax
imul   -0x10(%rbp),%eax
cltd
idivl  -0x8(%rbp)
cmp    $0x0,%edx
jne    118b <gcd+0x8b>
mov    -0x8(%rbp),%eax
cltd
idivl  -0x10(%rbp)
mov    %eax,-0x4(%rbp)
jmp    11a5 <gcd+0xa5>
jmp    1190 <gcd+0x90>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    113a <gcd+0x3a>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<gcd>:
cmp    %edi,%esi
mov    %edi,%r10d
cmovl  %esi,%r10d
cmovl  %edi,%esi
mov    $0x1,%r8d
cmp    $0x2,%r10d
jl     1158 <gcd+0x58>
mov    %r10d,%r9d
shr    %r9d
neg    %r9d
mov    $0x1,%ecx
mov    %esi,%edi
jmp    1141 <gcd+0x41>
nopw   0x0(%rax,%rax,1)
lea    (%r9,%rcx,1),%eax
add    $0x1,%eax
add    $0x1,%ecx
add    %esi,%edi
cmp    $0x1,%eax
je     115c <gcd+0x5c>
mov    %r10d,%eax
cltd
idiv   %ecx
test   %edx,%edx
jne    1130 <gcd+0x30>
mov    %eax,%r8d
mov    %edi,%eax
cltd
idiv   %r10d
test   %edx,%edx
jne    1130 <gcd+0x30>
mov    %r8d,%eax
ret
mov    $0x1,%r8d
mov    %r8d,%eax
ret

LLVM IR (-O0):
define i32 @gcd(i32 %0, i32 %1) {
%3 = alloca i32
%4 = alloca i32
%5 = alloca i32
%6 = alloca i32
store i32 %0, i32* %4
store i32 %1, i32* %5
%7 = load i32, i32* %5
%8 = load i32, i32* %4
%9 = icmp slt i32 %7, %8
br i1 %9, label %10, label %20
10: ; preds = %2
%11 = load i32, i32* %5
%12 = load i32, i32* %4
%13 = add nsw i32 %12, %11
store i32 %13, i32* %4
%14 = load i32, i32* %4
%15 = load i32, i32* %5
%16 = sub nsw i32 %14, %15
store i32 %16, i32* %5
%17 = load i32, i32* %5
%18 = load i32, i32* %4
%19 = sub nsw i32 %18, %17
store i32 %19, i32* %4
br label %20
20: ; preds = %10, %2
store i32 1, i32* %6
br label %21
21: ; preds = %43, %20
%22 = load i32, i32* %6
%23 = load i32, i32* %4
%24 = sdiv i32 %23, 2
%25 = icmp sle i32 %22, %24
br i1 %25, label %26, label %46
26: ; preds = %21
%27 = load i32, i32* %4
%28 = load i32, i32* %6
%29 = srem i32 %27, %28
%30 = icmp eq i32 %29, 0
br i1 %30, label %31, label %42
31: ; preds = %26
%32 = load i32, i32* %5
%33 = load i32, i32* %6
%34 = mul nsw i32 %32, %33
%35 = load i32, i32* %4
%36 = srem i32 %34, %35
%37 = icmp eq i32 %36, 0
br i1 %37, label %38, label %42
38: ; preds = %31
%39 = load i32, i32* %4
%40 = load i32, i32* %6
%41 = sdiv i32 %39, %40
store i32 %41, i32* %3
br label %47
42: ; preds = %31, %26
br label %43
43: ; preds = %42
%44 = load i32, i32* %6
%45 = add nsw i32 %44, 1
store i32 %45, i32* %6
br label %21
46: ; preds = %21
store i32 1, i32* %3
br label %47
47: ; preds = %46, %38
%48 = load i32, i32* %3
ret i32 %48
}

LLVM IR (-O2):
define i32 @gcd(i32 %0, i32 %1) {
%3 = icmp slt i32 %1, %0
%4 = select i1 %3, i32 %1, i32 %0
%5 = select i1 %3, i32 %0, i32 %1
%6 = icmp slt i32 %4, 2
br i1 %6, label %21, label %7
7: ; preds = %2
%8 = lshr i32 %4, 1
br label %9
9: ; preds = %7, %18
%10 = phi i32 [ %19, %18 ], [ 1, %7 ]
%11 = srem i32 %4, %10
%12 = sdiv i32 %4, %10
%13 = icmp eq i32 %11, 0
br i1 %13, label %14, label %18
14: ; preds = %9
%15 = mul nsw i32 %10, %5
%16 = srem i32 %15, %4
%17 = icmp eq i32 %16, 0
br i1 %17, label %21, label %18
18: ; preds = %9, %14
%19 = add nuw nsw i32 %10, 1
%20 = icmp eq i32 %10, %8
br i1 %20, label %21, label %9
21: ; preds = %18, %14, %2
%22 = phi i32 [ 1, %2 ], [ %12, %14 ], [ 1, %18 ]
ret i32 %22
}