#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 strlen(char *);
void lower2(char *s) {
  int i;
  int len = strlen(s);
  for (i = 0; i < len; i++)
    if (s[i] >= 'A' && s[i] <= 'Z')
      s[i] -= ('A' - 'a');
}


x86 assembly (clang, -O0):
<lower2>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
mov    %rdi,-0x8(%rbp)
mov    -0x8(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,-0x10(%rbp)
movl   $0x0,-0xc(%rbp)
mov    -0xc(%rbp),%eax
cmp    -0x10(%rbp),%eax
jge    118a <lower2+0x7a>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x41,%eax
jl     1177 <lower2+0x67>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x5a,%eax
jg     1177 <lower2+0x67>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
movsbl (%rax,%rcx,1),%edx
sub    $0xffffffe0,%edx
mov    %dl,(%rax,%rcx,1)
jmp    117c <lower2+0x6c>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    112f <lower2+0x1f>
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<lower2>:
push   %rbx
mov    %rdi,%rbx
call   1030 <strlen@plt>
test   %eax,%eax
jle    1294 <lower2+0x184>
mov    %eax,%ecx
cmp    $0x8,%eax
jae    112f <lower2+0x1f>
xor    %eax,%eax
jmp    12a9 <lower2+0x199>
mov    %ecx,%eax
and    $0xfffffff8,%eax
xor    %edx,%edx
movdqa 0xec2(%rip),%xmm0
movdqa 0xeca(%rip),%xmm1
pcmpeqd %xmm2,%xmm2
jmp    115d <lower2+0x4d>
nopl   0x0(%rax)
add    $0x8,%rdx
cmp    %rdx,%rax
je     128f <lower2+0x17f>
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     118f <lower2+0x7f>
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     11bd <lower2+0xad>
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     11e1 <lower2+0xd1>
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     1205 <lower2+0xf5>
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     1227 <lower2+0x117>
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     124c <lower2+0x13c>
pextrw $0x2,%xmm3,%esi
shr    $0x8,%esi
add    $0x20,%sil
mov    %sil,0x5(%rbx,%rdx,1)
pextrw $0x3,%xmm4,%esi
test   $0x1,%sil
je     1265 <lower2+0x155>
pextrw $0x3,%xmm3,%esi
add    $0x20,%sil
mov    %sil,0x6(%rbx,%rdx,1)
pslldq $0x7,%xmm4
pextrw $0x7,%xmm4,%esi
test   $0x1,%sil
je     1150 <lower2+0x40>
pextrw $0x3,%xmm3,%esi
shr    $0x8,%esi
add    $0x20,%sil
mov    %sil,0x7(%rbx,%rdx,1)
jmp    1150 <lower2+0x40>
cmp    %rcx,%rax
jne    12a9 <lower2+0x199>
pop    %rbx
ret
cs nopw 0x0(%rax,%rax,1)
add    $0x1,%rax
cmp    %rax,%rcx
je     1294 <lower2+0x184>
movzbl (%rbx,%rax,1),%edx
lea    -0x41(%rdx),%esi
cmp    $0x19,%sil
ja     12a0 <lower2+0x190>
add    $0x20,%dl
mov    %dl,(%rbx,%rax,1)
jmp    12a0 <lower2+0x190>

LLVM IR (-O0):
define void @lower2(i8* %0) {
%2 = alloca i8*
%3 = alloca i32
%4 = alloca i32
store i8* %0, i8** %2
%5 = load i8*, i8** %2
%6 = call i32 @strlen(i8* %5)
store i32 %6, i32* %4
store i32 0, i32* %3
br label %7
7: ; preds = %37, %1
%8 = load i32, i32* %3
%9 = load i32, i32* %4
%10 = icmp slt i32 %8, %9
br i1 %10, label %11, label %40
11: ; preds = %7
%12 = load i8*, i8** %2
%13 = load i32, i32* %3
%14 = sext i32 %13 to i64
%15 = getelementptr inbounds i8, i8* %12, i64 %14
%16 = load i8, i8* %15
%17 = sext i8 %16 to i32
%18 = icmp sge i32 %17, 65
br i1 %18, label %19, label %36
19: ; preds = %11
%20 = load i8*, i8** %2
%21 = load i32, i32* %3
%22 = sext i32 %21 to i64
%23 = getelementptr inbounds i8, i8* %20, i64 %22
%24 = load i8, i8* %23
%25 = sext i8 %24 to i32
%26 = icmp sle i32 %25, 90
br i1 %26, label %27, label %36
27: ; preds = %19
%28 = load i8*, i8** %2
%29 = load i32, i32* %3
%30 = sext i32 %29 to i64
%31 = getelementptr inbounds i8, i8* %28, i64 %30
%32 = load i8, i8* %31
%33 = sext i8 %32 to i32
%34 = sub nsw i32 %33, -32
%35 = trunc i32 %34 to i8
store i8 %35, i8* %31
br label %36
36: ; preds = %27, %19, %11
br label %37
37: ; preds = %36
%38 = load i32, i32* %3
%39 = add nsw i32 %38, 1
store i32 %39, i32* %3
br label %7
40: ; preds = %7
ret void
}

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