#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 int /*<<< orphan*/ FILE;

/* Variables and functions */
int /*<<< orphan*/ assert(char const);
int /*<<< orphan*/ fflush(int /*<<< orphan*/ *);
int /*<<< orphan*/ fprintf(int /*<<< orphan*/ *, char *, char const *, ...);
int /*<<< orphan*/ fputc(char, int /*<<< orphan*/ *);
int /*<<< orphan*/ fputs(char const *, int /*<<< orphan*/ *);
int strlen(char const *);
void lglbnr(const char *name, const char *prefix, FILE *file) {
  const char *p = "-fPIC -Wall -O3 -DNLGLOG -DNDEBUG -DNCHKSOL -DNLGLPICOSAT ",
             *q, *n;
  int len = 78 - strlen(prefix);
  fprintf(file, "%s%s\n", prefix, name);
  fprintf(file, "%s\n", prefix);
  fprintf(file, "%sVersion %s %s\n", prefix, "al6",
          "080d45d6fb97d421810f76538507c7d08a2ea701");
  fprintf(file, "%s\n", prefix);
  fprintf(file, "%sCopyright (C) 2010-2012 Armin Biere JKU Linz Austria.\n",
          prefix);
  fprintf(file, "%sAll rights reserved.\n", prefix);
  fprintf(file, "%s\n", prefix);
  fprintf(file, "%sreleased %s\n", prefix, "Sat Sep 22 14:13:02 CEST 2012");
  fprintf(file, "%scompiled %s\n", prefix, "Fri Dec 13 17:27:14 CST 2013");
  fprintf(file, "%s\n", prefix);
  fprintf(file, "%s%s\n", prefix, "gcc (Ubuntu/Linaro 4.7.3-1ubuntu1) 4.7.3");
  assert(*p);
  for (;;) {
    fputs(prefix, file);
    for (q = p; *q && *q != ' '; q++)
      ;
    if (*q && q - p < len) {
      for (;;) {
        for (n = q + 1; *n && *n != ' '; n++)
          ;
        if (n - p >= len)
          break;
        q = n;
        if (!*n)
          break;
      }
    }
    while (p < q)
      fputc(*p++, file);
    fputc('\n', file);
    if (!*p)
      break;
    assert(*p == ' ');
    p++;
  }
  fprintf(file, "%s%s\n", prefix, "Linux hellokbuild2 3.8.0-35-generic i686");
  fprintf(file, "%s\n", prefix);
  fflush(file);
}


