#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 */
size_t buffer_lcm(size_t a, size_t b, size_t lcm_max) {
  size_t lcm, m, n, q, r;
  if (!a)
    return b ? b : 8 * 1024;
  if (!b)
    return a;
  for (m = a, n = b; (r = m % n) != 0; m = n, n = r)
    continue;
  q = a / n;
  lcm = q * b;
  return lcm <= lcm_max && lcm / b == q ? lcm : a;
}


x86 assembly (clang, -O0):
<buffer_lcm>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
cmpq   $0x0,-0x10(%rbp)
jne    114e <buffer_lcm+0x4e>
cmpq   $0x0,-0x18(%rbp)
je     1133 <buffer_lcm+0x33>
mov    -0x18(%rbp),%rax
mov    %rax,-0x50(%rbp)
jmp    1141 <buffer_lcm+0x41>
mov    $0x2000,%eax
mov    %rax,-0x50(%rbp)
jmp    1141 <buffer_lcm+0x41>
mov    -0x50(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    1208 <buffer_lcm+0x108>
cmpq   $0x0,-0x18(%rbp)
jne    1166 <buffer_lcm+0x66>
mov    -0x10(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    1208 <buffer_lcm+0x108>
mov    -0x10(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x18(%rbp),%rax
mov    %rax,-0x38(%rbp)
mov    -0x30(%rbp),%rax
xor    %ecx,%ecx
mov    %ecx,%edx
divq   -0x38(%rbp)
mov    %rdx,-0x48(%rbp)
cmp    $0x0,%rdx
je     11aa <buffer_lcm+0xaa>
jmp    1195 <buffer_lcm+0x95>
mov    -0x38(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x48(%rbp),%rax
mov    %rax,-0x38(%rbp)
jmp    1176 <buffer_lcm+0x76>
mov    -0x10(%rbp),%rax
xor    %ecx,%ecx
mov    %ecx,%edx
divq   -0x38(%rbp)
mov    %rax,-0x40(%rbp)
mov    -0x40(%rbp),%rax
imul   -0x18(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rax
cmp    -0x20(%rbp),%rax
ja     11f8 <buffer_lcm+0xf8>
mov    -0x28(%rbp),%rax
xor    %ecx,%ecx
mov    %ecx,%edx
divq   -0x18(%rbp)
cmp    -0x40(%rbp),%rax
jne    11f8 <buffer_lcm+0xf8>
mov    -0x28(%rbp),%rax
mov    %rax,-0x58(%rbp)
jmp    1200 <buffer_lcm+0x100>
mov    -0x10(%rbp),%rax
mov    %rax,-0x58(%rbp)
mov    -0x58(%rbp),%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<buffer_lcm>:
test   %rdi,%rdi
je     115b <buffer_lcm+0x5b>
test   %rsi,%rsi
je     1182 <buffer_lcm+0x82>
mov    %rdx,%r8
mov    %rsi,%rdx
mov    %rdi,%rax
jmp    112d <buffer_lcm+0x2d>
cs nopw 0x0(%rax,%rax,1)
nop
xor    %edx,%edx
div    %rcx
mov    %rcx,%rax
test   %rdx,%rdx
je     1142 <buffer_lcm+0x42>
mov    %rdx,%rcx
mov    %rax,%rdx
or     %rcx,%rdx
shr    $0x20,%rdx
jne    1120 <buffer_lcm+0x20>
xor    %edx,%edx
div    %ecx
jmp    1125 <buffer_lcm+0x25>
mov    %rdi,%rax
or     %rcx,%rax
shr    $0x20,%rax
je     1168 <buffer_lcm+0x68>
mov    %rdi,%rax
xor    %edx,%edx
div    %rcx
mov    %rax,%rcx
jmp    1170 <buffer_lcm+0x70>
test   %rsi,%rsi
mov    $0x2000,%eax
cmovne %rsi,%rax
ret
mov    %edi,%eax
xor    %edx,%edx
div    %ecx
mov    %eax,%ecx
mov    %rsi,%rax
mul    %rcx
seto   %cl
cmp    %r8,%rax
ja     1182 <buffer_lcm+0x82>
test   %cl,%cl
je     1185 <buffer_lcm+0x85>
mov    %rdi,%rax
ret

LLVM IR (-O0):
define i64 @buffer_lcm(i64 %0, i64 %1, i64 %2) {
%4 = alloca i64
%5 = alloca i64
%6 = alloca i64
%7 = alloca i64
%8 = alloca i64
%9 = alloca i64
%10 = alloca i64
%11 = alloca i64
%12 = alloca i64
store i64 %0, i64* %5
store i64 %1, i64* %6
store i64 %2, i64* %7
%13 = load i64, i64* %5
%14 = icmp ne i64 %13, 0
br i1 %14, label %23, label %15
15: ; preds = %3
%16 = load i64, i64* %6
%17 = icmp ne i64 %16, 0
br i1 %17, label %18, label %20
18: ; preds = %15
%19 = load i64, i64* %6
br label %21
20: ; preds = %15
br label %21
21: ; preds = %20, %18
%22 = phi i64 [ %19, %18 ], [ 8192, %20 ]
store i64 %22, i64* %4
br label %62
23: ; preds = %3
%24 = load i64, i64* %6
%25 = icmp ne i64 %24, 0
br i1 %25, label %28, label %26
26: ; preds = %23
%27 = load i64, i64* %5
store i64 %27, i64* %4
br label %62
28: ; preds = %23
%29 = load i64, i64* %5
store i64 %29, i64* %9
%30 = load i64, i64* %6
store i64 %30, i64* %10
br label %31
31: ; preds = %37, %28
%32 = load i64, i64* %9
%33 = load i64, i64* %10
%34 = urem i64 %32, %33
store i64 %34, i64* %12
%35 = icmp ne i64 %34, 0
br i1 %35, label %36, label %40
36: ; preds = %31
br label %37
37: ; preds = %36
%38 = load i64, i64* %10
store i64 %38, i64* %9
%39 = load i64, i64* %12
store i64 %39, i64* %10
br label %31
40: ; preds = %31
%41 = load i64, i64* %5
%42 = load i64, i64* %10
%43 = udiv i64 %41, %42
store i64 %43, i64* %11
%44 = load i64, i64* %11
%45 = load i64, i64* %6
%46 = mul i64 %44, %45
store i64 %46, i64* %8
%47 = load i64, i64* %8
%48 = load i64, i64* %7
%49 = icmp ule i64 %47, %48
br i1 %49, label %50, label %58
50: ; preds = %40
%51 = load i64, i64* %8
%52 = load i64, i64* %6
%53 = udiv i64 %51, %52
%54 = load i64, i64* %11
%55 = icmp eq i64 %53, %54
br i1 %55, label %56, label %58
56: ; preds = %50
%57 = load i64, i64* %8
br label %60
58: ; preds = %50, %40
%59 = load i64, i64* %5
br label %60
60: ; preds = %58, %56
%61 = phi i64 [ %57, %56 ], [ %59, %58 ]
store i64 %61, i64* %4
br label %62
62: ; preds = %60, %26, %21
%63 = load i64, i64* %4
ret i64 %63
}

LLVM IR (-O2):
define i64 @buffer_lcm(i64 %0, i64 %1, i64 %2) {
%4 = icmp eq i64 %0, 0
%5 = icmp eq i64 %1, 0
br i1 %4, label %6, label %8
6: ; preds = %3
%7 = select i1 %5, i64 8192, i64 %1
br label %22
8: ; preds = %3
br i1 %5, label %22, label %9
9: ; preds = %8, %9
%10 = phi i64 [ %12, %9 ], [ %1, %8 ]
%11 = phi i64 [ %10, %9 ], [ %0, %8 ]
%12 = urem i64 %11, %10
%13 = icmp eq i64 %12, 0
br i1 %13, label %14, label %9
14: ; preds = %9
%15 = udiv i64 %0, %10
%16 = tail call { i64, i1 } @llvm.umul.with.overflow.i64(i64 %1, i64 %15)
%17 = extractvalue { i64, i1 } %16, 0
%18 = icmp ugt i64 %17, %2
br i1 %18, label %21, label %19
19: ; preds = %14
%20 = extractvalue { i64, i1 } %16, 1
br i1 %20, label %21, label %22
21: ; preds = %19, %14
br label %22
22: ; preds = %21, %19, %8, %6
%23 = phi i64 [ %7, %6 ], [ %0, %8 ], [ %0, %21 ], [ %17, %19 ]
ret i64 %23
}