#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 INT_MAX;
int __irmodl(long double x) {
  union {
    long double f;
    long i;
    struct {
      int i0, i1;
    };
  } u = {x};
  int sig = u.i1 & 0x80000000;
  int exp = ((u.i1 >> 20) & 0x7FF) - 1023;
  int res;
  if (exp >= 83 || exp < 0)
    return 0;
  if (exp >= 52)
    res = (u.i0 << (exp - 52)) & INT_MAX;
  else {
    u.i1 &= 0x000FFFFF;
    u.i1 |= 0x00100000;
    res = (u.i >> (52 - exp)) & INT_MAX;
  }
  return sig ? -res : res;
}


x86 assembly (clang, -O0):
<__irmodl>:
push   %rbp
mov    %rsp,%rbp
fldt   0x10(%rbp)
fstpt  -0x20(%rbp)
fldt   -0x20(%rbp)
fstpt  -0x30(%rbp)
mov    -0x2c(%rbp),%eax
and    $0x80000000,%eax
mov    %eax,-0x34(%rbp)
mov    -0x2c(%rbp),%eax
sar    $0x14,%eax
and    $0x7ff,%eax
sub    $0x3ff,%eax
mov    %eax,-0x38(%rbp)
cmpl   $0x53,-0x38(%rbp)
jge    1142 <__irmodl+0x42>
cmpl   $0x0,-0x38(%rbp)
jge    114e <__irmodl+0x4e>
movl   $0x0,-0x4(%rbp)
jmp    11ce <__irmodl+0xce>
cmpl   $0x34,-0x38(%rbp)
jl     1174 <__irmodl+0x74>
mov    -0x30(%rbp),%eax
mov    -0x38(%rbp),%ecx
sub    $0x34,%ecx
shl    %cl,%eax
mov    0x2e7e(%rip),%rcx
and    (%rcx),%eax
mov    %eax,-0x3c(%rbp)
jmp    11ab <__irmodl+0xab>
mov    -0x2c(%rbp),%eax
and    $0xfffff,%eax
mov    %eax,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
or     $0x100000,%eax
mov    %eax,-0x2c(%rbp)
mov    -0x30(%rbp),%rax
mov    $0x34,%ecx
sub    -0x38(%rbp),%ecx
mov    %ecx,%ecx
sar    %cl,%rax
mov    0x2e46(%rip),%rcx
movslq (%rcx),%rcx
and    %rcx,%rax
mov    %eax,-0x3c(%rbp)
cmpl   $0x0,-0x34(%rbp)
je     11c2 <__irmodl+0xc2>
xor    %eax,%eax
sub    -0x3c(%rbp),%eax
mov    %eax,-0x40(%rbp)
jmp    11c8 <__irmodl+0xc8>
mov    -0x3c(%rbp),%eax
mov    %eax,-0x40(%rbp)
mov    -0x40(%rbp),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<__irmodl>:
mov    0x8(%rsp),%rdx
mov    %rdx,%rcx
shr    $0x34,%rcx
and    $0x7ff,%ecx
lea    -0x452(%rcx),%esi
xor    %eax,%eax
cmp    $0xffffffad,%esi
jb     1165 <__irmodl+0x65>
mov    %rdx,%rsi
shr    $0x20,%rsi
cmp    $0x433,%ecx
jb     1135 <__irmodl+0x35>
add    $0xcd,%cl
shl    %cl,%edx
jmp    1153 <__irmodl+0x53>
mov    %esi,%eax
and    $0xfffff,%eax
or     $0x100000,%eax
shl    $0x20,%rax
mov    %edx,%edx
or     %rax,%rdx
mov    $0x33,%al
sub    %cl,%al
mov    %eax,%ecx
shr    %cl,%rdx
mov    0x2e8e(%rip),%rax
and    (%rax),%edx
mov    %edx,%eax
neg    %eax
test   %esi,%esi
cmovns %edx,%eax
ret

