#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__ malloc(size_t);
int /*<<< orphan*/ memcpy(char *, char *, size_t);
scalar_t__ read_u32(char **, size_t *);
int read_str(char **src, size_t *src_len, char **str, size_t *len) {
  *str = NULL;
  if (*src_len <= 4)
    return 0;
  *len = (size_t)read_u32(src, src_len);
  if (*len > *src_len || *len == 0)
    return 0;
  if ((*str = (char *)malloc(*len + 1)) == NULL)
    return 0;
  memcpy(*str, *src, *len);
  (*str)[*len] = 0;
  ;
  *src += *len;
  *src_len -= *len;
  return 1;
}


x86 assembly (clang, -O0):
<read_str>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %rcx,-0x28(%rbp)
mov    -0x20(%rbp),%rax
movq   $0x0,(%rax)
mov    -0x18(%rbp),%rax
cmpq   $0x4,(%rax)
ja     116d <read_str+0x3d>
movl   $0x0,-0x4(%rbp)
jmp    1237 <read_str+0x107>
mov    -0x10(%rbp),%rdi
mov    -0x18(%rbp),%rsi
call   1050 <read_u32@plt>
mov    %rax,%rcx
mov    -0x28(%rbp),%rax
mov    %rcx,(%rax)
mov    -0x28(%rbp),%rax
mov    (%rax),%rax
mov    -0x18(%rbp),%rcx
cmp    (%rcx),%rax
ja     11a6 <read_str+0x76>
mov    -0x28(%rbp),%rax
cmpq   $0x0,(%rax)
jne    11b2 <read_str+0x82>
movl   $0x0,-0x4(%rbp)
jmp    1237 <read_str+0x107>
mov    -0x28(%rbp),%rax
mov    (%rax),%rdi
add    $0x1,%rdi
call   1040 <malloc@plt>
mov    -0x20(%rbp),%rcx
mov    %rax,(%rcx)
cmp    $0x0,%rax
jne    11df <read_str+0xaf>
movl   $0x0,-0x4(%rbp)
jmp    1237 <read_str+0x107>
mov    -0x20(%rbp),%rax
mov    (%rax),%rdi
mov    -0x10(%rbp),%rax
mov    (%rax),%rsi
mov    -0x28(%rbp),%rax
mov    (%rax),%rdx
call   1030 <memcpy@plt>
mov    -0x20(%rbp),%rax
mov    (%rax),%rax
mov    -0x28(%rbp),%rcx
mov    (%rcx),%rcx
movb   $0x0,(%rax,%rcx,1)
mov    -0x28(%rbp),%rax
mov    (%rax),%rcx
mov    -0x10(%rbp),%rax
add    (%rax),%rcx
mov    %rcx,(%rax)
mov    -0x28(%rbp),%rax
mov    (%rax),%rdx
mov    -0x18(%rbp),%rax
mov    (%rax),%rcx
sub    %rdx,%rcx
mov    %rcx,(%rax)
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<read_str>:
push   %rbp
push   %r15
push   %r14
push   %r12
push   %rbx
movq   $0x0,(%rdx)
xor    %ebp,%ebp
cmpq   $0x5,(%rsi)
jb     11a0 <read_str+0x70>
mov    %rcx,%r14
mov    %rdx,%r12
mov    %rsi,%rbx
mov    %rdi,%r15
call   1050 <read_u32@plt>
mov    %rax,(%r14)
lea    -0x1(%rax),%rcx
cmp    (%rbx),%rcx
jae    11a0 <read_str+0x70>
add    $0x1,%rax
mov    %rax,%rdi
call   1040 <malloc@plt>
mov    %rax,(%r12)
test   %rax,%rax
je     11a0 <read_str+0x70>
mov    (%r15),%rsi
mov    (%r14),%rdx
mov    %rax,%rdi
call   1030 <memcpy@plt>
mov    (%r12),%rax
mov    (%r14),%rcx
movb   $0x0,(%rax,%rcx,1)
mov    (%r14),%rax
add    %rax,(%r15)
sub    %rax,(%rbx)
mov    $0x1,%ebp
mov    %ebp,%eax
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define i32 @read_str(i8** %0, i64* %1, i8** %2, i64* %3) {
%5 = alloca i32
%6 = alloca i8**
%7 = alloca i64*
%8 = alloca i8**
%9 = alloca i64*
store i8** %0, i8*** %6
store i64* %1, i64** %7
store i8** %2, i8*** %8
store i64* %3, i64** %9
%10 = load i8**, i8*** %8
store i8* null, i8** %10
%11 = load i64*, i64** %7
%12 = load i64, i64* %11
%13 = icmp ule i64 %12, 4
br i1 %13, label %14, label %15
14: ; preds = %4
store i32 0, i32* %5
br label %62
15: ; preds = %4
%16 = load i8**, i8*** %6
%17 = load i64*, i64** %7
%18 = call i64 @read_u32(i8** %16, i64* %17)
%19 = load i64*, i64** %9
store i64 %18, i64* %19
%20 = load i64*, i64** %9
%21 = load i64, i64* %20
%22 = load i64*, i64** %7
%23 = load i64, i64* %22
%24 = icmp ugt i64 %21, %23
br i1 %24, label %29, label %25
25: ; preds = %15
%26 = load i64*, i64** %9
%27 = load i64, i64* %26
%28 = icmp eq i64 %27, 0
br i1 %28, label %29, label %30
29: ; preds = %25, %15
store i32 0, i32* %5
br label %62
30: ; preds = %25
%31 = load i64*, i64** %9
%32 = load i64, i64* %31
%33 = add i64 %32, 1
%34 = call i64 @malloc(i64 %33)
%35 = inttoptr i64 %34 to i8*
%36 = load i8**, i8*** %8
store i8* %35, i8** %36
%37 = icmp eq i8* %35, null
br i1 %37, label %38, label %39
38: ; preds = %30
store i32 0, i32* %5
br label %62
39: ; preds = %30
%40 = load i8**, i8*** %8
%41 = load i8*, i8** %40
%42 = load i8**, i8*** %6
%43 = load i8*, i8** %42
%44 = load i64*, i64** %9
%45 = load i64, i64* %44
%46 = call i32 @memcpy(i8* %41, i8* %43, i64 %45)
%47 = load i8**, i8*** %8
%48 = load i8*, i8** %47
%49 = load i64*, i64** %9
%50 = load i64, i64* %49
%51 = getelementptr inbounds i8, i8* %48, i64 %50
store i8 0, i8* %51
%52 = load i64*, i64** %9
%53 = load i64, i64* %52
%54 = load i8**, i8*** %6
%55 = load i8*, i8** %54
%56 = getelementptr inbounds i8, i8* %55, i64 %53
store i8* %56, i8** %54
%57 = load i64*, i64** %9
%58 = load i64, i64* %57
%59 = load i64*, i64** %7
%60 = load i64, i64* %59
%61 = sub i64 %60, %58
store i64 %61, i64* %59
store i32 1, i32* %5
br label %62
62: ; preds = %39, %38, %29, %14
%63 = load i32, i32* %5
ret i32 %63
}

