#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*/ abort();
int /*<<< orphan*/ f(int);
int /*<<< orphan*/ g(int, int, int, int, int, int, int, int);
int /*<<< orphan*/ h(int, int, int, int, int, int, int, int, int, int, int);
int q();
int /*<<< orphan*/ use(int *);
main() {
  f(2);
  g(1, 2, 3, 4, 5, 6, 7, 8);
  {
    int vla[q()];
    vla[0] = 1;
    vla[1] = 2;
    vla[2] = 3;
    vla[3] = 4;
    vla[4] = 5;
    h(1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11);
    if (vla[0] != 1)
      abort();
    if (vla[1] != 2)
      abort();
    if (vla[2] != 3)
      abort();
    if (vla[3] != 4)
      abort();
    if (vla[4] != 5)
      abort();
    use(vla);
  }
  h(1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11);
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
movl   $0x0,-0x4(%rbp)
mov    $0x2,%edi
mov    %edi,-0x24(%rbp)
call   1050 <f@plt>
mov    -0x24(%rbp),%esi
sub    $0x10,%rsp
mov    %rsp,%rax
movl   $0x8,0x8(%rax)
movl   $0x7,(%rax)
mov    $0x1,%edi
mov    $0x3,%edx
mov    $0x4,%ecx
mov    $0x5,%r8d
mov    $0x6,%r9d
call   1070 <g@plt>
add    $0x10,%rsp
xor    %eax,%eax
call   1080 <q@plt>
mov    %eax,%eax
mov    %eax,%ecx
mov    %rsp,%rax
mov    %rax,-0x10(%rbp)
lea    0xf(,%rcx,4),%rdx
and    $0xfffffffffffffff0,%rdx
mov    %rsp,%rax
sub    %rdx,%rax
mov    %rax,-0x20(%rbp)
mov    %rax,%rsp
mov    %rcx,-0x18(%rbp)
movl   $0x1,(%rax)
movl   $0x2,0x4(%rax)
movl   $0x3,0x8(%rax)
movl   $0x4,0xc(%rax)
movl   $0x5,0x10(%rax)
mov    $0x1,%edi
mov    $0x2,%esi
mov    $0x3,%edx
mov    $0x4,%ecx
mov    $0x5,%r8d
mov    $0x6,%r9d
sub    $0x30,%rsp
movl   $0x7,(%rsp)
movl   $0x8,0x8(%rsp)
movl   $0x9,0x10(%rsp)
movl   $0xa,0x18(%rsp)
movl   $0xb,0x20(%rsp)
call   1040 <h@plt>
add    $0x30,%rsp
mov    -0x20(%rbp),%rax
cmpl   $0x1,(%rax)
je     1270 <main+0x110>
mov    $0x0,%al
call   1030 <abort@plt>
mov    -0x20(%rbp),%rax
cmpl   $0x2,0x4(%rax)
je     1285 <main+0x125>
mov    $0x0,%al
call   1030 <abort@plt>
mov    -0x20(%rbp),%rax
cmpl   $0x3,0x8(%rax)
je     129a <main+0x13a>
mov    $0x0,%al
call   1030 <abort@plt>
mov    -0x20(%rbp),%rax
cmpl   $0x4,0xc(%rax)
je     12af <main+0x14f>
mov    $0x0,%al
call   1030 <abort@plt>
mov    -0x20(%rbp),%rax
cmpl   $0x5,0x10(%rax)
je     12c4 <main+0x164>
mov    $0x0,%al
call   1030 <abort@plt>
mov    -0x20(%rbp),%rdi
call   1060 <use@plt>
mov    -0x10(%rbp),%rax
mov    %rax,%rsp
mov    $0x1,%edi
mov    $0x2,%esi
mov    $0x3,%edx
mov    $0x4,%ecx
mov    $0x5,%r8d
mov    $0x6,%r9d
sub    $0x30,%rsp
movl   $0x7,(%rsp)
movl   $0x8,0x8(%rsp)
movl   $0x9,0x10(%rsp)
movl   $0xa,0x18(%rsp)
movl   $0xb,0x20(%rsp)
call   1040 <h@plt>
add    $0x30,%rsp
xor    %eax,%eax
mov    %rbp,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rbp
mov    %rsp,%rbp
push   %r14
push   %rbx
mov    $0x2,%edi
call   1040 <f@plt>
mov    $0x1,%edi
mov    $0x2,%esi
mov    $0x3,%edx
mov    $0x4,%ecx
mov    $0x5,%r8d
mov    $0x6,%r9d
push   $0x8
push   $0x7
call   1060 <g@plt>
add    $0x10,%rsp
xor    %eax,%eax
call   1070 <q@plt>
mov    %rsp,%r14
mov    %eax,%eax
mov    %rsp,%rcx
lea    0xf(,%rax,4),%rax
and    $0xfffffffffffffff0,%rax
mov    %rcx,%rbx
sub    %rax,%rbx
mov    %rbx,%rsp
neg    %rax
movaps 0xe44(%rip),%xmm0
movaps %xmm0,(%rcx,%rax,1)
movl   $0x5,0x10(%rbx)
sub    $0x8,%rsp
mov    $0x1,%edi
mov    $0x2,%esi
mov    $0x3,%edx
mov    $0x4,%ecx
mov    $0x5,%r8d
mov    $0x6,%r9d
push   $0xb
push   $0xa
push   $0x9
push   $0x8
push   $0x7
call   1030 <h@plt>
add    $0x30,%rsp
mov    %rbx,%rdi
call   1050 <use@plt>
mov    %r14,%rsp
sub    $0x8,%rsp
mov    $0x1,%edi
mov    $0x2,%esi
mov    $0x3,%edx
mov    $0x4,%ecx
mov    $0x5,%r8d
mov    $0x6,%r9d
push   $0xb
push   $0xa
push   $0x9
push   $0x8
push   $0x7
call   1030 <h@plt>
add    $0x30,%rsp
xor    %eax,%eax
lea    -0x10(%rbp),%rsp
pop    %rbx
pop    %r14
pop    %rbp
ret

LLVM IR (-O0):
define i32 @main() {
%1 = alloca i32
%2 = alloca i8*
%3 = alloca i64
store i32 0, i32* %1
%4 = call i32 @f(i32 2)
%5 = call i32 @g(i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7, i32 8)
%6 = call i32 (...) @q()
%7 = zext i32 %6 to i64
%8 = call i8* @llvm.stacksave()
store i8* %8, i8** %2
%9 = alloca i32, i64 %7
store i64 %7, i64* %3
%10 = getelementptr inbounds i32, i32* %9, i64 0
store i32 1, i32* %10
%11 = getelementptr inbounds i32, i32* %9, i64 1
store i32 2, i32* %11
%12 = getelementptr inbounds i32, i32* %9, i64 2
store i32 3, i32* %12
%13 = getelementptr inbounds i32, i32* %9, i64 3
store i32 4, i32* %13
%14 = getelementptr inbounds i32, i32* %9, i64 4
store i32 5, i32* %14
%15 = call i32 @h(i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7, i32 8, i32 9, i32 10, i32 11)
%16 = getelementptr inbounds i32, i32* %9, i64 0
%17 = load i32, i32* %16
%18 = icmp ne i32 %17, 1
br i1 %18, label %19, label %21
19: ; preds = %0
%20 = call i32 (...) @abort()
unreachable
21: ; preds = %0
%22 = getelementptr inbounds i32, i32* %9, i64 1
%23 = load i32, i32* %22
%24 = icmp ne i32 %23, 2
br i1 %24, label %25, label %27
25: ; preds = %21
%26 = call i32 (...) @abort()
unreachable
27: ; preds = %21
%28 = getelementptr inbounds i32, i32* %9, i64 2
%29 = load i32, i32* %28
%30 = icmp ne i32 %29, 3
br i1 %30, label %31, label %33
31: ; preds = %27
%32 = call i32 (...) @abort()
unreachable
33: ; preds = %27
%34 = getelementptr inbounds i32, i32* %9, i64 3
%35 = load i32, i32* %34
%36 = icmp ne i32 %35, 4
br i1 %36, label %37, label %39
37: ; preds = %33
%38 = call i32 (...) @abort()
unreachable
39: ; preds = %33
%40 = getelementptr inbounds i32, i32* %9, i64 4
%41 = load i32, i32* %40
%42 = icmp ne i32 %41, 5
br i1 %42, label %43, label %45
43: ; preds = %39
%44 = call i32 (...) @abort()
unreachable
45: ; preds = %39
%46 = call i32 @use(i32* %9)
%47 = load i8*, i8** %2
%48 = call i32 @h(i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7, i32 8, i32 9, i32 10, i32 11)
ret i32 0
}

LLVM IR (-O2):
define i32 @main() {
%1 = tail call i32 @f(i32 2)
%2 = tail call i32 @g(i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7, i32 8)
%3 = tail call i32 (...) @q()
%4 = zext i32 %3 to i64
%5 = tail call i8* @llvm.stacksave()
%6 = alloca i32, i64 %4
%7 = bitcast i32* %6 to <4 x i32>*
store <4 x i32> <i32 1, i32 2, i32 3, i32 4>, <4 x i32>* %7
%8 = getelementptr inbounds i32, i32* %6, i64 4
store i32 5, i32* %8
%9 = tail call i32 @h(i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7, i32 8, i32 9, i32 10, i32 11)
%10 = call i32 @use(i32* %6)
%11 = call i32 @h(i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7, i32 8, i32 9, i32 10, i32 11)
ret i32 0
}