#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 *malloc(unsigned char);
int /*<<< orphan*/ memcpy(char *, char const *, unsigned char);
char *compound_strings(const char *a, unsigned char strlen_a, const char *b,
                       unsigned char strlen_b) {
  char *c = NULL;
  if (a[strlen_a - 1] != '/') {
    c = malloc(strlen_a + strlen_b + 2);
    memcpy(c, a, strlen_a);
    c[strlen_a] = '/';
    memcpy(c + strlen_a + 1, b, strlen_b);
    c[strlen_a + strlen_b + 1] = 0;
  } else {
    c = malloc(strlen_a + strlen_b + 1);
    memcpy(c, a, strlen_a);
    memcpy(c + strlen_a, b, strlen_b);
    c[strlen_a + strlen_b] = 0;
  }
  return c;
}


x86 assembly (clang, -O0):
<compound_strings>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %cl,%al
mov    %sil,%cl
mov    %rdi,-0x8(%rbp)
mov    %cl,-0x9(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %al,-0x19(%rbp)
movq   $0x0,-0x28(%rbp)
mov    -0x8(%rbp),%rax
movzbl -0x9(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x2f,%eax
je     11d3 <compound_strings+0xb3>
movzbl -0x9(%rbp),%eax
movzbl -0x19(%rbp),%ecx
add    %ecx,%eax
add    $0x2,%eax
movzbl %al,%edi
call   1040 <malloc@plt>
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rdi
mov    -0x8(%rbp),%rsi
mov    -0x9(%rbp),%al
movzbl %al,%edx
call   1030 <memcpy@plt>
mov    -0x28(%rbp),%rax
movzbl -0x9(%rbp),%ecx
movb   $0x2f,(%rax,%rcx,1)
mov    -0x28(%rbp),%rdi
movzbl -0x9(%rbp),%eax
cltq
add    %rax,%rdi
add    $0x1,%rdi
mov    -0x18(%rbp),%rsi
mov    -0x19(%rbp),%al
movzbl %al,%edx
call   1030 <memcpy@plt>
mov    -0x28(%rbp),%rax
movzbl -0x9(%rbp),%ecx
movzbl -0x19(%rbp),%edx
add    %edx,%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movb   $0x0,(%rax,%rcx,1)
jmp    1230 <compound_strings+0x110>
movzbl -0x9(%rbp),%eax
movzbl -0x19(%rbp),%ecx
add    %ecx,%eax
add    $0x1,%eax
movzbl %al,%edi
call   1040 <malloc@plt>
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rdi
mov    -0x8(%rbp),%rsi
mov    -0x9(%rbp),%al
movzbl %al,%edx
call   1030 <memcpy@plt>
mov    -0x28(%rbp),%rdi
movzbl -0x9(%rbp),%eax
cltq
add    %rax,%rdi
mov    -0x18(%rbp),%rsi
mov    -0x19(%rbp),%al
movzbl %al,%edx
call   1030 <memcpy@plt>
mov    -0x28(%rbp),%rax
movzbl -0x9(%rbp),%ecx
movzbl -0x19(%rbp),%edx
add    %edx,%ecx
movslq %ecx,%rcx
movb   $0x0,(%rax,%rcx,1)
mov    -0x28(%rbp),%rax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<compound_strings>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %ecx,%r15d
mov    %rdx,%r14
mov    %esi,%ebp
mov    %rdi,%r12
mov    %esi,%eax
mov    %ecx,%r13d
add    %esi,%r13d
cmpb   $0x2f,-0x1(%rax,%rdi,1)
jne    1179 <compound_strings+0x59>
lea    0x1(%r13),%eax
movzbl %al,%edi
call   1040 <malloc@plt>
mov    %rax,%rbx
movzbl %bpl,%ebp
mov    %rax,%rdi
mov    %r12,%rsi
mov    %ebp,%edx
call   1030 <memcpy@plt>
add    %rbx,%rbp
movzbl %r15b,%edx
mov    %rbp,%rdi
mov    %r14,%rsi
call   1030 <memcpy@plt>
jmp    11b5 <compound_strings+0x95>
lea    0x2(%r13),%eax
movzbl %al,%edi
call   1040 <malloc@plt>
mov    %rax,%rbx
movzbl %bpl,%ebp
mov    %rax,%rdi
mov    %r12,%rsi
mov    %ebp,%edx
call   1030 <memcpy@plt>
movb   $0x2f,(%rbx,%rbp,1)
lea    (%rbx,%rbp,1),%rdi
add    $0x1,%rdi
movzbl %r15b,%edx
mov    %r14,%rsi
call   1030 <memcpy@plt>
add    $0x1,%r13d
mov    %r13d,%eax
movb   $0x0,(%rbx,%rax,1)
mov    %rbx,%rax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define i8* @compound_strings(i8* %0, i8 zeroext %1, i8* %2, i8 zeroext %3) {
%5 = alloca i8*
%6 = alloca i8
%7 = alloca i8*
%8 = alloca i8
%9 = alloca i8*
store i8* %0, i8** %5
store i8 %1, i8* %6
store i8* %2, i8** %7
store i8 %3, i8* %8
store i8* null, i8** %9
%10 = load i8*, i8** %5
%11 = load i8, i8* %6
%12 = zext i8 %11 to i32
%13 = sub nsw i32 %12, 1
%14 = sext i32 %13 to i64
%15 = getelementptr inbounds i8, i8* %10, i64 %14
%16 = load i8, i8* %15
%17 = sext i8 %16 to i32
%18 = icmp ne i32 %17, 47
br i1 %18, label %19, label %54
19: ; preds = %4
%20 = load i8, i8* %6
%21 = zext i8 %20 to i32
%22 = load i8, i8* %8
%23 = zext i8 %22 to i32
%24 = add nsw i32 %21, %23
%25 = add nsw i32 %24, 2
%26 = trunc i32 %25 to i8
%27 = call i8* @malloc(i8 zeroext %26)
store i8* %27, i8** %9
%28 = load i8*, i8** %9
%29 = load i8*, i8** %5
%30 = load i8, i8* %6
%31 = call i32 @memcpy(i8* %28, i8* %29, i8 zeroext %30)
%32 = load i8*, i8** %9
%33 = load i8, i8* %6
%34 = zext i8 %33 to i64
%35 = getelementptr inbounds i8, i8* %32, i64 %34
store i8 47, i8* %35
%36 = load i8*, i8** %9
%37 = load i8, i8* %6
%38 = zext i8 %37 to i32
%39 = sext i32 %38 to i64
%40 = getelementptr inbounds i8, i8* %36, i64 %39
%41 = getelementptr inbounds i8, i8* %40, i64 1
%42 = load i8*, i8** %7
%43 = load i8, i8* %8
%44 = call i32 @memcpy(i8* %41, i8* %42, i8 zeroext %43)
%45 = load i8*, i8** %9
%46 = load i8, i8* %6
%47 = zext i8 %46 to i32
%48 = load i8, i8* %8
%49 = zext i8 %48 to i32
%50 = add nsw i32 %47, %49
%51 = add nsw i32 %50, 1
%52 = sext i32 %51 to i64
%53 = getelementptr inbounds i8, i8* %45, i64 %52
store i8 0, i8* %53
br label %83
54: ; preds = %4
%55 = load i8, i8* %6
%56 = zext i8 %55 to i32
%57 = load i8, i8* %8
%58 = zext i8 %57 to i32
%59 = add nsw i32 %56, %58
%60 = add nsw i32 %59, 1
%61 = trunc i32 %60 to i8
%62 = call i8* @malloc(i8 zeroext %61)
store i8* %62, i8** %9
%63 = load i8*, i8** %9
%64 = load i8*, i8** %5
%65 = load i8, i8* %6
%66 = call i32 @memcpy(i8* %63, i8* %64, i8 zeroext %65)
%67 = load i8*, i8** %9
%68 = load i8, i8* %6
%69 = zext i8 %68 to i32
%70 = sext i32 %69 to i64
%71 = getelementptr inbounds i8, i8* %67, i64 %70
%72 = load i8*, i8** %7
%73 = load i8, i8* %8
%74 = call i32 @memcpy(i8* %71, i8* %72, i8 zeroext %73)
%75 = load i8*, i8** %9
%76 = load i8, i8* %6
%77 = zext i8 %76 to i32
%78 = load i8, i8* %8
%79 = zext i8 %78 to i32
%80 = add nsw i32 %77, %79
%81 = sext i32 %80 to i64
%82 = getelementptr inbounds i8, i8* %75, i64 %81
store i8 0, i8* %82
br label %83
83: ; preds = %54, %19
%84 = load i8*, i8** %9
ret i8* %84
}

LLVM IR (-O2):
define i8* @compound_strings(i8* %0, i8 zeroext %1, i8* %2, i8 zeroext %3) {
%5 = zext i8 %1 to i32
%6 = add nsw i32 %5, -1
%7 = sext i32 %6 to i64
%8 = getelementptr inbounds i8, i8* %0, i64 %7
%9 = load i8, i8* %8
%10 = icmp eq i8 %9, 47
%11 = zext i8 %3 to i32
%12 = add nuw nsw i32 %11, %5
%13 = trunc i32 %12 to i8
br i1 %10, label %23, label %14
14: ; preds = %4
%15 = add i8 %13, 2
%16 = tail call i8* @malloc(i8 zeroext %15)
%17 = tail call i32 @memcpy(i8* %16, i8* %0, i8 zeroext %1)
%18 = zext i8 %1 to i64
%19 = getelementptr inbounds i8, i8* %16, i64 %18
store i8 47, i8* %19
%20 = getelementptr inbounds i8, i8* %19, i64 1
%21 = tail call i32 @memcpy(i8* %20, i8* %2, i8 zeroext %3)
%22 = add nuw nsw i32 %12, 1
br label %30
23: ; preds = %4
%24 = add i8 %13, 1
%25 = tail call i8* @malloc(i8 zeroext %24)
%26 = tail call i32 @memcpy(i8* %25, i8* %0, i8 zeroext %1)
%27 = zext i8 %1 to i64
%28 = getelementptr inbounds i8, i8* %25, i64 %27
%29 = tail call i32 @memcpy(i8* %28, i8* %2, i8 zeroext %3)
br label %30
30: ; preds = %23, %14
%31 = phi i32 [ %12, %23 ], [ %22, %14 ]
%32 = phi i8* [ %25, %23 ], [ %16, %14 ]
%33 = zext i32 %31 to i64
%34 = getelementptr inbounds i8, i8* %32, i64 %33
store i8 0, i8* %34
ret i8* %32
}