#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*/ memcpy(char *, char const *, int);
void safe_known_str(const char *src, int known, char *buff, char **bufp) {
  int n;
  char *tp, *maxtp;
  tp = *bufp;
  if (!src) {
    *tp = '\0';
    return;
  }
  maxtp = buff + 8192 - 1;
  if (known > 7) {
    n = maxtp - tp;
    if (n <= 0) {
      *tp = '\0';
      return;
    }
    n = ((known < n) ? known : n);
    memcpy(tp, src, n);
    tp += n;
    *tp = '\0';
    *bufp = tp;
    return;
  }
  if (tp + known < maxtp) {
    maxtp = tp + known;
  }
  while (*src && (tp < maxtp)) {
    *(tp)++ = *src++;
  }
  *tp = '\0';
  *bufp = tp;
}


x86 assembly (clang, -O0):
<safe_known_str>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    -0x20(%rbp),%rax
mov    (%rax),%rax
mov    %rax,-0x30(%rbp)
cmpq   $0x0,-0x8(%rbp)
jne    1149 <safe_known_str+0x39>
mov    -0x30(%rbp),%rax
movb   $0x0,(%rax)
jmp    1279 <safe_known_str+0x169>
mov    -0x18(%rbp),%rax
add    $0x2000,%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x38(%rbp)
cmpl   $0x7,-0xc(%rbp)
jle    11e4 <safe_known_str+0xd4>
mov    -0x38(%rbp),%rax
mov    -0x30(%rbp),%rcx
sub    %rcx,%rax
mov    %eax,-0x24(%rbp)
cmpl   $0x0,-0x24(%rbp)
jg     1189 <safe_known_str+0x79>
mov    -0x30(%rbp),%rax
movb   $0x0,(%rax)
jmp    1279 <safe_known_str+0x169>
mov    -0xc(%rbp),%eax
cmp    -0x24(%rbp),%eax
jge    11a0 <safe_known_str+0x90>
mov    -0xc(%rbp),%eax
mov    %eax,-0x3c(%rbp)
jmp    11a6 <safe_known_str+0x96>
mov    -0x24(%rbp),%eax
mov    %eax,-0x3c(%rbp)
mov    -0x3c(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x30(%rbp),%rdi
mov    -0x8(%rbp),%rsi
mov    -0x24(%rbp),%edx
call   1030 <memcpy@plt>
mov    -0x24(%rbp),%ecx
mov    -0x30(%rbp),%rax
movslq %ecx,%rcx
add    %rcx,%rax
mov    %rax,-0x30(%rbp)
mov    -0x30(%rbp),%rax
movb   $0x0,(%rax)
mov    -0x30(%rbp),%rcx
mov    -0x20(%rbp),%rax
mov    %rcx,(%rax)
jmp    1279 <safe_known_str+0x169>
mov    -0x30(%rbp),%rax
movslq -0xc(%rbp),%rcx
add    %rcx,%rax
cmp    -0x38(%rbp),%rax
jae    1208 <safe_known_str+0xf8>
mov    -0x30(%rbp),%rax
movslq -0xc(%rbp),%rcx
add    %rcx,%rax
mov    %rax,-0x38(%rbp)
jmp    120d <safe_known_str+0xfd>
mov    -0x8(%rbp),%rax
movsbl (%rax),%ecx
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0x3d(%rbp)
je     1230 <safe_known_str+0x120>
mov    -0x30(%rbp),%rax
cmp    -0x38(%rbp),%rax
setb   %al
mov    %al,-0x3d(%rbp)
mov    -0x3d(%rbp),%al
test   $0x1,%al
jne    1240 <safe_known_str+0x130>
jmp    1267 <safe_known_str+0x157>
mov    -0x8(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x8(%rbp)
mov    (%rax),%cl
mov    -0x30(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x30(%rbp)
mov    %cl,(%rax)
jmp    120d <safe_known_str+0xfd>
mov    -0x30(%rbp),%rax
movb   $0x0,(%rax)
mov    -0x30(%rbp),%rcx
mov    -0x20(%rbp),%rax
mov    %rcx,(%rax)
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<safe_known_str>:
push   %r15
push   %r14
push   %rbx
mov    (%rcx),%rbx
test   %rdi,%rdi
je     115d <safe_known_str+0x4d>
mov    %rcx,%r14
mov    %rdx,%r15
mov    %rdi,%rax
add    $0x1fff,%r15
cmp    $0x8,%esi
jl     1162 <safe_known_str+0x52>
sub    %ebx,%r15d
test   %r15d,%r15d
jle    115d <safe_known_str+0x4d>
cmp    %esi,%r15d
cmova  %esi,%r15d
mov    %rbx,%rdi
mov    %rax,%rsi
mov    %r15d,%edx
call   1030 <memcpy@plt>
lea    (%rbx,%r15,1),%rax
movb   $0x0,(%rbx,%r15,1)
mov    %rax,(%r14)
jmp    119c <safe_known_str+0x8c>
movb   $0x0,(%rbx)
jmp    119c <safe_known_str+0x8c>
movslq %esi,%rcx
add    %rbx,%rcx
cmp    %r15,%rcx
cmovae %r15,%rcx
mov    (%rax),%dl
test   %dl,%dl
je     1196 <safe_known_str+0x86>
cmp    %rcx,%rbx
jae    1196 <safe_known_str+0x86>
add    $0x1,%rax
xchg   %ax,%ax
mov    %dl,(%rbx)
add    $0x1,%rbx
movzbl (%rax),%edx
test   %dl,%dl
je     1196 <safe_known_str+0x86>
add    $0x1,%rax
cmp    %rcx,%rbx
jb     1180 <safe_known_str+0x70>
movb   $0x0,(%rbx)
mov    %rbx,(%r14)
pop    %rbx
pop    %r14
pop    %r15
ret

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

LLVM IR (-O2):
define void @safe_known_str(i8* %0, i32 %1, i8* %2, i8** nocapture %3) {
%5 = load i8*, i8** %3
%6 = icmp eq i8* %0, null
br i1 %6, label %7, label %8
7: ; preds = %4
store i8 0, i8* %5
br label %45
8: ; preds = %4
%9 = getelementptr inbounds i8, i8* %2, i64 8191
%10 = icmp sgt i32 %1, 7
br i1 %10, label %11, label %24
11: ; preds = %8
%12 = ptrtoint i8* %9 to i64
%13 = ptrtoint i8* %5 to i64
%14 = sub i64 %12, %13
%15 = trunc i64 %14 to i32
%16 = icmp slt i32 %15, 1
br i1 %16, label %17, label %18
17: ; preds = %11
store i8 0, i8* %5
br label %45
18: ; preds = %11
%19 = icmp ugt i32 %15, %1
%20 = select i1 %19, i32 %1, i32 %15
%21 = tail call i32 @memcpy(i8* %5, i8* %0, i32 %20)
%22 = zext i32 %20 to i64
%23 = getelementptr inbounds i8, i8* %5, i64 %22
store i8 0, i8* %23
store i8* %23, i8** %3
br label %45
24: ; preds = %8
%25 = sext i32 %1 to i64
%26 = getelementptr inbounds i8, i8* %5, i64 %25
%27 = icmp ult i8* %26, %9
%28 = select i1 %27, i8* %26, i8* %9
%29 = load i8, i8* %0
%30 = icmp ne i8 %29, 0
%31 = icmp ult i8* %5, %28
%32 = select i1 %30, i1 %31, i1 false
br i1 %32, label %33, label %43
33: ; preds = %24, %33
%34 = phi i8 [ %39, %33 ], [ %29, %24 ]
%35 = phi i8* [ %38, %33 ], [ %5, %24 ]
%36 = phi i8* [ %37, %33 ], [ %0, %24 ]
%37 = getelementptr inbounds i8, i8* %36, i64 1
%38 = getelementptr inbounds i8, i8* %35, i64 1
store i8 %34, i8* %35
%39 = load i8, i8* %37
%40 = icmp ne i8 %39, 0
%41 = icmp ult i8* %38, %28
%42 = select i1 %40, i1 %41, i1 false
br i1 %42, label %33, label %43
43: ; preds = %33, %24
%44 = phi i8* [ %5, %24 ], [ %38, %33 ]
store i8 0, i8* %44
store i8* %44, i8** %3
br label %45
45: ; preds = %43, %18, %17, %7
ret void
}