#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 */
typedef scalar_t__ uint8_t;
typedef int uint32_t;

/* Variables and functions */
int get32bit(scalar_t__ const **);
int /*<<< orphan*/ printf(char *, ...);
void print_labels(const uint8_t **rptr, uint8_t cnt, uint8_t orgroup) {
  uint8_t i, j, k;
  uint8_t p;
  uint32_t mask;
  for (i = 0; i < cnt; i++) {
    if (i > 0) {
      printf(":");
    }
    p = 1;
    for (j = 0; j < orgroup; j++) {
      mask = get32bit(rptr);
      if (j == 0 && mask == 0) {
        printf("*");
      }
      if (mask == 0) {
        p = 0;
      }
      if (p) {
        if (j > 0) {
          printf("+");
        }
        for (k = 0; k < 26; k++) {
          if (mask & (1 << k)) {
            printf("%c", 'A' + k);
          }
        }
      }
    }
  }
}


x86 assembly (clang, -O0):
<print_labels>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
movq   $0x0,-0x20(%rbp)
mov    -0x20(%rbp),%rax
cmp    -0x10(%rbp),%rax
jge    1271 <print_labels+0x151>
cmpq   $0x0,-0x20(%rbp)
jle    1163 <print_labels+0x43>
lea    0xea4(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
movq   $0x1,-0x38(%rbp)
movq   $0x0,-0x28(%rbp)
mov    -0x28(%rbp),%rax
cmp    -0x18(%rbp),%rax
jge    125b <print_labels+0x13b>
mov    -0x8(%rbp),%rdi
call   1030 <get32bit@plt>
mov    %eax,-0x3c(%rbp)
cmpq   $0x0,-0x28(%rbp)
jne    11b0 <print_labels+0x90>
cmpl   $0x0,-0x3c(%rbp)
jne    11b0 <print_labels+0x90>
lea    0xe59(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
cmpl   $0x0,-0x3c(%rbp)
jne    11c2 <print_labels+0xa2>
movq   $0x0,-0x38(%rbp)
cmpq   $0x0,-0x38(%rbp)
je     1245 <print_labels+0x125>
cmpq   $0x0,-0x28(%rbp)
jle    11e6 <print_labels+0xc6>
lea    0xe25(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
movq   $0x0,-0x30(%rbp)
cmpq   $0x1a,-0x30(%rbp)
jge    1240 <print_labels+0x120>
mov    -0x3c(%rbp),%eax
mov    -0x30(%rbp),%rcx
mov    $0x1,%edx
shl    %cl,%edx
mov    %edx,%ecx
and    %ecx,%eax
cmp    $0x0,%eax
je     122a <print_labels+0x10a>
mov    -0x30(%rbp),%rsi
add    $0x41,%rsi
lea    0xde3(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
jmp    122f <print_labels+0x10f>
mov    -0x30(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x30(%rbp)
jmp    11ee <print_labels+0xce>
jmp    1245 <print_labels+0x125>
jmp    124a <print_labels+0x12a>
mov    -0x28(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x28(%rbp)
jmp    1173 <print_labels+0x53>
jmp    1260 <print_labels+0x140>
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
jmp    113c <print_labels+0x1c>
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<print_labels>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
mov    %rsi,0x8(%rsp)
test   %rsi,%rsi
jle    11fc <print_labels+0xdc>
mov    %rdx,%rbx
mov    %rdi,%r15
xor    %eax,%eax
jmp    1164 <print_labels+0x44>
cs nopw 0x0(%rax,%rax,1)
mov    0x10(%rsp),%rax
add    $0x1,%rax
cmp    0x8(%rsp),%rax
je     11fc <print_labels+0xdc>
mov    %rax,0x10(%rsp)
test   %rax,%rax
je     1178 <print_labels+0x58>
mov    $0x3a,%edi
call   1030 <putchar@plt>
test   %rbx,%rbx
jle    1150 <print_labels+0x30>
mov    $0x1,%r14d
xor    %r13d,%r13d
jmp    1199 <print_labels+0x79>
nopl   0x0(%rax,%rax,1)
add    $0x1,%r13
cmp    %rbx,%r13
je     1150 <print_labels+0x30>
mov    %r15,%rdi
call   1040 <get32bit@plt>
mov    %eax,%ebp
test   %r13,%r13
jne    11b6 <print_labels+0x96>
test   %ebp,%ebp
jne    11b6 <print_labels+0x96>
mov    $0x2a,%edi
call   1030 <putchar@plt>
test   %ebp,%ebp
mov    $0x0,%eax
cmove  %rax,%r14
test   %r14,%r14
je     1190 <print_labels+0x70>
test   %r13,%r13
je     11d5 <print_labels+0xb5>
mov    $0x2b,%edi
call   1030 <putchar@plt>
xor    %r12d,%r12d
jmp    11ea <print_labels+0xca>
nopw   0x0(%rax,%rax,1)
add    $0x1,%r12
cmp    $0x1a,%r12
je     1190 <print_labels+0x70>
bt     %r12d,%ebp
jae    11e0 <print_labels+0xc0>
lea    0x41(%r12),%edi
call   1030 <putchar@plt>
jmp    11e0 <print_labels+0xc0>
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@.str = [2 x i8] c":\00"
@.str.1 = [2 x i8] c"*\00"
@.str.2 = [2 x i8] c"+\00"
@.str.3 = [3 x i8] c"%c\00"
define void @print_labels(i64** %0, i64 %1, i64 %2) {
%4 = alloca i64**
%5 = alloca i64
%6 = alloca i64
%7 = alloca i64
%8 = alloca i64
%9 = alloca i64
%10 = alloca i64
%11 = alloca i32
store i64** %0, i64*** %4
store i64 %1, i64* %5
store i64 %2, i64* %6
store i64 0, i64* %7
br label %12
12: ; preds = %73, %3
%13 = load i64, i64* %7
%14 = load i64, i64* %5
%15 = icmp slt i64 %13, %14
br i1 %15, label %16, label %76
16: ; preds = %12
%17 = load i64, i64* %7
%18 = icmp sgt i64 %17, 0
br i1 %18, label %19, label %21
19: ; preds = %16
%20 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0))
br label %21
21: ; preds = %19, %16
store i64 1, i64* %10
store i64 0, i64* %8
br label %22
22: ; preds = %69, %21
%23 = load i64, i64* %8
%24 = load i64, i64* %6
%25 = icmp slt i64 %23, %24
br i1 %25, label %26, label %72
26: ; preds = %22
%27 = load i64**, i64*** %4
%28 = call i32 @get32bit(i64** %27)
store i32 %28, i32* %11
%29 = load i64, i64* %8
%30 = icmp eq i64 %29, 0
br i1 %30, label %31, label %36
31: ; preds = %26
%32 = load i32, i32* %11
%33 = icmp eq i32 %32, 0
br i1 %33, label %34, label %36
34: ; preds = %31
%35 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.1, i64 0, i64 0))
br label %36
36: ; preds = %34, %31, %26
%37 = load i32, i32* %11
%38 = icmp eq i32 %37, 0
br i1 %38, label %39, label %40
39: ; preds = %36
store i64 0, i64* %10
br label %40
40: ; preds = %39, %36
%41 = load i64, i64* %10
%42 = icmp ne i64 %41, 0
br i1 %42, label %43, label %68
43: ; preds = %40
%44 = load i64, i64* %8
%45 = icmp sgt i64 %44, 0
br i1 %45, label %46, label %48
46: ; preds = %43
%47 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.2, i64 0, i64 0))
br label %48
48: ; preds = %46, %43
store i64 0, i64* %9
br label %49
49: ; preds = %64, %48
%50 = load i64, i64* %9
%51 = icmp slt i64 %50, 26
br i1 %51, label %52, label %67
52: ; preds = %49
%53 = load i32, i32* %11
%54 = load i64, i64* %9
%55 = trunc i64 %54 to i32
%56 = shl i32 1, %55
%57 = and i32 %53, %56
%58 = icmp ne i32 %57, 0
br i1 %58, label %59, label %63
59: ; preds = %52
%60 = load i64, i64* %9
%61 = add nsw i64 65, %60
%62 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.3, i64 0, i64 0), i64 %61)
br label %63
63: ; preds = %59, %52
br label %64
64: ; preds = %63
%65 = load i64, i64* %9
%66 = add nsw i64 %65, 1
store i64 %66, i64* %9
br label %49
67: ; preds = %49
br label %68
68: ; preds = %67, %40
br label %69
69: ; preds = %68
%70 = load i64, i64* %8
%71 = add nsw i64 %70, 1
store i64 %71, i64* %8
br label %22
72: ; preds = %22
br label %73
73: ; preds = %72
%74 = load i64, i64* %7
%75 = add nsw i64 %74, 1
store i64 %75, i64* %7
br label %12
76: ; preds = %12
ret void
}

