#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 tolower(char);
void strcpylo(char *t, char *s) {
  if ((s != 0) && (t != 0)) {
    while (*s) {
      *t = tolower(*s);
      t++;
      s++;
    }
    *t = '\0';
  }
}


x86 assembly (clang, -O0):
<strcpylo>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
cmpq   $0x0,-0x10(%rbp)
je     1180 <strcpylo+0x70>
cmpq   $0x0,-0x8(%rbp)
je     1180 <strcpylo+0x70>
jmp    113b <strcpylo+0x2b>
mov    -0x10(%rbp),%rax
cmpb   $0x0,(%rax)
je     1179 <strcpylo+0x69>
mov    -0x10(%rbp),%rax
movsbl (%rax),%edi
call   1030 <tolower@plt>
mov    %al,%cl
mov    -0x8(%rbp),%rax
mov    %cl,(%rax)
mov    -0x8(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x8(%rbp)
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
jmp    113b <strcpylo+0x2b>
mov    -0x8(%rbp),%rax
movb   $0x0,(%rax)
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<strcpylo>:
push   %r14
push   %rbx
push   %rax
test   %rdi,%rdi
je     114e <strcpylo+0x3e>
mov    %rsi,%rbx
test   %rsi,%rsi
je     114e <strcpylo+0x3e>
mov    %rdi,%r14
mov    (%rbx),%al
test   %al,%al
je     114a <strcpylo+0x3a>
add    $0x1,%rbx
xchg   %ax,%ax
movsbl %al,%edi
call   1030 <tolower@plt>
mov    %al,(%r14)
add    $0x1,%r14
movzbl (%rbx),%eax
add    $0x1,%rbx
test   %al,%al
jne    1130 <strcpylo+0x20>
movb   $0x0,(%r14)
add    $0x8,%rsp
pop    %rbx
pop    %r14
ret

LLVM IR (-O0):
define void @strcpylo(i8* %0, i8* %1) {
%3 = alloca i8*
%4 = alloca i8*
store i8* %0, i8** %3
store i8* %1, i8** %4
%5 = load i8*, i8** %4
%6 = icmp ne i8* %5, null
br i1 %6, label %7, label %26
7: ; preds = %2
%8 = load i8*, i8** %3
%9 = icmp ne i8* %8, null
br i1 %9, label %10, label %26
10: ; preds = %7
br label %11
11: ; preds = %15, %10
%12 = load i8*, i8** %4
%13 = load i8, i8* %12
%14 = icmp ne i8 %13, 0
br i1 %14, label %15, label %24
15: ; preds = %11
%16 = load i8*, i8** %4
%17 = load i8, i8* %16
%18 = call signext i8 @tolower(i8 signext %17)
%19 = load i8*, i8** %3
store i8 %18, i8* %19
%20 = load i8*, i8** %3
%21 = getelementptr inbounds i8, i8* %20, i32 1
store i8* %21, i8** %3
%22 = load i8*, i8** %4
%23 = getelementptr inbounds i8, i8* %22, i32 1
store i8* %23, i8** %4
br label %11
24: ; preds = %11
%25 = load i8*, i8** %3
store i8 0, i8* %25
br label %26
26: ; preds = %24, %7, %2
ret void
}

LLVM IR (-O2):
define void @strcpylo(i8* writeonly %0, i8* %1) {
%3 = icmp ne i8* %1, null
%4 = icmp ne i8* %0, null
%5 = and i1 %4, %3
br i1 %5, label %6, label %20
6: ; preds = %2
%7 = load i8, i8* %1
%8 = icmp eq i8 %7, 0
br i1 %8, label %18, label %9
9: ; preds = %6, %9
%10 = phi i8 [ %16, %9 ], [ %7, %6 ]
%11 = phi i8* [ %15, %9 ], [ %1, %6 ]
%12 = phi i8* [ %14, %9 ], [ %0, %6 ]
%13 = tail call signext i8 @tolower(i8 signext %10)
store i8 %13, i8* %12
%14 = getelementptr inbounds i8, i8* %12, i64 1
%15 = getelementptr inbounds i8, i8* %11, i64 1
%16 = load i8, i8* %15
%17 = icmp eq i8 %16, 0
br i1 %17, label %18, label %9
18: ; preds = %9, %6
%19 = phi i8* [ %0, %6 ], [ %14, %9 ]
store i8 0, i8* %19
br label %20
20: ; preds = %18, %2
ret void
}