#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();
void __attribute__((__force_align_arg_pointer__, __no__, __regparm__(3)))
callee(int i1, int i2, int i3, int i4, int i5, int i6, int i7) {
  if (i1 != 1)
    abort();
  if (i2 != 2)
    abort();
  if (i3 != 3)
    abort();
  if (i4 != 4)
    abort();
  if (i5 != 5)
    abort();
  if (i6 != 6)
    abort();
  if (i7 != 7)
    abort();
}


x86 assembly (clang, -O0):
<callee>:
push   %rbp
mov    %rsp,%rbp
and    $0xfffffffffffffff0,%rsp
sub    $0x20,%rsp
mov    0x10(%rbp),%eax
mov    %edi,0x1c(%rsp)
mov    %esi,0x18(%rsp)
mov    %edx,0x14(%rsp)
mov    %ecx,0x10(%rsp)
mov    %r8d,0xc(%rsp)
mov    %r9d,0x8(%rsp)
cmpl   $0x1,0x1c(%rsp)
je     114b <callee+0x3b>
mov    $0x0,%al
call   1030 <abort@plt>
cmpl   $0x2,0x18(%rsp)
je     115d <callee+0x4d>
mov    $0x0,%al
call   1030 <abort@plt>
cmpl   $0x3,0x14(%rsp)
je     116f <callee+0x5f>
mov    $0x0,%al
call   1030 <abort@plt>
cmpl   $0x4,0x10(%rsp)
je     1181 <callee+0x71>
mov    $0x0,%al
call   1030 <abort@plt>
cmpl   $0x5,0xc(%rsp)
je     1193 <callee+0x83>
mov    $0x0,%al
call   1030 <abort@plt>
cmpl   $0x6,0x8(%rsp)
je     11a5 <callee+0x95>
mov    $0x0,%al
call   1030 <abort@plt>
cmpl   $0x7,0x10(%rbp)
je     11b6 <callee+0xa6>
mov    $0x0,%al
call   1030 <abort@plt>
mov    %rbp,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<callee>:
push   %rbp
mov    %rsp,%rbp
and    $0xfffffffffffffff0,%rsp
cmp    $0x1,%edi
jne    1143 <callee+0x33>
cmp    $0x2,%esi
jne    1143 <callee+0x33>
cmp    $0x3,%edx
jne    1143 <callee+0x33>
cmp    $0x4,%ecx
jne    1143 <callee+0x33>
cmp    $0x5,%r8d
jne    1143 <callee+0x33>
cmp    $0x6,%r9d
jne    1143 <callee+0x33>
cmpl   $0x7,0x10(%rbp)
jne    1143 <callee+0x33>
mov    %rbp,%rsp
pop    %rbp
ret
xor    %eax,%eax
call   1030 <abort@plt>

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

LLVM IR (-O2):
define void @callee(i32 %0, i32 %1, i32 %2, i32 %3, i32 %4, i32 %5, i32 %6) {
%8 = icmp eq i32 %0, 1
br i1 %8, label %11, label %9
9: ; preds = %7
%10 = tail call i32 (...) @abort()
unreachable
11: ; preds = %7
%12 = icmp eq i32 %1, 2
br i1 %12, label %15, label %13
13: ; preds = %11
%14 = tail call i32 (...) @abort()
unreachable
15: ; preds = %11
%16 = icmp eq i32 %2, 3
br i1 %16, label %19, label %17
17: ; preds = %15
%18 = tail call i32 (...) @abort()
unreachable
19: ; preds = %15
%20 = icmp eq i32 %3, 4
br i1 %20, label %23, label %21
21: ; preds = %19
%22 = tail call i32 (...) @abort()
unreachable
23: ; preds = %19
%24 = icmp eq i32 %4, 5
br i1 %24, label %27, label %25
25: ; preds = %23
%26 = tail call i32 (...) @abort()
unreachable
27: ; preds = %23
%28 = icmp eq i32 %5, 6
br i1 %28, label %31, label %29
29: ; preds = %27
%30 = tail call i32 (...) @abort()
unreachable
31: ; preds = %27
%32 = icmp eq i32 %6, 7
br i1 %32, label %35, label %33
33: ; preds = %31
%34 = tail call i32 (...) @abort()
unreachable
35: ; preds = %31
ret void
}