#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 /*<<< orphan*/ printf(char *, int, int, int);
int /*<<< orphan*/ puts(char *);
int /*<<< orphan*/ scanf(char *, int *, int *);
int main() {
  int mouth = 0, day = 0, num = 0;
  puts("input your date:");
  scanf("%d%d", &mouth, &day);
  if (mouth < 1 || mouth > 12) {
    puts("invalid mouth !");
    return -1;
  }
  if (mouth <= 7) {
    if ((2 == mouth) && (day > 28)) {
      puts("invalid day !");
      return -1;
    } else if (mouth % 2) {
      if (day > 31) {
        puts("invalid day !");
        return -1;
      }
    } else if (day > 30) {
      puts("invalid day !");
      return -1;
    }
  } else {
    if (mouth % 2) {
      if (day > 30) {
        puts("invalid day !");
        return -1;
      }
    } else if (day > 31) {
      puts("invalid day !");
      return -1;
    }
  }
  switch (mouth) {
  case 12:
    num += 30;
  case 11:
    num += 31;
  case 10:
    num += 30;
  case 9:
    num += 31;
  case 8:
    num += 31;
  case 7:
    num += 30;
  case 6:
    num += 31;
  case 5:
    num += 30;
  case 4:
    num += 31;
  case 3:
    num += 28;
  case 2:
    num += 31;
  case 1:
    break;
  }
  num += day;
  printf("the date [%d-%d] is:\n %d th days \n", mouth, day, num);
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
movl   $0x0,-0x4(%rbp)
movl   $0x0,-0x8(%rbp)
movl   $0x0,-0xc(%rbp)
movl   $0x0,-0x10(%rbp)
lea    0xed5(%rip),%rdi
call   1030 <puts@plt>
lea    0xeda(%rip),%rdi
lea    -0x8(%rbp),%rsi
lea    -0xc(%rbp),%rdx
call   1050 <scanf@plt>
cmpl   $0x1,-0x8(%rbp)
jl     1188 <main+0x58>
cmpl   $0xc,-0x8(%rbp)
jle    11a0 <main+0x70>
lea    0xeb7(%rip),%rdi
call   1030 <puts@plt>
movl   $0xffffffff,-0x4(%rbp)
jmp    1363 <main+0x233>
cmpl   $0x7,-0x8(%rbp)
jg     1246 <main+0x116>
mov    $0x2,%eax
cmp    -0x8(%rbp),%eax
jne    11da <main+0xaa>
cmpl   $0x1c,-0xc(%rbp)
jle    11da <main+0xaa>
lea    0xe8d(%rip),%rdi
call   1030 <puts@plt>
movl   $0xffffffff,-0x4(%rbp)
jmp    1363 <main+0x233>
mov    -0x8(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
cmp    $0x0,%edx
je     1215 <main+0xe5>
cmpl   $0x1f,-0xc(%rbp)
jle    1210 <main+0xe0>
lea    0xe57(%rip),%rdi
call   1030 <puts@plt>
movl   $0xffffffff,-0x4(%rbp)
jmp    1363 <main+0x233>
jmp    123c <main+0x10c>
cmpl   $0x1e,-0xc(%rbp)
jle    1237 <main+0x107>
lea    0xe30(%rip),%rdi
call   1030 <puts@plt>
movl   $0xffffffff,-0x4(%rbp)
jmp    1363 <main+0x233>
jmp    123c <main+0x10c>
jmp    1241 <main+0x111>
jmp    12ad <main+0x17d>
mov    -0x8(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
cmp    $0x0,%edx
je     1281 <main+0x151>
cmpl   $0x1e,-0xc(%rbp)
jle    127c <main+0x14c>
lea    0xdeb(%rip),%rdi
call   1030 <puts@plt>
movl   $0xffffffff,-0x4(%rbp)
jmp    1363 <main+0x233>
jmp    12a8 <main+0x178>
cmpl   $0x1f,-0xc(%rbp)
jle    12a3 <main+0x173>
lea    0xdc4(%rip),%rdi
call   1030 <puts@plt>
movl   $0xffffffff,-0x4(%rbp)
jmp    1363 <main+0x233>
jmp    12a8 <main+0x178>
jmp    12ad <main+0x17d>
mov    -0x8(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,%ecx
mov    %rcx,-0x18(%rbp)
sub    $0xb,%eax
ja     133e <main+0x20e>
mov    -0x18(%rbp),%rax
lea    0xd33(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
mov    -0x10(%rbp),%eax
add    $0x1e,%eax
mov    %eax,-0x10(%rbp)
mov    -0x10(%rbp),%eax
add    $0x1f,%eax
mov    %eax,-0x10(%rbp)
mov    -0x10(%rbp),%eax
add    $0x1e,%eax
mov    %eax,-0x10(%rbp)
mov    -0x10(%rbp),%eax
add    $0x1f,%eax
mov    %eax,-0x10(%rbp)
mov    -0x10(%rbp),%eax
add    $0x1f,%eax
mov    %eax,-0x10(%rbp)
mov    -0x10(%rbp),%eax
add    $0x1e,%eax
mov    %eax,-0x10(%rbp)
mov    -0x10(%rbp),%eax
add    $0x1f,%eax
mov    %eax,-0x10(%rbp)
mov    -0x10(%rbp),%eax
add    $0x1e,%eax
mov    %eax,-0x10(%rbp)
mov    -0x10(%rbp),%eax
add    $0x1f,%eax
mov    %eax,-0x10(%rbp)
mov    -0x10(%rbp),%eax
add    $0x1c,%eax
mov    %eax,-0x10(%rbp)
mov    -0x10(%rbp),%eax
add    $0x1f,%eax
mov    %eax,-0x10(%rbp)
jmp    133e <main+0x20e>
mov    -0xc(%rbp),%eax
add    -0x10(%rbp),%eax
mov    %eax,-0x10(%rbp)
mov    -0x8(%rbp),%esi
mov    -0xc(%rbp),%edx
mov    -0x10(%rbp),%ecx
lea    0xd0d(%rip),%rdi
call   1040 <printf@plt>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
movl   $0x0,0x4(%rsp)
movl   $0x0,(%rsp)
lea    0xedb(%rip),%rdi
call   1030 <puts@plt>
lea    0xee0(%rip),%rdi
lea    0x4(%rsp),%rsi
mov    %rsp,%rdx
call   1050 <scanf@plt>
mov    0x4(%rsp),%esi
lea    -0xd(%rsi),%eax
cmp    $0xfffffff3,%eax
ja     117f <main+0x4f>
lea    0xec5(%rip),%rdi
jmp    11a3 <main+0x73>
cmp    $0x7,%esi
ja     11be <main+0x8e>
mov    (%rsp),%edx
cmp    $0x2,%esi
jne    1191 <main+0x61>
cmp    $0x1d,%edx
jge    119c <main+0x6c>
test   $0x1,%sil
je     11c7 <main+0x97>
cmp    $0x20,%edx
jl     11cc <main+0x9c>
lea    0xeaf(%rip),%rdi
call   1030 <puts@plt>
mov    $0xffffffff,%ebx
mov    %ebx,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
mov    (%rsp),%edx
test   $0x1,%sil
je     1197 <main+0x67>
cmp    $0x1f,%edx
jge    119c <main+0x6c>
xor    %ebx,%ebx
lea    -0x2(%rsi),%ebp
mov    $0x0,%ecx
cmp    $0xa,%ebp
ja     1245 <main+0x115>
mov    $0x1f,%ecx
mov    $0x3b,%eax
mov    $0x5a,%r13d
mov    $0x78,%r8d
mov    $0x97,%r9d
mov    $0xb5,%r10d
mov    $0xd4,%r11d
mov    $0xf3,%r12d
mov    $0x111,%r15d
mov    $0x130,%r14d
lea    0xde4(%rip),%rdi
movslq (%rdi,%rbp,4),%rbp
add    %rdi,%rbp
jmp    *%rbp
mov    $0x14e,%r14d
mov    %r14d,%r15d
mov    %r15d,%r12d
mov    %r12d,%r11d
mov    %r11d,%r10d
mov    %r10d,%r9d
mov    %r9d,%r8d
mov    %r8d,%r13d
mov    %r13d,%eax
mov    %eax,%ecx
add    %edx,%ecx
lea    0xe12(%rip),%rdi
call   1040 <printf@plt>
jmp    11ad <main+0x7d>

LLVM IR (-O0):
@.str = [17 x i8] c"input your date:\00"
@.str.1 = [5 x i8] c"%d%d\00"
@.str.2 = [16 x i8] c"invalid mouth !\00"
@.str.3 = [14 x i8] c"invalid day !\00"
@.str.4 = [35 x i8] c"the date [%d-%d] is:\0A %d th days \0A\00"
define i32 @main() {
%1 = alloca i32
%2 = alloca i32
%3 = alloca i32
%4 = alloca i32
store i32 0, i32* %1
store i32 0, i32* %2
store i32 0, i32* %3
store i32 0, i32* %4
%5 = call i32 @puts(i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str, i64 0, i64 0))
%6 = call i32 @scanf(i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.1, i64 0, i64 0), i32* %2, i32* %3)
%7 = load i32, i32* %2
%8 = icmp slt i32 %7, 1
br i1 %8, label %12, label %9
9: ; preds = %0
%10 = load i32, i32* %2
%11 = icmp sgt i32 %10, 12
br i1 %11, label %12, label %14
12: ; preds = %9, %0
%13 = call i32 @puts(i8* getelementptr inbounds ([16 x i8], [16 x i8]* @.str.2, i64 0, i64 0))
store i32 -1, i32* %1
br label %104
14: ; preds = %9
%15 = load i32, i32* %2
%16 = icmp sle i32 %15, 7
br i1 %16, label %17, label %43
17: ; preds = %14
%18 = load i32, i32* %2
%19 = icmp eq i32 2, %18
br i1 %19, label %20, label %25
20: ; preds = %17
%21 = load i32, i32* %3
%22 = icmp sgt i32 %21, 28
br i1 %22, label %23, label %25
23: ; preds = %20
%24 = call i32 @puts(i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str.3, i64 0, i64 0))
store i32 -1, i32* %1
br label %104
25: ; preds = %20, %17
%26 = load i32, i32* %2
%27 = srem i32 %26, 2
%28 = icmp ne i32 %27, 0
br i1 %28, label %29, label %35
29: ; preds = %25
%30 = load i32, i32* %3
%31 = icmp sgt i32 %30, 31
br i1 %31, label %32, label %34
32: ; preds = %29
%33 = call i32 @puts(i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str.3, i64 0, i64 0))
store i32 -1, i32* %1
br label %104
34: ; preds = %29
br label %41
35: ; preds = %25
%36 = load i32, i32* %3
%37 = icmp sgt i32 %36, 30
br i1 %37, label %38, label %40
38: ; preds = %35
%39 = call i32 @puts(i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str.3, i64 0, i64 0))
store i32 -1, i32* %1
br label %104
40: ; preds = %35
br label %41
41: ; preds = %40, %34
br label %42
42: ; preds = %41
br label %60
43: ; preds = %14
%44 = load i32, i32* %2
%45 = srem i32 %44, 2
%46 = icmp ne i32 %45, 0
br i1 %46, label %47, label %53
47: ; preds = %43
%48 = load i32, i32* %3
%49 = icmp sgt i32 %48, 30
br i1 %49, label %50, label %52
50: ; preds = %47
%51 = call i32 @puts(i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str.3, i64 0, i64 0))
store i32 -1, i32* %1
br label %104
52: ; preds = %47
br label %59
53: ; preds = %43
%54 = load i32, i32* %3
%55 = icmp sgt i32 %54, 31
br i1 %55, label %56, label %58
56: ; preds = %53
%57 = call i32 @puts(i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str.3, i64 0, i64 0))
store i32 -1, i32* %1
br label %104
58: ; preds = %53
br label %59
59: ; preds = %58, %52
br label %60
60: ; preds = %59, %42
%61 = load i32, i32* %2
switch i32 %61, label %96 [
i32 12, label %62
i32 11, label %65
i32 10, label %68
i32 9, label %71
i32 8, label %74
i32 7, label %77
i32 6, label %80
i32 5, label %83
i32 4, label %86
i32 3, label %89
i32 2, label %92
i32 1, label %95
]
62: ; preds = %60
%63 = load i32, i32* %4
%64 = add nsw i32 %63, 30
store i32 %64, i32* %4
br label %65
65: ; preds = %60, %62
%66 = load i32, i32* %4
%67 = add nsw i32 %66, 31
store i32 %67, i32* %4
br label %68
68: ; preds = %60, %65
%69 = load i32, i32* %4
%70 = add nsw i32 %69, 30
store i32 %70, i32* %4
br label %71
71: ; preds = %60, %68
%72 = load i32, i32* %4
%73 = add nsw i32 %72, 31
store i32 %73, i32* %4
br label %74
74: ; preds = %60, %71
%75 = load i32, i32* %4
%76 = add nsw i32 %75, 31
store i32 %76, i32* %4
br label %77
77: ; preds = %60, %74
%78 = load i32, i32* %4
%79 = add nsw i32 %78, 30
store i32 %79, i32* %4
br label %80
80: ; preds = %60, %77
%81 = load i32, i32* %4
%82 = add nsw i32 %81, 31
store i32 %82, i32* %4
br label %83
83: ; preds = %60, %80
%84 = load i32, i32* %4
%85 = add nsw i32 %84, 30
store i32 %85, i32* %4
br label %86
86: ; preds = %60, %83
%87 = load i32, i32* %4
%88 = add nsw i32 %87, 31
store i32 %88, i32* %4
br label %89
89: ; preds = %60, %86
%90 = load i32, i32* %4
%91 = add nsw i32 %90, 28
store i32 %91, i32* %4
br label %92
92: ; preds = %60, %89
%93 = load i32, i32* %4
%94 = add nsw i32 %93, 31
store i32 %94, i32* %4
br label %95
95: ; preds = %60, %92
br label %96
96: ; preds = %60, %95
%97 = load i32, i32* %3
%98 = load i32, i32* %4
%99 = add nsw i32 %98, %97
store i32 %99, i32* %4
%100 = load i32, i32* %2
%101 = load i32, i32* %3
%102 = load i32, i32* %4
%103 = call i32 @printf(i8* getelementptr inbounds ([35 x i8], [35 x i8]* @.str.4, i64 0, i64 0), i32 %100, i32 %101, i32 %102)
store i32 0, i32* %1
br label %104
104: ; preds = %96, %56, %50, %38, %32, %23, %12
%105 = load i32, i32* %1
ret i32 %105
}

