#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*/ print(char *);
int /*<<< orphan*/ print_str(char *);
void print_str_array(char **strs) {
  unsigned i;
  print("{");
  for (i = 0; i < 10 && strs[i]; i++) {
    if (i > 0)
      print(", ");
    print_str(strs[i]);
  }
  if (i == 10 && strs[i - 1])
    print(", ...");
  print("}");
}


x86 assembly (clang, -O0):
<print_str_array>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
mov    %rdi,-0x8(%rbp)
lea    0xecd(%rip),%rdi
call   1030 <print@plt>
movl   $0x0,-0xc(%rbp)
xor    %eax,%eax
cmpl   $0xa,-0xc(%rbp)
mov    %al,-0xd(%rbp)
jae    1160 <print_str_array+0x40>
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
cmpq   $0x0,(%rax,%rcx,8)
setne  %al
mov    %al,-0xd(%rbp)
mov    -0xd(%rbp),%al
test   $0x1,%al
jne    1170 <print_str_array+0x50>
jmp    11a4 <print_str_array+0x84>
cmpl   $0x0,-0xc(%rbp)
jbe    1186 <print_str_array+0x66>
lea    0xe81(%rip),%rdi
call   1030 <print@plt>
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
mov    (%rax,%rcx,8),%rdi
call   1040 <print_str@plt>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    113f <print_str_array+0x1f>
cmpl   $0xa,-0xc(%rbp)
jne    11d1 <print_str_array+0xb1>
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
sub    $0x1,%ecx
mov    %ecx,%ecx
cmpq   $0x0,(%rax,%rcx,8)
je     11d1 <print_str_array+0xb1>
lea    0xe39(%rip),%rdi
call   1030 <print@plt>
lea    0xe33(%rip),%rdi
call   1030 <print@plt>
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<print_str_array>:
push   %rbx
mov    %rdi,%rbx
lea    0xed5(%rip),%rdi
call   1030 <print@plt>
mov    (%rbx),%rdi
test   %rdi,%rdi
je     1264 <print_str_array+0x144>
call   1040 <print_str@plt>
cmpq   $0x0,0x8(%rbx)
je     1264 <print_str_array+0x144>
lea    0xeaf(%rip),%rdi
call   1030 <print@plt>
mov    0x8(%rbx),%rdi
call   1040 <print_str@plt>
cmpq   $0x0,0x10(%rbx)
je     1264 <print_str_array+0x144>
lea    0xe8f(%rip),%rdi
call   1030 <print@plt>
mov    0x10(%rbx),%rdi
call   1040 <print_str@plt>
cmpq   $0x0,0x18(%rbx)
je     1264 <print_str_array+0x144>
lea    0xe6f(%rip),%rdi
call   1030 <print@plt>
mov    0x18(%rbx),%rdi
call   1040 <print_str@plt>
cmpq   $0x0,0x20(%rbx)
je     1264 <print_str_array+0x144>
lea    0xe4f(%rip),%rdi
call   1030 <print@plt>
mov    0x20(%rbx),%rdi
call   1040 <print_str@plt>
cmpq   $0x0,0x28(%rbx)
je     1264 <print_str_array+0x144>
lea    0xe2f(%rip),%rdi
call   1030 <print@plt>
mov    0x28(%rbx),%rdi
call   1040 <print_str@plt>
cmpq   $0x0,0x30(%rbx)
je     1264 <print_str_array+0x144>
lea    0xe13(%rip),%rdi
call   1030 <print@plt>
mov    0x30(%rbx),%rdi
call   1040 <print_str@plt>
cmpq   $0x0,0x38(%rbx)
je     1264 <print_str_array+0x144>
lea    0xdf7(%rip),%rdi
call   1030 <print@plt>
mov    0x38(%rbx),%rdi
call   1040 <print_str@plt>
cmpq   $0x0,0x40(%rbx)
je     1264 <print_str_array+0x144>
lea    0xddb(%rip),%rdi
call   1030 <print@plt>
mov    0x40(%rbx),%rdi
call   1040 <print_str@plt>
cmpq   $0x0,0x48(%rbx)
je     1264 <print_str_array+0x144>
lea    0xdbf(%rip),%rdi
call   1030 <print@plt>
mov    0x48(%rbx),%rdi
call   1040 <print_str@plt>
cmpq   $0x0,0x48(%rbx)
je     1264 <print_str_array+0x144>
lea    0xda6(%rip),%rdi
call   1030 <print@plt>
lea    0xda0(%rip),%rdi
pop    %rbx
jmp    1030 <print@plt>

