#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__ tolower(char);
void strcpylo(char *t, char *s) {
  if ((s != 0) && (t != 0)) {
    while (*s) {
      *t = (char)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 %27
7: ; preds = %2
%8 = load i8*, i8** %3
%9 = icmp ne i8* %8, null
br i1 %9, label %10, label %27
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 %25
15: ; preds = %11
%16 = load i8*, i8** %4
%17 = load i8, i8* %16
%18 = call i64 @tolower(i8 signext %17)
%19 = trunc i64 %18 to i8
%20 = load i8*, i8** %3
store i8 %19, i8* %20
%21 = load i8*, i8** %3
%22 = getelementptr inbounds i8, i8* %21, i32 1
store i8* %22, i8** %3
%23 = load i8*, i8** %4
%24 = getelementptr inbounds i8, i8* %23, i32 1
store i8* %24, i8** %4
br label %11
25: ; preds = %11
%26 = load i8*, i8** %3
store i8 0, i8* %26
br label %27
27: ; preds = %25, %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 %21
6: ; preds = %2
%7 = load i8, i8* %1
%8 = icmp eq i8 %7, 0
br i1 %8, label %19, label %9
9: ; preds = %6, %9
%10 = phi i8 [ %17, %9 ], [ %7, %6 ]
%11 = phi i8* [ %16, %9 ], [ %1, %6 ]
%12 = phi i8* [ %15, %9 ], [ %0, %6 ]
%13 = tail call i64 @tolower(i8 signext %10)
%14 = trunc i64 %13 to i8
store i8 %14, i8* %12
%15 = getelementptr inbounds i8, i8* %12, i64 1
%16 = getelementptr inbounds i8, i8* %11, i64 1
%17 = load i8, i8* %16
%18 = icmp eq i8 %17, 0
br i1 %18, label %19, label %9
19: ; preds = %9, %6
%20 = phi i8* [ %0, %6 ], [ %15, %9 ]
store i8 0, i8* %20
br label %21
21: ; preds = %19, %2
ret void
}