#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 /*<<< orphan*/ assert(int /*<<< orphan*/);
size_t strlen(char *);
char *str_tolowercase(char *s) {
  assert(s != NULL);
  size_t slen = strlen(s);
  for (int i = 0; i < slen; i++) {
    if (s[i] >= 'A' && s[i] <= 'Z')
      s[i] = s[i] + 'a' - 'A';
  }
  return s;
}


x86 assembly (clang, -O0):
<str_tolowercase>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x8(%rbp)
cmpq   $0x0,-0x8(%rbp)
setne  %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
mov    -0x8(%rbp),%rdi
call   1030 <strlen@plt>
mov    %rax,-0x10(%rbp)
movl   $0x0,-0x14(%rbp)
movslq -0x14(%rbp),%rax
cmp    -0x10(%rbp),%rax
jae    11bc <str_tolowercase+0x9c>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x41,%eax
jl     11a9 <str_tolowercase+0x89>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x5a,%eax
jg     11a9 <str_tolowercase+0x89>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
add    $0x61,%eax
sub    $0x41,%eax
mov    %al,%dl
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
jmp    11ae <str_tolowercase+0x8e>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1152 <str_tolowercase+0x32>
mov    -0x8(%rbp),%rax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<str_tolowercase>:
push   %rbx
mov    %rdi,%rbx
xor    %edi,%edi
test   %rbx,%rbx
setne  %dil
call   1040 <assert@plt>
mov    %rbx,%rdi
call   1030 <strlen@plt>
test   %rax,%rax
je     12cc <str_tolowercase+0x1ac>
cmp    $0x8,%rax
jae    1150 <str_tolowercase+0x30>
xor    %ecx,%ecx
jmp    12b4 <str_tolowercase+0x194>
mov    %rax,%rcx
and    $0xfffffffffffffff8,%rcx
xor    %edx,%edx
movdqa 0xe9f(%rip),%xmm0
movdqa 0xea7(%rip),%xmm1
pcmpeqd %xmm2,%xmm2
jmp    117d <str_tolowercase+0x5d>
nop
add    $0x8,%rdx
cmp    %rdx,%rcx
je     12af <str_tolowercase+0x18f>
movq   (%rbx,%rdx,1),%xmm3
movdqa %xmm3,%xmm4
paddb  %xmm0,%xmm4
movdqa %xmm4,%xmm5
pmaxub %xmm1,%xmm5
pcmpeqb %xmm4,%xmm5
movd   %xmm5,%esi
not    %sil
test   $0x1,%sil
je     11af <str_tolowercase+0x8f>
movd   %xmm3,%esi
add    $0x20,%sil
mov    %sil,(%rbx,%rdx,1)
movdqa %xmm5,%xmm4
pxor   %xmm2,%xmm4
movdqa %xmm4,%xmm6
pslld  $0x8,%xmm6
movd   %xmm6,%esi
shr    $0x10,%esi
test   $0x1,%sil
je     11dd <str_tolowercase+0xbd>
movd   %xmm3,%esi
shr    $0x8,%esi
add    $0x20,%sil
mov    %sil,0x1(%rbx,%rdx,1)
pshuflw $0x55,%xmm5,%xmm6
pxor   %xmm2,%xmm6
pextrw $0x2,%xmm6,%esi
test   $0x1,%sil
je     1201 <str_tolowercase+0xe1>
movd   %xmm3,%esi
shr    $0x10,%esi
add    $0x20,%sil
mov    %sil,0x2(%rbx,%rdx,1)
movdqa %xmm4,%xmm6
psllq  $0x18,%xmm6
pextrw $0x3,%xmm6,%esi
test   $0x1,%sil
je     1225 <str_tolowercase+0x105>
movd   %xmm3,%esi
shr    $0x18,%esi
add    $0x20,%sil
mov    %sil,0x3(%rbx,%rdx,1)
pshufd $0x55,%xmm5,%xmm5
pxor   %xmm2,%xmm5
pextrw $0x4,%xmm5,%esi
test   $0x1,%sil
je     1247 <str_tolowercase+0x127>
pextrw $0x2,%xmm3,%esi
add    $0x20,%sil
mov    %sil,0x4(%rbx,%rdx,1)
movdqa %xmm4,%xmm5
pslldq $0x5,%xmm5
pextrw $0x5,%xmm5,%esi
test   $0x1,%sil
je     126c <str_tolowercase+0x14c>
pextrw $0x2,%xmm3,%esi
shr    $0x8,%esi
add    $0x20,%sil
mov    %sil,0x5(%rbx,%rdx,1)
pextrw $0x3,%xmm4,%esi
test   $0x1,%sil
je     1285 <str_tolowercase+0x165>
pextrw $0x3,%xmm3,%esi
add    $0x20,%sil
mov    %sil,0x6(%rbx,%rdx,1)
pslldq $0x7,%xmm4
pextrw $0x7,%xmm4,%esi
test   $0x1,%sil
je     1170 <str_tolowercase+0x50>
pextrw $0x3,%xmm3,%esi
shr    $0x8,%esi
add    $0x20,%sil
mov    %sil,0x7(%rbx,%rdx,1)
jmp    1170 <str_tolowercase+0x50>
cmp    %rcx,%rax
je     12cc <str_tolowercase+0x1ac>
mov    (%rbx,%rcx,1),%dl
lea    -0x41(%rdx),%esi
cmp    $0x19,%sil
ja     12c6 <str_tolowercase+0x1a6>
add    $0x20,%dl
mov    %dl,(%rbx,%rcx,1)
add    $0x1,%rcx
jmp    12af <str_tolowercase+0x18f>
mov    %rbx,%rax
pop    %rbx
ret

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

