#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 __irmod(double x) {
  union {
    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):
<__irmod>:
push   %rbp
mov    %rsp,%rbp
movsd  %xmm0,-0x10(%rbp)
movsd  -0x10(%rbp),%xmm0
movsd  %xmm0,-0x18(%rbp)
mov    -0x14(%rbp),%eax
and    $0x80000000,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x14(%rbp),%eax
sar    $0x14,%eax
and    $0x7ff,%eax
sub    $0x3ff,%eax
mov    %eax,-0x20(%rbp)
cmpl   $0x53,-0x20(%rbp)
jge    1145 <__irmod+0x45>
cmpl   $0x0,-0x20(%rbp)
jge    1151 <__irmod+0x51>
movl   $0x0,-0x4(%rbp)
jmp    11d1 <__irmod+0xd1>
cmpl   $0x34,-0x20(%rbp)
jl     1177 <__irmod+0x77>
mov    -0x18(%rbp),%eax
mov    -0x20(%rbp),%ecx
sub    $0x34,%ecx
shl    %cl,%eax
mov    0x2e7b(%rip),%rcx
and    (%rcx),%eax
mov    %eax,-0x24(%rbp)
jmp    11ae <__irmod+0xae>
mov    -0x14(%rbp),%eax
and    $0xfffff,%eax
mov    %eax,-0x14(%rbp)
mov    -0x14(%rbp),%eax
or     $0x100000,%eax
mov    %eax,-0x14(%rbp)
mov    -0x18(%rbp),%rax
mov    $0x34,%ecx
sub    -0x20(%rbp),%ecx
mov    %ecx,%ecx
sar    %cl,%rax
mov    0x2e43(%rip),%rcx
movslq (%rcx),%rcx
and    %rcx,%rax
mov    %eax,-0x24(%rbp)
cmpl   $0x0,-0x1c(%rbp)
je     11c5 <__irmod+0xc5>
xor    %eax,%eax
sub    -0x24(%rbp),%eax
mov    %eax,-0x28(%rbp)
jmp    11cb <__irmod+0xcb>
mov    -0x24(%rbp),%eax
mov    %eax,-0x28(%rbp)
mov    -0x28(%rbp),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<__irmod>:
movq   %xmm0,%rdx
mov    %rdx,%rcx
shr    $0x34,%rcx
and    $0x7ff,%ecx
lea    -0x452(%rcx),%esi
xor    %eax,%eax
cmp    $0xffffffad,%esi
jb     1163 <__irmod+0x63>
cmp    $0x433,%ecx
jb     1130 <__irmod+0x30>
add    $0xcd,%cl
mov    %edx,%esi
shl    %cl,%esi
jmp    1150 <__irmod+0x50>
movabs $0xfffffffffffff,%rax
mov    %rdx,%rsi
and    %rax,%rsi
add    %rax,%rsi
add    $0x1,%rsi
mov    $0x33,%al
sub    %cl,%al
mov    %eax,%ecx
shr    %cl,%rsi
mov    0x2e91(%rip),%rax
and    (%rax),%esi
mov    %esi,%eax
neg    %eax
test   %rdx,%rdx
cmovns %esi,%eax
ret

LLVM IR (-O0):
%union.anon = type { double }
%struct.anon = type { i32, i32 }
@INT_MAX = global i32 0
define i32 @__irmod(double %0) {
%2 = alloca i32
%3 = alloca double
%4 = alloca %union.anon
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
store double %0, double* %3
%8 = bitcast %union.anon* %4 to double*
%9 = load double, double* %3
store double %9, double* %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 @__irmod(double %0) {
%2 = bitcast double %0 to i64
%3 = lshr i64 %2, 52
%4 = trunc i64 %3 to i32
%5 = and i32 %4, 2047
%6 = add nsw i32 %5, -1106
%7 = icmp ult i32 %6, -83
br i1 %7, label %30, label %8
8: ; preds = %1
%9 = icmp ugt i32 %5, 1074
br i1 %9, label %10, label %16
10: ; preds = %8
%11 = trunc i64 %2 to i32
%12 = add nsw i32 %5, -1075
%13 = shl i32 %11, %12
%14 = load i32, i32* @INT_MAX
%15 = and i32 %14, %13
br label %25
16: ; preds = %8
%17 = and i64 %2, 4503599627370495
%18 = or i64 %17, 4503599627370496
%19 = sub nuw nsw i32 1075, %5
%20 = zext i32 %19 to i64
%21 = lshr i64 %18, %20
%22 = load i32, i32* @INT_MAX
%23 = trunc i64 %21 to i32
%24 = and i32 %22, %23
br label %25
25: ; preds = %16, %10
%26 = phi i32 [ %15, %10 ], [ %24, %16 ]
%27 = icmp sgt i64 %2, -1
%28 = sub nsw i32 0, %26
%29 = select i1 %27, i32 %26, i32 %28
br label %30
30: ; preds = %1, %25
%31 = phi i32 [ %29, %25 ], [ 0, %1 ]
ret i32 %31
}