int dayno(int yyyy, int mm, int x, int y) {
  static int daytab[] = {31, 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31};
  int a, b, c;
  a = ((((((mm) + 9) % 12 + 1) * 26 - 2) / 10 + (1) + ((yyyy) % 400 + 400) +
        ((yyyy) % 400 + 400) / 4 - ((yyyy) % 400 + 400) / 100 +
        (((mm) <= 2) ? ((((((yyyy) % 4) == 0) && (((yyyy) % 100) != 0)) ||
                         (((yyyy) % 400) == 0))
                            ? 5
                            : 6)
                     : 0)) %
       7);
  b = x * 7 + y;
  c = daytab[mm - 1];
  if ((mm == 2) &&
      ((((yyyy % 4) == 0) && ((yyyy % 100) != 0)) || ((yyyy % 400) == 0)))
    c++;
  if (b < a)
    return (0);
  if ((b - a) >= c)
    return (0);
  return ((b - a + 1));
}


x86 assembly (clang, -O0):
<dayno>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    %ecx,-0x14(%rbp)
mov    -0xc(%rbp),%eax
add    $0x9,%eax
mov    $0xc,%ecx
cltd
idiv   %ecx
add    $0x1,%edx
imul   $0x1a,%edx,%eax
sub    $0x2,%eax
mov    $0xa,%ecx
cltd
idiv   %ecx
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
mov    -0x8(%rbp),%eax
mov    $0x190,%ecx
cltd
idiv   %ecx
mov    -0x30(%rbp),%eax
add    $0x190,%edx
add    %edx,%eax
mov    %eax,-0x2c(%rbp)
mov    -0x8(%rbp),%eax
mov    $0x190,%ecx
cltd
idiv   %ecx
mov    %edx,%eax
add    $0x190,%eax
mov    $0x4,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
mov    -0x2c(%rbp),%eax
add    %ecx,%eax
mov    %eax,-0x28(%rbp)
mov    -0x8(%rbp),%eax
mov    $0x190,%ecx
cltd
idiv   %ecx
mov    %edx,%eax
add    $0x190,%eax
mov    $0x64,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
mov    -0x28(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x24(%rbp)
cmpl   $0x2,-0xc(%rbp)
jg     11fc <dayno+0xfc>
mov    -0x8(%rbp),%eax
mov    $0x4,%ecx
cltd
idiv   %ecx
cmp    $0x0,%edx
jne    11cd <dayno+0xcd>
mov    -0x8(%rbp),%eax
mov    $0x64,%ecx
cltd
idiv   %ecx
mov    $0x1,%al
cmp    $0x0,%edx
mov    %al,-0x31(%rbp)
jne    11e1 <dayno+0xe1>
mov    -0x8(%rbp),%eax
mov    $0x190,%ecx
cltd
idiv   %ecx
cmp    $0x0,%edx
sete   %al
mov    %al,-0x31(%rbp)
mov    -0x31(%rbp),%dl
mov    $0x6,%eax
mov    $0x5,%ecx
test   $0x1,%dl
cmovne %ecx,%eax
mov    %eax,-0x38(%rbp)
jmp    1206 <dayno+0x106>
xor    %eax,%eax
mov    %eax,-0x38(%rbp)
jmp    1206 <dayno+0x106>
mov    -0x24(%rbp),%eax
mov    -0x38(%rbp),%ecx
add    %ecx,%eax
mov    $0x7,%ecx
cltd
idiv   %ecx
mov    %edx,-0x18(%rbp)
imul   $0x7,-0x10(%rbp),%eax
add    -0x14(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0xc(%rbp),%eax
sub    $0x1,%eax
movslq %eax,%rcx
lea    0x2dfd(%rip),%rax
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x20(%rbp)
cmpl   $0x2,-0xc(%rbp)
jne    1288 <dayno+0x188>
mov    -0x8(%rbp),%eax
mov    $0x4,%ecx
cltd
idiv   %ecx
cmp    $0x0,%edx
jne    126b <dayno+0x16b>
mov    -0x8(%rbp),%eax
mov    $0x64,%ecx
cltd
idiv   %ecx
cmp    $0x0,%edx
jne    127f <dayno+0x17f>
mov    -0x8(%rbp),%eax
mov    $0x190,%ecx
cltd
idiv   %ecx
cmp    $0x0,%edx
jne    1288 <dayno+0x188>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0x18(%rbp),%eax
jge    12a0 <dayno+0x1a0>
movl   $0x0,-0x4(%rbp)
jmp    12c7 <dayno+0x1c7>
mov    -0x1c(%rbp),%eax
sub    -0x18(%rbp),%eax
cmp    -0x20(%rbp),%eax
jl     12bb <dayno+0x1bb>
movl   $0x0,-0x4(%rbp)
jmp    12c7 <dayno+0x1c7>
mov    -0x1c(%rbp),%eax
sub    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<dayno>:
push   %rbp
push   %rbx
lea    0x9(%rsi),%eax
cltq
imul   $0x2aaaaaab,%rax,%rax
mov    %rax,%rbx
shr    $0x3f,%rbx
shr    $0x21,%rax
add    %ebx,%eax
shl    $0x2,%eax
lea    (%rax,%rax,2),%eax
neg    %eax
add    %esi,%eax
add    $0x9,%eax
lea    (%rax,%rax,4),%ebx
lea    (%rbx,%rbx,4),%ebx
add    %ebx,%eax
add    $0x18,%eax
cwtl
imul   $0x6667,%eax,%eax
mov    %eax,%ebx
sar    $0x12,%ebx
shr    $0x1f,%eax
add    %ebx,%eax
add    $0x1,%eax
movzwl %ax,%r8d
movslq %edi,%r10
imul   $0x51eb851f,%r10,%rbx
mov    %rbx,%rax
shr    $0x3f,%rax
sar    $0x27,%rbx
add    %eax,%ebx
imul   $0x190,%ebx,%eax
mov    %r10d,%r9d
sub    %eax,%r9d
neg    %eax
add    %eax,%r10d
add    $0x190,%r10d
mov    %r10d,%eax
shr    $0x2,%eax
movzwl %r10w,%ebx
shr    $0x2,%ebx
imul   $0x147b,%ebx,%r11d
shr    $0x11,%r11d
xor    %ebx,%ebx
cmp    $0x2,%esi
jg     11c9 <dayno+0xc9>
imul   $0xc28f5c29,%edi,%ebx
add    $0x51eb850,%ebx
ror    $0x2,%ebx
cmp    $0x1,%r9d
mov    $0x6,%ebp
sbb    $0x0,%ebp
cmp    $0x28f5c29,%ebx
mov    $0x5,%ebx
cmovb  %ebp,%ebx
test   $0x3,%dil
cmovne %ebp,%ebx
add    %r10d,%eax
sub    %r11d,%eax
add    %r8d,%eax
add    %ebx,%eax
movswl %ax,%ebp
imul   $0x4925,%ebp,%ebp
mov    %ebp,%ebx
shr    $0x1f,%ebx
sar    $0x11,%ebp
add    %ebx,%ebp
lea    0x0(,%rbp,8),%ebx
sub    %ebx,%ebp
add    %eax,%ebp
movswl %bp,%r8d
lea    0x0(,%rdx,8),%r10d
sub    %edx,%r10d
add    %ecx,%r10d
movslq %esi,%rax
lea    0xdf2(%rip),%rcx
mov    -0x4(%rcx,%rax,4),%ecx
cmp    $0x2,%esi
jne    1245 <dayno+0x145>
test   $0x3,%dil
sete   %al
imul   $0xc28f5c29,%edi,%edx
add    $0x51eb850,%edx
ror    $0x2,%edx
cmp    $0x28f5c29,%edx
setae  %dl
and    %al,%dl
test   %r9d,%r9d
sete   %al
or     %dl,%al
movzbl %al,%eax
add    %eax,%ecx
mov    %r10d,%edx
sub    %r8d,%edx
lea    0x1(%rdx),%eax
xor    %esi,%esi
cmp    %ecx,%edx
cmovge %esi,%eax
cmp    %r8d,%r10d
cmovl  %esi,%eax
pop    %rbx
pop    %rbp
ret

LLVM IR (-O0):
@dayno.daytab = internal global [12 x i32] [i32 31, i32 28, i32 31, i32 30, i32 31, i32 30, i32 31, i32 31, i32 30, i32 31, i32 30, i32 31]
define i32 @dayno(i32 %0, i32 %1, i32 %2, i32 %3) {
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
%12 = alloca i32
store i32 %0, i32* %6
store i32 %1, i32* %7
store i32 %2, i32* %8
store i32 %3, i32* %9
%13 = load i32, i32* %7
%14 = add nsw i32 %13, 9
%15 = srem i32 %14, 12
%16 = add nsw i32 %15, 1
%17 = mul nsw i32 %16, 26
%18 = sub nsw i32 %17, 2
%19 = sdiv i32 %18, 10
%20 = add nsw i32 %19, 1
%21 = load i32, i32* %6
%22 = srem i32 %21, 400
%23 = add nsw i32 %22, 400
%24 = add nsw i32 %20, %23
%25 = load i32, i32* %6
%26 = srem i32 %25, 400
%27 = add nsw i32 %26, 400
%28 = sdiv i32 %27, 4
%29 = add nsw i32 %24, %28
%30 = load i32, i32* %6
%31 = srem i32 %30, 400
%32 = add nsw i32 %31, 400
%33 = sdiv i32 %32, 100
%34 = sub nsw i32 %29, %33
%35 = load i32, i32* %7
%36 = icmp sle i32 %35, 2
br i1 %36, label %37, label %53
37: ; preds = %4
%38 = load i32, i32* %6
%39 = srem i32 %38, 4
%40 = icmp eq i32 %39, 0
br i1 %40, label %41, label %45
41: ; preds = %37
%42 = load i32, i32* %6
%43 = srem i32 %42, 100
%44 = icmp ne i32 %43, 0
br i1 %44, label %49, label %45
45: ; preds = %41, %37
%46 = load i32, i32* %6
%47 = srem i32 %46, 400
%48 = icmp eq i32 %47, 0
br label %49
49: ; preds = %45, %41
%50 = phi i1 [ true, %41 ], [ %48, %45 ]
%51 = zext i1 %50 to i64
%52 = select i1 %50, i32 5, i32 6
br label %54
53: ; preds = %4
br label %54
54: ; preds = %53, %49
%55 = phi i32 [ %52, %49 ], [ 0, %53 ]
%56 = add nsw i32 %34, %55
%57 = srem i32 %56, 7
store i32 %57, i32* %10
%58 = load i32, i32* %8
%59 = mul nsw i32 %58, 7
%60 = load i32, i32* %9
%61 = add nsw i32 %59, %60
store i32 %61, i32* %11
%62 = load i32, i32* %7
%63 = sub nsw i32 %62, 1
%64 = sext i32 %63 to i64
%65 = getelementptr inbounds [12 x i32], [12 x i32]* @dayno.daytab, i64 0, i64 %64
%66 = load i32, i32* %65
store i32 %66, i32* %12
%67 = load i32, i32* %7
%68 = icmp eq i32 %67, 2
br i1 %68, label %69, label %84
69: ; preds = %54
%70 = load i32, i32* %6
%71 = srem i32 %70, 4
%72 = icmp eq i32 %71, 0
br i1 %72, label %73, label %77
73: ; preds = %69
%74 = load i32, i32* %6
%75 = srem i32 %74, 100
%76 = icmp ne i32 %75, 0
br i1 %76, label %81, label %77
77: ; preds = %73, %69
%78 = load i32, i32* %6
%79 = srem i32 %78, 400
%80 = icmp eq i32 %79, 0
br i1 %80, label %81, label %84
81: ; preds = %77, %73
%82 = load i32, i32* %12
%83 = add nsw i32 %82, 1
store i32 %83, i32* %12
br label %84
84: ; preds = %81, %77, %54
%85 = load i32, i32* %11
%86 = load i32, i32* %10
%87 = icmp slt i32 %85, %86
br i1 %87, label %88, label %89
88: ; preds = %84
store i32 0, i32* %5
br label %101
89: ; preds = %84
%90 = load i32, i32* %11
%91 = load i32, i32* %10
%92 = sub nsw i32 %90, %91
%93 = load i32, i32* %12
%94 = icmp sge i32 %92, %93
br i1 %94, label %95, label %96
95: ; preds = %89
store i32 0, i32* %5
br label %101
96: ; preds = %89
%97 = load i32, i32* %11
%98 = load i32, i32* %10
%99 = sub nsw i32 %97, %98
%100 = add nsw i32 %99, 1
store i32 %100, i32* %5
br label %101
101: ; preds = %96, %95, %88
%102 = load i32, i32* %5
ret i32 %102
}

LLVM IR (-O2):
@dayno.daytab = internal unnamed_addr constant [12 x i32] [i32 31, i32 28, i32 31, i32 30, i32 31, i32 30, i32 31, i32 31, i32 30, i32 31, i32 30, i32 31]
define i32 @dayno(i32 %0, i32 %1, i32 %2, i32 %3) {
%5 = add nsw i32 %1, 9
%6 = srem i32 %5, 12
%7 = trunc i32 %6 to i16
%8 = mul nsw i16 %7, 26
%9 = add nsw i16 %8, 24
%10 = sdiv i16 %9, 10
%11 = add nsw i16 %10, 1
%12 = zext i16 %11 to i32
%13 = srem i32 %0, 400
%14 = add nsw i32 %13, 400
%15 = lshr i32 %14, 2
%16 = trunc i32 %14 to i16
%17 = udiv i16 %16, 100
%18 = zext i16 %17 to i32
%19 = icmp slt i32 %1, 3
br i1 %19, label %20, label %29
20: ; preds = %4
%21 = and i32 %0, 3
%22 = icmp ne i32 %21, 0
%23 = srem i32 %0, 100
%24 = icmp eq i32 %23, 0
%25 = or i1 %22, %24
%26 = icmp eq i32 %13, 0
%27 = select i1 %26, i32 5, i32 6
%28 = select i1 %25, i32 %27, i32 5
br label %29
29: ; preds = %4, %20
%30 = phi i32 [ %28, %20 ], [ 0, %4 ]
%31 = add nuw nsw i32 %15, %14
%32 = sub nsw i32 %31, %18
%33 = add nsw i32 %32, %12
%34 = add nsw i32 %33, %30
%35 = trunc i32 %34 to i16
%36 = srem i16 %35, 7
%37 = sext i16 %36 to i32
%38 = mul nsw i32 %2, 7
%39 = add nsw i32 %38, %3
%40 = add nsw i32 %1, -1
%41 = sext i32 %40 to i64
%42 = getelementptr inbounds [12 x i32], [12 x i32]* @dayno.daytab, i64 0, i64 %41
%43 = load i32, i32* %42
%44 = icmp eq i32 %1, 2
br i1 %44, label %45, label %55
45: ; preds = %29
%46 = and i32 %0, 3
%47 = icmp eq i32 %46, 0
%48 = srem i32 %0, 100
%49 = icmp ne i32 %48, 0
%50 = and i1 %47, %49
%51 = icmp eq i32 %13, 0
%52 = or i1 %51, %50
%53 = zext i1 %52 to i32
%54 = add nsw i32 %43, %53
br label %55
55: ; preds = %45, %29
%56 = phi i32 [ %43, %29 ], [ %54, %45 ]
%57 = icmp slt i32 %39, %37
%58 = sub nsw i32 %39, %37
%59 = icmp slt i32 %58, %56
%60 = add nsw i32 %58, 1
%61 = select i1 %59, i32 %60, i32 0
%62 = select i1 %57, i32 0, i32 %61
ret i32 %62
}