#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 /*<<< orphan*/ assert(int);
__attribute__((nonnull(1, 2))) char *lcc_strescape(char *dest, const char *src,
                                                   size_t dest_size) {
  size_t dest_pos;
  size_t src_pos;
  dest_pos = 0;
  src_pos = 0;
  assert(dest_size >= 3);
  dest[dest_pos] = '"';
  dest_pos++;
  while (42) {
    if ((dest_pos == (dest_size - 2)) || (src[src_pos] == 0))
      break;
    if ((src[src_pos] == '"') || (src[src_pos] == '\\')) {
      if (dest_pos == (dest_size - 3))
        break;
      dest[dest_pos] = '\\';
      dest_pos++;
    }
    dest[dest_pos] = src[src_pos];
    dest_pos++;
    src_pos++;
  }
  assert(dest_pos <= (dest_size - 2));
  dest[dest_pos] = '"';
  dest_pos++;
  dest[dest_pos] = 0;
  dest_pos++;
  src_pos++;
  return (dest);
}


x86 assembly (clang, -O0):
<lcc_strescape>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
movq   $0x0,-0x20(%rbp)
movq   $0x0,-0x28(%rbp)
cmpq   $0x3,-0x18(%rbp)
setae  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%rcx
movb   $0x22,(%rax,%rcx,1)
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
mov    -0x20(%rbp),%rax
mov    -0x18(%rbp),%rcx
sub    $0x2,%rcx
cmp    %rcx,%rax
je     1188 <lcc_strescape+0x78>
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
jne    118d <lcc_strescape+0x7d>
jmp    121c <lcc_strescape+0x10c>
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x22,%eax
je     11b7 <lcc_strescape+0xa7>
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x5c,%eax
jne    11e9 <lcc_strescape+0xd9>
mov    -0x20(%rbp),%rax
mov    -0x18(%rbp),%rcx
sub    $0x3,%rcx
cmp    %rcx,%rax
jne    11d1 <lcc_strescape+0xc1>
jmp    121c <lcc_strescape+0x10c>
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%rcx
movb   $0x5c,(%rax,%rcx,1)
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
mov    -0x28(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x28(%rbp)
jmp    115e <lcc_strescape+0x4e>
mov    -0x20(%rbp),%rax
mov    -0x18(%rbp),%rcx
sub    $0x2,%rcx
cmp    %rcx,%rax
setbe  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%rcx
movb   $0x22,(%rax,%rcx,1)
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
mov    -0x28(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x28(%rbp)
mov    -0x8(%rbp),%rax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<lcc_strescape>:
push   %r15
push   %r14
push   %r12
push   %rbx
push   %rax
mov    %rdx,%r14
mov    %rsi,%r12
mov    %rdi,%r15
xor    %edi,%edi
cmp    $0x3,%rdx
setae  %dil
call   1030 <assert@plt>
movb   $0x22,(%r15)
lea    -0x2(%r14),%rax
mov    $0x1,%ebx
cmp    $0x1,%rax
je     1191 <lcc_strescape+0x81>
add    $0xfffffffffffffffd,%r14
mov    $0x1,%ebx
jmp    1165 <lcc_strescape+0x55>
xchg   %ax,%ax
test   %cl,%cl
je     1191 <lcc_strescape+0x81>
mov    %cl,(%r15,%rbx,1)
add    $0x1,%rbx
add    $0x1,%r12
cmp    %rax,%rbx
je     1189 <lcc_strescape+0x79>
movzbl (%r12),%ecx
cmp    $0x22,%cl
je     1174 <lcc_strescape+0x64>
cmp    $0x5c,%cl
jne    1150 <lcc_strescape+0x40>
cmp    %r14,%rbx
je     118e <lcc_strescape+0x7e>
movb   $0x5c,(%r15,%rbx,1)
add    $0x1,%rbx
movzbl (%r12),%ecx
jmp    1154 <lcc_strescape+0x44>
mov    %rax,%rbx
jmp    1191 <lcc_strescape+0x81>
mov    %r14,%rbx
xor    %edi,%edi
cmp    %rax,%rbx
setbe  %dil
call   1030 <assert@plt>
movw   $0x22,(%r15,%rbx,1)
mov    %r15,%rax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
ret

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

LLVM IR (-O2):
define i8* @lcc_strescape(i8* returned writeonly %0, i8* nocapture %1, i64 %2) {
%4 = icmp ugt i64 %2, 2
%5 = zext i1 %4 to i32
%6 = tail call i32 @assert(i32 %5)
store i8 34, i8* %0
%7 = add i64 %2, -2
%8 = icmp eq i64 %7, 1
br i1 %8, label %29, label %9
9: ; preds = %3
%10 = add i64 %2, -3
br label %11
11: ; preds = %9, %22
%12 = phi i64 [ 0, %9 ], [ %27, %22 ]
%13 = phi i64 [ 1, %9 ], [ %26, %22 ]
%14 = getelementptr inbounds i8, i8* %1, i64 %12
%15 = load i8, i8* %14
switch i8 %15, label %22 [
i8 0, label %29
i8 34, label %16
i8 92, label %16
]
16: ; preds = %11, %11
%17 = icmp eq i64 %13, %10
br i1 %17, label %29, label %18
18: ; preds = %16
%19 = getelementptr inbounds i8, i8* %0, i64 %13
store i8 92, i8* %19
%20 = add i64 %13, 1
%21 = load i8, i8* %14
br label %22
22: ; preds = %11, %18
%23 = phi i8 [ %21, %18 ], [ %15, %11 ]
%24 = phi i64 [ %20, %18 ], [ %13, %11 ]
%25 = getelementptr inbounds i8, i8* %0, i64 %24
store i8 %23, i8* %25
%26 = add i64 %24, 1
%27 = add i64 %12, 1
%28 = icmp eq i64 %26, %7
br i1 %28, label %29, label %11
29: ; preds = %22, %16, %11, %3
%30 = phi i64 [ 1, %3 ], [ %13, %11 ], [ %10, %16 ], [ %7, %22 ]
%31 = icmp ule i64 %30, %7
%32 = zext i1 %31 to i32
%33 = tail call i32 @assert(i32 %32)
%34 = getelementptr inbounds i8, i8* %0, i64 %30
store i8 34, i8* %34
%35 = add i64 %30, 1
%36 = getelementptr inbounds i8, i8* %0, i64 %35
store i8 0, i8* %36
ret i8* %0
}