x86 assembly (clang, -O0):
<lglbnr>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
lea    0xe85(%rip),%rax
mov    %rax,-0x20(%rbp)
mov    -0x10(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,%ecx
mov    $0x4e,%eax
sub    %ecx,%eax
mov    %eax,-0x34(%rbp)
mov    -0x18(%rbp),%rdi
mov    -0x10(%rbp),%rdx
mov    -0x8(%rbp),%rcx
lea    0xe94(%rip),%rsi
mov    $0x0,%al
call   1070 <fprintf@plt>
mov    -0x18(%rbp),%rdi
mov    -0x10(%rbp),%rdx
lea    0xf4b(%rip),%rsi
mov    $0x0,%al
call   1070 <fprintf@plt>
mov    -0x18(%rbp),%rdi
mov    -0x10(%rbp),%rdx
lea    0xe6e(%rip),%rsi
lea    0xe78(%rip),%rcx
lea    0xe75(%rip),%r8
mov    $0x0,%al
call   1070 <fprintf@plt>
mov    -0x18(%rbp),%rdi
mov    -0x10(%rbp),%rdx
lea    0xf11(%rip),%rsi
mov    $0x0,%al
call   1070 <fprintf@plt>
mov    -0x18(%rbp),%rdi
mov    -0x10(%rbp),%rdx
lea    0xe72(%rip),%rsi
mov    $0x0,%al
call   1070 <fprintf@plt>
mov    -0x18(%rbp),%rdi
mov    -0x10(%rbp),%rdx
lea    0xe95(%rip),%rsi
mov    $0x0,%al
call   1070 <fprintf@plt>
mov    -0x18(%rbp),%rdi
mov    -0x10(%rbp),%rdx
lea    0xecf(%rip),%rsi
mov    $0x0,%al
call   1070 <fprintf@plt>
mov    -0x18(%rbp),%rdi
mov    -0x10(%rbp),%rdx
lea    0xe81(%rip),%rsi
lea    0xe89(%rip),%rcx
mov    $0x0,%al
call   1070 <fprintf@plt>
mov    -0x18(%rbp),%rdi
mov    -0x10(%rbp),%rdx
lea    0xe91(%rip),%rsi
lea    0xe99(%rip),%rcx
mov    $0x0,%al
call   1070 <fprintf@plt>
mov    -0x18(%rbp),%rdi
mov    -0x10(%rbp),%rdx
lea    0xe7f(%rip),%rsi
mov    $0x0,%al
call   1070 <fprintf@plt>
mov    -0x18(%rbp),%rdi
mov    -0x10(%rbp),%rdx
lea    0xd9c(%rip),%rsi
lea    0xe83(%rip),%rcx
mov    $0x0,%al
call   1070 <fprintf@plt>
mov    -0x20(%rbp),%rax
movsbl (%rax),%edi
call   1060 <assert@plt>
mov    -0x10(%rbp),%rdi
mov    -0x18(%rbp),%rsi
call   1040 <fputs@plt>
mov    -0x20(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rax
movsbl (%rax),%ecx
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0x35(%rbp)
je     12f3 <lglbnr+0x193>
mov    -0x28(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x20,%eax
setne  %al
mov    %al,-0x35(%rbp)
mov    -0x35(%rbp),%al
test   $0x1,%al
jne    1303 <lglbnr+0x1a3>
jmp    1319 <lglbnr+0x1b9>
jmp    1308 <lglbnr+0x1a8>
mov    -0x28(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x28(%rbp)
jmp    12ce <lglbnr+0x16e>
mov    -0x28(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
je     13de <lglbnr+0x27e>
mov    -0x28(%rbp),%rax
mov    -0x20(%rbp),%rcx
sub    %rcx,%rax
movslq -0x34(%rbp),%rcx
cmp    %rcx,%rax
jge    13de <lglbnr+0x27e>
jmp    1346 <lglbnr+0x1e6>
mov    -0x28(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x30(%rbp)
mov    -0x30(%rbp),%rax
movsbl (%rax),%ecx
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0x36(%rbp)
je     1377 <lglbnr+0x217>
mov    -0x30(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x20,%eax
setne  %al
mov    %al,-0x36(%rbp)
mov    -0x36(%rbp),%al
test   $0x1,%al
jne    1387 <lglbnr+0x227>
jmp    139d <lglbnr+0x23d>
jmp    138c <lglbnr+0x22c>
mov    -0x30(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x30(%rbp)
jmp    1352 <lglbnr+0x1f2>
mov    -0x30(%rbp),%rax
mov    -0x20(%rbp),%rcx
sub    %rcx,%rax
movslq -0x34(%rbp),%rcx
cmp    %rcx,%rax
jl     13ba <lglbnr+0x25a>
jmp    13d9 <lglbnr+0x279>
mov    -0x30(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x30(%rbp),%rax
cmpb   $0x0,(%rax)
jne    13d4 <lglbnr+0x274>
jmp    13d9 <lglbnr+0x279>
jmp    1346 <lglbnr+0x1e6>
jmp    13de <lglbnr+0x27e>
jmp    13e3 <lglbnr+0x283>
mov    -0x20(%rbp),%rax
cmp    -0x28(%rbp),%rax
jae    1413 <lglbnr+0x2b3>
mov    -0x20(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x20(%rbp)
mov    (%rax),%al
mov    -0x18(%rbp),%rsi
movsbl %al,%edi
call   1050 <fputc@plt>
jmp    13e3 <lglbnr+0x283>
mov    -0x18(%rbp),%rsi
mov    $0xa,%edi
call   1050 <fputc@plt>
mov    -0x20(%rbp),%rax
cmpb   $0x0,(%rax)
jne    1433 <lglbnr+0x2d3>
jmp    145e <lglbnr+0x2fe>
mov    -0x20(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x20,%eax
sete   %al
and    $0x1,%al
movzbl %al,%eax
movsbl %al,%edi
call   1060 <assert@plt>
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
jmp    12b9 <lglbnr+0x159>
mov    -0x18(%rbp),%rdi
mov    -0x10(%rbp),%rdx
lea    0xbce(%rip),%rsi
lea    0xcde(%rip),%rcx
mov    $0x0,%al
call   1070 <fprintf@plt>
mov    -0x18(%rbp),%rdi
mov    -0x10(%rbp),%rdx
lea    0xc7e(%rip),%rsi
mov    $0x0,%al
call   1070 <fprintf@plt>
mov    -0x18(%rbp),%rdi
call   1080 <fflush@plt>
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<lglbnr>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %rdx,%r13
mov    %rsi,%rbp
mov    %rdi,%r12
mov    %rsi,%rdi
call   1030 <strlen@plt>
mov    $0x4e,%ebx
sub    %eax,%ebx
lea    0xeb1(%rip),%r15
mov    %r13,%rdi
mov    %r15,%rsi
mov    %rbp,%rdx
mov    %r12,%rcx
xor    %eax,%eax
call   1070 <fprintf@plt>
lea    0xf64(%rip),%r12
mov    %r13,%rdi
mov    %r12,%rsi
mov    %rbp,%rdx
xor    %eax,%eax
call   1070 <fprintf@plt>
lea    0xe86(%rip),%rsi
lea    0xe90(%rip),%rcx
lea    0xe8d(%rip),%r8
mov    %r13,%rdi
mov    %rbp,%rdx
xor    %eax,%eax
call   1070 <fprintf@plt>
mov    %r13,%rdi
mov    %r12,%rsi
mov    %rbp,%rdx
xor    %eax,%eax
call   1070 <fprintf@plt>
lea    0xe92(%rip),%rsi
mov    %r13,%rdi
mov    %rbp,%rdx
xor    %eax,%eax
call   1070 <fprintf@plt>
lea    0xeb7(%rip),%rsi
mov    %r13,%rdi
mov    %rbp,%rdx
xor    %eax,%eax
call   1070 <fprintf@plt>
mov    %r13,%rdi
mov    %r12,%rsi
mov    %rbp,%rdx
xor    %eax,%eax
call   1070 <fprintf@plt>
lea    0xeab(%rip),%rsi
lea    0xeb3(%rip),%rcx
mov    %r13,%rdi
mov    %rbp,%rdx
xor    %eax,%eax
call   1070 <fprintf@plt>
lea    0xebd(%rip),%rsi
lea    0xec5(%rip),%rcx
mov    %r13,%rdi
mov    %rbp,%rdx
xor    %eax,%eax
call   1070 <fprintf@plt>
mov    %r13,%rdi
mov    %r12,%rsi
mov    %rbp,%rdx
xor    %eax,%eax
call   1070 <fprintf@plt>
lea    0xebe(%rip),%rcx
mov    %r13,%rdi
mov    %r15,%rsi
mov    %rbp,%rdx
xor    %eax,%eax
call   1070 <fprintf@plt>
mov    $0x2d,%edi
call   1060 <assert@plt>
movslq %ebx,%r15
lea    0xd71(%rip),%rbx
mov    %rbp,(%rsp)
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
mov    %rbp,%rdi
mov    %r13,%rsi
call   1040 <fputs@plt>
xor    %eax,%eax
nopl   (%rax)
movzbl (%rbx,%rax,1),%ecx
test   %cl,%cl
je     1320 <lglbnr+0x1c0>
cmp    $0x20,%cl
je     12d0 <lglbnr+0x170>
add    $0x1,%rax
jmp    12b0 <lglbnr+0x150>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
lea    (%rbx,%rax,1),%r12
cmp    %r15,%rax
jge    1326 <lglbnr+0x1c6>
mov    %rbx,%rax
neg    %rax
mov    %r12,%rcx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
lea    (%rax,%r12,1),%rsi
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movzbl 0x1(%rcx),%edx
add    $0x1,%rcx
add    $0x1,%rsi
test   $0xdf,%dl
jne    1300 <lglbnr+0x1a0>
cmp    %r15,%rsi
jge    1326 <lglbnr+0x1c6>
mov    %rcx,%r12
test   %dl,%dl
jne    12f0 <lglbnr+0x190>
jmp    1326 <lglbnr+0x1c6>
nop
add    %rbx,%rax
mov    %rax,%r12
cmp    %r12,%rbx
jae    135d <lglbnr+0x1fd>
mov    %r12,%rbp
sub    %rbx,%rbp
xor    %r14d,%r14d
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movsbl (%rbx,%r14,1),%edi
mov    %r13,%rsi
call   1050 <fputc@plt>
add    $0x1,%r14
cmp    %r14,%rbp
jne    1340 <lglbnr+0x1e0>
mov    %r12,%rbx
mov    (%rsp),%rbp
mov    $0xa,%edi
mov    %r13,%rsi
call   1050 <fputc@plt>
mov    (%rbx),%al
test   %al,%al
je     1386 <lglbnr+0x226>
xor    %edi,%edi
cmp    $0x20,%al
sete   %dil
call   1060 <assert@plt>
add    $0x1,%rbx
jmp    12a0 <lglbnr+0x140>
lea    0xcae(%rip),%rsi
lea    0xdbe(%rip),%rcx
mov    %r13,%rdi
mov    %rbp,%rdx
xor    %eax,%eax
call   1070 <fprintf@plt>
lea    0xd60(%rip),%rsi
mov    %r13,%rdi
mov    %rbp,%rdx
xor    %eax,%eax
call   1070 <fprintf@plt>
mov    %r13,%rdi
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1080 <fflush@plt>

LLVM IR (-O0):
@.str = [59 x i8] c"-fPIC -Wall -O3 -DNLGLOG -DNDEBUG -DNCHKSOL -DNLGLPICOSAT \00"
@.str.1 = [6 x i8] c"%s%s\0A\00"
@.str.2 = [4 x i8] c"%s\0A\00"
@.str.3 = [17 x i8] c"%sVersion %s %s\0A\00"
@.str.4 = [4 x i8] c"al6\00"
@.str.5 = [41 x i8] c"080d45d6fb97d421810f76538507c7d08a2ea701\00"
@.str.6 = [57 x i8] c"%sCopyright (C) 2010-2012 Armin Biere JKU Linz Austria.\0A\00"
@.str.7 = [24 x i8] c"%sAll rights reserved.\0A\00"
@.str.8 = [15 x i8] c"%sreleased %s\0A\00"
@.str.9 = [30 x i8] c"Sat Sep 22 14:13:02 CEST 2012\00"
@.str.10 = [15 x i8] c"%scompiled %s\0A\00"
@.str.11 = [29 x i8] c"Fri Dec 13 17:27:14 CST 2013\00"
@.str.12 = [41 x i8] c"gcc (Ubuntu/Linaro 4.7.3-1ubuntu1) 4.7.3\00"
@.str.13 = [41 x i8] c"Linux hellokbuild2 3.8.0-35-generic i686\00"
define void @lglbnr(i8* %0, i8* %1, i32* %2) {
%4 = alloca i8*
%5 = alloca i8*
%6 = alloca i32*
%7 = alloca i8*
%8 = alloca i8*
%9 = alloca i8*
%10 = alloca i32
store i8* %0, i8** %4
store i8* %1, i8** %5
store i32* %2, i32** %6
store i8* getelementptr inbounds ([59 x i8], [59 x i8]* @.str, i64 0, i64 0), i8** %7
%11 = load i8*, i8** %5
%12 = call i32 @strlen(i8* %11)
%13 = sub nsw i32 78, %12
store i32 %13, i32* %10
%14 = load i32*, i32** %6
%15 = load i8*, i8** %5
%16 = load i8*, i8** %4
%17 = call i32 (i32*, i8*, i8*, ...) @fprintf(i32* %14, i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.1, i64 0, i64 0), i8* %15, i8* %16)
%18 = load i32*, i32** %6
%19 = load i8*, i8** %5
%20 = call i32 (i32*, i8*, i8*, ...) @fprintf(i32* %18, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.2, i64 0, i64 0), i8* %19)
%21 = load i32*, i32** %6
%22 = load i8*, i8** %5
%23 = call i32 (i32*, i8*, i8*, ...) @fprintf(i32* %21, i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.3, i64 0, i64 0), i8* %22, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.4, i64 0, i64 0), i8* getelementptr inbounds ([41 x i8], [41 x i8]* @.str.5, i64 0, i64 0))
%24 = load i32*, i32** %6
%25 = load i8*, i8** %5
%26 = call i32 (i32*, i8*, i8*, ...) @fprintf(i32* %24, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.2, i64 0, i64 0), i8* %25)
%27 = load i32*, i32** %6
%28 = load i8*, i8** %5
%29 = call i32 (i32*, i8*, i8*, ...) @fprintf(i32* %27, i8* getelementptr inbounds ([57 x i8], [57 x i8]* @.str.6, i64 0, i64 0), i8* %28)
%30 = load i32*, i32** %6
%31 = load i8*, i8** %5
%32 = call i32 (i32*, i8*, i8*, ...) @fprintf(i32* %30, i8* getelementptr inbounds ([24 x i8], [24 x i8]* @.str.7, i64 0, i64 0), i8* %31)
%33 = load i32*, i32** %6
%34 = load i8*, i8** %5
%35 = call i32 (i32*, i8*, i8*, ...) @fprintf(i32* %33, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.2, i64 0, i64 0), i8* %34)
%36 = load i32*, i32** %6
%37 = load i8*, i8** %5
%38 = call i32 (i32*, i8*, i8*, ...) @fprintf(i32* %36, i8* getelementptr inbounds ([15 x i8], [15 x i8]* @.str.8, i64 0, i64 0), i8* %37, i8* getelementptr inbounds ([30 x i8], [30 x i8]* @.str.9, i64 0, i64 0))
%39 = load i32*, i32** %6
%40 = load i8*, i8** %5
%41 = call i32 (i32*, i8*, i8*, ...) @fprintf(i32* %39, i8* getelementptr inbounds ([15 x i8], [15 x i8]* @.str.10, i64 0, i64 0), i8* %40, i8* getelementptr inbounds ([29 x i8], [29 x i8]* @.str.11, i64 0, i64 0))
%42 = load i32*, i32** %6
%43 = load i8*, i8** %5
%44 = call i32 (i32*, i8*, i8*, ...) @fprintf(i32* %42, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.2, i64 0, i64 0), i8* %43)
%45 = load i32*, i32** %6
%46 = load i8*, i8** %5
%47 = call i32 (i32*, i8*, i8*, ...) @fprintf(i32* %45, i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.1, i64 0, i64 0), i8* %46, i8* getelementptr inbounds ([41 x i8], [41 x i8]* @.str.12, i64 0, i64 0))
%48 = load i8*, i8** %7
%49 = load i8, i8* %48
%50 = call i32 @assert(i8 signext %49)
br label %51
51: ; preds = %142, %3
%52 = load i8*, i8** %5
%53 = load i32*, i32** %6
%54 = call i32 @fputs(i8* %52, i32* %53)
%55 = load i8*, i8** %7
store i8* %55, i8** %8
br label %56
56: ; preds = %69, %51
%57 = load i8*, i8** %8
%58 = load i8, i8* %57
%59 = sext i8 %58 to i32
%60 = icmp ne i32 %59, 0
br i1 %60, label %61, label %66
61: ; preds = %56
%62 = load i8*, i8** %8
%63 = load i8, i8* %62
%64 = sext i8 %63 to i32
%65 = icmp ne i32 %64, 32
br label %66
66: ; preds = %61, %56
%67 = phi i1 [ false, %56 ], [ %65, %61 ]
br i1 %67, label %68, label %72
68: ; preds = %66
br label %69
69: ; preds = %68
%70 = load i8*, i8** %8
%71 = getelementptr inbounds i8, i8* %70, i32 1
store i8* %71, i8** %8
br label %56
72: ; preds = %66
%73 = load i8*, i8** %8
%74 = load i8, i8* %73
%75 = sext i8 %74 to i32
%76 = icmp ne i32 %75, 0
br i1 %76, label %77, label %124
77: ; preds = %72
%78 = load i8*, i8** %8
%79 = load i8*, i8** %7
%80 = ptrtoint i8* %78 to i64
%81 = ptrtoint i8* %79 to i64
%82 = sub i64 %80, %81
%83 = load i32, i32* %10
%84 = sext i32 %83 to i64
%85 = icmp slt i64 %82, %84
br i1 %85, label %86, label %124
86: ; preds = %77
br label %87
87: ; preds = %122, %86
%88 = load i8*, i8** %8
%89 = getelementptr inbounds i8, i8* %88, i64 1
store i8* %89, i8** %9
br label %90
90: ; preds = %103, %87
%91 = load i8*, i8** %9
%92 = load i8, i8* %91
%93 = sext i8 %92 to i32
%94 = icmp ne i32 %93, 0
br i1 %94, label %95, label %100
95: ; preds = %90
%96 = load i8*, i8** %9
%97 = load i8, i8* %96
%98 = sext i8 %97 to i32
%99 = icmp ne i32 %98, 32
br label %100
100: ; preds = %95, %90
%101 = phi i1 [ false, %90 ], [ %99, %95 ]
br i1 %101, label %102, label %106
102: ; preds = %100
br label %103
103: ; preds = %102
%104 = load i8*, i8** %9
%105 = getelementptr inbounds i8, i8* %104, i32 1
store i8* %105, i8** %9
br label %90
106: ; preds = %100
%107 = load i8*, i8** %9
%108 = load i8*, i8** %7
%109 = ptrtoint i8* %107 to i64
%110 = ptrtoint i8* %108 to i64
%111 = sub i64 %109, %110
%112 = load i32, i32* %10
%113 = sext i32 %112 to i64
%114 = icmp sge i64 %111, %113
br i1 %114, label %115, label %116
115: ; preds = %106
br label %123
116: ; preds = %106
%117 = load i8*, i8** %9
store i8* %117, i8** %8
%118 = load i8*, i8** %9
%119 = load i8, i8* %118
%120 = icmp ne i8 %119, 0
br i1 %120, label %122, label %121
121: ; preds = %116
br label %123
122: ; preds = %116
br label %87
123: ; preds = %121, %115
br label %124
124: ; preds = %123, %77, %72
br label %125
125: ; preds = %129, %124
%126 = load i8*, i8** %7
%127 = load i8*, i8** %8
%128 = icmp ult i8* %126, %127
br i1 %128, label %129, label %135
129: ; preds = %125
%130 = load i8*, i8** %7
%131 = getelementptr inbounds i8, i8* %130, i32 1
store i8* %131, i8** %7
%132 = load i8, i8* %130
%133 = load i32*, i32** %6
%134 = call i32 @fputc(i8 signext %132, i32* %133)
br label %125
135: ; preds = %125
%136 = load i32*, i32** %6
%137 = call i32 @fputc(i8 signext 10, i32* %136)
%138 = load i8*, i8** %7
%139 = load i8, i8* %138
%140 = icmp ne i8 %139, 0
br i1 %140, label %142, label %141
141: ; preds = %135
br label %152
142: ; preds = %135
%143 = load i8*, i8** %7
%144 = load i8, i8* %143
%145 = sext i8 %144 to i32
%146 = icmp eq i32 %145, 32
%147 = zext i1 %146 to i32
%148 = trunc i32 %147 to i8
%149 = call i32 @assert(i8 signext %148)
%150 = load i8*, i8** %7
%151 = getelementptr inbounds i8, i8* %150, i32 1
store i8* %151, i8** %7
br label %51
152: ; preds = %141
%153 = load i32*, i32** %6
%154 = load i8*, i8** %5
%155 = call i32 (i32*, i8*, i8*, ...) @fprintf(i32* %153, i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.1, i64 0, i64 0), i8* %154, i8* getelementptr inbounds ([41 x i8], [41 x i8]* @.str.13, i64 0, i64 0))
%156 = load i32*, i32** %6
%157 = load i8*, i8** %5
%158 = call i32 (i32*, i8*, i8*, ...) @fprintf(i32* %156, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.2, i64 0, i64 0), i8* %157)
%159 = load i32*, i32** %6
%160 = call i32 @fflush(i32* %159)
ret void
}

LLVM IR (-O2):
@.str = [59 x i8] c"-fPIC -Wall -O3 -DNLGLOG -DNDEBUG -DNCHKSOL -DNLGLPICOSAT \00"
@.str.1 = [6 x i8] c"%s%s\0A\00"
@.str.2 = [4 x i8] c"%s\0A\00"
@.str.3 = [17 x i8] c"%sVersion %s %s\0A\00"
@.str.4 = [4 x i8] c"al6\00"
@.str.5 = [41 x i8] c"080d45d6fb97d421810f76538507c7d08a2ea701\00"
@.str.6 = [57 x i8] c"%sCopyright (C) 2010-2012 Armin Biere JKU Linz Austria.\0A\00"
@.str.7 = [24 x i8] c"%sAll rights reserved.\0A\00"
@.str.8 = [15 x i8] c"%sreleased %s\0A\00"
@.str.9 = [30 x i8] c"Sat Sep 22 14:13:02 CEST 2012\00"
@.str.10 = [15 x i8] c"%scompiled %s\0A\00"
@.str.11 = [29 x i8] c"Fri Dec 13 17:27:14 CST 2013\00"
@.str.12 = [41 x i8] c"gcc (Ubuntu/Linaro 4.7.3-1ubuntu1) 4.7.3\00"
@.str.13 = [41 x i8] c"Linux hellokbuild2 3.8.0-35-generic i686\00"
define void @lglbnr(i8* %0, i8* %1, i32* nocapture %2) {
%4 = tail call i32 @strlen(i8* %1)
%5 = sub nsw i32 78, %4
%6 = tail call i32 (i32*, i8*, i8*, ...) @fprintf(i32* %2, i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.1, i64 0, i64 0), i8* %1, i8* %0)
%7 = tail call i32 (i32*, i8*, i8*, ...) @fprintf(i32* %2, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.2, i64 0, i64 0), i8* %1)
%8 = tail call i32 (i32*, i8*, i8*, ...) @fprintf(i32* %2, i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.3, i64 0, i64 0), i8* %1, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.4, i64 0, i64 0), i8* getelementptr inbounds ([41 x i8], [41 x i8]* @.str.5, i64 0, i64 0))
%9 = tail call i32 (i32*, i8*, i8*, ...) @fprintf(i32* %2, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.2, i64 0, i64 0), i8* %1)
%10 = tail call i32 (i32*, i8*, i8*, ...) @fprintf(i32* %2, i8* getelementptr inbounds ([57 x i8], [57 x i8]* @.str.6, i64 0, i64 0), i8* %1)
%11 = tail call i32 (i32*, i8*, i8*, ...) @fprintf(i32* %2, i8* getelementptr inbounds ([24 x i8], [24 x i8]* @.str.7, i64 0, i64 0), i8* %1)
%12 = tail call i32 (i32*, i8*, i8*, ...) @fprintf(i32* %2, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.2, i64 0, i64 0), i8* %1)
%13 = tail call i32 (i32*, i8*, i8*, ...) @fprintf(i32* %2, i8* getelementptr inbounds ([15 x i8], [15 x i8]* @.str.8, i64 0, i64 0), i8* %1, i8* getelementptr inbounds ([30 x i8], [30 x i8]* @.str.9, i64 0, i64 0))
%14 = tail call i32 (i32*, i8*, i8*, ...) @fprintf(i32* %2, i8* getelementptr inbounds ([15 x i8], [15 x i8]* @.str.10, i64 0, i64 0), i8* %1, i8* getelementptr inbounds ([29 x i8], [29 x i8]* @.str.11, i64 0, i64 0))
%15 = tail call i32 (i32*, i8*, i8*, ...) @fprintf(i32* %2, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.2, i64 0, i64 0), i8* %1)
%16 = tail call i32 (i32*, i8*, i8*, ...) @fprintf(i32* %2, i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.1, i64 0, i64 0), i8* %1, i8* getelementptr inbounds ([41 x i8], [41 x i8]* @.str.12, i64 0, i64 0))
%17 = tail call i32 @assert(i8 signext 45)
%18 = sext i32 %5 to i64
br label %19
19: ; preds = %62, %3
%20 = phi i8* [ getelementptr inbounds ([59 x i8], [59 x i8]* @.str, i64 0, i64 0), %3 ], [ %66, %62 ]
%21 = ptrtoint i8* %20 to i64
%22 = tail call i32 @fputs(i8* %1, i32* %2)
br label %23
23: ; preds = %26, %19
%24 = phi i8* [ %20, %19 ], [ %27, %26 ]
%25 = load i8, i8* %24
switch i8 %25, label %26 [
i8 0, label %44
i8 32, label %28
]
26: ; preds = %23
%27 = getelementptr inbounds i8, i8* %24, i64 1
br label %23
28: ; preds = %23
%29 = ptrtoint i8* %24 to i64
%30 = sub i64 %29, %21
%31 = icmp slt i64 %30, %18
br i1 %31, label %32, label %44
32: ; preds = %28, %42
%33 = phi i8* [ %36, %42 ], [ %24, %28 ]
br label %34
34: ; preds = %34, %32
%35 = phi i8* [ %33, %32 ], [ %36, %34 ]
%36 = getelementptr inbounds i8, i8* %35, i64 1
%37 = load i8, i8* %36
switch i8 %37, label %34 [
i8 0, label %38
i8 32, label %38
]
38: ; preds = %34, %34
%39 = ptrtoint i8* %36 to i64
%40 = sub i64 %39, %21
%41 = icmp slt i64 %40, %18
br i1 %41, label %42, label %44
42: ; preds = %38
%43 = icmp eq i8 %37, 0
br i1 %43, label %44, label %32
44: ; preds = %23, %38, %42, %28
%45 = phi i8* [ %24, %28 ], [ %36, %42 ], [ %33, %38 ], [ %24, %23 ]
%46 = icmp ult i8* %20, %45
br i1 %46, label %47, label %57
47: ; preds = %44
%48 = ptrtoint i8* %45 to i64
%49 = sub i64 %48, %21
%50 = getelementptr i8, i8* %20, i64 %49
br label %51
51: ; preds = %47, %51
%52 = phi i8* [ %53, %51 ], [ %20, %47 ]
%53 = getelementptr inbounds i8, i8* %52, i64 1
%54 = load i8, i8* %52
%55 = tail call i32 @fputc(i8 signext %54, i32* %2)
%56 = icmp eq i8* %53, %50
br i1 %56, label %57, label %51
57: ; preds = %51, %44
%58 = phi i8* [ %20, %44 ], [ %50, %51 ]
%59 = tail call i32 @fputc(i8 signext 10, i32* %2)
%60 = load i8, i8* %58
%61 = icmp eq i8 %60, 0
br i1 %61, label %67, label %62
62: ; preds = %57
%63 = icmp eq i8 %60, 32
%64 = zext i1 %63 to i8
%65 = tail call i32 @assert(i8 signext %64)
%66 = getelementptr inbounds i8, i8* %58, i64 1
br label %19
67: ; preds = %57
%68 = tail call i32 (i32*, i8*, i8*, ...) @fprintf(i32* %2, i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.1, i64 0, i64 0), i8* %1, i8* getelementptr inbounds ([41 x i8], [41 x i8]* @.str.13, i64 0, i64 0))
%69 = tail call i32 (i32*, i8*, i8*, ...) @fprintf(i32* %2, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.2, i64 0, i64 0), i8* %1)
%70 = tail call i32 @fflush(i32* %2)
ret void
}