#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 *memchr(char const *, char const, int);
int /*<<< orphan*/ printf(char *, int);
int /*<<< orphan*/ stampa(char const *, int);
void stampa_csv(const char *str, int rd) {
  const char ch = ',';
  const char *value[16];
  int len[16];
  int i;
  const char *next;
  next = str;
  for (i = 0; i < 16; ++i) {
    value[i] = next;
    next = memchr(next, ch, rd);
    if (next == NULL) {
      len[i] = rd;
      break;
    } else {
      next++;
      rd -= (next - value[i]);
      len[i] = (next - value[i]) - 1;
    }
  }
  int items = i + 1;
  printf("items scanned %d\n", i);
  for (i = 0; i < items; ++i) {
    stampa(value[i], len[i]);
  }
}


x86 assembly (clang, -O0):
<stampa_csv>:
push   %rbp
mov    %rsp,%rbp
sub    $0xf0,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
movb   $0x2c,-0xd(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0xe0(%rbp)
movl   $0x0,-0xd4(%rbp)
cmpl   $0x10,-0xd4(%rbp)
jge    1238 <stampa_csv+0x108>
mov    -0xe0(%rbp),%rcx
movslq -0xd4(%rbp),%rax
mov    %rcx,-0x90(%rbp,%rax,8)
ff
mov    -0xe0(%rbp),%rdi
mov    -0xc(%rbp),%edx
mov    $0x2c,%esi
call   1050 <memchr@plt>
mov    %rax,-0xe0(%rbp)
cmpq   $0x0,-0xe0(%rbp)
jne    11bd <stampa_csv+0x8d>
mov    -0xc(%rbp),%ecx
movslq -0xd4(%rbp),%rax
mov    %ecx,-0xd0(%rbp,%rax,4)
jmp    1238 <stampa_csv+0x108>
mov    -0xe0(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0xe0(%rbp)
mov    -0xe0(%rbp),%rcx
movslq -0xd4(%rbp),%rax
mov    -0x90(%rbp,%rax,8),%rax
ff
sub    %rax,%rcx
movslq -0xc(%rbp),%rax
sub    %rcx,%rax
mov    %eax,-0xc(%rbp)
mov    -0xe0(%rbp),%rax
movslq -0xd4(%rbp),%rcx
mov    -0x90(%rbp,%rcx,8),%rcx
ff
sub    %rcx,%rax
sub    $0x1,%rax
mov    %eax,%ecx
movslq -0xd4(%rbp),%rax
mov    %ecx,-0xd0(%rbp,%rax,4)
jmp    1224 <stampa_csv+0xf4>
mov    -0xd4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xd4(%rbp)
jmp    115b <stampa_csv+0x2b>
mov    -0xd4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xe4(%rbp)
mov    -0xd4(%rbp),%esi
lea    0xdac(%rip),%rdi
call   1030 <printf@plt>
movl   $0x0,-0xd4(%rbp)
mov    -0xd4(%rbp),%eax
cmp    -0xe4(%rbp),%eax
jge    12ab <stampa_csv+0x17b>
movslq -0xd4(%rbp),%rax
mov    -0x90(%rbp,%rax,8),%rdi
ff
movslq -0xd4(%rbp),%rax
mov    -0xd0(%rbp,%rax,4),%esi
call   1040 <stampa@plt>
mov    -0xd4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xd4(%rbp)
jmp    1263 <stampa_csv+0x133>
add    $0xf0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<stampa_csv>:
push   %rbp
push   %r14
push   %rbx
sub    $0xc0,%rsp
mov    %esi,%r14d
mov    %rdi,%rbp
xor    %ebx,%ebx
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
mov    %rbp,0x40(%rsp,%rbx,8)
mov    %rbp,%rdi
mov    $0x2c,%esi
mov    %r14d,%edx
call   1050 <memchr@plt>
test   %rax,%rax
je     118f <stampa_csv+0x5f>
add    $0x1,%rax
mov    %eax,%ecx
sub    %ebp,%ecx
sub    %ecx,%r14d
add    $0xffffffff,%ecx
mov    %ecx,(%rsp,%rbx,4)
add    $0x1,%rbx
mov    %rax,%rbp
cmp    $0x10,%rbx
jne    1150 <stampa_csv+0x20>
mov    $0x10,%ebx
jmp    1193 <stampa_csv+0x63>
mov    %r14d,(%rsp,%rbx,4)
lea    0xe66(%rip),%rdi
mov    %ebx,%esi
call   1030 <printf@plt>
add    $0x1,%ebx
xor    %ebp,%ebp
cs nopw 0x0(%rax,%rax,1)
mov    0x40(%rsp,%rbp,8),%rdi
mov    (%rsp,%rbp,4),%esi
call   1040 <stampa@plt>
add    $0x1,%rbp
cmp    %rbp,%rbx
jne    11b0 <stampa_csv+0x80>
add    $0xc0,%rsp
pop    %rbx
pop    %r14
pop    %rbp
ret

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

LLVM IR (-O2):
@.str = [18 x i8] c"items scanned %d\0A\00"
define void @stampa_csv(i8* %0, i32 %1) {
%3 = alloca [16 x i8*]
%4 = alloca [16 x i32]
%5 = bitcast [16 x i8*]* %3 to i8*
%6 = bitcast [16 x i32]* %4 to i8*
br label %7
7: ; preds = %2, %18
%8 = phi i64 [ 0, %2 ], [ %27, %18 ]
%9 = phi i32 [ %1, %2 ], [ %24, %18 ]
%10 = phi i8* [ %0, %2 ], [ %19, %18 ]
%11 = getelementptr inbounds [16 x i8*], [16 x i8*]* %3, i64 0, i64 %8
store i8* %10, i8** %11
%12 = tail call i8* @memchr(i8* %10, i8 signext 44, i32 %9)
%13 = icmp eq i8* %12, null
br i1 %13, label %14, label %18
14: ; preds = %7
%15 = trunc i64 %8 to i32
%16 = and i64 %8, 4294967295
%17 = getelementptr inbounds [16 x i32], [16 x i32]* %4, i64 0, i64 %16
store i32 %9, i32* %17
br label %29
18: ; preds = %7
%19 = getelementptr inbounds i8, i8* %12, i64 1
%20 = ptrtoint i8* %19 to i64
%21 = ptrtoint i8* %10 to i64
%22 = sub i64 %20, %21
%23 = trunc i64 %22 to i32
%24 = sub i32 %9, %23
%25 = add i32 %23, -1
%26 = getelementptr inbounds [16 x i32], [16 x i32]* %4, i64 0, i64 %8
store i32 %25, i32* %26
%27 = add nuw nsw i64 %8, 1
%28 = icmp eq i64 %27, 16
br i1 %28, label %29, label %7
29: ; preds = %18, %14
%30 = phi i32 [ %15, %14 ], [ 16, %18 ]
%31 = tail call i32 @printf(i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str, i64 0, i64 0), i32 %30)
%32 = add nuw nsw i32 %30, 1
%33 = zext i32 %32 to i64
br label %34
34: ; preds = %29, %34
%35 = phi i64 [ 0, %29 ], [ %41, %34 ]
%36 = getelementptr inbounds [16 x i8*], [16 x i8*]* %3, i64 0, i64 %35
%37 = load i8*, i8** %36
%38 = getelementptr inbounds [16 x i32], [16 x i32]* %4, i64 0, i64 %35
%39 = load i32, i32* %38
%40 = tail call i32 @stampa(i8* %37, i32 %39)
%41 = add nuw nsw i64 %35, 1
%42 = icmp eq i64 %41, %33
br i1 %42, label %43, label %34
43: ; preds = %34
ret void
}