long TR_euklidGcd(register long val1, register long val2) {
  register long mod;
  if (val2 > val1)
    ((val1) ^= (val2), (val2) ^= (val1), (val1) ^= (val2));
  mod = val1 % val2;
  while (mod != 0) {
    val1 = val2;
    val2 = mod;
    mod = val1 % val2;
  }
  return val2;
}


x86 assembly (clang, -O0):
<TR_euklidGcd>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    -0x10(%rbp),%rax
cmp    -0x8(%rbp),%rax
jle    113e <TR_euklidGcd+0x3e>
mov    -0x10(%rbp),%rax
xor    -0x8(%rbp),%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
xor    -0x10(%rbp),%rax
mov    %rax,-0x10(%rbp)
mov    -0x10(%rbp),%rax
xor    -0x8(%rbp),%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
cqto
idivq  -0x10(%rbp)
mov    %rdx,-0x18(%rbp)
cmpq   $0x0,-0x18(%rbp)
je     117a <TR_euklidGcd+0x7a>
mov    -0x10(%rbp),%rax
mov    %rax,-0x8(%rbp)
mov    -0x18(%rbp),%rax
mov    %rax,-0x10(%rbp)
mov    -0x8(%rbp),%rax
cqto
idivq  -0x10(%rbp)
mov    %rdx,-0x18(%rbp)
jmp    114c <TR_euklidGcd+0x4c>
mov    -0x10(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<TR_euklidGcd>:
cmp    %rdi,%rsi
mov    %rdi,%rax
cmovg  %rsi,%rax
cmovg  %rdi,%rsi
mov    %rax,%rcx
or     %rsi,%rcx
shr    $0x20,%rcx
je     1126 <TR_euklidGcd+0x26>
cqto
idiv   %rsi
test   %rdx,%rdx
jne    1150 <TR_euklidGcd+0x50>
jmp    112f <TR_euklidGcd+0x2f>
xor    %edx,%edx
div    %esi
test   %rdx,%rdx
jne    1150 <TR_euklidGcd+0x50>
mov    %rsi,%rax
ret
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
mov    %rsi,%rax
cqto
idiv   %rcx
mov    %rcx,%rsi
test   %rdx,%rdx
je     1167 <TR_euklidGcd+0x67>
mov    %rdx,%rcx
mov    %rsi,%rax
or     %rdx,%rax
shr    $0x20,%rax
jne    1140 <TR_euklidGcd+0x40>
mov    %esi,%eax
xor    %edx,%edx
div    %ecx
jmp    1148 <TR_euklidGcd+0x48>
mov    %rcx,%rax
ret

LLVM IR (-O0):
define i64 @TR_euklidGcd(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* %4
%7 = load i64, i64* %3
%8 = icmp sgt i64 %6, %7
br i1 %8, label %9, label %19
9: ; preds = %2
%10 = load i64, i64* %4
%11 = load i64, i64* %3
%12 = xor i64 %11, %10
store i64 %12, i64* %3
%13 = load i64, i64* %3
%14 = load i64, i64* %4
%15 = xor i64 %14, %13
store i64 %15, i64* %4
%16 = load i64, i64* %4
%17 = load i64, i64* %3
%18 = xor i64 %17, %16
store i64 %18, i64* %3
br label %19
19: ; preds = %9, %2
%20 = load i64, i64* %3
%21 = load i64, i64* %4
%22 = srem i64 %20, %21
store i64 %22, i64* %5
br label %23
23: ; preds = %26, %19
%24 = load i64, i64* %5
%25 = icmp ne i64 %24, 0
br i1 %25, label %26, label %32
26: ; preds = %23
%27 = load i64, i64* %4
store i64 %27, i64* %3
%28 = load i64, i64* %5
store i64 %28, i64* %4
%29 = load i64, i64* %3
%30 = load i64, i64* %4
%31 = srem i64 %29, %30
store i64 %31, i64* %5
br label %23
32: ; preds = %23
%33 = load i64, i64* %4
ret i64 %33
}

LLVM IR (-O2):
define i64 @TR_euklidGcd(i64 %0, i64 %1) {
%3 = icmp sgt i64 %1, %0
%4 = select i1 %3, i64 %1, i64 %0
%5 = select i1 %3, i64 %0, i64 %1
%6 = srem i64 %4, %5
%7 = icmp eq i64 %6, 0
br i1 %7, label %13, label %8
8: ; preds = %2, %8
%9 = phi i64 [ %11, %8 ], [ %6, %2 ]
%10 = phi i64 [ %9, %8 ], [ %5, %2 ]
%11 = srem i64 %10, %9
%12 = icmp eq i64 %11, 0
br i1 %12, label %13, label %8
13: ; preds = %8, %2
%14 = phi i64 [ %5, %2 ], [ %9, %8 ]
ret i64 %14
}