#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 *calloc(int, int);
int /*<<< orphan*/ memcpy(char *, unsigned char *, int);
void mfm_read_exist(unsigned char *exist, char **str, int w) {
  if (!exist) {
    return;
  }
  int cur = 0;
  for (int i = 0; exist[i] && cur < w - 1; i++) {
    str[cur] = calloc(1, 8);
    if (exist[i] < 128) {
      str[cur++][0] = exist[i];
    } else {
      char s = exist[i];
      int ln = 0;
      while (s & 128) {
        ln++;
        s <<= 1;
      }
      memcpy(str[cur++], exist + i, ln);
      i += ln - 1;
    }
  }
}


x86 assembly (clang, -O0):
<mfm_read_exist>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
cmpq   $0x0,-0x8(%rbp)
jne    1143 <mfm_read_exist+0x23>
jmp    1270 <mfm_read_exist+0x150>
movl   $0x0,-0x18(%rbp)
movl   $0x0,-0x1c(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movzbl (%rax,%rcx,1),%ecx
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0x25(%rbp)
je     117c <mfm_read_exist+0x5c>
mov    -0x18(%rbp),%eax
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
setl   %al
mov    %al,-0x25(%rbp)
mov    -0x25(%rbp),%al
test   $0x1,%al
jne    118c <mfm_read_exist+0x6c>
jmp    1270 <mfm_read_exist+0x150>
mov    $0x1,%edi
mov    $0x8,%esi
call   1030 <calloc@plt>
mov    %rax,%rdx
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    %rdx,(%rax,%rcx,8)
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
cmp    $0x80,%eax
jge    11e9 <mfm_read_exist+0xc9>
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,1),%cl
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%edx
mov    %edx,%esi
add    $0x1,%esi
mov    %esi,-0x18(%rbp)
movslq %edx,%rdx
mov    (%rax,%rdx,8),%rax
mov    %cl,(%rax)
jmp    125d <mfm_read_exist+0x13d>
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,1),%al
mov    %al,-0x1d(%rbp)
movl   $0x0,-0x24(%rbp)
movsbl -0x1d(%rbp),%eax
and    $0x80,%eax
cmp    $0x0,%eax
je     1228 <mfm_read_exist+0x108>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
movsbl -0x1d(%rbp),%eax
shl    $0x1,%eax
mov    %al,-0x1d(%rbp)
jmp    11fe <mfm_read_exist+0xde>
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x18(%rbp)
movslq %ecx,%rcx
mov    (%rax,%rcx,8),%rdi
mov    -0x8(%rbp),%rsi
movslq -0x1c(%rbp),%rax
add    %rax,%rsi
mov    -0x24(%rbp),%edx
call   1040 <memcpy@plt>
mov    -0x24(%rbp),%eax
sub    $0x1,%eax
add    -0x1c(%rbp),%eax
mov    %eax,-0x1c(%rbp)
jmp    1262 <mfm_read_exist+0x142>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1151 <mfm_read_exist+0x31>
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<mfm_read_exist>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
test   %rdi,%rdi
je     11cf <mfm_read_exist+0xaf>
mov    %rdi,%r12
cmpb   $0x0,(%rdi)
je     11cf <mfm_read_exist+0xaf>
mov    %edx,%ebx
cmp    $0x2,%edx
jl     11cf <mfm_read_exist+0xaf>
mov    %rsi,%r15
add    $0xffffffff,%ebx
xor    %ebp,%ebp
mov    %r12,%r13
xor    %r14d,%r14d
mov    %rbx,(%rsp)
nopl   (%rax)
mov    $0x1,%edi
mov    $0x8,%esi
call   1030 <calloc@plt>
mov    %rax,(%r15,%rbp,8)
mov    0x0(%r13),%cl
test   %cl,%cl
js     1180 <mfm_read_exist+0x60>
mov    %cl,(%rax)
jmp    11af <mfm_read_exist+0x8f>
nop
xor    %ebx,%ebx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
add    $0x1,%ebx
add    %cl,%cl
js     1190 <mfm_read_exist+0x70>
mov    %rax,%rdi
mov    %r13,%rsi
mov    %ebx,%edx
call   1040 <memcpy@plt>
add    %ebx,%r14d
add    $0xffffffff,%r14d
mov    (%rsp),%rbx
movslq %r14d,%r14
cmpb   $0x0,0x1(%r12,%r14,1)
je     11cf <mfm_read_exist+0xaf>
add    $0x1,%rbp
lea    (%r12,%r14,1),%r13
add    $0x1,%r13
add    $0x1,%r14
cmp    %rbx,%rbp
jb     1160 <mfm_read_exist+0x40>
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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