LLVM IR (-O0):
@.str = [2 x i8] c"{\00"
@.str.1 = [3 x i8] c", \00"
@.str.2 = [6 x i8] c", ...\00"
@.str.3 = [2 x i8] c"}\00"
define void @print_str_array(i8** %0) {
%2 = alloca i8**
%3 = alloca i32
store i8** %0, i8*** %2
%4 = call i32 @print(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0))
store i32 0, i32* %3
br label %5
5: ; preds = %29, %1
%6 = load i32, i32* %3
%7 = icmp ult i32 %6, 10
br i1 %7, label %8, label %15
8: ; preds = %5
%9 = load i8**, i8*** %2
%10 = load i32, i32* %3
%11 = zext i32 %10 to i64
%12 = getelementptr inbounds i8*, i8** %9, i64 %11
%13 = load i8*, i8** %12
%14 = icmp ne i8* %13, null
br label %15
15: ; preds = %8, %5
%16 = phi i1 [ false, %5 ], [ %14, %8 ]
br i1 %16, label %17, label %32
17: ; preds = %15
%18 = load i32, i32* %3
%19 = icmp ugt i32 %18, 0
br i1 %19, label %20, label %22
20: ; preds = %17
%21 = call i32 @print(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.1, i64 0, i64 0))
br label %22
22: ; preds = %20, %17
%23 = load i8**, i8*** %2
%24 = load i32, i32* %3
%25 = zext i32 %24 to i64
%26 = getelementptr inbounds i8*, i8** %23, i64 %25
%27 = load i8*, i8** %26
%28 = call i32 @print_str(i8* %27)
br label %29
29: ; preds = %22
%30 = load i32, i32* %3
%31 = add i32 %30, 1
store i32 %31, i32* %3
br label %5
32: ; preds = %15
%33 = load i32, i32* %3
%34 = icmp eq i32 %33, 10
br i1 %34, label %35, label %45
35: ; preds = %32
%36 = load i8**, i8*** %2
%37 = load i32, i32* %3
%38 = sub i32 %37, 1
%39 = zext i32 %38 to i64
%40 = getelementptr inbounds i8*, i8** %36, i64 %39
%41 = load i8*, i8** %40
%42 = icmp ne i8* %41, null
br i1 %42, label %43, label %45
43: ; preds = %35
%44 = call i32 @print(i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.2, i64 0, i64 0))
br label %45
45: ; preds = %43, %35, %32
%46 = call i32 @print(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.3, i64 0, i64 0))
ret void
}

LLVM IR (-O2):
@.str = [2 x i8] c"{\00"
@.str.1 = [3 x i8] c", \00"
@.str.2 = [6 x i8] c", ...\00"
@.str.3 = [2 x i8] c"}\00"
define void @print_str_array(i8** nocapture %0) {
%2 = tail call i32 @print(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0))
%3 = load i8*, i8** %0
%4 = icmp eq i8* %3, null
br i1 %4, label %74, label %5
5: ; preds = %1
%6 = tail call i32 @print_str(i8* %3)
%7 = getelementptr inbounds i8*, i8** %0, i64 1
%8 = load i8*, i8** %7
%9 = icmp eq i8* %8, null
br i1 %9, label %74, label %10
10: ; preds = %5
%11 = tail call i32 @print(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.1, i64 0, i64 0))
%12 = load i8*, i8** %7
%13 = tail call i32 @print_str(i8* %12)
%14 = getelementptr inbounds i8*, i8** %0, i64 2
%15 = load i8*, i8** %14
%16 = icmp eq i8* %15, null
br i1 %16, label %74, label %17
17: ; preds = %10
%18 = tail call i32 @print(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.1, i64 0, i64 0))
%19 = load i8*, i8** %14
%20 = tail call i32 @print_str(i8* %19)
%21 = getelementptr inbounds i8*, i8** %0, i64 3
%22 = load i8*, i8** %21
%23 = icmp eq i8* %22, null
br i1 %23, label %74, label %24
24: ; preds = %17
%25 = tail call i32 @print(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.1, i64 0, i64 0))
%26 = load i8*, i8** %21
%27 = tail call i32 @print_str(i8* %26)
%28 = getelementptr inbounds i8*, i8** %0, i64 4
%29 = load i8*, i8** %28
%30 = icmp eq i8* %29, null
br i1 %30, label %74, label %31
31: ; preds = %24
%32 = tail call i32 @print(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.1, i64 0, i64 0))
%33 = load i8*, i8** %28
%34 = tail call i32 @print_str(i8* %33)
%35 = getelementptr inbounds i8*, i8** %0, i64 5
%36 = load i8*, i8** %35
%37 = icmp eq i8* %36, null
br i1 %37, label %74, label %38
38: ; preds = %31
%39 = tail call i32 @print(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.1, i64 0, i64 0))
%40 = load i8*, i8** %35
%41 = tail call i32 @print_str(i8* %40)
%42 = getelementptr inbounds i8*, i8** %0, i64 6
%43 = load i8*, i8** %42
%44 = icmp eq i8* %43, null
br i1 %44, label %74, label %45
45: ; preds = %38
%46 = tail call i32 @print(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.1, i64 0, i64 0))
%47 = load i8*, i8** %42
%48 = tail call i32 @print_str(i8* %47)
%49 = getelementptr inbounds i8*, i8** %0, i64 7
%50 = load i8*, i8** %49
%51 = icmp eq i8* %50, null
br i1 %51, label %74, label %52
52: ; preds = %45
%53 = tail call i32 @print(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.1, i64 0, i64 0))
%54 = load i8*, i8** %49
%55 = tail call i32 @print_str(i8* %54)
%56 = getelementptr inbounds i8*, i8** %0, i64 8
%57 = load i8*, i8** %56
%58 = icmp eq i8* %57, null
br i1 %58, label %74, label %59
59: ; preds = %52
%60 = tail call i32 @print(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.1, i64 0, i64 0))
%61 = load i8*, i8** %56
%62 = tail call i32 @print_str(i8* %61)
%63 = getelementptr inbounds i8*, i8** %0, i64 9
%64 = load i8*, i8** %63
%65 = icmp eq i8* %64, null
br i1 %65, label %74, label %66
66: ; preds = %59
%67 = tail call i32 @print(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.1, i64 0, i64 0))
%68 = load i8*, i8** %63
%69 = tail call i32 @print_str(i8* %68)
%70 = load i8*, i8** %63
%71 = icmp eq i8* %70, null
br i1 %71, label %74, label %72
72: ; preds = %66
%73 = tail call i32 @print(i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.2, i64 0, i64 0))
br label %74
74: ; preds = %1, %5, %10, %17, %24, %31, %38, %45, %52, %59, %72, %66
%75 = tail call i32 @print(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.3, i64 0, i64 0))
ret void
}