LLVM IR (-O2):
define i32 @read_str(i8** %0, i64* %1, i8** nocapture %2, i64* nocapture %3) {
store i8* null, i8** %2
%5 = load i64, i64* %1
%6 = icmp ult i64 %5, 5
br i1 %6, label %29, label %7
7: ; preds = %4
%8 = tail call i64 @read_u32(i8** %0, i64* %1)
store i64 %8, i64* %3
%9 = load i64, i64* %1
%10 = add i64 %8, -1
%11 = icmp ult i64 %10, %9
br i1 %11, label %12, label %29
12: ; preds = %7
%13 = add i64 %8, 1
%14 = tail call i64 @malloc(i64 %13)
%15 = inttoptr i64 %14 to i8*
store i8* %15, i8** %2
%16 = icmp eq i64 %14, 0
br i1 %16, label %29, label %17
17: ; preds = %12
%18 = load i8*, i8** %0
%19 = load i64, i64* %3
%20 = tail call i32 @memcpy(i8* %15, i8* %18, i64 %19)
%21 = load i8*, i8** %2
%22 = load i64, i64* %3
%23 = getelementptr inbounds i8, i8* %21, i64 %22
store i8 0, i8* %23
%24 = load i64, i64* %3
%25 = load i8*, i8** %0
%26 = getelementptr inbounds i8, i8* %25, i64 %24
store i8* %26, i8** %0
%27 = load i64, i64* %1
%28 = sub i64 %27, %24
store i64 %28, i64* %1
br label %29
29: ; preds = %12, %7, %4, %17
%30 = phi i32 [ 1, %17 ], [ 0, %4 ], [ 0, %7 ], [ 0, %12 ]
ret i32 %30
}