void h(a, b, c, d, e, f, g, h, i, j, k) {
  if (a != 1)
    abort();
  if (b != 2)
    abort();
  if (c != 3)
    abort();
  if (d != 4)
    abort();
  if (e != 5)
    abort();
  if (f != 6)
    abort();
  if (g != 7)
    abort();
  if (h != 8)
    abort();
  if (i != 9)
    abort();
  if (j != 10)
    abort();
  if (k != 11)
    abort();
}


x86 assembly (clang, -O0):
<h>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    0x30(%rbp),%eax
mov    0x28(%rbp),%eax
mov    0x20(%rbp),%eax
mov    0x18(%rbp),%eax
mov    0x10(%rbp),%eax
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    %edx,-0xc(%rbp)
mov    %ecx,-0x10(%rbp)
mov    %r8d,-0x14(%rbp)
mov    %r9d,-0x18(%rbp)
cmpl   $0x1,-0x4(%rbp)
je     114a <h+0x3a>
call   1030 <abort@plt>
cmpl   $0x2,-0x8(%rbp)
je     1159 <h+0x49>
call   1030 <abort@plt>
cmpl   $0x3,-0xc(%rbp)
je     1168 <h+0x58>
call   1030 <abort@plt>
cmpl   $0x4,-0x10(%rbp)
je     1177 <h+0x67>
call   1030 <abort@plt>
cmpl   $0x5,-0x14(%rbp)
je     1186 <h+0x76>
call   1030 <abort@plt>
cmpl   $0x6,-0x18(%rbp)
je     1195 <h+0x85>
call   1030 <abort@plt>
cmpl   $0x7,0x10(%rbp)
je     11a4 <h+0x94>
call   1030 <abort@plt>
cmpl   $0x8,0x18(%rbp)
je     11b3 <h+0xa3>
call   1030 <abort@plt>
cmpl   $0x9,0x20(%rbp)
je     11c2 <h+0xb2>
call   1030 <abort@plt>
cmpl   $0xa,0x28(%rbp)
je     11d1 <h+0xc1>
call   1030 <abort@plt>
cmpl   $0xb,0x30(%rbp)
je     11e0 <h+0xd0>
call   1030 <abort@plt>
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<h>:
push   %rax
cmp    $0x1,%edi
jne    1156 <h+0x46>
cmp    $0x2,%esi
jne    1156 <h+0x46>
cmp    $0x3,%edx
jne    1156 <h+0x46>
cmp    $0x4,%ecx
jne    1156 <h+0x46>
cmp    $0x5,%r8d
jne    1156 <h+0x46>
cmp    $0x6,%r9d
jne    1156 <h+0x46>
cmpl   $0x7,0x10(%rsp)
jne    1156 <h+0x46>
cmpl   $0x8,0x18(%rsp)
jne    1156 <h+0x46>
cmpl   $0x9,0x20(%rsp)
jne    1156 <h+0x46>
cmpl   $0xa,0x28(%rsp)
jne    1156 <h+0x46>
cmpl   $0xb,0x30(%rsp)
jne    1156 <h+0x46>
pop    %rax
ret
call   1030 <abort@plt>

LLVM IR (-O0):
define void @h(i32 %0, i32 %1, i32 %2, i32 %3, i32 %4, i32 %5, i32 %6, i32 %7, i32 %8, i32 %9, i32 %10) {
%12 = alloca i32
%13 = alloca i32
%14 = alloca i32
%15 = alloca i32
%16 = alloca i32
%17 = alloca i32
%18 = alloca i32
%19 = alloca i32
%20 = alloca i32
%21 = alloca i32
%22 = alloca i32
store i32 %0, i32* %12
store i32 %1, i32* %13
store i32 %2, i32* %14
store i32 %3, i32* %15
store i32 %4, i32* %16
store i32 %5, i32* %17
store i32 %6, i32* %18
store i32 %7, i32* %19
store i32 %8, i32* %20
store i32 %9, i32* %21
store i32 %10, i32* %22
%23 = load i32, i32* %12
%24 = icmp ne i32 %23, 1
br i1 %24, label %25, label %26
25: ; preds = %11
unreachable
26: ; preds = %11
%27 = load i32, i32* %13
%28 = icmp ne i32 %27, 2
br i1 %28, label %29, label %30
29: ; preds = %26
unreachable
30: ; preds = %26
%31 = load i32, i32* %14
%32 = icmp ne i32 %31, 3
br i1 %32, label %33, label %34
33: ; preds = %30
unreachable
34: ; preds = %30
%35 = load i32, i32* %15
%36 = icmp ne i32 %35, 4
br i1 %36, label %37, label %38
37: ; preds = %34
unreachable
38: ; preds = %34
%39 = load i32, i32* %16
%40 = icmp ne i32 %39, 5
br i1 %40, label %41, label %42
41: ; preds = %38
unreachable
42: ; preds = %38
%43 = load i32, i32* %17
%44 = icmp ne i32 %43, 6
br i1 %44, label %45, label %46
45: ; preds = %42
unreachable
46: ; preds = %42
%47 = load i32, i32* %18
%48 = icmp ne i32 %47, 7
br i1 %48, label %49, label %50
49: ; preds = %46
unreachable
50: ; preds = %46
%51 = load i32, i32* %19
%52 = icmp ne i32 %51, 8
br i1 %52, label %53, label %54
53: ; preds = %50
unreachable
54: ; preds = %50
%55 = load i32, i32* %20
%56 = icmp ne i32 %55, 9
br i1 %56, label %57, label %58
57: ; preds = %54
unreachable
58: ; preds = %54
%59 = load i32, i32* %21
%60 = icmp ne i32 %59, 10
br i1 %60, label %61, label %62
61: ; preds = %58
unreachable
62: ; preds = %58
%63 = load i32, i32* %22
%64 = icmp ne i32 %63, 11
br i1 %64, label %65, label %66
65: ; preds = %62
unreachable
66: ; preds = %62
ret void
}

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