LLVM IR (-O2):
define void @print_labels(i64** %0, i64 %1, i64 %2) {
%4 = icmp sgt i64 %1, 0
br i1 %4, label %5, label %47
5: ; preds = %3
%6 = icmp sgt i64 %2, 0
br label %7
7: ; preds = %5, %44
%8 = phi i64 [ 0, %5 ], [ %45, %44 ]
%9 = icmp eq i64 %8, 0
br i1 %9, label %12, label %10
10: ; preds = %7
%11 = tail call i32 @putchar(i32 58)
br label %12
12: ; preds = %10, %7
br i1 %6, label %13, label %44
13: ; preds = %12, %41
%14 = phi i64 [ %23, %41 ], [ 1, %12 ]
%15 = phi i64 [ %42, %41 ], [ 0, %12 ]
%16 = tail call i32 @get32bit(i64** %0)
%17 = icmp eq i64 %15, 0
%18 = icmp eq i32 %16, 0
%19 = select i1 %17, i1 %18, i1 false
br i1 %19, label %20, label %22
20: ; preds = %13
%21 = tail call i32 @putchar(i32 42)
br label %22
22: ; preds = %20, %13
%23 = select i1 %18, i64 0, i64 %14
%24 = icmp eq i64 %23, 0
br i1 %24, label %41, label %25
25: ; preds = %22
br i1 %17, label %28, label %26
26: ; preds = %25
%27 = tail call i32 @putchar(i32 43)
br label %28
28: ; preds = %26, %25
br label %29
29: ; preds = %28, %38
%30 = phi i64 [ %39, %38 ], [ 0, %28 ]
%31 = trunc i64 %30 to i32
%32 = shl nuw nsw i32 1, %31
%33 = and i32 %32, %16
%34 = icmp eq i32 %33, 0
br i1 %34, label %38, label %35
35: ; preds = %29
%36 = add nuw nsw i32 %31, 65
%37 = tail call i32 @putchar(i32 %36)
br label %38
38: ; preds = %29, %35
%39 = add nuw nsw i64 %30, 1
%40 = icmp eq i64 %39, 26
br i1 %40, label %41, label %29
41: ; preds = %38, %22
%42 = add nuw nsw i64 %15, 1
%43 = icmp eq i64 %42, %2
br i1 %43, label %44, label %13
44: ; preds = %41, %12
%45 = add nuw nsw i64 %8, 1
%46 = icmp eq i64 %45, %1
br i1 %46, label %47, label %7
47: ; preds = %44, %3
ret void
}