void digital_watch_on(int *state, int *substate, int *input, int *hour,
                      int *minute, int *second, int *day, int *month,
                      int *year) {
  if (*state == 11) {
    switch (*input) {
    case 92: {
      *state = 21;
      *substate = 22;
      break;
    }
    case 91: {
      if (*substate == 12) {
        *substate = 13;
        *state = 11;
      } else if (*substate == 13) {
        *substate = 12;
        *state = 11;
      }
      break;
    }
    }
  } else if (*state == 21) {
    switch (*input) {
    case 93: {
      *state = 21;
      switch (*substate) {
      case (22): {
        *hour = *hour + 1;
        break;
      }
      case (23): {
        *minute = *minute + 1;
        break;
      }
      case (24): {
        *second = *second + 1;
        break;
      }
      case (27): {
        *day = *day + 1;
        break;
      }
      case (26): {
        *month = *month + 1;
        break;
      }
      case (25): {
        *year = *year + 1;
        break;
      }
      }
      break;
    }
    case 92: {
      if (*substate == 12 || *substate == 22 || *substate == 23 ||
          *substate == 24) {
        *substate = 25;
        *state = 21;
      } else if (*substate == 13 || *substate == 25 || *substate == 26 ||
                 *substate == 27) {
        *state = 11;
        *substate = 12;
      }
      break;
    }
    case 91: {
      switch (*substate) {
      case (12): {
        *state = 21;
        *substate = 22;
        break;
      }
      case (22): {
        *state = 21;
        *substate = 23;
        break;
      }
      case (23): {
        *state = 21;
        *substate = 24;
        break;
      }
      case (24): {
        *state = 21;
        *substate = 22;
        break;
      }
      case (13): {
        *state = 21;
        *substate = 25;
        break;
      }
      case (25): {
        *state = 21;
        *substate = 26;
        break;
      }
      case (26): {
        *state = 21;
        *substate = 27;
        break;
      }
      case (27): {
        *state = 21;
        *substate = 25;
        break;
      }
      }
    }
    }
  }
}