LLVM IR (-O2):
@.str = [17 x i8] c"input your date:\00"
@.str.1 = [5 x i8] c"%d%d\00"
@.str.2 = [16 x i8] c"invalid mouth !\00"
@.str.3 = [14 x i8] c"invalid day !\00"
@.str.4 = [35 x i8] c"the date [%d-%d] is:\0A %d th days \0A\00"
define i32 @main() {
%1 = alloca i32
%2 = alloca i32
%3 = bitcast i32* %1 to i8*
store i32 0, i32* %1
%4 = bitcast i32* %2 to i8*
store i32 0, i32* %2
%5 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([17 x i8], [17 x i8]* @.str, i64 0, i64 0))
%6 = call i32 @scanf(i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.1, i64 0, i64 0), i32* %1, i32* %2)
%7 = load i32, i32* %1
%8 = add i32 %7, -13
%9 = icmp ult i32 %8, -12
br i1 %9, label %10, label %12
10: ; preds = %0
%11 = call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([16 x i8], [16 x i8]* @.str.2, i64 0, i64 0))
br label %71
12: ; preds = %0
%13 = icmp ult i32 %7, 8
br i1 %13, label %14, label %32
14: ; preds = %12
%15 = icmp eq i32 %7, 2
%16 = load i32, i32* %2
%17 = icmp sgt i32 %16, 28
%18 = select i1 %15, i1 %17, i1 false
br i1 %18, label %19, label %21
19: ; preds = %14
%20 = call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([14 x i8], [14 x i8]* @.str.3, i64 0, i64 0))
br label %71
21: ; preds = %14
%22 = and i32 %7, 1
%23 = icmp eq i32 %22, 0
br i1 %23, label %28, label %24
24: ; preds = %21
%25 = icmp sgt i32 %16, 31
br i1 %25, label %26, label %44
26: ; preds = %24
%27 = call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([14 x i8], [14 x i8]* @.str.3, i64 0, i64 0))
br label %71
28: ; preds = %21
%29 = icmp sgt i32 %16, 30
br i1 %29, label %30, label %44
30: ; preds = %28
%31 = call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([14 x i8], [14 x i8]* @.str.3, i64 0, i64 0))
br label %71
32: ; preds = %12
%33 = and i32 %7, 1
%34 = icmp eq i32 %33, 0
%35 = load i32, i32* %2
br i1 %34, label %40, label %36
36: ; preds = %32
%37 = icmp sgt i32 %35, 30
br i1 %37, label %38, label %44
38: ; preds = %36
%39 = call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([14 x i8], [14 x i8]* @.str.3, i64 0, i64 0))
br label %71
40: ; preds = %32
%41 = icmp sgt i32 %35, 31
br i1 %41, label %42, label %44
42: ; preds = %40
%43 = call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([14 x i8], [14 x i8]* @.str.3, i64 0, i64 0))
br label %71
44: ; preds = %36, %40, %28, %24
%45 = phi i32 [ %35, %36 ], [ %35, %40 ], [ %16, %28 ], [ %16, %24 ]
switch i32 %7, label %67 [
i32 12, label %46
i32 11, label %47
i32 10, label %49
i32 9, label %51
i32 8, label %53
i32 7, label %55
i32 6, label %57
i32 5, label %59
i32 4, label %61
i32 3, label %63
i32 2, label %65
]
46: ; preds = %44
br label %47
47: ; preds = %44, %46
%48 = phi i32 [ 304, %44 ], [ 334, %46 ]
br label %49
49: ; preds = %44, %47
%50 = phi i32 [ 273, %44 ], [ %48, %47 ]
br label %51
51: ; preds = %44, %49
%52 = phi i32 [ 243, %44 ], [ %50, %49 ]
br label %53
53: ; preds = %44, %51
%54 = phi i32 [ 212, %44 ], [ %52, %51 ]
br label %55
55: ; preds = %44, %53
%56 = phi i32 [ 181, %44 ], [ %54, %53 ]
br label %57
57: ; preds = %44, %55
%58 = phi i32 [ 151, %44 ], [ %56, %55 ]
br label %59
59: ; preds = %44, %57
%60 = phi i32 [ 120, %44 ], [ %58, %57 ]
br label %61
61: ; preds = %44, %59
%62 = phi i32 [ 90, %44 ], [ %60, %59 ]
br label %63
63: ; preds = %44, %61
%64 = phi i32 [ 59, %44 ], [ %62, %61 ]
br label %65
65: ; preds = %44, %63
%66 = phi i32 [ 31, %44 ], [ %64, %63 ]
br label %67
67: ; preds = %44, %65
%68 = phi i32 [ 0, %44 ], [ %66, %65 ]
%69 = add nsw i32 %45, %68
%70 = call i32 @printf(i8* getelementptr inbounds ([35 x i8], [35 x i8]* @.str.4, i64 0, i64 0), i32 %7, i32 %45, i32 %69)
br label %71
71: ; preds = %67, %42, %38, %30, %26, %19, %10
%72 = phi i32 [ -1, %10 ], [ -1, %19 ], [ -1, %26 ], [ 0, %67 ], [ -1, %30 ], [ -1, %38 ], [ -1, %42 ]
ret i32 %72
}