#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 atoi(char *);
int /*<<< orphan*/ sprintf(char *, char *, int, int, int);
int strlen(char *);
char tolower(char);
void convert_time_to_standard(char timestr[], char converted[], char am[],
                              char pm[]) {
  int i, ctr = 0, state = 0;
  int hr = 0, min = 0, sec = 0;
  char str[1024];
  if (timestr[0] == 0) {
    converted[0] = 0;
    return;
  }
  for (i = 0; i < strlen(timestr); i++)
    timestr[i] = tolower(timestr[i]);
  for (i = 0; i < strlen(timestr); i++) {
    if ((timestr[i] == am[0]) || (timestr[i] == pm[0])) {
      str[ctr] = 0;
      switch (state) {
      case 0: {
        hr = atoi(str);
        if (timestr[i] == pm[0])
          if (hr < 12)
            hr += 12;
        break;
      }
      case 1: {
        min = atoi(str);
        break;
      }
      case 2: {
        sec = atoi(str);
        break;
      }
      }
      break;
    }
    if ((timestr[i] == ':') || (timestr[i] == '.') ||
        (i == strlen(timestr) - 1)) {
      if (i == strlen(timestr) - 1)
        str[ctr++] = timestr[i];
      str[ctr] = 0;
      switch (state) {
      case 0: {
        hr = atoi(str);
        break;
      }
      case 1: {
        min = atoi(str);
        break;
      }
      case 2: {
        sec = atoi(str);
        break;
      }
      }
      ctr = 0;
      state++;
    } else
      str[ctr++] = timestr[i];
  }
  sprintf(converted, "%02d:%02d:%02d", hr, min, sec);
}