x86 assembly (clang, -O0):
<digital_watch_on>:
push   %rbp
mov    %rsp,%rbp
mov    0x20(%rbp),%rax
mov    0x18(%rbp),%rax
mov    0x10(%rbp),%rax
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    %r8,-0x28(%rbp)
mov    %r9,-0x30(%rbp)
mov    -0x8(%rbp),%rax
cmpl   $0xb,(%rax)
jne    11cc <digital_watch_on+0xcc>
mov    -0x18(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x34(%rbp)
sub    $0x5b,%eax
je     1176 <digital_watch_on+0x76>
jmp    114c <digital_watch_on+0x4c>
mov    -0x34(%rbp),%eax
sub    $0x5c,%eax
jne    11c7 <digital_watch_on+0xc7>
jmp    115d <digital_watch_on+0x5d>
mov    -0x8(%rbp),%rax
movl   $0x15,(%rax)
mov    -0x10(%rbp),%rax
movl   $0x16,(%rax)
jmp    11c7 <digital_watch_on+0xc7>
mov    -0x10(%rbp),%rax
cmpl   $0xc,(%rax)
jne    119c <digital_watch_on+0x9c>
mov    -0x10(%rbp),%rax
movl   $0xd,(%rax)
mov    -0x8(%rbp),%rax
movl   $0xb,(%rax)
jmp    11c2 <digital_watch_on+0xc2>
mov    -0x10(%rbp),%rax
cmpl   $0xd,(%rax)
jne    11bd <digital_watch_on+0xbd>
mov    -0x10(%rbp),%rax
movl   $0xc,(%rax)
mov    -0x8(%rbp),%rax
movl   $0xb,(%rax)
jmp    11c2 <digital_watch_on+0xc2>
jmp    11c7 <digital_watch_on+0xc7>
jmp    145d <digital_watch_on+0x35d>
mov    -0x8(%rbp),%rax
cmpl   $0x15,(%rax)
jne    1458 <digital_watch_on+0x358>
mov    -0x18(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x38(%rbp)
sub    $0x5b,%eax
je     135f <digital_watch_on+0x25f>
jmp    11f0 <digital_watch_on+0xf0>
mov    -0x38(%rbp),%eax
sub    $0x5c,%eax
je     12c0 <digital_watch_on+0x1c0>
jmp    1201 <digital_watch_on+0x101>
mov    -0x38(%rbp),%eax
sub    $0x5d,%eax
jne    1453 <digital_watch_on+0x353>
jmp    1212 <digital_watch_on+0x112>
mov    -0x8(%rbp),%rax
movl   $0x15,(%rax)
mov    -0x10(%rbp),%rax
mov    (%rax),%eax
add    $0xffffffea,%eax
mov    %eax,%ecx
mov    %rcx,-0x40(%rbp)
sub    $0x5,%eax
ja     12bb <digital_watch_on+0x1bb>
mov    -0x40(%rbp),%rax
lea    0xe01(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
mov    -0x20(%rbp),%rax
mov    (%rax),%ecx
add    $0x1,%ecx
mov    -0x20(%rbp),%rax
mov    %ecx,(%rax)
jmp    12bb <digital_watch_on+0x1bb>
mov    -0x28(%rbp),%rax
mov    (%rax),%ecx
add    $0x1,%ecx
mov    -0x28(%rbp),%rax
mov    %ecx,(%rax)
jmp    12bb <digital_watch_on+0x1bb>
mov    -0x30(%rbp),%rax
mov    (%rax),%ecx
add    $0x1,%ecx
mov    -0x30(%rbp),%rax
mov    %ecx,(%rax)
jmp    12bb <digital_watch_on+0x1bb>
mov    0x10(%rbp),%rax
mov    (%rax),%ecx
add    $0x1,%ecx
mov    0x10(%rbp),%rax
mov    %ecx,(%rax)
jmp    12bb <digital_watch_on+0x1bb>
mov    0x18(%rbp),%rax
mov    (%rax),%ecx
add    $0x1,%ecx
mov    0x18(%rbp),%rax
mov    %ecx,(%rax)
jmp    12bb <digital_watch_on+0x1bb>
mov    0x20(%rbp),%rax
mov    (%rax),%ecx
add    $0x1,%ecx
mov    0x20(%rbp),%rax
mov    %ecx,(%rax)
jmp    1453 <digital_watch_on+0x353>
mov    -0x10(%rbp),%rax
cmpl   $0xc,(%rax)
je     12f4 <digital_watch_on+0x1f4>
mov    -0x10(%rbp),%rax
cmpl   $0x16,(%rax)
je     12f4 <digital_watch_on+0x1f4>
mov    -0x10(%rbp),%rax
cmpl   $0x17,(%rax)
je     12f4 <digital_watch_on+0x1f4>
mov    -0x10(%rbp),%rax
cmpl   $0x18,(%rax)
jne    130d <digital_watch_on+0x20d>
mov    -0x10(%rbp),%rax
movl   $0x19,(%rax)
mov    -0x8(%rbp),%rax
movl   $0x15,(%rax)
jmp    135a <digital_watch_on+0x25a>
mov    -0x10(%rbp),%rax
cmpl   $0xd,(%rax)
je     1341 <digital_watch_on+0x241>
mov    -0x10(%rbp),%rax
cmpl   $0x19,(%rax)
je     1341 <digital_watch_on+0x241>
mov    -0x10(%rbp),%rax
cmpl   $0x1a,(%rax)
je     1341 <digital_watch_on+0x241>
mov    -0x10(%rbp),%rax
cmpl   $0x1b,(%rax)
jne    1355 <digital_watch_on+0x255>
mov    -0x8(%rbp),%rax
movl   $0xb,(%rax)
mov    -0x10(%rbp),%rax
movl   $0xc,(%rax)
jmp    135a <digital_watch_on+0x25a>
jmp    1453 <digital_watch_on+0x353>
mov    -0x10(%rbp),%rax
mov    (%rax),%eax
add    $0xfffffff4,%eax
mov    %eax,%ecx
mov    %rcx,-0x48(%rbp)
sub    $0xf,%eax
ja     144e <digital_watch_on+0x34e>
mov    -0x48(%rbp),%rax
lea    0xc7e(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
mov    -0x8(%rbp),%rax
movl   $0x15,(%rax)
mov    -0x10(%rbp),%rax
movl   $0x16,(%rax)
jmp    144e <digital_watch_on+0x34e>
mov    -0x8(%rbp),%rax
movl   $0x15,(%rax)
mov    -0x10(%rbp),%rax
movl   $0x17,(%rax)
jmp    144e <digital_watch_on+0x34e>
mov    -0x8(%rbp),%rax
movl   $0x15,(%rax)
mov    -0x10(%rbp),%rax
movl   $0x18,(%rax)
jmp    144e <digital_watch_on+0x34e>
mov    -0x8(%rbp),%rax
movl   $0x15,(%rax)
mov    -0x10(%rbp),%rax
movl   $0x16,(%rax)
jmp    144e <digital_watch_on+0x34e>
mov    -0x8(%rbp),%rax
movl   $0x15,(%rax)
mov    -0x10(%rbp),%rax
movl   $0x19,(%rax)
jmp    144e <digital_watch_on+0x34e>
mov    -0x8(%rbp),%rax
movl   $0x15,(%rax)
mov    -0x10(%rbp),%rax
movl   $0x1a,(%rax)
jmp    144e <digital_watch_on+0x34e>
mov    -0x8(%rbp),%rax
movl   $0x15,(%rax)
mov    -0x10(%rbp),%rax
movl   $0x1b,(%rax)
jmp    144e <digital_watch_on+0x34e>
mov    -0x8(%rbp),%rax
movl   $0x15,(%rax)
mov    -0x10(%rbp),%rax
movl   $0x19,(%rax)
jmp    1453 <digital_watch_on+0x353>
jmp    1458 <digital_watch_on+0x358>
jmp    145d <digital_watch_on+0x35d>
pop    %rbp
ret

x86 assembly (clang, -O2):
<digital_watch_on>:
mov    (%rdi),%eax
cmp    $0x15,%eax
je     112d <digital_watch_on+0x2d>
cmp    $0xb,%eax
jne    11a1 <digital_watch_on+0xa1>
mov    (%rdx),%eax
cmp    $0x5b,%eax
je     1162 <digital_watch_on+0x62>
cmp    $0x5c,%eax
jne    11a1 <digital_watch_on+0xa1>
movl   $0x15,(%rdi)
movl   $0x16,(%rsi)
ret
mov    (%rdx),%eax
cmp    $0x5b,%eax
je     117b <digital_watch_on+0x7b>
cmp    $0x5c,%eax
je     11a2 <digital_watch_on+0xa2>
cmp    $0x5d,%eax
jne    11a1 <digital_watch_on+0xa1>
movl   $0x15,(%rdi)
mov    (%rsi),%eax
add    $0xffffffea,%eax
cmp    $0x5,%eax
ja     11a1 <digital_watch_on+0xa1>
lea    0xeeb(%rip),%rdx
movslq (%rdx,%rax,4),%rax
add    %rdx,%rax
jmp    *%rax
addl   $0x1,(%rcx)
ret
mov    (%rsi),%eax
cmp    $0xd,%eax
je     11ca <digital_watch_on+0xca>
cmp    $0xc,%eax
jne    11a1 <digital_watch_on+0xa1>
movl   $0xd,(%rsi)
movl   $0xb,(%rdi)
ret
mov    (%rsi),%eax
add    $0xfffffff4,%eax
cmp    $0xf,%eax
ja     11a1 <digital_watch_on+0xa1>
lea    0xe74(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
movl   $0x15,(%rdi)
movl   $0x19,(%rsi)
ret
mov    (%rsi),%eax
cmp    $0x1b,%eax
ja     11a1 <digital_watch_on+0xa1>
mov    $0x1c01000,%ecx
bt     %eax,%ecx
jb     11d7 <digital_watch_on+0xd7>
mov    $0xe002000,%ecx
bt     %eax,%ecx
jae    11a1 <digital_watch_on+0xa1>
movl   $0xb,(%rdi)
movl   $0xc,(%rsi)
ret
movl   $0xc,(%rsi)
movl   $0xb,(%rdi)
ret
movl   $0x19,(%rsi)
movl   $0x15,(%rdi)
ret
addl   $0x1,(%r8)
ret
addl   $0x1,(%r9)
ret
mov    0x18(%rsp),%rax
addl   $0x1,(%rax)
ret
mov    0x10(%rsp),%rax
addl   $0x1,(%rax)
ret
mov    0x8(%rsp),%rax
addl   $0x1,(%rax)
ret
movl   $0x15,(%rdi)
movl   $0x17,(%rsi)
ret
movl   $0x15,(%rdi)
movl   $0x18,(%rsi)
ret
movl   $0x15,(%rdi)
movl   $0x1a,(%rsi)
ret
movl   $0x15,(%rdi)
movl   $0x1b,(%rsi)
ret

LLVM IR (-O0):
define void @digital_watch_on(i32* %0, i32* %1, i32* %2, i32* %3, i32* %4, i32* %5, i32* %6, i32* %7, i32* %8) {
%10 = alloca i32*
%11 = alloca i32*
%12 = alloca i32*
%13 = alloca i32*
%14 = alloca i32*
%15 = alloca i32*
%16 = alloca i32*
%17 = alloca i32*
%18 = alloca i32*
store i32* %0, i32** %10
store i32* %1, i32** %11
store i32* %2, i32** %12
store i32* %3, i32** %13
store i32* %4, i32** %14
store i32* %5, i32** %15
store i32* %6, i32** %16
store i32* %7, i32** %17
store i32* %8, i32** %18
%19 = load i32*, i32** %10
%20 = load i32, i32* %19
%21 = icmp eq i32 %20, 11
br i1 %21, label %22, label %45
22: ; preds = %9
%23 = load i32*, i32** %12
%24 = load i32, i32* %23
switch i32 %24, label %44 [
i32 92, label %25
i32 91, label %28
]
25: ; preds = %22
%26 = load i32*, i32** %10
store i32 21, i32* %26
%27 = load i32*, i32** %11
store i32 22, i32* %27
br label %44
28: ; preds = %22
%29 = load i32*, i32** %11
%30 = load i32, i32* %29
%31 = icmp eq i32 %30, 12
br i1 %31, label %32, label %35
32: ; preds = %28
%33 = load i32*, i32** %11
store i32 13, i32* %33
%34 = load i32*, i32** %10
store i32 11, i32* %34
br label %43
35: ; preds = %28
%36 = load i32*, i32** %11
%37 = load i32, i32* %36
%38 = icmp eq i32 %37, 13
br i1 %38, label %39, label %42
39: ; preds = %35
%40 = load i32*, i32** %11
store i32 12, i32* %40
%41 = load i32*, i32** %10
store i32 11, i32* %41
br label %42
42: ; preds = %39, %35
br label %43
43: ; preds = %42, %32
br label %44
44: ; preds = %22, %43, %25
br label %157
45: ; preds = %9
%46 = load i32*, i32** %10
%47 = load i32, i32* %46
%48 = icmp eq i32 %47, 21
br i1 %48, label %49, label %156
49: ; preds = %45
%50 = load i32*, i32** %12
%51 = load i32, i32* %50
switch i32 %51, label %155 [
i32 93, label %52
i32 92, label %87
i32 91, label %127
]
52: ; preds = %49
%53 = load i32*, i32** %10
store i32 21, i32* %53
%54 = load i32*, i32** %11
%55 = load i32, i32* %54
switch i32 %55, label %86 [
i32 22, label %56
i32 23, label %61
i32 24, label %66
i32 27, label %71
i32 26, label %76
i32 25, label %81
]
56: ; preds = %52
%57 = load i32*, i32** %13
%58 = load i32, i32* %57
%59 = add nsw i32 %58, 1
%60 = load i32*, i32** %13
store i32 %59, i32* %60
br label %86
61: ; preds = %52
%62 = load i32*, i32** %14
%63 = load i32, i32* %62
%64 = add nsw i32 %63, 1
%65 = load i32*, i32** %14
store i32 %64, i32* %65
br label %86
66: ; preds = %52
%67 = load i32*, i32** %15
%68 = load i32, i32* %67
%69 = add nsw i32 %68, 1
%70 = load i32*, i32** %15
store i32 %69, i32* %70
br label %86
71: ; preds = %52
%72 = load i32*, i32** %16
%73 = load i32, i32* %72
%74 = add nsw i32 %73, 1
%75 = load i32*, i32** %16
store i32 %74, i32* %75
br label %86
76: ; preds = %52
%77 = load i32*, i32** %17
%78 = load i32, i32* %77
%79 = add nsw i32 %78, 1
%80 = load i32*, i32** %17
store i32 %79, i32* %80
br label %86
81: ; preds = %52
%82 = load i32*, i32** %18
%83 = load i32, i32* %82
%84 = add nsw i32 %83, 1
%85 = load i32*, i32** %18
store i32 %84, i32* %85
br label %86
86: ; preds = %52, %81, %76, %71, %66, %61, %56
br label %155
87: ; preds = %49
%88 = load i32*, i32** %11
%89 = load i32, i32* %88
%90 = icmp eq i32 %89, 12
br i1 %90, label %103, label %91
91: ; preds = %87
%92 = load i32*, i32** %11
%93 = load i32, i32* %92
%94 = icmp eq i32 %93, 22
br i1 %94, label %103, label %95
95: ; preds = %91
%96 = load i32*, i32** %11
%97 = load i32, i32* %96
%98 = icmp eq i32 %97, 23
br i1 %98, label %103, label %99
99: ; preds = %95
%100 = load i32*, i32** %11
%101 = load i32, i32* %100
%102 = icmp eq i32 %101, 24
br i1 %102, label %103, label %106
103: ; preds = %99, %95, %91, %87
%104 = load i32*, i32** %11
store i32 25, i32* %104
%105 = load i32*, i32** %10
store i32 21, i32* %105
br label %126
106: ; preds = %99
%107 = load i32*, i32** %11
%108 = load i32, i32* %107
%109 = icmp eq i32 %108, 13
br i1 %109, label %122, label %110
110: ; preds = %106
%111 = load i32*, i32** %11
%112 = load i32, i32* %111
%113 = icmp eq i32 %112, 25
br i1 %113, label %122, label %114
114: ; preds = %110
%115 = load i32*, i32** %11
%116 = load i32, i32* %115
%117 = icmp eq i32 %116, 26
br i1 %117, label %122, label %118
118: ; preds = %114
%119 = load i32*, i32** %11
%120 = load i32, i32* %119
%121 = icmp eq i32 %120, 27
br i1 %121, label %122, label %125
122: ; preds = %118, %114, %110, %106
%123 = load i32*, i32** %10
store i32 11, i32* %123
%124 = load i32*, i32** %11
store i32 12, i32* %124
br label %125
125: ; preds = %122, %118
br label %126
126: ; preds = %125, %103
br label %155
127: ; preds = %49
%128 = load i32*, i32** %11
%129 = load i32, i32* %128
switch i32 %129, label %154 [
i32 12, label %130
i32 22, label %133
i32 23, label %136
i32 24, label %139
i32 13, label %142
i32 25, label %145
i32 26, label %148
i32 27, label %151
]
130: ; preds = %127
%131 = load i32*, i32** %10
store i32 21, i32* %131
%132 = load i32*, i32** %11
store i32 22, i32* %132
br label %154
133: ; preds = %127
%134 = load i32*, i32** %10
store i32 21, i32* %134
%135 = load i32*, i32** %11
store i32 23, i32* %135
br label %154
136: ; preds = %127
%137 = load i32*, i32** %10
store i32 21, i32* %137
%138 = load i32*, i32** %11
store i32 24, i32* %138
br label %154
139: ; preds = %127
%140 = load i32*, i32** %10
store i32 21, i32* %140
%141 = load i32*, i32** %11
store i32 22, i32* %141
br label %154
142: ; preds = %127
%143 = load i32*, i32** %10
store i32 21, i32* %143
%144 = load i32*, i32** %11
store i32 25, i32* %144
br label %154
145: ; preds = %127
%146 = load i32*, i32** %10
store i32 21, i32* %146
%147 = load i32*, i32** %11
store i32 26, i32* %147
br label %154
148: ; preds = %127
%149 = load i32*, i32** %10
store i32 21, i32* %149
%150 = load i32*, i32** %11
store i32 27, i32* %150
br label %154
151: ; preds = %127
%152 = load i32*, i32** %10
store i32 21, i32* %152
%153 = load i32*, i32** %11
store i32 25, i32* %153
br label %154
154: ; preds = %127, %151, %148, %145, %142, %139, %136, %133, %130
br label %155
155: ; preds = %154, %49, %126, %86
br label %156
156: ; preds = %155, %45
br label %157
157: ; preds = %156, %44
ret void
}

LLVM IR (-O2):
define void @digital_watch_on(i32* nocapture %0, i32* nocapture %1, i32* nocapture %2, i32* nocapture %3, i32* nocapture %4, i32* nocapture %5, i32* nocapture %6, i32* nocapture %7, i32* nocapture %8) {
%10 = load i32, i32* %0
switch i32 %10, label %54 [
i32 11, label %11
i32 21, label %18
]
11: ; preds = %9
%12 = load i32, i32* %2
switch i32 %12, label %54 [
i32 92, label %13
i32 91, label %14
]
13: ; preds = %11
store i32 21, i32* %0
store i32 22, i32* %1
br label %54
14: ; preds = %11
%15 = load i32, i32* %1
switch i32 %15, label %54 [
i32 12, label %16
i32 13, label %17
]
16: ; preds = %14
store i32 13, i32* %1
store i32 11, i32* %0
br label %54
17: ; preds = %14
store i32 12, i32* %1
store i32 11, i32* %0
br label %54
18: ; preds = %9
%19 = load i32, i32* %2
switch i32 %19, label %54 [
i32 93, label %20
i32 92, label %40
i32 91, label %44
]
20: ; preds = %18
store i32 21, i32* %0
%21 = load i32, i32* %1
switch i32 %21, label %54 [
i32 22, label %22
i32 23, label %25
i32 24, label %28
i32 27, label %31
i32 26, label %34
i32 25, label %37
]
22: ; preds = %20
%23 = load i32, i32* %3
%24 = add nsw i32 %23, 1
store i32 %24, i32* %3
br label %54
25: ; preds = %20
%26 = load i32, i32* %4
%27 = add nsw i32 %26, 1
store i32 %27, i32* %4
br label %54
28: ; preds = %20
%29 = load i32, i32* %5
%30 = add nsw i32 %29, 1
store i32 %30, i32* %5
br label %54
31: ; preds = %20
%32 = load i32, i32* %6
%33 = add nsw i32 %32, 1
store i32 %33, i32* %6
br label %54
34: ; preds = %20
%35 = load i32, i32* %7
%36 = add nsw i32 %35, 1
store i32 %36, i32* %7
br label %54
37: ; preds = %20
%38 = load i32, i32* %8
%39 = add nsw i32 %38, 1
store i32 %39, i32* %8
br label %54
40: ; preds = %18
%41 = load i32, i32* %1
switch i32 %41, label %54 [
i32 12, label %42
i32 22, label %42
i32 23, label %42
i32 24, label %42
i32 13, label %43
i32 25, label %43
i32 26, label %43
i32 27, label %43
]
42: ; preds = %40, %40, %40, %40
store i32 25, i32* %1
store i32 21, i32* %0
br label %54
43: ; preds = %40, %40, %40, %40
store i32 11, i32* %0
store i32 12, i32* %1
br label %54
44: ; preds = %18
%45 = load i32, i32* %1
switch i32 %45, label %54 [
i32 12, label %46
i32 22, label %47
i32 23, label %48
i32 24, label %49
i32 13, label %50
i32 25, label %51
i32 26, label %52
i32 27, label %53
]
46: ; preds = %44
store i32 21, i32* %0
store i32 22, i32* %1
br label %54
47: ; preds = %44
store i32 21, i32* %0
store i32 23, i32* %1
br label %54
48: ; preds = %44
store i32 21, i32* %0
store i32 24, i32* %1
br label %54
49: ; preds = %44
store i32 21, i32* %0
store i32 22, i32* %1
br label %54
50: ; preds = %44
store i32 21, i32* %0
store i32 25, i32* %1
br label %54
51: ; preds = %44
store i32 21, i32* %0
store i32 26, i32* %1
br label %54
52: ; preds = %44
store i32 21, i32* %0
store i32 27, i32* %1
br label %54
53: ; preds = %44
store i32 21, i32* %0
store i32 25, i32* %1
br label %54
54: ; preds = %40, %9, %14, %46, %47, %48, %49, %50, %51, %52, %53, %44, %42, %43, %22, %25, %28, %31, %34, %37, %20, %18, %13, %11, %17, %16
ret void
}