#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 */
scalar_t__ isdigit(char);
scalar_t__ islower(char);
scalar_t__ isupper(char);
scalar_t__ malloc(int);
char toupper(char);
char *licenseKeyFormatting(char *S, int K) {
  int group, len = 0, dashes = 0, char_len, ret_len, count = 0;
  char *ret, c;
  for (ret = S; *ret; ++ret) {
    ++len;
    if (*ret == '-')
      ++dashes;
  }
  char_len = len - dashes;
  ret_len = char_len + char_len / K + 1;
  group = char_len % K;
  if (!group)
    group = K;
  ret = (char *)malloc(ret_len * sizeof(char));
  while ((c = *S++) != '\0') {
    if (c == '-')
      continue;
    if (!group) {
      ret[count++] = '-';
      group = K;
    }
    if (isdigit(c) || isupper(c)) {
      ret[count++] = c;
      --group;
    } else if (islower(c)) {
      ret[count++] = toupper(c);
      --group;
    }
  }
  ret[count++] = '\0';
  return ret;
}


x86 assembly (clang, -O0):
<licenseKeyFormatting>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
movl   $0x0,-0x14(%rbp)
movl   $0x0,-0x18(%rbp)
movl   $0x0,-0x24(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x30(%rbp),%rax
cmpb   $0x0,(%rax)
je     11c1 <licenseKeyFormatting+0x71>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
mov    -0x30(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2d,%eax
jne    11ab <licenseKeyFormatting+0x5b>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    11b0 <licenseKeyFormatting+0x60>
mov    -0x30(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x30(%rbp)
jmp    117c <licenseKeyFormatting+0x2c>
mov    -0x14(%rbp),%eax
sub    -0x18(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
mov    %eax,-0x38(%rbp)
mov    -0x1c(%rbp),%eax
cltd
idivl  -0xc(%rbp)
mov    %eax,%ecx
mov    -0x38(%rbp),%eax
add    %ecx,%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
mov    -0x1c(%rbp),%eax
cltd
idivl  -0xc(%rbp)
mov    %edx,-0x10(%rbp)
cmpl   $0x0,-0x10(%rbp)
jne    11fe <licenseKeyFormatting+0xae>
mov    -0xc(%rbp),%eax
mov    %eax,-0x10(%rbp)
movslq -0x20(%rbp),%rax
shl    $0x0,%rax
mov    %eax,%edi
call   1060 <malloc@plt>
mov    %rax,-0x30(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x8(%rbp)
mov    (%rax),%al
mov    %al,-0x31(%rbp)
movsbl %al,%eax
cmp    $0x0,%eax
je     12fb <licenseKeyFormatting+0x1ab>
movsbl -0x31(%rbp),%eax
cmp    $0x2d,%eax
jne    1243 <licenseKeyFormatting+0xf3>
jmp    1211 <licenseKeyFormatting+0xc1>
cmpl   $0x0,-0x10(%rbp)
jne    1269 <licenseKeyFormatting+0x119>
mov    -0x30(%rbp),%rax
mov    -0x24(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x24(%rbp)
movslq %ecx,%rcx
movb   $0x2d,(%rax,%rcx,1)
mov    -0xc(%rbp),%eax
mov    %eax,-0x10(%rbp)
movsbl -0x31(%rbp),%edi
call   1030 <isdigit@plt>
cmp    $0x0,%rax
jne    128f <licenseKeyFormatting+0x13f>
movsbl -0x31(%rbp),%edi
call   1070 <isupper@plt>
cmp    $0x0,%rax
je     12b5 <licenseKeyFormatting+0x165>
mov    -0x31(%rbp),%dl
mov    -0x30(%rbp),%rax
mov    -0x24(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x24(%rbp)
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x10(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x10(%rbp)
jmp    12f6 <licenseKeyFormatting+0x1a6>
movsbl -0x31(%rbp),%edi
call   1040 <islower@plt>
cmp    $0x0,%rax
je     12f1 <licenseKeyFormatting+0x1a1>
movsbl -0x31(%rbp),%edi
call   1050 <toupper@plt>
mov    %al,%dl
mov    -0x30(%rbp),%rax
mov    -0x24(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x24(%rbp)
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x10(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x10(%rbp)
jmp    12f6 <licenseKeyFormatting+0x1a6>
jmp    1211 <licenseKeyFormatting+0xc1>
mov    -0x30(%rbp),%rax
mov    -0x24(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x24(%rbp)
movslq %ecx,%rcx
movb   $0x0,(%rax,%rcx,1)
mov    -0x30(%rbp),%rax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<licenseKeyFormatting>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %rdi,%rbp
mov    (%rdi),%dl
xor    %r14d,%r14d
mov    $0x0,%ecx
test   %dl,%dl
je     1198 <licenseKeyFormatting+0x48>
xor    %ecx,%ecx
xor    %edi,%edi
mov    %edi,%eax
mov    %edx,%ebx
xor    %edi,%edi
cmp    $0x2d,%dl
sete   %dil
add    %eax,%edi
movzbl 0x1(%rbp,%rcx,1),%edx
add    $0x1,%rcx
test   %dl,%dl
jne    1170 <licenseKeyFormatting+0x20>
xor    %edx,%edx
cmp    $0x2d,%bl
sete   %dl
add    %edx,%eax
sub    %eax,%ecx
mov    %ecx,%eax
cltd
idiv   %esi
mov    %edx,%r12d
lea    (%rcx,%rax,1),%edi
add    $0x1,%edi
test   %edx,%edx
mov    %esi,0x4(%rsp)
cmove  %esi,%r12d
call   1060 <malloc@plt>
mov    %rax,%r15
nopl   0x0(%rax,%rax,1)
movzbl 0x0(%rbp),%ebx
add    $0x1,%rbp
cmp    $0x2d,%bl
je     11c0 <licenseKeyFormatting+0x70>
test   %bl,%bl
je     122d <licenseKeyFormatting+0xdd>
test   %r12d,%r12d
jne    11e7 <licenseKeyFormatting+0x97>
movslq %r14d,%rax
add    $0x1,%r14d
movb   $0x2d,(%r15,%rax,1)
mov    0x4(%rsp),%r12d
movsbl %bl,%r13d
mov    %r13d,%edi
call   1030 <isdigit@plt>
test   %rax,%rax
jne    121c <licenseKeyFormatting+0xcc>
mov    %r13d,%edi
call   1070 <isupper@plt>
test   %rax,%rax
jne    121c <licenseKeyFormatting+0xcc>
mov    %r13d,%edi
call   1040 <islower@plt>
test   %rax,%rax
je     11c0 <licenseKeyFormatting+0x70>
mov    %r13d,%edi
call   1050 <toupper@plt>
mov    %eax,%ebx
movslq %r14d,%rax
add    $0x1,%r14d
mov    %bl,(%r15,%rax,1)
add    $0xffffffff,%r12d
jmp    11c0 <licenseKeyFormatting+0x70>
movslq %r14d,%rax
movb   $0x0,(%r15,%rax,1)
mov    %r15,%rax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define i8* @licenseKeyFormatting(i8* %0, i32 %1) {
%3 = alloca i8*
%4 = alloca i32
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
%11 = alloca i8*
%12 = alloca i8
store i8* %0, i8** %3
store i32 %1, i32* %4
store i32 0, i32* %6
store i32 0, i32* %7
store i32 0, i32* %10
%13 = load i8*, i8** %3
store i8* %13, i8** %11
br label %14
14: ; preds = %29, %2
%15 = load i8*, i8** %11
%16 = load i8, i8* %15
%17 = icmp ne i8 %16, 0
br i1 %17, label %18, label %32
18: ; preds = %14
%19 = load i32, i32* %6
%20 = add nsw i32 %19, 1
store i32 %20, i32* %6
%21 = load i8*, i8** %11
%22 = load i8, i8* %21
%23 = sext i8 %22 to i32
%24 = icmp eq i32 %23, 45
br i1 %24, label %25, label %28
25: ; preds = %18
%26 = load i32, i32* %7
%27 = add nsw i32 %26, 1
store i32 %27, i32* %7
br label %28
28: ; preds = %25, %18
br label %29
29: ; preds = %28
%30 = load i8*, i8** %11
%31 = getelementptr inbounds i8, i8* %30, i32 1
store i8* %31, i8** %11
br label %14
32: ; preds = %14
%33 = load i32, i32* %6
%34 = load i32, i32* %7
%35 = sub nsw i32 %33, %34
store i32 %35, i32* %8
%36 = load i32, i32* %8
%37 = load i32, i32* %8
%38 = load i32, i32* %4
%39 = sdiv i32 %37, %38
%40 = add nsw i32 %36, %39
%41 = add nsw i32 %40, 1
store i32 %41, i32* %9
%42 = load i32, i32* %8
%43 = load i32, i32* %4
%44 = srem i32 %42, %43
store i32 %44, i32* %5
%45 = load i32, i32* %5
%46 = icmp ne i32 %45, 0
br i1 %46, label %49, label %47
47: ; preds = %32
%48 = load i32, i32* %4
store i32 %48, i32* %5
br label %49
49: ; preds = %47, %32
%50 = load i32, i32* %9
%51 = sext i32 %50 to i64
%52 = mul i64 %51, 1
%53 = trunc i64 %52 to i32
%54 = call i64 @malloc(i32 %53)
%55 = inttoptr i64 %54 to i8*
store i8* %55, i8** %11
br label %56
56: ; preds = %109, %66, %49
%57 = load i8*, i8** %3
%58 = getelementptr inbounds i8, i8* %57, i32 1
store i8* %58, i8** %3
%59 = load i8, i8* %57
store i8 %59, i8* %12
%60 = sext i8 %59 to i32
%61 = icmp ne i32 %60, 0
br i1 %61, label %62, label %110
62: ; preds = %56
%63 = load i8, i8* %12
%64 = sext i8 %63 to i32
%65 = icmp eq i32 %64, 45
br i1 %65, label %66, label %67
66: ; preds = %62
br label %56
67: ; preds = %62
%68 = load i32, i32* %5
%69 = icmp ne i32 %68, 0
br i1 %69, label %77, label %70
70: ; preds = %67
%71 = load i8*, i8** %11
%72 = load i32, i32* %10
%73 = add nsw i32 %72, 1
store i32 %73, i32* %10
%74 = sext i32 %72 to i64
%75 = getelementptr inbounds i8, i8* %71, i64 %74
store i8 45, i8* %75
%76 = load i32, i32* %4
store i32 %76, i32* %5
br label %77
77: ; preds = %70, %67
%78 = load i8, i8* %12
%79 = call i64 @isdigit(i8 signext %78)
%80 = icmp ne i64 %79, 0
br i1 %80, label %85, label %81
81: ; preds = %77
%82 = load i8, i8* %12
%83 = call i64 @isupper(i8 signext %82)
%84 = icmp ne i64 %83, 0
br i1 %84, label %85, label %94
85: ; preds = %81, %77
%86 = load i8, i8* %12
%87 = load i8*, i8** %11
%88 = load i32, i32* %10
%89 = add nsw i32 %88, 1
store i32 %89, i32* %10
%90 = sext i32 %88 to i64
%91 = getelementptr inbounds i8, i8* %87, i64 %90
store i8 %86, i8* %91
%92 = load i32, i32* %5
%93 = add nsw i32 %92, -1
store i32 %93, i32* %5
br label %109
94: ; preds = %81
%95 = load i8, i8* %12
%96 = call i64 @islower(i8 signext %95)
%97 = icmp ne i64 %96, 0
br i1 %97, label %98, label %108
98: ; preds = %94
%99 = load i8, i8* %12
%100 = call signext i8 @toupper(i8 signext %99)
%101 = load i8*, i8** %11
%102 = load i32, i32* %10
%103 = add nsw i32 %102, 1
store i32 %103, i32* %10
%104 = sext i32 %102 to i64
%105 = getelementptr inbounds i8, i8* %101, i64 %104
store i8 %100, i8* %105
%106 = load i32, i32* %5
%107 = add nsw i32 %106, -1
store i32 %107, i32* %5
br label %108
108: ; preds = %98, %94
br label %109
109: ; preds = %108, %85
br label %56
110: ; preds = %56
%111 = load i8*, i8** %11
%112 = load i32, i32* %10
%113 = add nsw i32 %112, 1
store i32 %113, i32* %10
%114 = sext i32 %112 to i64
%115 = getelementptr inbounds i8, i8* %111, i64 %114
store i8 0, i8* %115
%116 = load i8*, i8** %11
ret i8* %116
}

LLVM IR (-O2):
define i8* @licenseKeyFormatting(i8* nocapture %0, i32 %1) {
%3 = load i8, i8* %0
%4 = icmp eq i8 %3, 0
br i1 %4, label %19, label %5
5: ; preds = %2, %5
%6 = phi i8 [ %15, %5 ], [ %3, %2 ]
%7 = phi i8* [ %14, %5 ], [ %0, %2 ]
%8 = phi i32 [ %10, %5 ], [ 0, %2 ]
%9 = phi i32 [ %13, %5 ], [ 0, %2 ]
%10 = add nuw nsw i32 %8, 1
%11 = icmp eq i8 %6, 45
%12 = zext i1 %11 to i32
%13 = add nuw nsw i32 %9, %12
%14 = getelementptr inbounds i8, i8* %7, i64 1
%15 = load i8, i8* %14
%16 = icmp eq i8 %15, 0
br i1 %16, label %17, label %5
17: ; preds = %5
%18 = sub nsw i32 %10, %13
br label %19
19: ; preds = %17, %2
%20 = phi i32 [ %18, %17 ], [ 0, %2 ]
%21 = sdiv i32 %20, %1
%22 = add i32 %20, 1
%23 = add i32 %22, %21
%24 = srem i32 %20, %1
%25 = icmp eq i32 %24, 0
%26 = select i1 %25, i32 %1, i32 %24
%27 = tail call i64 @malloc(i32 %23)
%28 = inttoptr i64 %27 to i8*
br label %29
29: ; preds = %62, %19
%30 = phi i32 [ %26, %19 ], [ %63, %62 ]
%31 = phi i32 [ 0, %19 ], [ %64, %62 ]
%32 = phi i8* [ %0, %19 ], [ %35, %62 ]
br label %33
33: ; preds = %29, %33
%34 = phi i8* [ %35, %33 ], [ %32, %29 ]
%35 = getelementptr inbounds i8, i8* %34, i64 1
%36 = load i8, i8* %34
switch i8 %36, label %37 [
i8 0, label %65
i8 45, label %33
]
37: ; preds = %33
%38 = icmp eq i32 %30, 0
br i1 %38, label %39, label %43
39: ; preds = %37
%40 = add nsw i32 %31, 1
%41 = sext i32 %31 to i64
%42 = getelementptr inbounds i8, i8* %28, i64 %41
store i8 45, i8* %42
br label %43
43: ; preds = %39, %37
%44 = phi i32 [ %30, %37 ], [ %1, %39 ]
%45 = phi i32 [ %31, %37 ], [ %40, %39 ]
%46 = tail call i64 @isdigit(i8 signext %36)
%47 = icmp eq i64 %46, 0
br i1 %47, label %48, label %56
48: ; preds = %43
%49 = tail call i64 @isupper(i8 signext %36)
%50 = icmp eq i64 %49, 0
br i1 %50, label %51, label %56
51: ; preds = %48
%52 = tail call i64 @islower(i8 signext %36)
%53 = icmp eq i64 %52, 0
br i1 %53, label %62, label %54
54: ; preds = %51
%55 = tail call signext i8 @toupper(i8 signext %36)
br label %56
56: ; preds = %43, %48, %54
%57 = phi i8 [ %55, %54 ], [ %36, %48 ], [ %36, %43 ]
%58 = add nsw i32 %45, 1
%59 = sext i32 %45 to i64
%60 = getelementptr inbounds i8, i8* %28, i64 %59
store i8 %57, i8* %60
%61 = add nsw i32 %44, -1
br label %62
62: ; preds = %56, %51
%63 = phi i32 [ %44, %51 ], [ %61, %56 ]
%64 = phi i32 [ %45, %51 ], [ %58, %56 ]
br label %29
65: ; preds = %33
%66 = sext i32 %31 to i64
%67 = getelementptr inbounds i8, i8* %28, i64 %66
store i8 0, i8* %67
ret i8* %28
}