x86 assembly (clang, -O0):
<convert_time_to_standard>:
push   %rbp
mov    %rsp,%rbp
sub    $0x460,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
movl   $0x0,-0x28(%rbp)
movl   $0x0,-0x2c(%rbp)
movl   $0x0,-0x30(%rbp)
movl   $0x0,-0x34(%rbp)
movl   $0x0,-0x38(%rbp)
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
jne    119a <convert_time_to_standard+0x5a>
mov    -0x10(%rbp),%rax
movb   $0x0,(%rax)
jmp    147c <convert_time_to_standard+0x33c>
movl   $0x0,-0x24(%rbp)
mov    -0x24(%rbp),%eax
mov    %eax,-0x444(%rbp)
mov    -0x8(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,%ecx
mov    -0x444(%rbp),%eax
cmp    %ecx,%eax
jge    11ef <convert_time_to_standard+0xaf>
mov    -0x8(%rbp),%rax
movslq -0x24(%rbp),%rcx
movsbl (%rax,%rcx,1),%edi
call   1040 <tolower@plt>
mov    %al,%dl
mov    -0x8(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    11a1 <convert_time_to_standard+0x61>
movl   $0x0,-0x24(%rbp)
mov    -0x24(%rbp),%eax
mov    %eax,-0x448(%rbp)
mov    -0x8(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,%ecx
mov    -0x448(%rbp),%eax
cmp    %ecx,%eax
jge    1462 <convert_time_to_standard+0x322>
mov    -0x8(%rbp),%rax
movslq -0x24(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
mov    -0x18(%rbp),%rcx
movsbl (%rcx),%ecx
cmp    %ecx,%eax
je     124e <convert_time_to_standard+0x10e>
mov    -0x8(%rbp),%rax
movslq -0x24(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
mov    -0x20(%rbp),%rcx
movsbl (%rcx),%ecx
cmp    %ecx,%eax
jne    1307 <convert_time_to_standard+0x1c7>
movslq -0x28(%rbp),%rax
movb   $0x0,-0x440(%rbp,%rax,1)
mov    -0x2c(%rbp),%eax
mov    %eax,-0x44c(%rbp)
test   %eax,%eax
je     1298 <convert_time_to_standard+0x158>
jmp    1270 <convert_time_to_standard+0x130>
mov    -0x44c(%rbp),%eax
sub    $0x1,%eax
je     12df <convert_time_to_standard+0x19f>
jmp    1284 <convert_time_to_standard+0x144>
mov    -0x44c(%rbp),%eax
sub    $0x2,%eax
je     12f3 <convert_time_to_standard+0x1b3>
jmp    1302 <convert_time_to_standard+0x1c2>
lea    -0x440(%rbp),%rdi
call   1050 <atoi@plt>
mov    %eax,-0x30(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x24(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
mov    -0x20(%rbp),%rcx
movsbl (%rcx),%ecx
cmp    %ecx,%eax
jne    12da <convert_time_to_standard+0x19a>
cmpl   $0xc,-0x30(%rbp)
jge    12d5 <convert_time_to_standard+0x195>
mov    -0x30(%rbp),%eax
add    $0xc,%eax
mov    %eax,-0x30(%rbp)
jmp    12da <convert_time_to_standard+0x19a>
jmp    1302 <convert_time_to_standard+0x1c2>
lea    -0x440(%rbp),%rdi
call   1050 <atoi@plt>
mov    %eax,-0x34(%rbp)
jmp    1302 <convert_time_to_standard+0x1c2>
lea    -0x440(%rbp),%rdi
call   1050 <atoi@plt>
mov    %eax,-0x38(%rbp)
jmp    1462 <convert_time_to_standard+0x322>
mov    -0x8(%rbp),%rax
movslq -0x24(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x3a,%eax
je     1356 <convert_time_to_standard+0x216>
mov    -0x8(%rbp),%rax
movslq -0x24(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x2e,%eax
je     1356 <convert_time_to_standard+0x216>
mov    -0x24(%rbp),%eax
mov    %eax,-0x450(%rbp)
mov    -0x8(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,%ecx
mov    -0x450(%rbp),%eax
sub    $0x1,%ecx
cmp    %ecx,%eax
jne    1430 <convert_time_to_standard+0x2f0>
mov    -0x24(%rbp),%eax
mov    %eax,-0x454(%rbp)
mov    -0x8(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,%ecx
mov    -0x454(%rbp),%eax
sub    $0x1,%ecx
cmp    %ecx,%eax
jne    139a <convert_time_to_standard+0x25a>
mov    -0x8(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    (%rax,%rcx,1),%cl
mov    -0x28(%rbp),%eax
mov    %eax,%edx
add    $0x1,%edx
mov    %edx,-0x28(%rbp)
cltq
mov    %cl,-0x440(%rbp,%rax,1)
movslq -0x28(%rbp),%rax
movb   $0x0,-0x440(%rbp,%rax,1)
mov    -0x2c(%rbp),%eax
mov    %eax,-0x458(%rbp)
test   %eax,%eax
je     13e4 <convert_time_to_standard+0x2a4>
jmp    13bc <convert_time_to_standard+0x27c>
mov    -0x458(%rbp),%eax
sub    $0x1,%eax
je     13f8 <convert_time_to_standard+0x2b8>
jmp    13d0 <convert_time_to_standard+0x290>
mov    -0x458(%rbp),%eax
sub    $0x2,%eax
je     140c <convert_time_to_standard+0x2cc>
jmp    141b <convert_time_to_standard+0x2db>
lea    -0x440(%rbp),%rdi
call   1050 <atoi@plt>
mov    %eax,-0x30(%rbp)
jmp    141b <convert_time_to_standard+0x2db>
lea    -0x440(%rbp),%rdi
call   1050 <atoi@plt>
mov    %eax,-0x34(%rbp)
jmp    141b <convert_time_to_standard+0x2db>
lea    -0x440(%rbp),%rdi
call   1050 <atoi@plt>
mov    %eax,-0x38(%rbp)
movl   $0x0,-0x28(%rbp)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    144f <convert_time_to_standard+0x30f>
mov    -0x8(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    (%rax,%rcx,1),%cl
mov    -0x28(%rbp),%eax
mov    %eax,%edx
add    $0x1,%edx
mov    %edx,-0x28(%rbp)
cltq
mov    %cl,-0x440(%rbp,%rax,1)
jmp    1454 <convert_time_to_standard+0x314>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    11f6 <convert_time_to_standard+0xb6>
mov    -0x10(%rbp),%rdi
mov    -0x30(%rbp),%edx
mov    -0x34(%rbp),%ecx
mov    -0x38(%rbp),%r8d
lea    0xb89(%rip),%rsi
call   1060 <sprintf@plt>
add    $0x460,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<convert_time_to_standard>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x428,%rsp
mov    %rcx,0x10(%rsp)
cmpb   $0x0,(%rdi)
je     12bc <convert_time_to_standard+0x17c>
mov    %rdx,%rbp
mov    %rdi,%r14
mov    %rsi,0x18(%rsp)
call   1030 <strlen@plt>
test   %eax,%eax
jle    11a1 <convert_time_to_standard+0x61>
xor    %ebx,%ebx
cs nopw 0x0(%rax,%rax,1)
nop
movsbl (%r14,%rbx,1),%edi
call   1040 <tolower@plt>
mov    %al,(%r14,%rbx,1)
add    $0x1,%rbx
mov    %r14,%rdi
call   1030 <strlen@plt>
cltq
cmp    %rax,%rbx
jl     1180 <convert_time_to_standard+0x40>
mov    %r14,%rdi
call   1030 <strlen@plt>
test   %eax,%eax
jle    130d <convert_time_to_standard+0x1cd>
xor    %r12d,%r12d
movl   $0x0,0xc(%rsp)
movl   $0x0,0x8(%rsp)
movl   $0x0,0x4(%rsp)
xor    %r15d,%r15d
xor    %r13d,%r13d
jmp    1200 <convert_time_to_standard+0xc0>
lea    0x20(%rsp),%rdi
call   1050 <atoi@plt>
mov    %eax,0xc(%rsp)
add    $0x1,%r15d
xor    %r13d,%r13d
add    $0x1,%r12
mov    %r14,%rdi
call   1030 <strlen@plt>
cltq
cmp    %rax,%r12
jge    1345 <convert_time_to_standard+0x205>
movzbl (%r14,%r12,1),%ebx
cmp    0x0(%rbp),%bl
je     12d1 <convert_time_to_standard+0x191>
mov    0x10(%rsp),%rax
cmp    (%rax),%bl
je     12d1 <convert_time_to_standard+0x191>
cmp    $0x2e,%bl
je     1240 <convert_time_to_standard+0x100>
cmp    $0x3a,%bl
je     1240 <convert_time_to_standard+0x100>
mov    %r14,%rdi
call   1030 <strlen@plt>
add    $0xffffffff,%eax
cmp    %rax,%r12
jne    12a7 <convert_time_to_standard+0x167>
cs nopw 0x0(%rax,%rax,1)
nop
mov    %r14,%rdi
call   1030 <strlen@plt>
add    $0xffffffff,%eax
cmp    %rax,%r12
jne    1260 <convert_time_to_standard+0x120>
movzbl (%r14,%r12,1),%eax
movslq %r13d,%rcx
add    $0x1,%r13d
mov    %al,0x20(%rsp,%rcx,1)
movslq %r13d,%rax
movb   $0x0,0x20(%rsp,%rax,1)
cmp    $0x2,%r15d
je     11d4 <convert_time_to_standard+0x94>
cmp    $0x1,%r15d
je     1294 <convert_time_to_standard+0x154>
test   %r15d,%r15d
jne    11e2 <convert_time_to_standard+0xa2>
lea    0x20(%rsp),%rdi
call   1050 <atoi@plt>
mov    %eax,0x4(%rsp)
jmp    11e2 <convert_time_to_standard+0xa2>
lea    0x20(%rsp),%rdi
call   1050 <atoi@plt>
mov    %eax,0x8(%rsp)
jmp    11e2 <convert_time_to_standard+0xa2>
movzbl (%r14,%r12,1),%eax
movslq %r13d,%rcx
add    $0x1,%r13d
mov    %al,0x20(%rsp,%rcx,1)
jmp    11e9 <convert_time_to_standard+0xa9>
movb   $0x0,(%rsi)
add    $0x428,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
movslq %r13d,%rax
movb   $0x0,0x20(%rsp,%rax,1)
cmp    $0x2,%r15d
je     1327 <convert_time_to_standard+0x1e7>
cmp    $0x1,%r15d
je     1337 <convert_time_to_standard+0x1f7>
test   %r15d,%r15d
jne    1345 <convert_time_to_standard+0x205>
lea    0x20(%rsp),%rdi
call   1050 <atoi@plt>
lea    0xc(%rax),%edx
cmp    $0xc,%eax
cmovge %eax,%edx
mov    0x10(%rsp),%rcx
cmp    (%rcx),%bl
cmovne %eax,%edx
mov    %edx,0x4(%rsp)
jmp    1345 <convert_time_to_standard+0x205>
movl   $0x0,0x4(%rsp)
movl   $0x0,0x8(%rsp)
movl   $0x0,0xc(%rsp)
jmp    1345 <convert_time_to_standard+0x205>
lea    0x20(%rsp),%rdi
call   1050 <atoi@plt>
mov    %eax,0xc(%rsp)
jmp    1345 <convert_time_to_standard+0x205>
lea    0x20(%rsp),%rdi
call   1050 <atoi@plt>
mov    %eax,0x8(%rsp)
lea    0xcb4(%rip),%rsi
mov    0x18(%rsp),%rdi
mov    0x4(%rsp),%edx
mov    0x8(%rsp),%ecx
mov    0xc(%rsp),%r8d
add    $0x428,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1060 <sprintf@plt>

LLVM IR (-O0):
@.str = [15 x i8] c"%02d:%02d:%02d\00"
define void @convert_time_to_standard(i8* %0, i8* %1, i8* %2, i8* %3) {
%5 = alloca i8*
%6 = alloca i8*
%7 = alloca i8*
%8 = alloca i8*
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
%12 = alloca i32
%13 = alloca i32
%14 = alloca i32
%15 = alloca [1024 x i8]
store i8* %0, i8** %5
store i8* %1, i8** %6
store i8* %2, i8** %7
store i8* %3, i8** %8
store i32 0, i32* %10
store i32 0, i32* %11
store i32 0, i32* %12
store i32 0, i32* %13
store i32 0, i32* %14
%16 = load i8*, i8** %5
%17 = getelementptr inbounds i8, i8* %16, i64 0
%18 = load i8, i8* %17
%19 = sext i8 %18 to i32
%20 = icmp eq i32 %19, 0
br i1 %20, label %21, label %24
21: ; preds = %4
%22 = load i8*, i8** %6
%23 = getelementptr inbounds i8, i8* %22, i64 0
store i8 0, i8* %23
br label %183
24: ; preds = %4
store i32 0, i32* %9
br label %25
25: ; preds = %41, %24
%26 = load i32, i32* %9
%27 = load i8*, i8** %5
%28 = call i32 @strlen(i8* %27)
%29 = icmp slt i32 %26, %28
br i1 %29, label %30, label %44
30: ; preds = %25
%31 = load i8*, i8** %5
%32 = load i32, i32* %9
%33 = sext i32 %32 to i64
%34 = getelementptr inbounds i8, i8* %31, i64 %33
%35 = load i8, i8* %34
%36 = call signext i8 @tolower(i8 signext %35)
%37 = load i8*, i8** %5
%38 = load i32, i32* %9
%39 = sext i32 %38 to i64
%40 = getelementptr inbounds i8, i8* %37, i64 %39
store i8 %36, i8* %40
br label %41
41: ; preds = %30
%42 = load i32, i32* %9
%43 = add nsw i32 %42, 1
store i32 %43, i32* %9
br label %25
44: ; preds = %25
store i32 0, i32* %9
br label %45
45: ; preds = %174, %44
%46 = load i32, i32* %9
%47 = load i8*, i8** %5
%48 = call i32 @strlen(i8* %47)
%49 = icmp slt i32 %46, %48
br i1 %49, label %50, label %177
50: ; preds = %45
%51 = load i8*, i8** %5
%52 = load i32, i32* %9
%53 = sext i32 %52 to i64
%54 = getelementptr inbounds i8, i8* %51, i64 %53
%55 = load i8, i8* %54
%56 = sext i8 %55 to i32
%57 = load i8*, i8** %7
%58 = getelementptr inbounds i8, i8* %57, i64 0
%59 = load i8, i8* %58
%60 = sext i8 %59 to i32
%61 = icmp eq i32 %56, %60
br i1 %61, label %74, label %62
62: ; preds = %50
%63 = load i8*, i8** %5
%64 = load i32, i32* %9
%65 = sext i32 %64 to i64
%66 = getelementptr inbounds i8, i8* %63, i64 %65
%67 = load i8, i8* %66
%68 = sext i8 %67 to i32
%69 = load i8*, i8** %8
%70 = getelementptr inbounds i8, i8* %69, i64 0
%71 = load i8, i8* %70
%72 = sext i8 %71 to i32
%73 = icmp eq i32 %68, %72
br i1 %73, label %74, label %108
74: ; preds = %62, %50
%75 = load i32, i32* %10
%76 = sext i32 %75 to i64
%77 = getelementptr inbounds [1024 x i8], [1024 x i8]* %15, i64 0, i64 %76
store i8 0, i8* %77
%78 = load i32, i32* %11
switch i32 %78, label %107 [
i32 0, label %79
i32 1, label %101
i32 2, label %104
]
79: ; preds = %74
%80 = getelementptr inbounds [1024 x i8], [1024 x i8]* %15, i64 0, i64 0
%81 = call i32 @atoi(i8* %80)
store i32 %81, i32* %12
%82 = load i8*, i8** %5
%83 = load i32, i32* %9
%84 = sext i32 %83 to i64
%85 = getelementptr inbounds i8, i8* %82, i64 %84
%86 = load i8, i8* %85
%87 = sext i8 %86 to i32
%88 = load i8*, i8** %8
%89 = getelementptr inbounds i8, i8* %88, i64 0
%90 = load i8, i8* %89
%91 = sext i8 %90 to i32
%92 = icmp eq i32 %87, %91
br i1 %92, label %93, label %100
93: ; preds = %79
%94 = load i32, i32* %12
%95 = icmp slt i32 %94, 12
br i1 %95, label %96, label %99
96: ; preds = %93
%97 = load i32, i32* %12
%98 = add nsw i32 %97, 12
store i32 %98, i32* %12
br label %99
99: ; preds = %96, %93
br label %100
100: ; preds = %99, %79
br label %107
101: ; preds = %74
%102 = getelementptr inbounds [1024 x i8], [1024 x i8]* %15, i64 0, i64 0
%103 = call i32 @atoi(i8* %102)
store i32 %103, i32* %13
br label %107
104: ; preds = %74
%105 = getelementptr inbounds [1024 x i8], [1024 x i8]* %15, i64 0, i64 0
%106 = call i32 @atoi(i8* %105)
store i32 %106, i32* %14
br label %107
107: ; preds = %74, %104, %101, %100
br label %177
108: ; preds = %62
%109 = load i8*, i8** %5
%110 = load i32, i32* %9
%111 = sext i32 %110 to i64
%112 = getelementptr inbounds i8, i8* %109, i64 %111
%113 = load i8, i8* %112
%114 = sext i8 %113 to i32
%115 = icmp eq i32 %114, 58
br i1 %115, label %130, label %116
116: ; preds = %108
%117 = load i8*, i8** %5
%118 = load i32, i32* %9
%119 = sext i32 %118 to i64
%120 = getelementptr inbounds i8, i8* %117, i64 %119
%121 = load i8, i8* %120
%122 = sext i8 %121 to i32
%123 = icmp eq i32 %122, 46
br i1 %123, label %130, label %124
124: ; preds = %116
%125 = load i32, i32* %9
%126 = load i8*, i8** %5
%127 = call i32 @strlen(i8* %126)
%128 = sub nsw i32 %127, 1
%129 = icmp eq i32 %125, %128
br i1 %129, label %130, label %163
130: ; preds = %124, %116, %108
%131 = load i32, i32* %9
%132 = load i8*, i8** %5
%133 = call i32 @strlen(i8* %132)
%134 = sub nsw i32 %133, 1
%135 = icmp eq i32 %131, %134
br i1 %135, label %136, label %146
136: ; preds = %130
%137 = load i8*, i8** %5
%138 = load i32, i32* %9
%139 = sext i32 %138 to i64
%140 = getelementptr inbounds i8, i8* %137, i64 %139
%141 = load i8, i8* %140
%142 = load i32, i32* %10
%143 = add nsw i32 %142, 1
store i32 %143, i32* %10
%144 = sext i32 %142 to i64
%145 = getelementptr inbounds [1024 x i8], [1024 x i8]* %15, i64 0, i64 %144
store i8 %141, i8* %145
br label %146
146: ; preds = %136, %130
%147 = load i32, i32* %10
%148 = sext i32 %147 to i64
%149 = getelementptr inbounds [1024 x i8], [1024 x i8]* %15, i64 0, i64 %148
store i8 0, i8* %149
%150 = load i32, i32* %11
switch i32 %150, label %160 [
i32 0, label %151
i32 1, label %154
i32 2, label %157
]
151: ; preds = %146
%152 = getelementptr inbounds [1024 x i8], [1024 x i8]* %15, i64 0, i64 0
%153 = call i32 @atoi(i8* %152)
store i32 %153, i32* %12
br label %160
154: ; preds = %146
%155 = getelementptr inbounds [1024 x i8], [1024 x i8]* %15, i64 0, i64 0
%156 = call i32 @atoi(i8* %155)
store i32 %156, i32* %13
br label %160
157: ; preds = %146
%158 = getelementptr inbounds [1024 x i8], [1024 x i8]* %15, i64 0, i64 0
%159 = call i32 @atoi(i8* %158)
store i32 %159, i32* %14
br label %160
160: ; preds = %146, %157, %154, %151
store i32 0, i32* %10
%161 = load i32, i32* %11
%162 = add nsw i32 %161, 1
store i32 %162, i32* %11
br label %173
163: ; preds = %124
%164 = load i8*, i8** %5
%165 = load i32, i32* %9
%166 = sext i32 %165 to i64
%167 = getelementptr inbounds i8, i8* %164, i64 %166
%168 = load i8, i8* %167
%169 = load i32, i32* %10
%170 = add nsw i32 %169, 1
store i32 %170, i32* %10
%171 = sext i32 %169 to i64
%172 = getelementptr inbounds [1024 x i8], [1024 x i8]* %15, i64 0, i64 %171
store i8 %168, i8* %172
br label %173
173: ; preds = %163, %160
br label %174
174: ; preds = %173
%175 = load i32, i32* %9
%176 = add nsw i32 %175, 1
store i32 %176, i32* %9
br label %45
177: ; preds = %107, %45
%178 = load i8*, i8** %6
%179 = load i32, i32* %12
%180 = load i32, i32* %13
%181 = load i32, i32* %14
%182 = call i32 @sprintf(i8* %178, i8* getelementptr inbounds ([15 x i8], [15 x i8]* @.str, i64 0, i64 0), i32 %179, i32 %180, i32 %181)
br label %183
183: ; preds = %177, %21
ret void
}

LLVM IR (-O2):
@.str = [15 x i8] c"%02d:%02d:%02d\00"
define void @convert_time_to_standard(i8* %0, i8* nocapture writeonly %1, i8* nocapture %2, i8* nocapture %3) {
%5 = alloca [1024 x i8]
%6 = getelementptr inbounds [1024 x i8], [1024 x i8]* %5, i64 0, i64 0
%7 = load i8, i8* %0
%8 = icmp eq i8 %7, 0
br i1 %8, label %12, label %9
9: ; preds = %4
%10 = tail call i32 @strlen(i8* %0)
%11 = icmp sgt i32 %10, 0
br i1 %11, label %16, label %13
12: ; preds = %4
store i8 0, i8* %1
br label %105
13: ; preds = %16, %9
%14 = tail call i32 @strlen(i8* %0)
%15 = icmp sgt i32 %14, 0
br i1 %15, label %25, label %100
16: ; preds = %9, %16
%17 = phi i64 [ %21, %16 ], [ 0, %9 ]
%18 = getelementptr inbounds i8, i8* %0, i64 %17
%19 = load i8, i8* %18
%20 = tail call signext i8 @tolower(i8 signext %19)
store i8 %20, i8* %18
%21 = add nuw nsw i64 %17, 1
%22 = tail call i32 @strlen(i8* %0)
%23 = sext i32 %22 to i64
%24 = icmp slt i64 %21, %23
br i1 %24, label %16, label %13
25: ; preds = %13, %90
%26 = phi i64 [ %96, %90 ], [ 0, %13 ]
%27 = phi i32 [ %95, %90 ], [ 0, %13 ]
%28 = phi i32 [ %94, %90 ], [ 0, %13 ]
%29 = phi i32 [ %93, %90 ], [ 0, %13 ]
%30 = phi i32 [ %92, %90 ], [ 0, %13 ]
%31 = phi i32 [ %91, %90 ], [ 0, %13 ]
%32 = getelementptr inbounds i8, i8* %0, i64 %26
%33 = load i8, i8* %32
%34 = load i8, i8* %2
%35 = icmp eq i8 %33, %34
br i1 %35, label %39, label %36
36: ; preds = %25
%37 = load i8, i8* %3
%38 = icmp eq i8 %33, %37
br i1 %38, label %39, label %54
39: ; preds = %36, %25
%40 = sext i32 %31 to i64
%41 = getelementptr inbounds [1024 x i8], [1024 x i8]* %5, i64 0, i64 %40
store i8 0, i8* %41
switch i32 %30, label %100 [
i32 0, label %42
i32 1, label %50
i32 2, label %52
]
42: ; preds = %39
%43 = call i32 @atoi(i8* %6)
%44 = load i8, i8* %3
%45 = icmp eq i8 %33, %44
%46 = icmp slt i32 %43, 12
%47 = select i1 %45, i1 %46, i1 false
%48 = add nsw i32 %43, 12
%49 = select i1 %47, i32 %48, i32 %43
br label %100
50: ; preds = %39
%51 = call i32 @atoi(i8* %6)
br label %100
52: ; preds = %39
%53 = call i32 @atoi(i8* %6)
br label %100
54: ; preds = %36
switch i8 %33, label %55 [
i8 58, label %60
i8 46, label %60
]
55: ; preds = %54
%56 = tail call i32 @strlen(i8* %0)
%57 = add nsw i32 %56, -1
%58 = zext i32 %57 to i64
%59 = icmp eq i64 %26, %58
br i1 %59, label %60, label %85
60: ; preds = %54, %54, %55
%61 = tail call i32 @strlen(i8* %0)
%62 = add nsw i32 %61, -1
%63 = zext i32 %62 to i64
%64 = icmp eq i64 %26, %63
br i1 %64, label %65, label %70
65: ; preds = %60
%66 = load i8, i8* %32
%67 = add nsw i32 %31, 1
%68 = sext i32 %31 to i64
%69 = getelementptr inbounds [1024 x i8], [1024 x i8]* %5, i64 0, i64 %68
store i8 %66, i8* %69
br label %70
70: ; preds = %65, %60
%71 = phi i32 [ %67, %65 ], [ %31, %60 ]
%72 = sext i32 %71 to i64
%73 = getelementptr inbounds [1024 x i8], [1024 x i8]* %5, i64 0, i64 %72
store i8 0, i8* %73
switch i32 %30, label %80 [
i32 0, label %74
i32 1, label %76
i32 2, label %78
]
74: ; preds = %70
%75 = call i32 @atoi(i8* %6)
br label %80
76: ; preds = %70
%77 = call i32 @atoi(i8* %6)
br label %80
78: ; preds = %70
%79 = call i32 @atoi(i8* %6)
br label %80
80: ; preds = %70, %78, %76, %74
%81 = phi i32 [ %29, %70 ], [ %29, %78 ], [ %29, %76 ], [ %75, %74 ]
%82 = phi i32 [ %28, %70 ], [ %28, %78 ], [ %77, %76 ], [ %28, %74 ]
%83 = phi i32 [ %27, %70 ], [ %79, %78 ], [ %27, %76 ], [ %27, %74 ]
%84 = add nsw i32 %30, 1
br label %90
85: ; preds = %55
%86 = load i8, i8* %32
%87 = add nsw i32 %31, 1
%88 = sext i32 %31 to i64
%89 = getelementptr inbounds [1024 x i8], [1024 x i8]* %5, i64 0, i64 %88
store i8 %86, i8* %89
br label %90
90: ; preds = %80, %85
%91 = phi i32 [ 0, %80 ], [ %87, %85 ]
%92 = phi i32 [ %84, %80 ], [ %30, %85 ]
%93 = phi i32 [ %81, %80 ], [ %29, %85 ]
%94 = phi i32 [ %82, %80 ], [ %28, %85 ]
%95 = phi i32 [ %83, %80 ], [ %27, %85 ]
%96 = add nuw nsw i64 %26, 1
%97 = tail call i32 @strlen(i8* %0)
%98 = sext i32 %97 to i64
%99 = icmp slt i64 %96, %98
br i1 %99, label %25, label %100
100: ; preds = %90, %13, %42, %50, %52, %39
%101 = phi i32 [ %29, %39 ], [ %29, %52 ], [ %29, %50 ], [ %49, %42 ], [ 0, %13 ], [ %93, %90 ]
%102 = phi i32 [ %28, %39 ], [ %28, %52 ], [ %51, %50 ], [ %28, %42 ], [ 0, %13 ], [ %94, %90 ]
%103 = phi i32 [ %27, %39 ], [ %53, %52 ], [ %27, %50 ], [ %27, %42 ], [ 0, %13 ], [ %95, %90 ]
%104 = tail call i32 @sprintf(i8* dereferenceable(1) %1, i8* dereferenceable(1) getelementptr inbounds ([15 x i8], [15 x i8]* @.str, i64 0, i64 0), i32 %101, i32 %102, i32 %103)
br label %105
105: ; preds = %100, %12
ret void
}