LLVM IR (-O0):
%union.anon = type { x86_fp80 }
%struct.anon = type { i32, i32 }
@INT_MAX = global i32 0
define i32 @__irmodl(x86_fp80 %0) {
%2 = alloca i32
%3 = alloca x86_fp80
%4 = alloca %union.anon
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
store x86_fp80 %0, x86_fp80* %3
%8 = bitcast %union.anon* %4 to x86_fp80*
%9 = load x86_fp80, x86_fp80* %3
store x86_fp80 %9, x86_fp80* %8
%10 = bitcast %union.anon* %4 to %struct.anon*
%11 = getelementptr inbounds %struct.anon, %struct.anon* %10, i32 0, i32 1
%12 = load i32, i32* %11
%13 = and i32 %12, -2147483648
store i32 %13, i32* %5
%14 = bitcast %union.anon* %4 to %struct.anon*
%15 = getelementptr inbounds %struct.anon, %struct.anon* %14, i32 0, i32 1
%16 = load i32, i32* %15
%17 = ashr i32 %16, 20
%18 = and i32 %17, 2047
%19 = sub nsw i32 %18, 1023
store i32 %19, i32* %6
%20 = load i32, i32* %6
%21 = icmp sge i32 %20, 83
br i1 %21, label %25, label %22
22: ; preds = %1
%23 = load i32, i32* %6
%24 = icmp slt i32 %23, 0
br i1 %24, label %25, label %26
25: ; preds = %22, %1
store i32 0, i32* %2
br label %67
26: ; preds = %22
%27 = load i32, i32* %6
%28 = icmp sge i32 %27, 52
br i1 %28, label %29, label %38
29: ; preds = %26
%30 = bitcast %union.anon* %4 to %struct.anon*
%31 = getelementptr inbounds %struct.anon, %struct.anon* %30, i32 0, i32 0
%32 = load i32, i32* %31
%33 = load i32, i32* %6
%34 = sub nsw i32 %33, 52
%35 = shl i32 %32, %34
%36 = load i32, i32* @INT_MAX
%37 = and i32 %35, %36
store i32 %37, i32* %7
br label %57
38: ; preds = %26
%39 = bitcast %union.anon* %4 to %struct.anon*
%40 = getelementptr inbounds %struct.anon, %struct.anon* %39, i32 0, i32 1
%41 = load i32, i32* %40
%42 = and i32 %41, 1048575
store i32 %42, i32* %40
%43 = bitcast %union.anon* %4 to %struct.anon*
%44 = getelementptr inbounds %struct.anon, %struct.anon* %43, i32 0, i32 1
%45 = load i32, i32* %44
%46 = or i32 %45, 1048576
store i32 %46, i32* %44
%47 = bitcast %union.anon* %4 to i64*
%48 = load i64, i64* %47
%49 = load i32, i32* %6
%50 = sub nsw i32 52, %49
%51 = zext i32 %50 to i64
%52 = ashr i64 %48, %51
%53 = load i32, i32* @INT_MAX
%54 = sext i32 %53 to i64
%55 = and i64 %52, %54
%56 = trunc i64 %55 to i32
store i32 %56, i32* %7
br label %57
57: ; preds = %38, %29
%58 = load i32, i32* %5
%59 = icmp ne i32 %58, 0
br i1 %59, label %60, label %63
60: ; preds = %57
%61 = load i32, i32* %7
%62 = sub nsw i32 0, %61
br label %65
63: ; preds = %57
%64 = load i32, i32* %7
br label %65
65: ; preds = %63, %60
%66 = phi i32 [ %62, %60 ], [ %64, %63 ]
store i32 %66, i32* %2
br label %67
67: ; preds = %65, %25
%68 = load i32, i32* %2
ret i32 %68
}

LLVM IR (-O2):
@INT_MAX = global i32 0
define i32 @__irmodl(x86_fp80 %0) {
%2 = bitcast x86_fp80 %0 to i80
%3 = lshr i80 %2, 32
%4 = trunc i80 %3 to i32
%5 = lshr i32 %4, 20
%6 = and i32 %5, 2047
%7 = add nsw i32 %6, -1106
%8 = icmp ult i32 %7, -83
br i1 %8, label %36, label %9
9: ; preds = %1
%10 = icmp ugt i32 %6, 1074
br i1 %10, label %11, label %17
11: ; preds = %9
%12 = trunc i80 %2 to i32
%13 = add nsw i32 %6, -1075
%14 = shl i32 %12, %13
%15 = load i32, i32* @INT_MAX
%16 = and i32 %15, %14
br label %31
17: ; preds = %9
%18 = and i32 %4, 1048575
%19 = or i32 %18, 1048576
%20 = zext i32 %19 to i80
%21 = shl nuw nsw i80 %20, 32
%22 = and i80 %2, 4294967295
%23 = or i80 %21, %22
%24 = trunc i80 %23 to i64
%25 = sub nuw nsw i32 1075, %6
%26 = zext i32 %25 to i64
%27 = lshr i64 %24, %26
%28 = load i32, i32* @INT_MAX
%29 = trunc i64 %27 to i32
%30 = and i32 %28, %29
br label %31
31: ; preds = %17, %11
%32 = phi i32 [ %16, %11 ], [ %30, %17 ]
%33 = icmp sgt i32 %4, -1
%34 = sub nsw i32 0, %32
%35 = select i1 %33, i32 %32, i32 %34
br label %36
36: ; preds = %1, %31
%37 = phi i32 [ %35, %31 ], [ 0, %1 ]
ret i32 %37
}