#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 */
char *malloc(size_t);
size_t strlen(char *);
char *toLowercase(char *raw) {
  size_t len = strlen(raw);
  char *ret = malloc(len + 1);
  for (size_t i = 0; i <= len; ++i) {
    ret[i] = raw[i] >= 65 && raw[i] <= 90 ? raw[i] + 32 : raw[i];
  }
  return ret;
}


x86 assembly (clang, -O0):
<toLowercase>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x8(%rbp)
mov    -0x8(%rbp),%rdi
call   1030 <strlen@plt>
mov    %rax,-0x10(%rbp)
mov    -0x10(%rbp),%rdi
add    $0x1,%rdi
call   1040 <malloc@plt>
mov    %rax,-0x18(%rbp)
movq   $0x0,-0x20(%rbp)
mov    -0x20(%rbp),%rax
cmp    -0x10(%rbp),%rax
ja     11d1 <toLowercase+0xb1>
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x41,%eax
jl     11a1 <toLowercase+0x81>
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x5a,%eax
jg     11a1 <toLowercase+0x81>
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
add    $0x20,%eax
mov    %eax,-0x24(%rbp)
jmp    11b0 <toLowercase+0x90>
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
mov    %eax,-0x24(%rbp)
mov    -0x24(%rbp),%eax
mov    %al,%dl
mov    -0x18(%rbp),%rax
mov    -0x20(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
jmp    1152 <toLowercase+0x32>
mov    -0x18(%rbp),%rax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<toLowercase>:
push   %r14
push   %rbx
push   %rax
mov    %rdi,%rbx
call   1030 <strlen@plt>
mov    %rax,%r14
add    $0x1,%r14
mov    %r14,%rdi
call   1040 <malloc@plt>
cmp    $0x8,%r14
jae    1148 <toLowercase+0x28>
xor    %ecx,%ecx
jmp    137e <toLowercase+0x25e>
cmp    $0x20,%r14
jae    1155 <toLowercase+0x35>
xor    %ecx,%ecx
jmp    1303 <toLowercase+0x1e3>
mov    %r14,%rcx
and    $0xffffffffffffffe0,%rcx
lea    -0x20(%rcx),%rdx
mov    %rdx,%rsi
shr    $0x5,%rsi
add    $0x1,%rsi
test   %rdx,%rdx
je     136d <toLowercase+0x24d>
mov    %rsi,%rdi
and    $0xfffffffffffffffe,%rdi
xor    %edx,%edx
movdqa 0xe7b(%rip),%xmm0
movdqa 0xe83(%rip),%xmm1
movdqa 0xe8b(%rip),%xmm2
cs nopw 0x0(%rax,%rax,1)
nop
movdqu (%rbx,%rdx,1),%xmm3
movdqu 0x10(%rbx,%rdx,1),%xmm4
movdqa %xmm3,%xmm5
paddb  %xmm0,%xmm5
movdqa %xmm4,%xmm6
paddb  %xmm0,%xmm6
movdqa %xmm5,%xmm7
pminub %xmm1,%xmm7
pcmpeqb %xmm5,%xmm7
movdqa %xmm6,%xmm5
pminub %xmm1,%xmm5
pcmpeqb %xmm6,%xmm5
movdqa %xmm7,%xmm6
pandn  %xmm3,%xmm6
paddb  %xmm2,%xmm3
pand   %xmm7,%xmm3
por    %xmm6,%xmm3
movdqa %xmm5,%xmm6
pandn  %xmm4,%xmm6
paddb  %xmm2,%xmm4
pand   %xmm5,%xmm4
por    %xmm6,%xmm4
movdqu %xmm3,(%rax,%rdx,1)
movdqu %xmm4,0x10(%rax,%rdx,1)
movdqu 0x20(%rbx,%rdx,1),%xmm3
movdqu 0x30(%rbx,%rdx,1),%xmm4
movdqa %xmm3,%xmm5
paddb  %xmm0,%xmm5
movdqa %xmm4,%xmm6
paddb  %xmm0,%xmm6
movdqa %xmm5,%xmm7
pminub %xmm1,%xmm7
pcmpeqb %xmm5,%xmm7
movdqa %xmm6,%xmm5
pminub %xmm1,%xmm5
pcmpeqb %xmm6,%xmm5
movdqa %xmm7,%xmm6
pandn  %xmm3,%xmm6
paddb  %xmm2,%xmm3
pand   %xmm7,%xmm3
por    %xmm6,%xmm3
movdqa %xmm5,%xmm6
pandn  %xmm4,%xmm6
paddb  %xmm2,%xmm4
pand   %xmm5,%xmm4
por    %xmm6,%xmm4
movdqu %xmm3,0x20(%rax,%rdx,1)
movdqu %xmm4,0x30(%rax,%rdx,1)
add    $0x40,%rdx
add    $0xfffffffffffffffe,%rdi
jne    11a0 <toLowercase+0x80>
test   $0x1,%sil
je     12f4 <toLowercase+0x1d4>
movdqu (%rbx,%rdx,1),%xmm0
movdqu 0x10(%rbx,%rdx,1),%xmm1
movdqa 0xd6b(%rip),%xmm2
movdqa %xmm0,%xmm3
paddb  %xmm2,%xmm3
paddb  %xmm1,%xmm2
movdqa 0xd67(%rip),%xmm4
movdqa %xmm3,%xmm5
pminub %xmm4,%xmm5
pcmpeqb %xmm3,%xmm5
pminub %xmm2,%xmm4
pcmpeqb %xmm2,%xmm4
movdqa 0xd5b(%rip),%xmm2
movdqa %xmm5,%xmm3
pandn  %xmm0,%xmm3
paddb  %xmm2,%xmm0
paddb  %xmm1,%xmm2
pand   %xmm5,%xmm0
por    %xmm3,%xmm0
pand   %xmm4,%xmm2
pandn  %xmm1,%xmm4
por    %xmm2,%xmm4
movdqu %xmm0,(%rax,%rdx,1)
movdqu %xmm4,0x10(%rax,%rdx,1)
cmp    %rcx,%r14
je     13a0 <toLowercase+0x280>
test   $0x18,%r14b
je     137e <toLowercase+0x25e>
mov    %rcx,%rdx
mov    %r14,%rcx
and    $0xfffffffffffffff8,%rcx
movdqa 0xd1b(%rip),%xmm0
movdqa 0xd23(%rip),%xmm1
movdqa 0xd2b(%rip),%xmm2
cs nopw 0x0(%rax,%rax,1)
nop
movq   (%rbx,%rdx,1),%xmm3
movdqa %xmm3,%xmm4
paddb  %xmm0,%xmm4
movdqa %xmm4,%xmm5
pmaxub %xmm1,%xmm5
pcmpeqb %xmm4,%xmm5
movdqa %xmm5,%xmm4
pand   %xmm3,%xmm4
paddb  %xmm2,%xmm3
pandn  %xmm3,%xmm5
por    %xmm4,%xmm5
movq   %xmm5,(%rax,%rdx,1)
add    $0x8,%rdx
cmp    %rdx,%rcx
jne    1330 <toLowercase+0x210>
jmp    139b <toLowercase+0x27b>
xor    %edx,%edx
test   $0x1,%sil
jne    1282 <toLowercase+0x162>
jmp    12f4 <toLowercase+0x1d4>
movzbl (%rbx,%rcx,1),%edx
lea    -0x41(%rdx),%esi
lea    0x20(%rdx),%edi
cmp    $0x1a,%sil
movzbl %dil,%esi
cmovae %edx,%esi
mov    %sil,(%rax,%rcx,1)
add    $0x1,%rcx
cmp    %rcx,%r14
jne    137e <toLowercase+0x25e>
add    $0x8,%rsp
pop    %rbx
pop    %r14
ret

LLVM IR (-O0):
define i8* @toLowercase(i8* %0) {
%2 = alloca i8*
%3 = alloca i64
%4 = alloca i8*
%5 = alloca i64
store i8* %0, i8** %2
%6 = load i8*, i8** %2
%7 = call i64 @strlen(i8* %6)
store i64 %7, i64* %3
%8 = load i64, i64* %3
%9 = add i64 %8, 1
%10 = call i8* @malloc(i64 %9)
store i8* %10, i8** %4
store i64 0, i64* %5
br label %11
11: ; preds = %48, %1
%12 = load i64, i64* %5
%13 = load i64, i64* %3
%14 = icmp ule i64 %12, %13
br i1 %14, label %15, label %51
15: ; preds = %11
%16 = load i8*, i8** %2
%17 = load i64, i64* %5
%18 = getelementptr inbounds i8, i8* %16, i64 %17
%19 = load i8, i8* %18
%20 = sext i8 %19 to i32
%21 = icmp sge i32 %20, 65
br i1 %21, label %22, label %36
22: ; preds = %15
%23 = load i8*, i8** %2
%24 = load i64, i64* %5
%25 = getelementptr inbounds i8, i8* %23, i64 %24
%26 = load i8, i8* %25
%27 = sext i8 %26 to i32
%28 = icmp sle i32 %27, 90
br i1 %28, label %29, label %36
29: ; preds = %22
%30 = load i8*, i8** %2
%31 = load i64, i64* %5
%32 = getelementptr inbounds i8, i8* %30, i64 %31
%33 = load i8, i8* %32
%34 = sext i8 %33 to i32
%35 = add nsw i32 %34, 32
br label %42
36: ; preds = %22, %15
%37 = load i8*, i8** %2
%38 = load i64, i64* %5
%39 = getelementptr inbounds i8, i8* %37, i64 %38
%40 = load i8, i8* %39
%41 = sext i8 %40 to i32
br label %42
42: ; preds = %36, %29
%43 = phi i32 [ %35, %29 ], [ %41, %36 ]
%44 = trunc i32 %43 to i8
%45 = load i8*, i8** %4
%46 = load i64, i64* %5
%47 = getelementptr inbounds i8, i8* %45, i64 %46
store i8 %44, i8* %47
br label %48
48: ; preds = %42
%49 = load i64, i64* %5
%50 = add i64 %49, 1
store i64 %50, i64* %5
br label %11
51: ; preds = %11
%52 = load i8*, i8** %4
ret i8* %52
}

LLVM IR (-O2):
define noalias i8* @toLowercase(i8* nocapture %0) {
%2 = tail call i64 @strlen(i8* dereferenceable(1) %0)
%3 = add i64 %2, 1
%4 = tail call i8* @malloc(i64 %3)
%5 = icmp ult i64 %3, 8
br i1 %5, label %106, label %6
6: ; preds = %1
%7 = icmp ult i64 %3, 32
br i1 %7, label %87, label %8
8: ; preds = %6
%9 = and i64 %3, -32
%10 = add i64 %9, -32
%11 = lshr exact i64 %10, 5
%12 = add nuw nsw i64 %11, 1
%13 = and i64 %12, 1
%14 = icmp eq i64 %10, 0
br i1 %14, label %60, label %15
15: ; preds = %8
%16 = and i64 %12, 1152921504606846974
br label %17
17: ; preds = %17, %15
%18 = phi i64 [ 0, %15 ], [ %57, %17 ]
%19 = phi i64 [ 0, %15 ], [ %58, %17 ]
%20 = getelementptr inbounds i8, i8* %0, i64 %18
%21 = bitcast i8* %20 to <16 x i8>*
%22 = load <16 x i8>, <16 x i8>* %21
%23 = getelementptr inbounds i8, i8* %20, i64 16
%24 = bitcast i8* %23 to <16 x i8>*
%25 = load <16 x i8>, <16 x i8>* %24
%26 = add <16 x i8> %22, <i8 -65, i8 -65, i8 -65, i8 -65, i8 -65, i8 -65, i8 -65, i8 -65, i8 -65, i8 -65, i8 -65, i8 -65, i8 -65, i8 -65, i8 -65, i8 -65>
%27 = add <16 x i8> %25, <i8 -65, i8 -65, i8 -65, i8 -65, i8 -65, i8 -65, i8 -65, i8 -65, i8 -65, i8 -65, i8 -65, i8 -65, i8 -65, i8 -65, i8 -65, i8 -65>
%28 = icmp ult <16 x i8> %26, <i8 26, i8 26, i8 26, i8 26, i8 26, i8 26, i8 26, i8 26, i8 26, i8 26, i8 26, i8 26, i8 26, i8 26, i8 26, i8 26>
%29 = icmp ult <16 x i8> %27, <i8 26, i8 26, i8 26, i8 26, i8 26, i8 26, i8 26, i8 26, i8 26, i8 26, i8 26, i8 26, i8 26, i8 26, i8 26, i8 26>
%30 = add nuw nsw <16 x i8> %22, <i8 32, i8 32, i8 32, i8 32, i8 32, i8 32, i8 32, i8 32, i8 32, i8 32, i8 32, i8 32, i8 32, i8 32, i8 32, i8 32>
%31 = add nuw nsw <16 x i8> %25, <i8 32, i8 32, i8 32, i8 32, i8 32, i8 32, i8 32, i8 32, i8 32, i8 32, i8 32, i8 32, i8 32, i8 32, i8 32, i8 32>
%32 = select <16 x i1> %28, <16 x i8> %30, <16 x i8> %22
%33 = select <16 x i1> %29, <16 x i8> %31, <16 x i8> %25
%34 = getelementptr inbounds i8, i8* %4, i64 %18
%35 = bitcast i8* %34 to <16 x i8>*
store <16 x i8> %32, <16 x i8>* %35
%36 = getelementptr inbounds i8, i8* %34, i64 16
%37 = bitcast i8* %36 to <16 x i8>*
store <16 x i8> %33, <16 x i8>* %37
%38 = or i64 %18, 32
%39 = getelementptr inbounds i8, i8* %0, i64 %38
%40 = bitcast i8* %39 to <16 x i8>*
%41 = load <16 x i8>, <16 x i8>* %40
%42 = getelementptr inbounds i8, i8* %39, i64 16
%43 = bitcast i8* %42 to <16 x i8>*
%44 = load <16 x i8>, <16 x i8>* %43
%45 = add <16 x i8> %41, <i8 -65, i8 -65, i8 -65, i8 -65, i8 -65, i8 -65, i8 -65, i8 -65, i8 -65, i8 -65, i8 -65, i8 -65, i8 -65, i8 -65, i8 -65, i8 -65>
%46 = add <16 x i8> %44, <i8 -65, i8 -65, i8 -65, i8 -65, i8 -65, i8 -65, i8 -65, i8 -65, i8 -65, i8 -65, i8 -65, i8 -65, i8 -65, i8 -65, i8 -65, i8 -65>
%47 = icmp ult <16 x i8> %45, <i8 26, i8 26, i8 26, i8 26, i8 26, i8 26, i8 26, i8 26, i8 26, i8 26, i8 26, i8 26, i8 26, i8 26, i8 26, i8 26>
%48 = icmp ult <16 x i8> %46, <i8 26, i8 26, i8 26, i8 26, i8 26, i8 26, i8 26, i8 26, i8 26, i8 26, i8 26, i8 26, i8 26, i8 26, i8 26, i8 26>
%49 = add nuw nsw <16 x i8> %41, <i8 32, i8 32, i8 32, i8 32, i8 32, i8 32, i8 32, i8 32, i8 32, i8 32, i8 32, i8 32, i8 32, i8 32, i8 32, i8 32>
%50 = add nuw nsw <16 x i8> %44, <i8 32, i8 32, i8 32, i8 32, i8 32, i8 32, i8 32, i8 32, i8 32, i8 32, i8 32, i8 32, i8 32, i8 32, i8 32, i8 32>
%51 = select <16 x i1> %47, <16 x i8> %49, <16 x i8> %41
%52 = select <16 x i1> %48, <16 x i8> %50, <16 x i8> %44
%53 = getelementptr inbounds i8, i8* %4, i64 %38
%54 = bitcast i8* %53 to <16 x i8>*
store <16 x i8> %51, <16 x i8>* %54
%55 = getelementptr inbounds i8, i8* %53, i64 16
%56 = bitcast i8* %55 to <16 x i8>*
store <16 x i8> %52, <16 x i8>* %56
%57 = add nuw i64 %18, 64
%58 = add i64 %19, 2
%59 = icmp eq i64 %58, %16
br i1 %59, label %60, label %17
60: ; preds = %17, %8
%61 = phi i64 [ 0, %8 ], [ %57, %17 ]
%62 = icmp eq i64 %13, 0
br i1 %62, label %82, label %63
63: ; preds = %60
%64 = getelementptr inbounds i8, i8* %0, i64 %61
%65 = bitcast i8* %64 to <16 x i8>*
%66 = load <16 x i8>, <16 x i8>* %65
%67 = getelementptr inbounds i8, i8* %64, i64 16
%68 = bitcast i8* %67 to <16 x i8>*
%69 = load <16 x i8>, <16 x i8>* %68
%70 = add <16 x i8> %66, <i8 -65, i8 -65, i8 -65, i8 -65, i8 -65, i8 -65, i8 -65, i8 -65, i8 -65, i8 -65, i8 -65, i8 -65, i8 -65, i8 -65, i8 -65, i8 -65>
%71 = add <16 x i8> %69, <i8 -65, i8 -65, i8 -65, i8 -65, i8 -65, i8 -65, i8 -65, i8 -65, i8 -65, i8 -65, i8 -65, i8 -65, i8 -65, i8 -65, i8 -65, i8 -65>
%72 = icmp ult <16 x i8> %70, <i8 26, i8 26, i8 26, i8 26, i8 26, i8 26, i8 26, i8 26, i8 26, i8 26, i8 26, i8 26, i8 26, i8 26, i8 26, i8 26>
%73 = icmp ult <16 x i8> %71, <i8 26, i8 26, i8 26, i8 26, i8 26, i8 26, i8 26, i8 26, i8 26, i8 26, i8 26, i8 26, i8 26, i8 26, i8 26, i8 26>
%74 = add nuw nsw <16 x i8> %66, <i8 32, i8 32, i8 32, i8 32, i8 32, i8 32, i8 32, i8 32, i8 32, i8 32, i8 32, i8 32, i8 32, i8 32, i8 32, i8 32>
%75 = add nuw nsw <16 x i8> %69, <i8 32, i8 32, i8 32, i8 32, i8 32, i8 32, i8 32, i8 32, i8 32, i8 32, i8 32, i8 32, i8 32, i8 32, i8 32, i8 32>
%76 = select <16 x i1> %72, <16 x i8> %74, <16 x i8> %66
%77 = select <16 x i1> %73, <16 x i8> %75, <16 x i8> %69
%78 = getelementptr inbounds i8, i8* %4, i64 %61
%79 = bitcast i8* %78 to <16 x i8>*
store <16 x i8> %76, <16 x i8>* %79
%80 = getelementptr inbounds i8, i8* %78, i64 16
%81 = bitcast i8* %80 to <16 x i8>*
store <16 x i8> %77, <16 x i8>* %81
br label %82
82: ; preds = %60, %63
%83 = icmp eq i64 %3, %9
br i1 %83, label %108, label %84
84: ; preds = %82
%85 = and i64 %3, 24
%86 = icmp eq i64 %85, 0
br i1 %86, label %106, label %87
87: ; preds = %6, %84
%88 = phi i64 [ %9, %84 ], [ 0, %6 ]
%89 = add i64 %2, 1
%90 = and i64 %89, -8
br label %91
91: ; preds = %91, %87
%92 = phi i64 [ %88, %87 ], [ %102, %91 ]
%93 = getelementptr inbounds i8, i8* %0, i64 %92
%94 = bitcast i8* %93 to <8 x i8>*
%95 = load <8 x i8>, <8 x i8>* %94
%96 = add <8 x i8> %95, <i8 -65, i8 -65, i8 -65, i8 -65, i8 -65, i8 -65, i8 -65, i8 -65>
%97 = icmp ult <8 x i8> %96, <i8 26, i8 26, i8 26, i8 26, i8 26, i8 26, i8 26, i8 26>
%98 = add nuw nsw <8 x i8> %95, <i8 32, i8 32, i8 32, i8 32, i8 32, i8 32, i8 32, i8 32>
%99 = select <8 x i1> %97, <8 x i8> %98, <8 x i8> %95
%100 = getelementptr inbounds i8, i8* %4, i64 %92
%101 = bitcast i8* %100 to <8 x i8>*
store <8 x i8> %99, <8 x i8>* %101
%102 = add nuw i64 %92, 8
%103 = icmp eq i64 %102, %90
br i1 %103, label %104, label %91
104: ; preds = %91
%105 = icmp eq i64 %89, %90
br i1 %105, label %108, label %106
106: ; preds = %1, %84, %104
%107 = phi i64 [ 0, %1 ], [ %9, %84 ], [ %90, %104 ]
br label %109
108: ; preds = %109, %104, %82
ret i8* %4
109: ; preds = %106, %109
%110 = phi i64 [ %118, %109 ], [ %107, %106 ]
%111 = getelementptr inbounds i8, i8* %0, i64 %110
%112 = load i8, i8* %111
%113 = add i8 %112, -65
%114 = icmp ult i8 %113, 26
%115 = add nuw nsw i8 %112, 32
%116 = select i1 %114, i8 %115, i8 %112
%117 = getelementptr inbounds i8, i8* %4, i64 %110
store i8 %116, i8* %117
%118 = add nuw i64 %110, 1
%119 = icmp eq i64 %110, %2
br i1 %119, label %108, label %109
}