LLVM IR (-O2):
define i8* @str_tolowercase(i8* returned %0) {
%2 = icmp ne i8* %0, null
%3 = zext i1 %2 to i32
%4 = tail call i32 @assert(i32 %3)
%5 = tail call i64 @strlen(i8* dereferenceable(1) %0)
%6 = icmp eq i64 %5, 0
br i1 %6, label %79, label %7
7: ; preds = %1
%8 = icmp ult i64 %5, 8
br i1 %8, label %77, label %9
9: ; preds = %7
%10 = and i64 %5, -8
br label %11
11: ; preds = %72, %9
%12 = phi i64 [ 0, %9 ], [ %73, %72 ]
%13 = getelementptr inbounds i8, i8* %0, i64 %12
%14 = bitcast i8* %13 to <8 x i8>*
%15 = load <8 x i8>, <8 x i8>* %14
%16 = add <8 x i8> %15, <i8 -65, i8 -65, i8 -65, i8 -65, i8 -65, i8 -65, i8 -65, i8 -65>
%17 = icmp ult <8 x i8> %16, <i8 26, i8 26, i8 26, i8 26, i8 26, i8 26, i8 26, i8 26>
%18 = extractelement <8 x i1> %17, i64 0
br i1 %18, label %19, label %23
19: ; preds = %11
%20 = extractelement <8 x i8> %15, i64 0
%21 = add nuw nsw i8 %20, 32
%22 = getelementptr inbounds i8, i8* %0, i64 %12
store i8 %21, i8* %22
br label %23
23: ; preds = %19, %11
%24 = extractelement <8 x i1> %17, i64 1
br i1 %24, label %25, label %30
25: ; preds = %23
%26 = or i64 %12, 1
%27 = extractelement <8 x i8> %15, i64 1
%28 = add nuw nsw i8 %27, 32
%29 = getelementptr inbounds i8, i8* %0, i64 %26
store i8 %28, i8* %29
br label %30
30: ; preds = %25, %23
%31 = extractelement <8 x i1> %17, i64 2
br i1 %31, label %32, label %37
32: ; preds = %30
%33 = or i64 %12, 2
%34 = extractelement <8 x i8> %15, i64 2
%35 = add nuw nsw i8 %34, 32
%36 = getelementptr inbounds i8, i8* %0, i64 %33
store i8 %35, i8* %36
br label %37
37: ; preds = %32, %30
%38 = extractelement <8 x i1> %17, i64 3
br i1 %38, label %39, label %44
39: ; preds = %37
%40 = or i64 %12, 3
%41 = extractelement <8 x i8> %15, i64 3
%42 = add nuw nsw i8 %41, 32
%43 = getelementptr inbounds i8, i8* %0, i64 %40
store i8 %42, i8* %43
br label %44
44: ; preds = %39, %37
%45 = extractelement <8 x i1> %17, i64 4
br i1 %45, label %46, label %51
46: ; preds = %44
%47 = or i64 %12, 4
%48 = extractelement <8 x i8> %15, i64 4
%49 = add nuw nsw i8 %48, 32
%50 = getelementptr inbounds i8, i8* %0, i64 %47
store i8 %49, i8* %50
br label %51
51: ; preds = %46, %44
%52 = extractelement <8 x i1> %17, i64 5
br i1 %52, label %53, label %58
53: ; preds = %51
%54 = or i64 %12, 5
%55 = extractelement <8 x i8> %15, i64 5
%56 = add nuw nsw i8 %55, 32
%57 = getelementptr inbounds i8, i8* %0, i64 %54
store i8 %56, i8* %57
br label %58
58: ; preds = %53, %51
%59 = extractelement <8 x i1> %17, i64 6
br i1 %59, label %60, label %65
60: ; preds = %58
%61 = or i64 %12, 6
%62 = extractelement <8 x i8> %15, i64 6
%63 = add nuw nsw i8 %62, 32
%64 = getelementptr inbounds i8, i8* %0, i64 %61
store i8 %63, i8* %64
br label %65
65: ; preds = %60, %58
%66 = extractelement <8 x i1> %17, i64 7
br i1 %66, label %67, label %72
67: ; preds = %65
%68 = or i64 %12, 7
%69 = extractelement <8 x i8> %15, i64 7
%70 = add nuw nsw i8 %69, 32
%71 = getelementptr inbounds i8, i8* %0, i64 %68
store i8 %70, i8* %71
br label %72
72: ; preds = %67, %65
%73 = add nuw i64 %12, 8
%74 = icmp eq i64 %73, %10
br i1 %74, label %75, label %11
75: ; preds = %72
%76 = icmp eq i64 %5, %10
br i1 %76, label %79, label %77
77: ; preds = %7, %75
%78 = phi i64 [ 0, %7 ], [ %10, %75 ]
br label %80
79: ; preds = %88, %75, %1
ret i8* %0
80: ; preds = %77, %88
%81 = phi i64 [ %89, %88 ], [ %78, %77 ]
%82 = getelementptr inbounds i8, i8* %0, i64 %81
%83 = load i8, i8* %82
%84 = add i8 %83, -65
%85 = icmp ult i8 %84, 26
br i1 %85, label %86, label %88
86: ; preds = %80
%87 = add nuw nsw i8 %83, 32
store i8 %87, i8* %82
br label %88
88: ; preds = %80, %86
%89 = add nuw nsw i64 %81, 1
%90 = icmp eq i64 %89, %5
br i1 %90, label %79, label %80
}