#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*/ bar(int, char *);
void foo(int b) {
  for (int i = 1; i < b; ++i) {
    char buffer[i];
    for (int j = 0; j < i; ++j) {
      buffer[j] = j;
    }
    bar(i, buffer);
  }
}


x86 assembly (clang, -O0):
<foo>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %edi,-0x4(%rbp)
movl   $0x1,-0x8(%rbp)
mov    -0x8(%rbp),%eax
cmp    -0x4(%rbp),%eax
jge    11a6 <foo+0x96>
mov    -0x8(%rbp),%eax
mov    %rsp,%rcx
mov    %rcx,-0x10(%rbp)
mov    %rax,%rdx
add    $0xf,%rdx
and    $0xfffffffffffffff0,%rdx
mov    %rsp,%rcx
sub    %rdx,%rcx
mov    %rcx,-0x28(%rbp)
mov    %rcx,%rsp
mov    %rax,-0x18(%rbp)
movl   $0x0,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0x8(%rbp),%eax
jge    1185 <foo+0x75>
mov    -0x28(%rbp),%rax
mov    -0x1c(%rbp),%ecx
mov    %cl,%dl
movslq -0x1c(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    115b <foo+0x4b>
mov    -0x28(%rbp),%rsi
mov    -0x8(%rbp),%edi
call   1030 <bar@plt>
mov    -0x10(%rbp),%rax
mov    %rax,%rsp
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    1122 <foo+0x12>
mov    %rbp,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<foo>:
push   %rbp
mov    %rsp,%rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
cmp    $0x2,%edi
jl     1342 <foo+0x232>
mov    %edi,%r14d
mov    $0x1,%ebx
mov    $0xffffffffffffffe1,%r15
xor    %ecx,%ecx
movdqa 0xed0(%rip),%xmm3
movdqa 0xed8(%rip),%xmm4
movdqa 0xedf(%rip),%xmm8
movdqa 0xee6(%rip),%xmm9
movdqa 0xeed(%rip),%xmm10
movdqa 0xef5(%rip),%xmm5
movdqa 0xefd(%rip),%xmm6
movdqa 0xf05(%rip),%xmm7
jmp    11e1 <foo+0xd1>
nopl   (%rax)
mov    %ebx,%edi
call   1030 <bar@plt>
mov    %r13,%rsp
add    $0x1,%rbx
add    $0x1,%r15
mov    %r12,%rcx
cmp    %r14,%rbx
movdqa 0xe70(%rip),%xmm3
movdqa 0xe78(%rip),%xmm4
movdqa 0xe7f(%rip),%xmm8
movdqa 0xe86(%rip),%xmm9
movdqa 0xe8d(%rip),%xmm10
movdqa 0xe95(%rip),%xmm5
movdqa 0xe9d(%rip),%xmm6
movdqa 0xea5(%rip),%xmm7
je     1342 <foo+0x232>
mov    %rsp,%r13
lea    0x1(%rcx),%r12
mov    %rsp,%rsi
lea    0xf(%rbx),%rax
and    $0xfffffffffffffff0,%rax
sub    %rax,%rsi
mov    %rsi,%rsp
cmp    $0x20,%r12
jae    1210 <foo+0x100>
xor    %edi,%edi
jmp    1330 <foo+0x220>
cs nopw 0x0(%rax,%rax,1)
mov    %r15,%rax
shr    $0x5,%rax
add    $0xffffffffffffffe1,%rcx
mov    %rcx,%rdx
shr    $0x5,%rdx
add    $0x1,%rdx
cmp    $0x60,%rcx
jae    1240 <foo+0x130>
xor    %ecx,%ecx
movdqa 0xdca(%rip),%xmm0
jmp    12d8 <foo+0x1c8>
nopl   0x0(%rax,%rax,1)
lea    0x1(%rax),%rdi
and    $0xfffffffffffffffc,%rdi
xor    %ecx,%ecx
movdqa 0xdae(%rip),%xmm0
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movdqa %xmm0,%xmm1
paddb  %xmm3,%xmm1
movdqa %xmm0,(%rsi,%rcx,1)
movdqa %xmm1,0x10(%rsi,%rcx,1)
movdqa %xmm0,%xmm1
paddb  %xmm4,%xmm1
movdqa %xmm0,%xmm2
paddb  %xmm8,%xmm2
movdqa %xmm1,0x20(%rsi,%rcx,1)
movdqa %xmm2,0x30(%rsi,%rcx,1)
movdqa %xmm0,%xmm1
paddb  %xmm9,%xmm1
movdqa %xmm0,%xmm2
paddb  %xmm10,%xmm2
movdqa %xmm1,0x40(%rsi,%rcx,1)
movdqa %xmm2,0x50(%rsi,%rcx,1)
movdqa %xmm0,%xmm1
paddb  %xmm5,%xmm1
movdqa %xmm0,%xmm2
paddb  %xmm6,%xmm2
movdqa %xmm1,0x60(%rsi,%rcx,1)
movdqa %xmm2,0x70(%rsi,%rcx,1)
sub    $0xffffffffffffff80,%rcx
pxor   %xmm7,%xmm0
add    $0xfffffffffffffffc,%rdi
jne    1260 <foo+0x150>
mov    %r12,%rdi
and    $0xffffffffffffffe0,%rdi
test   $0x3,%dl
je     1320 <foo+0x210>
add    $0x1,%al
movzbl %al,%eax
and    $0x3,%eax
shl    $0x5,%rax
add    %rsi,%rcx
add    $0x10,%rcx
xor    %edx,%edx
nopl   0x0(%rax)
movdqa %xmm0,%xmm1
paddb  %xmm3,%xmm1
movdqa %xmm0,-0x10(%rcx,%rdx,1)
movdqa %xmm1,(%rcx,%rdx,1)
paddb  %xmm4,%xmm0
add    $0x20,%rdx
cmp    %rdx,%rax
jne    1300 <foo+0x1f0>
cmp    %rdi,%r12
je     1180 <foo+0x70>
nopl   0x0(%rax)
mov    %dil,(%rsi,%rdi,1)
add    $0x1,%rdi
cmp    %rdi,%rbx
jne    1330 <foo+0x220>
jmp    1180 <foo+0x70>
lea    -0x28(%rbp),%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define void @foo(i32 %0) {
%2 = alloca i32
%3 = alloca i32
%4 = alloca i8*
%5 = alloca i64
%6 = alloca i32
store i32 %0, i32* %2
store i32 1, i32* %3
br label %7
7: ; preds = %33, %1
%8 = load i32, i32* %3
%9 = load i32, i32* %2
%10 = icmp slt i32 %8, %9
br i1 %10, label %11, label %36
11: ; preds = %7
%12 = load i32, i32* %3
%13 = zext i32 %12 to i64
%14 = call i8* @llvm.stacksave()
store i8* %14, i8** %4
%15 = alloca i8, i64 %13
store i64 %13, i64* %5
store i32 0, i32* %6
br label %16
16: ; preds = %26, %11
%17 = load i32, i32* %6
%18 = load i32, i32* %3
%19 = icmp slt i32 %17, %18
br i1 %19, label %20, label %29
20: ; preds = %16
%21 = load i32, i32* %6
%22 = trunc i32 %21 to i8
%23 = load i32, i32* %6
%24 = sext i32 %23 to i64
%25 = getelementptr inbounds i8, i8* %15, i64 %24
store i8 %22, i8* %25
br label %26
26: ; preds = %20
%27 = load i32, i32* %6
%28 = add nsw i32 %27, 1
store i32 %28, i32* %6
br label %16
29: ; preds = %16
%30 = load i32, i32* %3
%31 = call i32 @bar(i32 %30, i8* %15)
%32 = load i8*, i8** %4
br label %33
33: ; preds = %29
%34 = load i32, i32* %3
%35 = add nsw i32 %34, 1
store i32 %35, i32* %3
br label %7
36: ; preds = %7
ret void
}

LLVM IR (-O2):
define void @foo(i32 %0) {
%2 = icmp sgt i32 %0, 1
br i1 %2, label %3, label %5
3: ; preds = %1
%4 = zext i32 %0 to i64
br label %6
5: ; preds = %77, %1
ret void
6: ; preds = %3, %77
%7 = phi i64 [ 0, %3 ], [ %82, %77 ]
%8 = phi i64 [ 1, %3 ], [ %80, %77 ]
%9 = add i64 %7, -31
%10 = lshr i64 %9, 5
%11 = add nuw nsw i64 %10, 1
%12 = add i64 %7, 1
%13 = call i8* @llvm.stacksave()
%14 = alloca i8, i64 %8
%15 = icmp ult i64 %12, 32
br i1 %15, label %75, label %16
16: ; preds = %6
%17 = and i64 %12, -32
%18 = and i64 %11, 3
%19 = icmp ult i64 %9, 96
br i1 %19, label %56, label %20
20: ; preds = %16
%21 = and i64 %11, 1152921504606846972
br label %22
22: ; preds = %22, %20
%23 = phi i64 [ 0, %20 ], [ %52, %22 ]
%24 = phi <16 x i8> [ <i8 0, i8 1, i8 2, i8 3, i8 4, i8 5, i8 6, i8 7, i8 8, i8 9, i8 10, i8 11, i8 12, i8 13, i8 14, i8 15>, %20 ], [ %53, %22 ]
%25 = phi i64 [ 0, %20 ], [ %54, %22 ]
%26 = add <16 x i8> %24, <i8 16, i8 16, i8 16, i8 16, i8 16, i8 16, i8 16, i8 16, i8 16, i8 16, i8 16, i8 16, i8 16, i8 16, i8 16, i8 16>
%27 = getelementptr inbounds i8, i8* %14, i64 %23
%28 = bitcast i8* %27 to <16 x i8>*
store <16 x i8> %24, <16 x i8>* %28
%29 = getelementptr inbounds i8, i8* %27, i64 16
%30 = bitcast i8* %29 to <16 x i8>*
store <16 x i8> %26, <16 x i8>* %30
%31 = or i64 %23, 32
%32 = add <16 x i8> %24, <i8 32, i8 32, i8 32, i8 32, i8 32, i8 32, i8 32, i8 32, i8 32, i8 32, i8 32, i8 32, i8 32, i8 32, i8 32, i8 32>
%33 = add <16 x i8> %24, <i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48>
%34 = getelementptr inbounds i8, i8* %14, i64 %31
%35 = bitcast i8* %34 to <16 x i8>*
store <16 x i8> %32, <16 x i8>* %35
%36 = getelementptr inbounds i8, i8* %34, i64 16
%37 = bitcast i8* %36 to <16 x i8>*
store <16 x i8> %33, <16 x i8>* %37
%38 = or i64 %23, 64
%39 = add <16 x i8> %24, <i8 64, i8 64, i8 64, i8 64, i8 64, i8 64, i8 64, i8 64, i8 64, i8 64, i8 64, i8 64, i8 64, i8 64, i8 64, i8 64>
%40 = add <16 x i8> %24, <i8 80, i8 80, i8 80, i8 80, i8 80, i8 80, i8 80, i8 80, i8 80, i8 80, i8 80, i8 80, i8 80, i8 80, i8 80, i8 80>
%41 = getelementptr inbounds i8, i8* %14, i64 %38
%42 = bitcast i8* %41 to <16 x i8>*
store <16 x i8> %39, <16 x i8>* %42
%43 = getelementptr inbounds i8, i8* %41, i64 16
%44 = bitcast i8* %43 to <16 x i8>*
store <16 x i8> %40, <16 x i8>* %44
%45 = or i64 %23, 96
%46 = add <16 x i8> %24, <i8 96, i8 96, i8 96, i8 96, i8 96, i8 96, i8 96, i8 96, i8 96, i8 96, i8 96, i8 96, i8 96, i8 96, i8 96, i8 96>
%47 = add <16 x i8> %24, <i8 112, i8 112, i8 112, i8 112, i8 112, i8 112, i8 112, i8 112, i8 112, i8 112, i8 112, i8 112, i8 112, i8 112, i8 112, i8 112>
%48 = getelementptr inbounds i8, i8* %14, i64 %45
%49 = bitcast i8* %48 to <16 x i8>*
store <16 x i8> %46, <16 x i8>* %49
%50 = getelementptr inbounds i8, i8* %48, i64 16
%51 = bitcast i8* %50 to <16 x i8>*
store <16 x i8> %47, <16 x i8>* %51
%52 = add nuw i64 %23, 128
%53 = xor <16 x i8> %24, <i8 -128, i8 -128, i8 -128, i8 -128, i8 -128, i8 -128, i8 -128, i8 -128, i8 -128, i8 -128, i8 -128, i8 -128, i8 -128, i8 -128, i8 -128, i8 -128>
%54 = add i64 %25, 4
%55 = icmp eq i64 %54, %21
br i1 %55, label %56, label %22
56: ; preds = %22, %16
%57 = phi i64 [ 0, %16 ], [ %52, %22 ]
%58 = phi <16 x i8> [ <i8 0, i8 1, i8 2, i8 3, i8 4, i8 5, i8 6, i8 7, i8 8, i8 9, i8 10, i8 11, i8 12, i8 13, i8 14, i8 15>, %16 ], [ %53, %22 ]
%59 = icmp eq i64 %18, 0
br i1 %59, label %73, label %60
60: ; preds = %56, %60
%61 = phi i64 [ %69, %60 ], [ %57, %56 ]
%62 = phi <16 x i8> [ %70, %60 ], [ %58, %56 ]
%63 = phi i64 [ %71, %60 ], [ 0, %56 ]
%64 = add <16 x i8> %62, <i8 16, i8 16, i8 16, i8 16, i8 16, i8 16, i8 16, i8 16, i8 16, i8 16, i8 16, i8 16, i8 16, i8 16, i8 16, i8 16>
%65 = getelementptr inbounds i8, i8* %14, i64 %61
%66 = bitcast i8* %65 to <16 x i8>*
store <16 x i8> %62, <16 x i8>* %66
%67 = getelementptr inbounds i8, i8* %65, i64 16
%68 = bitcast i8* %67 to <16 x i8>*
store <16 x i8> %64, <16 x i8>* %68
%69 = add nuw i64 %61, 32
%70 = add <16 x i8> %62, <i8 32, i8 32, i8 32, i8 32, i8 32, i8 32, i8 32, i8 32, i8 32, i8 32, i8 32, i8 32, i8 32, i8 32, i8 32, i8 32>
%71 = add i64 %63, 1
%72 = icmp eq i64 %71, %18
br i1 %72, label %73, label %60
73: ; preds = %60, %56
%74 = icmp eq i64 %12, %17
br i1 %74, label %77, label %75
75: ; preds = %6, %73
%76 = phi i64 [ 0, %6 ], [ %17, %73 ]
br label %83
77: ; preds = %83, %73
%78 = trunc i64 %8 to i32
%79 = call i32 @bar(i32 %78, i8* %14)
%80 = add nuw nsw i64 %8, 1
%81 = icmp eq i64 %80, %4
%82 = add i64 %7, 1
br i1 %81, label %5, label %6
83: ; preds = %75, %83
%84 = phi i64 [ %87, %83 ], [ %76, %75 ]
%85 = trunc i64 %84 to i8
%86 = getelementptr inbounds i8, i8* %14, i64 %84
store i8 %85, i8* %86
%87 = add nuw nsw i64 %84, 1
%88 = icmp eq i64 %87, %8
br i1 %88, label %77, label %83
}