void scanlabels(x) int *x;
{
  if (x != 0) {
    switch (0 [x]) {
    default:
      return;
    case 54:
      3 [x] = nextparam();
      declstat((int *)1 [x], 3 [x]);
    case 57:
    case 58:
    case 59:
    case 60:
    case 70:
    case 71:
      scanlabels((int *)2 [x]);
      return;
    case 73:
      scanlabels((int *)2 [x]);
    case 61:
    case 62:
    case 63:
    case 72:
      scanlabels((int *)1 [x]);
      return;
    case 55:
      scanlabels((int *)2 [x]);
      scanlabels((int *)3 [x]);
      return;
    }
  }
}


x86 assembly (clang, -O0):
<scanlabels>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
mov    %rdi,-0x8(%rbp)
cmpq   $0x0,-0x8(%rbp)
je     11e9 <scanlabels+0xb9>
mov    -0x8(%rbp),%rax
mov    (%rax),%eax
add    $0xffffffca,%eax
mov    %eax,%ecx
mov    %rcx,-0x10(%rbp)
sub    $0x13,%eax
ja     1173 <scanlabels+0x43>
mov    -0x10(%rbp),%rax
lea    0xe96(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
jmp    11e9 <scanlabels+0xb9>
mov    $0x0,%al
call   1050 <nextparam@plt>
mov    %eax,%ecx
mov    -0x8(%rbp),%rax
mov    %ecx,0xc(%rax)
mov    -0x8(%rbp),%rax
movslq 0x4(%rax),%rdi
mov    -0x8(%rbp),%rax
mov    0xc(%rax),%esi
mov    $0x0,%al
call   1040 <declstat@plt>
mov    -0x8(%rbp),%rax
movslq 0x8(%rax),%rdi
call   1030 <scanlabels@plt>
jmp    11e9 <scanlabels+0xb9>
mov    -0x8(%rbp),%rax
movslq 0x8(%rax),%rdi
call   1030 <scanlabels@plt>
mov    -0x8(%rbp),%rax
movslq 0x4(%rax),%rdi
call   1030 <scanlabels@plt>
jmp    11e9 <scanlabels+0xb9>
mov    -0x8(%rbp),%rax
movslq 0x8(%rax),%rdi
call   1030 <scanlabels@plt>
mov    -0x8(%rbp),%rax
movslq 0xc(%rax),%rdi
call   1030 <scanlabels@plt>
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<scanlabels>:
push   %r15
push   %r14
push   %rbx
test   %rdi,%rdi
je     11a2 <scanlabels+0x72>
mov    %rdi,%r15
lea    0xebc(%rip),%r14
jmp    116e <scanlabels+0x3e>
xor    %eax,%eax
call   1050 <nextparam@plt>
mov    %eax,0xc(%r15)
movslq 0x4(%r15),%rdi
mov    %eax,%esi
xor    %eax,%eax
call   1040 <declstat@plt>
xchg   %ax,%ax
mov    $0x2,%ebx
movslq (%r15,%rbx,4),%r15
test   %r15,%r15
je     11a2 <scanlabels+0x72>
mov    (%r15),%eax
add    $0xffffffca,%eax
cmp    $0x13,%eax
ja     11a2 <scanlabels+0x72>
mov    $0x1,%ebx
movslq (%r14,%rax,4),%rax
add    %r14,%rax
jmp    *%rax
movslq 0x8(%r15),%rdi
call   1030 <scanlabels@plt>
mov    $0x3,%ebx
jmp    1165 <scanlabels+0x35>
movslq 0x8(%r15),%rdi
call   1030 <scanlabels@plt>
jmp    1165 <scanlabels+0x35>
pop    %rbx
pop    %r14
pop    %r15
ret

LLVM IR (-O0):
define void @scanlabels(i32* %0) {
%2 = alloca i32*
store i32* %0, i32** %2
%3 = load i32*, i32** %2
%4 = icmp ne i32* %3, null
br i1 %4, label %5, label %52
5: ; preds = %1
%6 = load i32*, i32** %2
%7 = getelementptr inbounds i32, i32* %6, i64 0
%8 = load i32, i32* %7
switch i32 %8, label %9 [
i32 54, label %10
i32 57, label %23
i32 58, label %23
i32 59, label %23
i32 60, label %23
i32 70, label %23
i32 71, label %23
i32 73, label %29
i32 61, label %35
i32 62, label %35
i32 63, label %35
i32 72, label %35
i32 55, label %41
]
9: ; preds = %5
br label %52
10: ; preds = %5
%11 = call i32 (...) @nextparam()
%12 = load i32*, i32** %2
%13 = getelementptr inbounds i32, i32* %12, i64 3
store i32 %11, i32* %13
%14 = load i32*, i32** %2
%15 = getelementptr inbounds i32, i32* %14, i64 1
%16 = load i32, i32* %15
%17 = sext i32 %16 to i64
%18 = inttoptr i64 %17 to i32*
%19 = load i32*, i32** %2
%20 = getelementptr inbounds i32, i32* %19, i64 3
%21 = load i32, i32* %20
%22 = call i32 (i32*, i32, ...) bitcast (i32 (...)* @declstat to i32 (i32*, i32, ...)*)(i32* %18, i32 %21)
br label %23
23: ; preds = %5, %5, %5, %5, %5, %5, %10
%24 = load i32*, i32** %2
%25 = getelementptr inbounds i32, i32* %24, i64 2
%26 = load i32, i32* %25
%27 = sext i32 %26 to i64
%28 = inttoptr i64 %27 to i32*
br label %52
29: ; preds = %5
%30 = load i32*, i32** %2
%31 = getelementptr inbounds i32, i32* %30, i64 2
%32 = load i32, i32* %31
%33 = sext i32 %32 to i64
%34 = inttoptr i64 %33 to i32*
br label %35
35: ; preds = %5, %5, %5, %5, %29
%36 = load i32*, i32** %2
%37 = getelementptr inbounds i32, i32* %36, i64 1
%38 = load i32, i32* %37
%39 = sext i32 %38 to i64
%40 = inttoptr i64 %39 to i32*
br label %52
41: ; preds = %5
%42 = load i32*, i32** %2
%43 = getelementptr inbounds i32, i32* %42, i64 2
%44 = load i32, i32* %43
%45 = sext i32 %44 to i64
%46 = inttoptr i64 %45 to i32*
%47 = load i32*, i32** %2
%48 = getelementptr inbounds i32, i32* %47, i64 3
%49 = load i32, i32* %48
%50 = sext i32 %49 to i64
%51 = inttoptr i64 %50 to i32*
br label %52
52: ; preds = %9, %23, %35, %41, %1
ret void
}

LLVM IR (-O2):
define void @scanlabels(i32* %0) {
%2 = icmp eq i32* %0, null
br i1 %2, label %32, label %3
3: ; preds = %1, %15
%4 = phi i32* [ %20, %15 ], [ %0, %1 ]
%5 = load i32, i32* %4
switch i32 %5, label %32 [
i32 54, label %6
i32 57, label %14
i32 58, label %14
i32 59, label %14
i32 60, label %14
i32 70, label %14
i32 71, label %14
i32 73, label %22
i32 61, label %15
i32 62, label %15
i32 63, label %15
i32 72, label %15
i32 55, label %27
]
6: ; preds = %3
%7 = tail call i32 (...) @nextparam()
%8 = getelementptr inbounds i32, i32* %4, i64 3
store i32 %7, i32* %8
%9 = getelementptr inbounds i32, i32* %4, i64 1
%10 = load i32, i32* %9
%11 = sext i32 %10 to i64
%12 = inttoptr i64 %11 to i32*
%13 = tail call i32 (i32*, i32, ...) bitcast (i32 (...)* @declstat to i32 (i32*, i32, ...)*)(i32* %12, i32 %7)
br label %14
14: ; preds = %3, %3, %3, %3, %3, %3, %6
br label %15
15: ; preds = %22, %3, %3, %3, %3, %14, %27
%16 = phi i64 [ 2, %14 ], [ 3, %27 ], [ 1, %3 ], [ 1, %3 ], [ 1, %3 ], [ 1, %3 ], [ 1, %22 ]
%17 = getelementptr inbounds i32, i32* %4, i64 %16
%18 = load i32, i32* %17
%19 = sext i32 %18 to i64
%20 = inttoptr i64 %19 to i32*
%21 = icmp eq i32 %18, 0
br i1 %21, label %32, label %3
22: ; preds = %3
%23 = getelementptr inbounds i32, i32* %4, i64 2
%24 = load i32, i32* %23
%25 = sext i32 %24 to i64
%26 = inttoptr i64 %25 to i32*
tail call void @scanlabels(i32* %26)
br label %15
27: ; preds = %3
%28 = getelementptr inbounds i32, i32* %4, i64 2
%29 = load i32, i32* %28
%30 = sext i32 %29 to i64
%31 = inttoptr i64 %30 to i32*
tail call void @scanlabels(i32* %31)
br label %15
32: ; preds = %15, %3, %1
ret void
}