#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 m_len(char *);
int /*<<< orphan*/ m_let(char *, char *);
char *m_cat(char *dest, char *id1, char *id2) {
  char *tmp, i = (*id2);
  m_let(id1, dest);
  if (*id2++) {
    tmp = dest + m_len(dest);
    (*dest) += i;
    while (i--)
      while ((*tmp++ = *(char *)id2++) != 0)
        ;
  }
  return (dest);
}


x86 assembly (clang, -O0):
<m_cat>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    -0x18(%rbp),%rax
mov    (%rax),%al
mov    %al,-0x21(%rbp)
mov    -0x10(%rbp),%rdi
mov    -0x8(%rbp),%rsi
call   1040 <m_let@plt>
mov    -0x18(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x18(%rbp)
cmpb   $0x0,(%rax)
je     11e7 <m_cat+0xc7>
mov    -0x8(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x8(%rbp),%rdi
call   1030 <m_len@plt>
mov    %eax,%ecx
mov    -0x30(%rbp),%rax
movslq %ecx,%rcx
add    %rcx,%rax
mov    %rax,-0x20(%rbp)
movsbl -0x21(%rbp),%edx
mov    -0x8(%rbp),%rax
movsbl (%rax),%ecx
add    %edx,%ecx
mov    %cl,(%rax)
mov    -0x21(%rbp),%al
mov    %al,%cl
add    $0xff,%cl
mov    %cl,-0x21(%rbp)
cmp    $0x0,%al
je     11e2 <m_cat+0xc2>
jmp    11aa <m_cat+0x8a>
mov    -0x18(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x18(%rbp)
mov    (%rax),%al
mov    -0x20(%rbp),%rcx
mov    %rcx,%rdx
add    $0x1,%rdx
mov    %rdx,-0x20(%rbp)
mov    %al,(%rcx)
movsbl %al,%eax
cmp    $0x0,%eax
je     11dd <m_cat+0xbd>
jmp    11aa <m_cat+0x8a>
jmp    1192 <m_cat+0x72>
jmp    11e7 <m_cat+0xc7>
mov    -0x8(%rbp),%rax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<m_cat>:
push   %r15
push   %r14
push   %rbx
mov    %rdx,%rbx
mov    %rdi,%r14
mov    (%rdx),%r15b
mov    %rsi,%rdi
mov    %r14,%rsi
call   1040 <m_let@plt>
cmpb   $0x0,(%rbx)
je     1207 <m_cat+0xe7>
mov    %r14,%rdi
call   1030 <m_len@plt>
add    %r15b,(%r14)
test   %r15b,%r15b
je     1207 <m_cat+0xe7>
cltq
add    %r14,%rax
add    $0x1,%rbx
lea    -0x1(%r15),%edi
mov    %r15d,%edx
and    $0x3,%dl
je     118e <m_cat+0x6e>
xor    %esi,%esi
nopl   (%rax)
movzbl (%rbx),%ecx
add    $0x1,%rbx
mov    %cl,(%rax)
add    $0x1,%rax
test   %cl,%cl
jne    1170 <m_cat+0x50>
add    $0xff,%r15b
add    $0x1,%sil
cmp    %dl,%sil
jne    1170 <m_cat+0x50>
cmp    $0x3,%dil
jb     1207 <m_cat+0xe7>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    (%rbx),%cl
add    $0x1,%rbx
mov    %cl,(%rax)
add    $0x1,%rax
test   %cl,%cl
jne    11a0 <m_cat+0x80>
movzbl (%rbx),%ecx
add    $0x1,%rbx
mov    %cl,(%rax)
add    $0x1,%rax
test   %cl,%cl
jne    11b0 <m_cat+0x90>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
movzbl (%rbx),%ecx
add    $0x1,%rbx
mov    %cl,(%rax)
add    $0x1,%rax
test   %cl,%cl
jne    11d0 <m_cat+0xb0>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
movzbl (%rbx),%ecx
add    $0x1,%rbx
mov    %cl,(%rax)
add    $0x1,%rax
test   %cl,%cl
jne    11f0 <m_cat+0xd0>
add    $0xfc,%r15b
jne    11a0 <m_cat+0x80>
mov    %r14,%rax
pop    %rbx
pop    %r14
pop    %r15
ret

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

LLVM IR (-O2):
define i8* @m_cat(i8* returned %0, i8* %1, i8* nocapture %2) {
%4 = load i8, i8* %2
%5 = tail call i32 @m_let(i8* %1, i8* %0)
%6 = load i8, i8* %2
%7 = icmp eq i8 %6, 0
br i1 %7, label %76, label %8
8: ; preds = %3
%9 = tail call i32 @m_len(i8* %0)
%10 = load i8, i8* %0
%11 = add i8 %10, %4
store i8 %11, i8* %0
%12 = icmp eq i8 %4, 0
br i1 %12, label %76, label %13
13: ; preds = %8
%14 = sext i32 %9 to i64
%15 = getelementptr inbounds i8, i8* %0, i64 %14
%16 = getelementptr inbounds i8, i8* %2, i64 1
%17 = add i8 %4, -1
%18 = and i8 %4, 3
%19 = icmp eq i8 %18, 0
br i1 %19, label %36, label %20
20: ; preds = %13, %32
%21 = phi i8 [ %33, %32 ], [ %4, %13 ]
%22 = phi i8* [ %30, %32 ], [ %15, %13 ]
%23 = phi i8* [ %28, %32 ], [ %16, %13 ]
%24 = phi i8 [ %34, %32 ], [ 0, %13 ]
br label %25
25: ; preds = %25, %20
%26 = phi i8* [ %28, %25 ], [ %23, %20 ]
%27 = phi i8* [ %30, %25 ], [ %22, %20 ]
%28 = getelementptr inbounds i8, i8* %26, i64 1
%29 = load i8, i8* %26
%30 = getelementptr inbounds i8, i8* %27, i64 1
store i8 %29, i8* %27
%31 = icmp eq i8 %29, 0
br i1 %31, label %32, label %25
32: ; preds = %25
%33 = add i8 %21, -1
%34 = add i8 %24, 1
%35 = icmp eq i8 %34, %18
br i1 %35, label %36, label %20
36: ; preds = %32, %13
%37 = phi i8 [ %4, %13 ], [ %33, %32 ]
%38 = phi i8* [ %15, %13 ], [ %30, %32 ]
%39 = phi i8* [ %16, %13 ], [ %28, %32 ]
%40 = icmp ult i8 %17, 3
br i1 %40, label %76, label %65
41: ; preds = %69, %41
%42 = phi i8* [ %44, %41 ], [ %72, %69 ]
%43 = phi i8* [ %46, %41 ], [ %74, %69 ]
%44 = getelementptr inbounds i8, i8* %42, i64 1
%45 = load i8, i8* %42
%46 = getelementptr inbounds i8, i8* %43, i64 1
store i8 %45, i8* %43
%47 = icmp eq i8 %45, 0
br i1 %47, label %48, label %41
48: ; preds = %41, %48
%49 = phi i8* [ %51, %48 ], [ %44, %41 ]
%50 = phi i8* [ %53, %48 ], [ %46, %41 ]
%51 = getelementptr inbounds i8, i8* %49, i64 1
%52 = load i8, i8* %49
%53 = getelementptr inbounds i8, i8* %50, i64 1
store i8 %52, i8* %50
%54 = icmp eq i8 %52, 0
br i1 %54, label %55, label %48
55: ; preds = %48, %55
%56 = phi i8* [ %58, %55 ], [ %51, %48 ]
%57 = phi i8* [ %60, %55 ], [ %53, %48 ]
%58 = getelementptr inbounds i8, i8* %56, i64 1
%59 = load i8, i8* %56
%60 = getelementptr inbounds i8, i8* %57, i64 1
store i8 %59, i8* %57
%61 = icmp eq i8 %59, 0
br i1 %61, label %62, label %55
62: ; preds = %55
%63 = add i8 %66, -4
%64 = icmp eq i8 %63, 0
br i1 %64, label %76, label %65
65: ; preds = %36, %62
%66 = phi i8 [ %63, %62 ], [ %37, %36 ]
%67 = phi i8* [ %60, %62 ], [ %38, %36 ]
%68 = phi i8* [ %58, %62 ], [ %39, %36 ]
br label %69
69: ; preds = %65, %69
%70 = phi i8* [ %72, %69 ], [ %68, %65 ]
%71 = phi i8* [ %74, %69 ], [ %67, %65 ]
%72 = getelementptr inbounds i8, i8* %70, i64 1
%73 = load i8, i8* %70
%74 = getelementptr inbounds i8, i8* %71, i64 1
store i8 %73, i8* %71
%75 = icmp eq i8 %73, 0
br i1 %75, label %41, label %69
76: ; preds = %36, %62, %8, %3
ret i8* %0
}