#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__ malloc(int);
int /*<<< orphan*/ memset(char *, int /*<<< orphan*/, int);
int /*<<< orphan*/ printf(char *);
int strlen(char const *);
char *Pascal2Camelback(const char *src) {
  if (src == NULL) {
    printf("src == NULL\n");
    return NULL;
  }
  int index = 0;
  int length = strlen(src);
  char *dst = (char *)malloc(length * 2);
  memset(dst, 0, length * 2);
  dst[index] = src[index] + 32;
  index++;
  for (int i = 1; i < length; i++) {
    char c = src[i];
    dst[index] = c;
    index++;
  }
  dst[index] = '\0';
  return dst;
}


x86 assembly (clang, -O0):
<Pascal2Camelback>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x10(%rbp)
cmpq   $0x0,-0x10(%rbp)
jne    1170 <Pascal2Camelback+0x30>
lea    0xea2(%rip),%rdi
call   1040 <printf@plt>
movq   $0x0,-0x8(%rbp)
jmp    1222 <Pascal2Camelback+0xe2>
movl   $0x0,-0x14(%rbp)
mov    -0x10(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,-0x18(%rbp)
mov    -0x18(%rbp),%edi
shl    $0x1,%edi
call   1060 <malloc@plt>
mov    %rax,-0x20(%rbp)
mov    -0x20(%rbp),%rdi
mov    -0x18(%rbp),%edx
shl    $0x1,%edx
xor    %esi,%esi
call   1050 <memset@plt>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
add    $0x20,%eax
mov    %al,%dl
mov    -0x20(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
movl   $0x1,-0x24(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0x18(%rbp),%eax
jge    120e <Pascal2Camelback+0xce>
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    (%rax,%rcx,1),%al
mov    %al,-0x25(%rbp)
mov    -0x25(%rbp),%dl
mov    -0x20(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    11cf <Pascal2Camelback+0x8f>
mov    -0x20(%rbp),%rax
movslq -0x14(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
mov    -0x20(%rbp),%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<Pascal2Camelback>:
push   %rbp
push   %r15
push   %r14
push   %rbx
push   %rax
test   %rdi,%rdi
je     11cb <Pascal2Camelback+0x8b>
mov    %rdi,%r14
call   1040 <strlen@plt>
mov    %eax,%r15d
lea    (%r15,%r15,1),%ebp
mov    %ebp,%edi
call   1060 <malloc@plt>
mov    %rax,%rbx
mov    %rax,%rdi
xor    %esi,%esi
mov    %ebp,%edx
call   1050 <memset@plt>
mov    (%r14),%al
add    $0x20,%al
mov    %al,(%rbx)
mov    $0x1,%r8d
cmp    $0x2,%r15d
jl     134f <Pascal2Camelback+0x20f>
mov    %r15d,%r8d
lea    -0x1(%r8),%rcx
mov    $0x1,%esi
cmp    $0x8,%rcx
jb     12e1 <Pascal2Camelback+0x1a1>
lea    0x1(%rbx),%rdx
lea    (%r14,%r8,1),%rdi
cmp    %rdi,%rdx
jae    11be <Pascal2Camelback+0x7e>
mov    %rbx,%rdx
add    %r8,%rdx
lea    0x1(%r14),%rdi
cmp    %rdx,%rdi
jb     12e1 <Pascal2Camelback+0x1a1>
cmp    $0x20,%rcx
jae    11de <Pascal2Camelback+0x9e>
xor    %edx,%edx
jmp    12b3 <Pascal2Camelback+0x173>
lea    0xe2e(%rip),%rdi
call   1030 <puts@plt>
xor    %ebx,%ebx
jmp    1354 <Pascal2Camelback+0x214>
mov    %rcx,%rdx
and    $0xffffffffffffffe0,%rdx
lea    -0x20(%rdx),%rdi
mov    %rdi,%rsi
shr    $0x5,%rsi
add    $0x1,%rsi
mov    %esi,%ebp
and    $0x3,%ebp
cmp    $0x60,%rdi
jae    1203 <Pascal2Camelback+0xc3>
xor    %edi,%edi
jmp    1272 <Pascal2Camelback+0x132>
and    $0xfffffffffffffffc,%rsi
xor    %edi,%edi
nopl   0x0(%rax)
movups 0x1(%r14,%rdi,1),%xmm0
movups 0x11(%r14,%rdi,1),%xmm1
movups %xmm0,0x1(%rbx,%rdi,1)
movups %xmm1,0x11(%rbx,%rdi,1)
movups 0x21(%r14,%rdi,1),%xmm0
movups 0x31(%r14,%rdi,1),%xmm1
movups %xmm0,0x21(%rbx,%rdi,1)
movups %xmm1,0x31(%rbx,%rdi,1)
movups 0x41(%r14,%rdi,1),%xmm0
movups 0x51(%r14,%rdi,1),%xmm1
movups %xmm0,0x41(%rbx,%rdi,1)
movups %xmm1,0x51(%rbx,%rdi,1)
movups 0x61(%r14,%rdi,1),%xmm0
movups 0x71(%r14,%rdi,1),%xmm1
movups %xmm0,0x61(%rbx,%rdi,1)
movups %xmm1,0x71(%rbx,%rdi,1)
sub    $0xffffffffffffff80,%rdi
add    $0xfffffffffffffffc,%rsi
jne    1210 <Pascal2Camelback+0xd0>
test   %rbp,%rbp
je     12a5 <Pascal2Camelback+0x165>
nopw   0x0(%rax,%rax,1)
mov    %rdi,%rsi
or     $0x1,%rsi
movups (%r14,%rsi,1),%xmm0
movups 0x10(%r14,%rsi,1),%xmm1
movups %xmm0,(%rbx,%rsi,1)
movups %xmm1,0x10(%rbx,%rsi,1)
add    $0x20,%rdi
add    $0xffffffffffffffff,%rbp
jne    1280 <Pascal2Camelback+0x140>
cmp    %rdx,%rcx
je     134f <Pascal2Camelback+0x20f>
test   $0x18,%cl
je     12da <Pascal2Camelback+0x19a>
mov    %rcx,%rdi
and    $0xfffffffffffffff8,%rdi
lea    0x1(%rdi),%rsi
xchg   %ax,%ax
mov    0x1(%r14,%rdx,1),%rbp
mov    %rbp,0x1(%rbx,%rdx,1)
add    $0x8,%rdx
cmp    %rdx,%rdi
jne    12c0 <Pascal2Camelback+0x180>
cmp    %rdi,%rcx
jne    12e1 <Pascal2Camelback+0x1a1>
jmp    134f <Pascal2Camelback+0x20f>
or     $0x1,%rdx
mov    %rdx,%rsi
mov    %r8d,%edx
sub    %esi,%edx
mov    %rsi,%rcx
not    %rcx
add    %r8,%rcx
and    $0x3,%rdx
je     1312 <Pascal2Camelback+0x1d2>
cs nopw 0x0(%rax,%rax,1)
nop
movzbl (%r14,%rsi,1),%eax
mov    %al,(%rbx,%rsi,1)
add    $0x1,%rsi
add    $0xffffffffffffffff,%rdx
jne    1300 <Pascal2Camelback+0x1c0>
cmp    $0x3,%rcx
jb     134f <Pascal2Camelback+0x20f>
nopl   0x0(%rax,%rax,1)
movzbl (%r14,%rsi,1),%eax
mov    %al,(%rbx,%rsi,1)
movzbl 0x1(%r14,%rsi,1),%eax
mov    %al,0x1(%rbx,%rsi,1)
movzbl 0x2(%r14,%rsi,1),%eax
mov    %al,0x2(%rbx,%rsi,1)
movzbl 0x3(%r14,%rsi,1),%eax
mov    %al,0x3(%rbx,%rsi,1)
add    $0x4,%rsi
cmp    %rsi,%r8
jne    1320 <Pascal2Camelback+0x1e0>
movb   $0x0,(%rbx,%r8,1)
mov    %rbx,%rax
add    $0x8,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@.str = [13 x i8] c"src == NULL\0A\00"
define i8* @Pascal2Camelback(i8* %0) {
%2 = alloca i8*
%3 = alloca i8*
%4 = alloca i32
%5 = alloca i32
%6 = alloca i8*
%7 = alloca i32
%8 = alloca i8
store i8* %0, i8** %3
%9 = load i8*, i8** %3
%10 = icmp eq i8* %9, null
br i1 %10, label %11, label %13
11: ; preds = %1
%12 = call i32 @printf(i8* getelementptr inbounds ([13 x i8], [13 x i8]* @.str, i64 0, i64 0))
store i8* null, i8** %2
br label %64
13: ; preds = %1
store i32 0, i32* %4
%14 = load i8*, i8** %3
%15 = call i32 @strlen(i8* %14)
store i32 %15, i32* %5
%16 = load i32, i32* %5
%17 = mul nsw i32 %16, 2
%18 = call i64 @malloc(i32 %17)
%19 = inttoptr i64 %18 to i8*
store i8* %19, i8** %6
%20 = load i8*, i8** %6
%21 = load i32, i32* %5
%22 = mul nsw i32 %21, 2
%23 = call i32 @memset(i8* %20, i32 0, i32 %22)
%24 = load i8*, i8** %3
%25 = load i32, i32* %4
%26 = sext i32 %25 to i64
%27 = getelementptr inbounds i8, i8* %24, i64 %26
%28 = load i8, i8* %27
%29 = sext i8 %28 to i32
%30 = add nsw i32 %29, 32
%31 = trunc i32 %30 to i8
%32 = load i8*, i8** %6
%33 = load i32, i32* %4
%34 = sext i32 %33 to i64
%35 = getelementptr inbounds i8, i8* %32, i64 %34
store i8 %31, i8* %35
%36 = load i32, i32* %4
%37 = add nsw i32 %36, 1
store i32 %37, i32* %4
store i32 1, i32* %7
br label %38
38: ; preds = %55, %13
%39 = load i32, i32* %7
%40 = load i32, i32* %5
%41 = icmp slt i32 %39, %40
br i1 %41, label %42, label %58
42: ; preds = %38
%43 = load i8*, i8** %3
%44 = load i32, i32* %7
%45 = sext i32 %44 to i64
%46 = getelementptr inbounds i8, i8* %43, i64 %45
%47 = load i8, i8* %46
store i8 %47, i8* %8
%48 = load i8, i8* %8
%49 = load i8*, i8** %6
%50 = load i32, i32* %4
%51 = sext i32 %50 to i64
%52 = getelementptr inbounds i8, i8* %49, i64 %51
store i8 %48, i8* %52
%53 = load i32, i32* %4
%54 = add nsw i32 %53, 1
store i32 %54, i32* %4
br label %55
55: ; preds = %42
%56 = load i32, i32* %7
%57 = add nsw i32 %56, 1
store i32 %57, i32* %7
br label %38
58: ; preds = %38
%59 = load i8*, i8** %6
%60 = load i32, i32* %4
%61 = sext i32 %60 to i64
%62 = getelementptr inbounds i8, i8* %59, i64 %61
store i8 0, i8* %62
%63 = load i8*, i8** %6
store i8* %63, i8** %2
br label %64
64: ; preds = %58, %11
%65 = load i8*, i8** %2
ret i8* %65
}

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