#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*/ putchar(char const);
void format(const char *p, char args[1000][50010]) {
  int c = 0;
  while (*p != '\0' && *p != '\n') {
    if (*p == '%') {
      ++p;
      if (*p == 'd') {
        int i;
        for (i = 0;
             args[c][i] != '\0' && args[c][i] != '\n' && args[c][i] == '0'; i++)
          ;
        if (args[c][i] == '\0' || args[c][i] == '\n') {
          putchar('0');
        } else {
          for (; args[c][i] != '\0' && args[c][i] != '\n'; i++) {
            putchar(args[c][i]);
          }
        }
        ++c;
      } else if (*p == 's') {
        int i;
        for (i = 0; args[c][i] != '\0' && args[c][i] != '\n'; i++) {
          putchar(args[c][i]);
        }
        ++c;
      } else {
        putchar('%');
      }
    } else {
      putchar(*p);
    }
    ++p;
  }
  putchar('\n');
}


x86 assembly (clang, -O0):
<format>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
movl   $0x0,-0x14(%rbp)
mov    -0x8(%rbp),%rax
movsbl (%rax),%ecx
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0x1d(%rbp)
je     114c <format+0x3c>
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0xa,%eax
setne  %al
mov    %al,-0x1d(%rbp)
mov    -0x1d(%rbp),%al
test   $0x1,%al
jne    115c <format+0x4c>
jmp    13f8 <format+0x2e8>
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x25,%eax
jne    13db <format+0x2cb>
mov    -0x8(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x64,%eax
jne    131a <format+0x20a>
movl   $0x0,-0x18(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
imul   $0xc35a,%rcx,%rcx
add    %rcx,%rax
movslq -0x18(%rbp),%rcx
movsbl (%rax,%rcx,1),%ecx
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0x1e(%rbp)
je     1202 <format+0xf2>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
imul   $0xc35a,%rcx,%rcx
add    %rcx,%rax
movslq -0x18(%rbp),%rcx
movsbl (%rax,%rcx,1),%ecx
xor    %eax,%eax
cmp    $0xa,%ecx
mov    %al,-0x1e(%rbp)
je     1202 <format+0xf2>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
imul   $0xc35a,%rcx,%rcx
add    %rcx,%rax
movslq -0x18(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x30,%eax
sete   %al
mov    %al,-0x1e(%rbp)
mov    -0x1e(%rbp),%al
test   $0x1,%al
jne    1212 <format+0x102>
jmp    1225 <format+0x115>
jmp    1217 <format+0x107>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    118f <format+0x7f>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
imul   $0xc35a,%rcx,%rcx
add    %rcx,%rax
movslq -0x18(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
je     126b <format+0x15b>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
imul   $0xc35a,%rcx,%rcx
add    %rcx,%rax
movslq -0x18(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0xa,%eax
jne    127a <format+0x16a>
mov    $0x30,%edi
call   1030 <putchar@plt>
jmp    130c <format+0x1fc>
jmp    127f <format+0x16f>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
imul   $0xc35a,%rcx,%rcx
add    %rcx,%rax
movslq -0x18(%rbp),%rcx
movsbl (%rax,%rcx,1),%ecx
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0x1f(%rbp)
je     12ca <format+0x1ba>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
imul   $0xc35a,%rcx,%rcx
add    %rcx,%rax
movslq -0x18(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0xa,%eax
setne  %al
mov    %al,-0x1f(%rbp)
mov    -0x1f(%rbp),%al
test   $0x1,%al
jne    12da <format+0x1ca>
jmp    1307 <format+0x1f7>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
imul   $0xc35a,%rcx,%rcx
add    %rcx,%rax
movslq -0x18(%rbp),%rcx
movsbl (%rax,%rcx,1),%edi
call   1030 <putchar@plt>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    127f <format+0x16f>
jmp    130c <format+0x1fc>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    13d6 <format+0x2c6>
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x73,%eax
jne    13c7 <format+0x2b7>
movl   $0x0,-0x1c(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
imul   $0xc35a,%rcx,%rcx
add    %rcx,%rax
movslq -0x1c(%rbp),%rcx
movsbl (%rax,%rcx,1),%ecx
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0x20(%rbp)
je     137c <format+0x26c>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
imul   $0xc35a,%rcx,%rcx
add    %rcx,%rax
movslq -0x1c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0xa,%eax
setne  %al
mov    %al,-0x20(%rbp)
mov    -0x20(%rbp),%al
test   $0x1,%al
jne    138c <format+0x27c>
jmp    13b9 <format+0x2a9>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
imul   $0xc35a,%rcx,%rcx
add    %rcx,%rax
movslq -0x1c(%rbp),%rcx
movsbl (%rax,%rcx,1),%edi
call   1030 <putchar@plt>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1331 <format+0x221>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    13d1 <format+0x2c1>
mov    $0x25,%edi
call   1030 <putchar@plt>
jmp    13d6 <format+0x2c6>
jmp    13e7 <format+0x2d7>
mov    -0x8(%rbp),%rax
movsbl (%rax),%edi
call   1030 <putchar@plt>
mov    -0x8(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x8(%rbp)
jmp    1127 <format+0x17>
mov    $0xa,%edi
call   1030 <putchar@plt>
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<format>:
push   %rbp
push   %r15
push   %r14
push   %rbx
push   %rax
mov    %rsi,%r14
mov    %rdi,%rbx
xor    %r15d,%r15d
jmp    1134 <format+0x24>
mov    $0x30,%edi
call   1030 <putchar@plt>
add    $0x1,%r15d
add    $0x1,%rbx
mov    (%rbx),%al
cmp    $0x25,%al
je     1150 <format+0x40>
test   %al,%al
je     1202 <format+0xf2>
cmp    $0xa,%al
je     1202 <format+0xf2>
movsbl %al,%edi
jmp    11b8 <format+0xa8>
nop
mov    0x1(%rbx),%al
add    $0x1,%rbx
cmp    $0x64,%al
je     118a <format+0x7a>
cmp    $0x73,%al
jne    11b3 <format+0xa3>
movslq %r15d,%rax
imul   $0xc35a,%rax,%rbp
add    %r14,%rbp
nopl   0x0(%rax)
movzbl 0x0(%rbp),%eax
test   %al,%al
je     112c <format+0x1c>
cmp    $0xa,%al
je     112c <format+0x1c>
movsbl %al,%edi
call   1030 <putchar@plt>
add    $0x1,%rbp
jmp    1170 <format+0x60>
movslq %r15d,%rax
imul   $0xc35a,%rax,%rbp
add    %r14,%rbp
xor    %eax,%eax
xor    %ecx,%ecx
nopl   0x0(%rax,%rax,1)
movzbl 0x0(%rbp,%rcx,1),%edx
cmp    $0x30,%dl
jne    11c6 <format+0xb6>
add    $0x1,%rcx
add    $0x1,%eax
jmp    11a0 <format+0x90>
mov    $0x25,%edi
call   1030 <putchar@plt>
add    $0x1,%rbx
jmp    1134 <format+0x24>
test   %dl,%dl
je     1122 <format+0x12>
cmp    $0xa,%dl
je     1122 <format+0x12>
mov    %eax,%eax
add    %rax,%rbp
nopl   0x0(%rax)
movzbl 0x0(%rbp),%eax
test   %al,%al
je     112c <format+0x1c>
cmp    $0xa,%al
je     112c <format+0x1c>
movsbl %al,%edi
call   1030 <putchar@plt>
add    $0x1,%rbp
jmp    11e0 <format+0xd0>
mov    $0xa,%edi
add    $0x8,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
jmp    1030 <putchar@plt>

LLVM IR (-O0):
define void @format(i8* %0, [50010 x i8]* %1) {
%3 = alloca i8*
%4 = alloca [50010 x i8]*
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
store i8* %0, i8** %3
store [50010 x i8]* %1, [50010 x i8]** %4
store i32 0, i32* %5
br label %8
8: ; preds = %192, %2
%9 = load i8*, i8** %3
%10 = load i8, i8* %9
%11 = sext i8 %10 to i32
%12 = icmp ne i32 %11, 0
br i1 %12, label %13, label %18
13: ; preds = %8
%14 = load i8*, i8** %3
%15 = load i8, i8* %14
%16 = sext i8 %15 to i32
%17 = icmp ne i32 %16, 10
br label %18
18: ; preds = %13, %8
%19 = phi i1 [ false, %8 ], [ %17, %13 ]
br i1 %19, label %20, label %195
20: ; preds = %18
%21 = load i8*, i8** %3
%22 = load i8, i8* %21
%23 = sext i8 %22 to i32
%24 = icmp eq i32 %23, 37
br i1 %24, label %25, label %188
25: ; preds = %20
%26 = load i8*, i8** %3
%27 = getelementptr inbounds i8, i8* %26, i32 1
store i8* %27, i8** %3
%28 = load i8*, i8** %3
%29 = load i8, i8* %28
%30 = sext i8 %29 to i32
%31 = icmp eq i32 %30, 100
br i1 %31, label %32, label %138
32: ; preds = %25
store i32 0, i32* %6
br label %33
33: ; preds = %69, %32
%34 = load [50010 x i8]*, [50010 x i8]** %4
%35 = load i32, i32* %5
%36 = sext i32 %35 to i64
%37 = getelementptr inbounds [50010 x i8], [50010 x i8]* %34, i64 %36
%38 = load i32, i32* %6
%39 = sext i32 %38 to i64
%40 = getelementptr inbounds [50010 x i8], [50010 x i8]* %37, i64 0, i64 %39
%41 = load i8, i8* %40
%42 = sext i8 %41 to i32
%43 = icmp ne i32 %42, 0
br i1 %43, label %44, label %66
44: ; preds = %33
%45 = load [50010 x i8]*, [50010 x i8]** %4
%46 = load i32, i32* %5
%47 = sext i32 %46 to i64
%48 = getelementptr inbounds [50010 x i8], [50010 x i8]* %45, i64 %47
%49 = load i32, i32* %6
%50 = sext i32 %49 to i64
%51 = getelementptr inbounds [50010 x i8], [50010 x i8]* %48, i64 0, i64 %50
%52 = load i8, i8* %51
%53 = sext i8 %52 to i32
%54 = icmp ne i32 %53, 10
br i1 %54, label %55, label %66
55: ; preds = %44
%56 = load [50010 x i8]*, [50010 x i8]** %4
%57 = load i32, i32* %5
%58 = sext i32 %57 to i64
%59 = getelementptr inbounds [50010 x i8], [50010 x i8]* %56, i64 %58
%60 = load i32, i32* %6
%61 = sext i32 %60 to i64
%62 = getelementptr inbounds [50010 x i8], [50010 x i8]* %59, i64 0, i64 %61
%63 = load i8, i8* %62
%64 = sext i8 %63 to i32
%65 = icmp eq i32 %64, 48
br label %66
66: ; preds = %55, %44, %33
%67 = phi i1 [ false, %44 ], [ false, %33 ], [ %65, %55 ]
br i1 %67, label %68, label %72
68: ; preds = %66
br label %69
69: ; preds = %68
%70 = load i32, i32* %6
%71 = add nsw i32 %70, 1
store i32 %71, i32* %6
br label %33
72: ; preds = %66
%73 = load [50010 x i8]*, [50010 x i8]** %4
%74 = load i32, i32* %5
%75 = sext i32 %74 to i64
%76 = getelementptr inbounds [50010 x i8], [50010 x i8]* %73, i64 %75
%77 = load i32, i32* %6
%78 = sext i32 %77 to i64
%79 = getelementptr inbounds [50010 x i8], [50010 x i8]* %76, i64 0, i64 %78
%80 = load i8, i8* %79
%81 = sext i8 %80 to i32
%82 = icmp eq i32 %81, 0
br i1 %82, label %94, label %83
83: ; preds = %72
%84 = load [50010 x i8]*, [50010 x i8]** %4
%85 = load i32, i32* %5
%86 = sext i32 %85 to i64
%87 = getelementptr inbounds [50010 x i8], [50010 x i8]* %84, i64 %86
%88 = load i32, i32* %6
%89 = sext i32 %88 to i64
%90 = getelementptr inbounds [50010 x i8], [50010 x i8]* %87, i64 0, i64 %89
%91 = load i8, i8* %90
%92 = sext i8 %91 to i32
%93 = icmp eq i32 %92, 10
br i1 %93, label %94, label %96
94: ; preds = %83, %72
%95 = call i32 @putchar(i8 signext 48)
br label %135
96: ; preds = %83
br label %97
97: ; preds = %131, %96
%98 = load [50010 x i8]*, [50010 x i8]** %4
%99 = load i32, i32* %5
%100 = sext i32 %99 to i64
%101 = getelementptr inbounds [50010 x i8], [50010 x i8]* %98, i64 %100
%102 = load i32, i32* %6
%103 = sext i32 %102 to i64
%104 = getelementptr inbounds [50010 x i8], [50010 x i8]* %101, i64 0, i64 %103
%105 = load i8, i8* %104
%106 = sext i8 %105 to i32
%107 = icmp ne i32 %106, 0
br i1 %107, label %108, label %119
108: ; preds = %97
%109 = load [50010 x i8]*, [50010 x i8]** %4
%110 = load i32, i32* %5
%111 = sext i32 %110 to i64
%112 = getelementptr inbounds [50010 x i8], [50010 x i8]* %109, i64 %111
%113 = load i32, i32* %6
%114 = sext i32 %113 to i64
%115 = getelementptr inbounds [50010 x i8], [50010 x i8]* %112, i64 0, i64 %114
%116 = load i8, i8* %115
%117 = sext i8 %116 to i32
%118 = icmp ne i32 %117, 10
br label %119
119: ; preds = %108, %97
%120 = phi i1 [ false, %97 ], [ %118, %108 ]
br i1 %120, label %121, label %134
121: ; preds = %119
%122 = load [50010 x i8]*, [50010 x i8]** %4
%123 = load i32, i32* %5
%124 = sext i32 %123 to i64
%125 = getelementptr inbounds [50010 x i8], [50010 x i8]* %122, i64 %124
%126 = load i32, i32* %6
%127 = sext i32 %126 to i64
%128 = getelementptr inbounds [50010 x i8], [50010 x i8]* %125, i64 0, i64 %127
%129 = load i8, i8* %128
%130 = call i32 @putchar(i8 signext %129)
br label %131
131: ; preds = %121
%132 = load i32, i32* %6
%133 = add nsw i32 %132, 1
store i32 %133, i32* %6
br label %97
134: ; preds = %119
br label %135
135: ; preds = %134, %94
%136 = load i32, i32* %5
%137 = add nsw i32 %136, 1
store i32 %137, i32* %5
br label %187
138: ; preds = %25
%139 = load i8*, i8** %3
%140 = load i8, i8* %139
%141 = sext i8 %140 to i32
%142 = icmp eq i32 %141, 115
br i1 %142, label %143, label %184
143: ; preds = %138
store i32 0, i32* %7
br label %144
144: ; preds = %178, %143
%145 = load [50010 x i8]*, [50010 x i8]** %4
%146 = load i32, i32* %5
%147 = sext i32 %146 to i64
%148 = getelementptr inbounds [50010 x i8], [50010 x i8]* %145, i64 %147
%149 = load i32, i32* %7
%150 = sext i32 %149 to i64
%151 = getelementptr inbounds [50010 x i8], [50010 x i8]* %148, i64 0, i64 %150
%152 = load i8, i8* %151
%153 = sext i8 %152 to i32
%154 = icmp ne i32 %153, 0
br i1 %154, label %155, label %166
155: ; preds = %144
%156 = load [50010 x i8]*, [50010 x i8]** %4
%157 = load i32, i32* %5
%158 = sext i32 %157 to i64
%159 = getelementptr inbounds [50010 x i8], [50010 x i8]* %156, i64 %158
%160 = load i32, i32* %7
%161 = sext i32 %160 to i64
%162 = getelementptr inbounds [50010 x i8], [50010 x i8]* %159, i64 0, i64 %161
%163 = load i8, i8* %162
%164 = sext i8 %163 to i32
%165 = icmp ne i32 %164, 10
br label %166
166: ; preds = %155, %144
%167 = phi i1 [ false, %144 ], [ %165, %155 ]
br i1 %167, label %168, label %181
168: ; preds = %166
%169 = load [50010 x i8]*, [50010 x i8]** %4
%170 = load i32, i32* %5
%171 = sext i32 %170 to i64
%172 = getelementptr inbounds [50010 x i8], [50010 x i8]* %169, i64 %171
%173 = load i32, i32* %7
%174 = sext i32 %173 to i64
%175 = getelementptr inbounds [50010 x i8], [50010 x i8]* %172, i64 0, i64 %174
%176 = load i8, i8* %175
%177 = call i32 @putchar(i8 signext %176)
br label %178
178: ; preds = %168
%179 = load i32, i32* %7
%180 = add nsw i32 %179, 1
store i32 %180, i32* %7
br label %144
181: ; preds = %166
%182 = load i32, i32* %5
%183 = add nsw i32 %182, 1
store i32 %183, i32* %5
br label %186
184: ; preds = %138
%185 = call i32 @putchar(i8 signext 37)
br label %186
186: ; preds = %184, %181
br label %187
187: ; preds = %186, %135
br label %192
188: ; preds = %20
%189 = load i8*, i8** %3
%190 = load i8, i8* %189
%191 = call i32 @putchar(i8 signext %190)
br label %192
192: ; preds = %188, %187
%193 = load i8*, i8** %3
%194 = getelementptr inbounds i8, i8* %193, i32 1
store i8* %194, i8** %3
br label %8
195: ; preds = %18
%196 = call i32 @putchar(i8 signext 10)
ret void
}

LLVM IR (-O2):
define void @format(i8* nocapture %0, [50010 x i8]* nocapture %1) {
br label %3
3: ; preds = %46, %2
%4 = phi i8* [ %0, %2 ], [ %49, %46 ]
%5 = phi i32 [ 0, %2 ], [ %48, %46 ]
%6 = load i8, i8* %4
switch i8 %6, label %44 [
i8 0, label %50
i8 10, label %50
i8 37, label %7
]
7: ; preds = %3
%8 = getelementptr inbounds i8, i8* %4, i64 1
%9 = load i8, i8* %8
switch i8 %9, label %42 [
i8 100, label %12
i8 115, label %10
]
10: ; preds = %7
%11 = sext i32 %5 to i64
br label %33
12: ; preds = %7
%13 = sext i32 %5 to i64
br label %14
14: ; preds = %12, %20
%15 = phi i64 [ 0, %12 ], [ %21, %20 ]
%16 = getelementptr inbounds [50010 x i8], [50010 x i8]* %1, i64 %13, i64 %15
%17 = load i8, i8* %16
switch i8 %17, label %18 [
i8 48, label %20
i8 0, label %22
i8 10, label %22
]
18: ; preds = %14
%19 = and i64 %15, 4294967295
br label %24
20: ; preds = %14
%21 = add nuw i64 %15, 1
br label %14
22: ; preds = %14, %14
%23 = tail call i32 @putchar(i8 signext 48)
br label %31
24: ; preds = %18, %28
%25 = phi i64 [ %19, %18 ], [ %30, %28 ]
%26 = getelementptr inbounds [50010 x i8], [50010 x i8]* %1, i64 %13, i64 %25
%27 = load i8, i8* %26
switch i8 %27, label %28 [
i8 0, label %31
i8 10, label %31
]
28: ; preds = %24
%29 = tail call i32 @putchar(i8 signext %27)
%30 = add nuw i64 %25, 1
br label %24
31: ; preds = %24, %24, %22
%32 = add nsw i32 %5, 1
br label %46
33: ; preds = %10, %37
%34 = phi i64 [ 0, %10 ], [ %39, %37 ]
%35 = getelementptr inbounds [50010 x i8], [50010 x i8]* %1, i64 %11, i64 %34
%36 = load i8, i8* %35
switch i8 %36, label %37 [
i8 0, label %40
i8 10, label %40
]
37: ; preds = %33
%38 = tail call i32 @putchar(i8 signext %36)
%39 = add nuw i64 %34, 1
br label %33
40: ; preds = %33, %33
%41 = add nsw i32 %5, 1
br label %46
42: ; preds = %7
%43 = tail call i32 @putchar(i8 signext 37)
br label %46
44: ; preds = %3
%45 = tail call i32 @putchar(i8 signext %6)
br label %46
46: ; preds = %31, %42, %40, %44
%47 = phi i8* [ %8, %31 ], [ %8, %40 ], [ %8, %42 ], [ %4, %44 ]
%48 = phi i32 [ %32, %31 ], [ %41, %40 ], [ %5, %42 ], [ %5, %44 ]
%49 = getelementptr inbounds i8, i8* %47, i64 1
br label %3
50: ; preds = %3, %3
%51 = tail call i32 @putchar(i8 signext 10)
ret void
}