int primitiveSmallInteger_GreaterThanOrEqual_(int receiver, int *arguments) {
  if ((receiver & 1) && (arguments[0] & 1)) {
    return ((receiver & 0x80000000)
                ? (((-1 << 31) | receiver) >> 1)
                : (receiver >> 1)) >= ((arguments[0] & 0x80000000)
                                           ? (((-1 << 31) | arguments[0]) >> 1)
                                           : (arguments[0] >> 1))
               ? (10 << 2)
               : (20 << 2);
  }
  return (1 << 2);
}


x86 assembly (clang, -O0):
<primitiveSmallInteger_GreaterThanOrEqual_>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    -0x8(%rbp),%eax
and    $0x1,%eax
cmp    $0x0,%eax
je     11b2 <primitiveSmallInteger_GreaterThanOrEqual_+0xb2>
mov    -0x10(%rbp),%rax
mov    (%rax),%eax
and    $0x1,%eax
cmp    $0x0,%eax
je     11b2 <primitiveSmallInteger_GreaterThanOrEqual_+0xb2>
mov    -0x8(%rbp),%eax
and    $0x80000000,%eax
cmp    $0x0,%eax
je     1150 <primitiveSmallInteger_GreaterThanOrEqual_+0x50>
mov    -0x8(%rbp),%eax
or     $0x80000000,%eax
sar    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1159 <primitiveSmallInteger_GreaterThanOrEqual_+0x59>
mov    -0x8(%rbp),%eax
sar    $0x1,%eax
mov    %eax,-0x14(%rbp)
mov    -0x14(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x10(%rbp),%rax
mov    (%rax),%eax
and    $0x80000000,%eax
cmp    $0x0,%eax
je     1189 <primitiveSmallInteger_GreaterThanOrEqual_+0x89>
mov    -0x10(%rbp),%rax
mov    (%rax),%eax
or     $0x80000000,%eax
sar    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1195 <primitiveSmallInteger_GreaterThanOrEqual_+0x95>
mov    -0x10(%rbp),%rax
mov    (%rax),%eax
sar    $0x1,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x18(%rbp),%edx
mov    -0x1c(%rbp),%esi
mov    $0x50,%eax
mov    $0x28,%ecx
cmp    %esi,%edx
cmovge %ecx,%eax
mov    %eax,-0x4(%rbp)
jmp    11b9 <primitiveSmallInteger_GreaterThanOrEqual_+0xb9>
movl   $0x4,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<primitiveSmallInteger_GreaterThanOrEqual_>:
mov    $0x4,%eax
test   $0x1,%dil
je     1125 <primitiveSmallInteger_GreaterThanOrEqual_+0x25>
mov    (%rsi),%ecx
test   $0x1,%cl
je     1125 <primitiveSmallInteger_GreaterThanOrEqual_+0x25>
sar    %edi
sar    %ecx
cmp    %ecx,%edi
mov    $0x50,%ecx
mov    $0x28,%eax
cmovl  %ecx,%eax
ret

LLVM IR (-O0):
define i32 @primitiveSmallInteger_GreaterThanOrEqual_(i32 %0, i32* %1) {
%3 = alloca i32
%4 = alloca i32
%5 = alloca i32*
store i32 %0, i32* %4
store i32* %1, i32** %5
%6 = load i32, i32* %4
%7 = and i32 %6, 1
%8 = icmp ne i32 %7, 0
br i1 %8, label %9, label %49
9: ; preds = %2
%10 = load i32*, i32** %5
%11 = getelementptr inbounds i32, i32* %10, i64 0
%12 = load i32, i32* %11
%13 = and i32 %12, 1
%14 = icmp ne i32 %13, 0
br i1 %14, label %15, label %49
15: ; preds = %9
%16 = load i32, i32* %4
%17 = and i32 %16, -2147483648
%18 = icmp ne i32 %17, 0
br i1 %18, label %19, label %23
19: ; preds = %15
%20 = load i32, i32* %4
%21 = or i32 -2147483648, %20
%22 = ashr i32 %21, 1
br label %26
23: ; preds = %15
%24 = load i32, i32* %4
%25 = ashr i32 %24, 1
br label %26
26: ; preds = %23, %19
%27 = phi i32 [ %22, %19 ], [ %25, %23 ]
%28 = load i32*, i32** %5
%29 = getelementptr inbounds i32, i32* %28, i64 0
%30 = load i32, i32* %29
%31 = and i32 %30, -2147483648
%32 = icmp ne i32 %31, 0
br i1 %32, label %33, label %39
33: ; preds = %26
%34 = load i32*, i32** %5
%35 = getelementptr inbounds i32, i32* %34, i64 0
%36 = load i32, i32* %35
%37 = or i32 -2147483648, %36
%38 = ashr i32 %37, 1
br label %44
39: ; preds = %26
%40 = load i32*, i32** %5
%41 = getelementptr inbounds i32, i32* %40, i64 0
%42 = load i32, i32* %41
%43 = ashr i32 %42, 1
br label %44
44: ; preds = %39, %33
%45 = phi i32 [ %38, %33 ], [ %43, %39 ]
%46 = icmp sge i32 %27, %45
%47 = zext i1 %46 to i64
%48 = select i1 %46, i32 40, i32 80
store i32 %48, i32* %3
br label %50
49: ; preds = %9, %2
store i32 4, i32* %3
br label %50
50: ; preds = %49, %44
%51 = load i32, i32* %3
ret i32 %51
}

LLVM IR (-O2):
define i32 @primitiveSmallInteger_GreaterThanOrEqual_(i32 %0, i32* nocapture %1) {
%3 = and i32 %0, 1
%4 = icmp eq i32 %3, 0
br i1 %4, label %14, label %5
5: ; preds = %2
%6 = load i32, i32* %1
%7 = and i32 %6, 1
%8 = icmp eq i32 %7, 0
br i1 %8, label %14, label %9
9: ; preds = %5
%10 = ashr i32 %0, 1
%11 = ashr i32 %6, 1
%12 = icmp slt i32 %10, %11
%13 = select i1 %12, i32 80, i32 40
br label %14
14: ; preds = %2, %5, %9
%15 = phi i32 [ %13, %9 ], [ 4, %5 ], [ 4, %2 ]
ret i32 %15
}