int dow(int yr, int mo, int da) {
  static int totdays[12] = {0,   31,  59,  90,  120, 151,
                            181, 212, 243, 273, 304, 334};
  static int numdays[12] = {31, 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31};
  int addon = 0;
  int leap;
  yr %= 400;
  if (yr < 0)
    yr += 400;
  if (((((yr % 4) == 0) && ((yr % 100) != 0)) || ((yr % 400) == 0)))
    leap = 1;
  else
    leap = 0;
  if ((mo < 1) || (mo > 12))
    return (-1);
  if (da < 1)
    return (-1);
  if (leap && (mo == 2)) {
    if (da > (numdays[mo - 1] + 1))
      return (-1);
  } else if (da > numdays[mo - 1])
    return (-1);
  addon += yr;
  addon += yr / 4;
  addon -= yr / 100;
  if (leap && (mo <= 2))
    addon--;
  addon += totdays[mo - 1];
  addon += da;
  addon += 6;
  return (addon % 7);
}


x86 assembly (clang, -O0):
<dow>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
movl   $0x0,-0x14(%rbp)
mov    -0x8(%rbp),%eax
mov    $0x190,%ecx
cltd
idiv   %ecx
mov    %edx,-0x8(%rbp)
cmpl   $0x0,-0x8(%rbp)
jge    1137 <dow+0x37>
mov    -0x8(%rbp),%eax
add    $0x190,%eax
mov    %eax,-0x8(%rbp)
mov    -0x8(%rbp),%eax
mov    $0x4,%ecx
cltd
idiv   %ecx
cmp    $0x0,%edx
jne    115f <dow+0x5f>
mov    -0x8(%rbp),%eax
mov    $0x64,%ecx
cltd
idiv   %ecx
cmp    $0x0,%edx
jne    1173 <dow+0x73>
mov    -0x8(%rbp),%eax
mov    $0x190,%ecx
cltd
idiv   %ecx
cmp    $0x0,%edx
jne    117f <dow+0x7f>
movl   $0x1,-0x18(%rbp)
jmp    1186 <dow+0x86>
movl   $0x0,-0x18(%rbp)
cmpl   $0x1,-0xc(%rbp)
jl     119a <dow+0x9a>
cmpl   $0xc,-0xc(%rbp)
jle    11a6 <dow+0xa6>
movl   $0xffffffff,-0x4(%rbp)
jmp    12b4 <dow+0x1b4>
cmpl   $0x1,-0x10(%rbp)
jge    11bc <dow+0xbc>
movl   $0xffffffff,-0x4(%rbp)
jmp    12b4 <dow+0x1b4>
cmpl   $0x0,-0x18(%rbp)
je     1202 <dow+0x102>
cmpl   $0x2,-0xc(%rbp)
jne    1202 <dow+0x102>
mov    -0x10(%rbp),%eax
mov    -0xc(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rdx
lea    0x2e7d(%rip),%rcx
mov    (%rcx,%rdx,4),%ecx
add    $0x1,%ecx
cmp    %ecx,%eax
jle    11fd <dow+0xfd>
movl   $0xffffffff,-0x4(%rbp)
jmp    12b4 <dow+0x1b4>
jmp    122f <dow+0x12f>
mov    -0x10(%rbp),%eax
mov    -0xc(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rdx
lea    0x2e4b(%rip),%rcx
cmp    (%rcx,%rdx,4),%eax
jle    122a <dow+0x12a>
movl   $0xffffffff,-0x4(%rbp)
jmp    12b4 <dow+0x1b4>
jmp    122f <dow+0x12f>
mov    -0x8(%rbp),%eax
add    -0x14(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0x8(%rbp),%eax
mov    $0x4,%ecx
cltd
idiv   %ecx
add    -0x14(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0x8(%rbp),%eax
mov    $0x64,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
mov    -0x14(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x14(%rbp)
cmpl   $0x0,-0x18(%rbp)
je     127b <dow+0x17b>
cmpl   $0x2,-0xc(%rbp)
jg     127b <dow+0x17b>
mov    -0x14(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x14(%rbp)
mov    -0xc(%rbp),%eax
sub    $0x1,%eax
movslq %eax,%rcx
lea    0x2da5(%rip),%rax
mov    (%rax,%rcx,4),%eax
add    -0x14(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0x10(%rbp),%eax
add    -0x14(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0x14(%rbp),%eax
add    $0x6,%eax
mov    %eax,-0x14(%rbp)
mov    -0x14(%rbp),%eax
mov    $0x7,%ecx
cltd
idiv   %ecx
mov    %edx,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<dow>:
movslq %edi,%rax
imul   $0x51eb851f,%rax,%rcx
mov    %rcx,%rdi
shr    $0x3f,%rdi
sar    $0x27,%rcx
add    %edi,%ecx
imul   $0x190,%ecx,%ecx
mov    %eax,%edi
sub    %ecx,%edi
neg    %ecx
test   %edi,%edi
lea    0x190(%rax,%rcx,1),%r11d
cmovns %edi,%r11d
test   $0x3,%r11b
sete   %r10b
imul   $0x5c29,%r11d,%eax
mov    %eax,%edi
ror    $0x2,%di
movzwl %di,%edi
cmp    $0x290,%edi
setae  %r8b
ror    $0x4,%ax
movzwl %ax,%eax
cmp    $0xa4,%eax
setb   %r9b
lea    -0xd(%rsi),%edi
mov    $0xffffffff,%eax
cmp    $0xfffffff4,%edi
jb     1226 <dow+0x126>
test   %edx,%edx
jle    1226 <dow+0x126>
and    %r8b,%r10b
or     %r9b,%r10b
cmp    $0x2,%esi
setne  %dil
mov    %r10d,%ecx
xor    $0x1,%cl
or     %dil,%cl
jne    11a4 <dow+0xa4>
mov    $0x1,%r8d
cmp    $0x1d,%edx
jbe    11b5 <dow+0xb5>
jmp    1226 <dow+0x126>
lea    -0x1(%rsi),%r8d
lea    0xe81(%rip),%rcx
cmp    %edx,(%rcx,%r8,4)
jl     1226 <dow+0x126>
movzwl %r11w,%eax
shr    $0x2,%eax
imul   $0x147b,%eax,%eax
shr    $0x11,%eax
add    %r11d,%edx
shr    $0x2,%r11d
movzwl %ax,%eax
cmp    $0x3,%esi
setb   %cl
and    %r10b,%cl
lea    0xe21(%rip),%rsi
mov    (%rsi,%r8,4),%esi
add    %edx,%r11d
sub    %eax,%r11d
movzbl %cl,%eax
sub    %eax,%r11d
mov    %r11d,%eax
add    %esi,%eax
lea    (%r11,%rsi,1),%ecx
add    $0x6,%ecx
movslq %ecx,%rcx
imul   $0xffffffff92492493,%rcx,%rcx
shr    $0x20,%rcx
add    %eax,%ecx
add    $0x6,%ecx
mov    %ecx,%edx
shr    $0x1f,%edx
sar    $0x2,%ecx
add    %edx,%ecx
lea    0x0(,%rcx,8),%edx
sub    %edx,%ecx
add    %ecx,%eax
add    $0x6,%eax
ret

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

LLVM IR (-O2):
@dow.totdays = internal unnamed_addr constant [12 x i32] [i32 0, i32 31, i32 59, i32 90, i32 120, i32 151, i32 181, i32 212, i32 243, i32 273, i32 304, i32 334]
@dow.numdays = 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 @dow(i32 %0, i32 %1, i32 %2) {
%4 = srem i32 %0, 400
%5 = icmp slt i32 %4, 0
%6 = add nsw i32 %4, 400
%7 = select i1 %5, i32 %6, i32 %4
%8 = and i32 %7, 3
%9 = icmp eq i32 %8, 0
%10 = trunc i32 %7 to i16
%11 = urem i16 %10, 100
%12 = udiv i16 %10, 100
%13 = icmp ne i16 %11, 0
%14 = and i1 %9, %13
%15 = urem i16 %10, 400
%16 = icmp eq i16 %15, 0
%17 = select i1 %14, i1 true, i1 %16
%18 = add i32 %1, -13
%19 = icmp ult i32 %18, -12
%20 = icmp slt i32 %2, 1
%21 = or i1 %19, %20
br i1 %21, label %49, label %22
22: ; preds = %3
%23 = icmp eq i32 %1, 2
%24 = and i1 %23, %17
br i1 %24, label %25, label %27
25: ; preds = %22
%26 = icmp ugt i32 %2, 29
br i1 %26, label %49, label %33
27: ; preds = %22
%28 = add nsw i32 %1, -1
%29 = zext i32 %28 to i64
%30 = getelementptr inbounds [12 x i32], [12 x i32]* @dow.numdays, i64 0, i64 %29
%31 = load i32, i32* %30
%32 = icmp slt i32 %31, %2
br i1 %32, label %49, label %33
33: ; preds = %25, %27
%34 = phi i64 [ %29, %27 ], [ 1, %25 ]
%35 = lshr i32 %7, 2
%36 = zext i16 %12 to i32
%37 = icmp ult i32 %1, 3
%38 = and i1 %37, %17
%39 = sext i1 %38 to i32
%40 = getelementptr inbounds [12 x i32], [12 x i32]* @dow.totdays, i64 0, i64 %34
%41 = load i32, i32* %40
%42 = add nuw i32 %2, 6
%43 = add nuw i32 %42, %7
%44 = add nuw i32 %43, %35
%45 = sub nuw i32 %44, %36
%46 = add i32 %45, %39
%47 = add i32 %46, %41
%48 = srem i32 %47, 7
br label %49
49: ; preds = %27, %25, %3, %33
%50 = phi i32 [ %48, %33 ], [ -1, %3 ], [ -1, %25 ], [ -1, %27 ]
ret i32 %50
}