xunge/DecIR huggingface dataset:
/* Variables and functions */
int /*<<< orphan*/ sprintf(char *, char *, int, int, int);
char *get_item_field_type(int class_num, int field_num, int item_num) {
  static char name[32];
  sprintf(name, "I_FTYPE%d.%d.%d", class_num, field_num, item_num);
  return name;
}


x86 assembly (clang, -O0):
<get_item_field_type>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    %edx,-0xc(%rbp)
mov    -0x4(%rbp),%edx
mov    -0x8(%rbp),%ecx
mov    -0xc(%rbp),%r8d
lea    0x2f0e(%rip),%rdi
lea    0xec7(%rip),%rsi
call   1030 <sprintf@plt>
lea    0x2efb(%rip),%rax
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<get_item_field_type>:
push   %rbx
mov    %edx,%r8d
mov    %esi,%ecx
mov    %edi,%edx
lea    0x2f21(%rip),%rbx
lea    0xeda(%rip),%rsi
mov    %rbx,%rdi
call   1030 <sprintf@plt>
mov    %rbx,%rax
pop    %rbx
ret

LLVM IR (-O0):
@get_item_field_type.name = internal global [32 x i8] zeroinitializer
@.str = [16 x i8] c"I_FTYPE%d.%d.%d\00"
define i8* @get_item_field_type(i32 %0, i32 %1, i32 %2) {
%4 = alloca i32
%5 = alloca i32
%6 = alloca i32
store i32 %0, i32* %4
store i32 %1, i32* %5
store i32 %2, i32* %6
%7 = load i32, i32* %4
%8 = load i32, i32* %5
%9 = load i32, i32* %6
%10 = call i32 @sprintf(i8* getelementptr inbounds ([32 x i8], [32 x i8]* @get_item_field_type.name, i64 0, i64 0), i8* getelementptr inbounds ([16 x i8], [16 x i8]* @.str, i64 0, i64 0), i32 %7, i32 %8, i32 %9)
ret i8* getelementptr inbounds ([32 x i8], [32 x i8]* @get_item_field_type.name, i64 0, i64 0)
}

LLVM IR (-O2):
@get_item_field_type.name = internal global [32 x i8] zeroinitializer
@.str = [16 x i8] c"I_FTYPE%d.%d.%d\00"
define i8* @get_item_field_type(i32 %0, i32 %1, i32 %2) {
%4 = tail call i32 @sprintf(i8* dereferenceable(1) getelementptr inbounds ([32 x i8], [32 x i8]* @get_item_field_type.name, i64 0, i64 0), i8* dereferenceable(1) getelementptr inbounds ([16 x i8], [16 x i8]* @.str, i64 0, i64 0), i32 %0, i32 %1, i32 %2)
ret i8* getelementptr inbounds ([32 x i8], [32 x i8]* @get_item_field_type.name, i64 0, i64 0)
}
int Bematech_FI_LeituraXSerial(Retorno) {
  char Var[3];
  return Formata("\x1b|69|\x1b", Var, Retorno);
}


x86 assembly (clang, -O0):
<Bematech_FI_LeituraXSerial>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
mov    %edi,-0x4(%rbp)
lea    -0x7(%rbp),%rsi
mov    -0x4(%rbp),%edx
lea    0xed7(%rip),%rdi
mov    $0x0,%al
call   1030 <Formata@plt>
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<Bematech_FI_LeituraXSerial>:
push   %rax
mov    %edi,%edx
lea    0xee6(%rip),%rdi
lea    0x5(%rsp),%rsi
xor    %eax,%eax
call   1030 <Formata@plt>
pop    %rcx
ret

LLVM IR (-O0):
@.str = [7 x i8] c"\1B|69|\1B\00"
define i32 @Bematech_FI_LeituraXSerial(i32 %0) {
%2 = alloca i32
%3 = alloca [3 x i8]
store i32 %0, i32* %2
%4 = getelementptr inbounds [3 x i8], [3 x i8]* %3, i64 0, i64 0
%5 = load i32, i32* %2
%6 = call i32 (i8*, i8*, i32, ...) bitcast (i32 (...)* @Formata to i32 (i8*, i8*, i32, ...)*)(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str, i64 0, i64 0), i8* %4, i32 %5)
ret i32 %6
}

LLVM IR (-O2):
@.str = [7 x i8] c"\1B|69|\1B\00"
define i32 @Bematech_FI_LeituraXSerial(i32 %0) {
%2 = alloca [3 x i8]
%3 = getelementptr inbounds [3 x i8], [3 x i8]* %2, i64 0, i64 0
%4 = call i32 (i8*, i8*, i32, ...) bitcast (i32 (...)* @Formata to i32 (i8*, i8*, i32, ...)*)(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str, i64 0, i64 0), i8* %3, i32 %0)
ret i32 %4
}
void swapInt(int *p, int *q) {
  int temp = *p;
  *p = *q;
  *q = temp;
}


x86 assembly (clang, -O0):
<swapInt>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    -0x8(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x14(%rbp)
mov    -0x10(%rbp),%rax
mov    (%rax),%ecx
mov    -0x8(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x14(%rbp),%ecx
mov    -0x10(%rbp),%rax
mov    %ecx,(%rax)
pop    %rbp
ret

x86 assembly (clang, -O2):
<swapInt>:
mov    (%rdi),%eax
mov    (%rsi),%ecx
mov    %ecx,(%rdi)
mov    %eax,(%rsi)
ret

LLVM IR (-O0):
define void @swapInt(i32* %0, i32* %1) {
%3 = alloca i32*
%4 = alloca i32*
%5 = alloca i32
store i32* %0, i32** %3
store i32* %1, i32** %4
%6 = load i32*, i32** %3
%7 = load i32, i32* %6
store i32 %7, i32* %5
%8 = load i32*, i32** %4
%9 = load i32, i32* %8
%10 = load i32*, i32** %3
store i32 %9, i32* %10
%11 = load i32, i32* %5
%12 = load i32*, i32** %4
store i32 %11, i32* %12
ret void
}

LLVM IR (-O2):
define void @swapInt(i32* nocapture %0, i32* nocapture %1) {
%3 = load i32, i32* %0
%4 = load i32, i32* %1
store i32 %4, i32* %0
store i32 %3, i32* %1
ret void
}
/* Variables and functions */
int /*<<< orphan*/ test_frowkey();
int main() {
  test_frowkey();
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
movl   $0x0,-0x4(%rbp)
mov    $0x0,%al
call   1030 <test_frowkey@plt>
xor    %eax,%eax
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rax
xor    %eax,%eax
call   1030 <test_frowkey@plt>
xor    %eax,%eax
pop    %rcx
ret

LLVM IR (-O0):
define i32 @main() {
%1 = alloca i32
store i32 0, i32* %1
%2 = call i32 (...) @test_frowkey()
ret i32 0
}

LLVM IR (-O2):
define i32 @main() {
%1 = tail call i32 (...) @test_frowkey()
ret i32 0
}
void foo573() {}


x86 assembly (clang, -O0):
<foo573>:
push   %rbp
mov    %rsp,%rbp
pop    %rbp
ret

x86 assembly (clang, -O2):
<foo573>:
ret

LLVM IR (-O0):
define void @foo573() {
ret void
}

LLVM IR (-O2):
define void @foo573() {
ret void
}
/* Variables and functions */
int /*<<< orphan*/ mysrand(int);
void __InitRandom(int seed) {
  if (seed == -1)
    mysrand(7654321L);
  else
    mysrand(seed);
}


x86 assembly (clang, -O0):
<__InitRandom>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
mov    %edi,-0x4(%rbp)
cmpl   $0xffffffff,-0x4(%rbp)
jne    1134 <__InitRandom+0x24>
mov    $0x74cbb1,%edi
call   1030 <mysrand@plt>
jmp    113c <__InitRandom+0x2c>
mov    -0x4(%rbp),%edi
call   1030 <mysrand@plt>
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<__InitRandom>:
cmp    $0xffffffff,%edi
mov    $0x74cbb1,%eax
cmove  %eax,%edi
jmp    1030 <mysrand@plt>

LLVM IR (-O0):
define void @__InitRandom(i32 %0) {
%2 = alloca i32
store i32 %0, i32* %2
%3 = load i32, i32* %2
%4 = icmp eq i32 %3, -1
br i1 %4, label %5, label %7
5: ; preds = %1
%6 = call i32 @mysrand(i32 7654321)
br label %10
7: ; preds = %1
%8 = load i32, i32* %2
%9 = call i32 @mysrand(i32 %8)
br label %10
10: ; preds = %7, %5
ret void
}

LLVM IR (-O2):
define void @__InitRandom(i32 %0) {
%2 = icmp eq i32 %0, -1
%3 = select i1 %2, i32 7654321, i32 %0
%4 = tail call i32 @mysrand(i32 %3)
ret void
}
void gtk_drag_set_icon_default() {}


x86 assembly (clang, -O0):
<gtk_drag_set_icon_default>:
push   %rbp
mov    %rsp,%rbp
pop    %rbp
ret

x86 assembly (clang, -O2):
<gtk_drag_set_icon_default>:
ret

LLVM IR (-O0):
define void @gtk_drag_set_icon_default() {
ret void
}

LLVM IR (-O2):
define void @gtk_drag_set_icon_default() {
ret void
}
/* Forward declarations */
typedef struct TYPE_4__ TYPE_2__;
typedef struct TYPE_3__ TYPE_1__;

/* Type definitions */
struct TYPE_3__ {
  int type;
};
struct TYPE_4__ {
  TYPE_1__ xcrossing;
};
typedef TYPE_2__ XEvent;

/* Variables and functions */
void set_XEvent_xcrossing_type(void *_p, int _v) {
  ((XEvent *)_p)->xcrossing.type = (int)_v;
}


x86 assembly (clang, -O0):
<set_XEvent_xcrossing_type>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    -0xc(%rbp),%ecx
mov    -0x8(%rbp),%rax
mov    %ecx,(%rax)
pop    %rbp
ret

x86 assembly (clang, -O2):
<set_XEvent_xcrossing_type>:
mov    %esi,(%rdi)
ret

LLVM IR (-O0):
%struct.TYPE_4__ = type { %struct.TYPE_3__ }
%struct.TYPE_3__ = type { i32 }
define void @set_XEvent_xcrossing_type(i8* %0, i32 %1) {
%3 = alloca i8*
%4 = alloca i32
store i8* %0, i8** %3
store i32 %1, i32* %4
%5 = load i32, i32* %4
%6 = load i8*, i8** %3
%7 = bitcast i8* %6 to %struct.TYPE_4__*
%8 = getelementptr inbounds %struct.TYPE_4__, %struct.TYPE_4__* %7, i32 0, i32 0
%9 = getelementptr inbounds %struct.TYPE_3__, %struct.TYPE_3__* %8, i32 0, i32 0
store i32 %5, i32* %9
ret void
}

LLVM IR (-O2):
define void @set_XEvent_xcrossing_type(i8* nocapture writeonly %0, i32 %1) {
%3 = bitcast i8* %0 to i32*
store i32 %1, i32* %3
ret void
}
/* Variables and functions */
int /*<<< orphan*/ nondet_log_init();
void nondet_init() { nondet_log_init(); }


x86 assembly (clang, -O0):
<nondet_init>:
push   %rbp
mov    %rsp,%rbp
mov    $0x0,%al
call   1030 <nondet_log_init@plt>
pop    %rbp
ret

x86 assembly (clang, -O2):
<nondet_init>:
xor    %eax,%eax
jmp    1030 <nondet_log_init@plt>

LLVM IR (-O0):
define void @nondet_init() {
%1 = call i32 (...) @nondet_log_init()
ret void
}

LLVM IR (-O2):
define void @nondet_init() {
%1 = tail call i32 (...) @nondet_log_init()
ret void
}
double atan(double arg) {
  double satan(double);
  if (arg > 0) {
    return (satan(arg));
  } else {
    return (-satan(-arg));
  }
}


x86 assembly (clang, -O0):
<atan>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
movsd  %xmm0,-0x10(%rbp)
movsd  -0x10(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jbe    1143 <atan+0x33>
movsd  -0x10(%rbp),%xmm0
call   1030 <satan@plt>
movsd  %xmm0,-0x8(%rbp)
jmp    1180 <atan+0x70>
movsd  -0x10(%rbp),%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
call   1030 <satan@plt>
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
movsd  %xmm0,-0x8(%rbp)
movsd  -0x8(%rbp),%xmm0
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<atan>:
xorpd  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jbe    111f <atan+0xf>
jmp    1030 <satan@plt>
push   %rax
xorpd  0xed8(%rip),%xmm0
call   1030 <satan@plt>
xorpd  0xecb(%rip),%xmm0
pop    %rax
ret

LLVM IR (-O0):
define double @atan(double %0) {
%2 = alloca double
%3 = alloca double
store double %0, double* %3
%4 = load double, double* %3
%5 = fcmp ogt double %4, 0.000000e+00
br i1 %5, label %6, label %9
6: ; preds = %1
%7 = load double, double* %3
%8 = call double @satan(double %7)
store double %8, double* %2
br label %14
9: ; preds = %1
%10 = load double, double* %3
%11 = fneg double %10
%12 = call double @satan(double %11)
%13 = fneg double %12
store double %13, double* %2
br label %14
14: ; preds = %9, %6
%15 = load double, double* %2
ret double %15
}

LLVM IR (-O2):
define double @atan(double %0) {
%2 = fcmp ogt double %0, 0.000000e+00
br i1 %2, label %3, label %5
3: ; preds = %1
%4 = tail call double @satan(double %0)
br label %9
5: ; preds = %1
%6 = fneg double %0
%7 = tail call double @satan(double %6)
%8 = fneg double %7
br label %9
9: ; preds = %5, %3
%10 = phi double [ %4, %3 ], [ %8, %5 ]
ret double %10
}
/* Variables and functions */
void *mf__mem_begin(void *);
void *mem_begin(void *ptr) {
  void *r_ptr = NULL;
  ;
  r_ptr = mf__mem_begin(ptr);
  ;
  return (r_ptr);
}


x86 assembly (clang, -O0):
<mem_begin>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
mov    %rdi,-0x8(%rbp)
movq   $0x0,-0x10(%rbp)
mov    -0x8(%rbp),%rdi
call   1030 <mf__mem_begin@plt>
mov    %rax,-0x10(%rbp)
mov    -0x10(%rbp),%rax
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<mem_begin>:
jmp    1030 <mf__mem_begin@plt>

LLVM IR (-O0):
define i8* @mem_begin(i8* %0) {
%2 = alloca i8*
%3 = alloca i8*
store i8* %0, i8** %2
store i8* null, i8** %3
%4 = load i8*, i8** %2
%5 = call i8* @mf__mem_begin(i8* %4)
store i8* %5, i8** %3
%6 = load i8*, i8** %3
ret i8* %6
}

LLVM IR (-O2):
define i8* @mem_begin(i8* %0) {
%2 = tail call i8* @mf__mem_begin(i8* %0)
ret i8* %2
}
/* Type definitions */
typedef int /*<<< orphan*/ ret;

/* Variables and functions */
int /*<<< orphan*/ O_RDONLY;
int open(char *, int /*<<< orphan*/);
int /*<<< orphan*/ read(int, int *, int);
unsigned int ga_get_random() {
  int fd, ret;
  fd = open("/dev/urandom", O_RDONLY);
  read(fd, &ret, sizeof(ret));
  return (unsigned int)ret;
}


x86 assembly (clang, -O0):
<ga_get_random>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
mov    0x2eb9(%rip),%rax
mov    (%rax),%esi
lea    0xec8(%rip),%rdi
call   1040 <open@plt>
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%edi
lea    -0x8(%rbp),%rsi
mov    $0x4,%edx
call   1030 <read@plt>
mov    -0x8(%rbp),%eax
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<ga_get_random>:
push   %rax
mov    0x2ec0(%rip),%rax
mov    (%rax),%esi
lea    0xecf(%rip),%rdi
call   1040 <open@plt>
lea    0x4(%rsp),%rsi
mov    %eax,%edi
mov    $0x4,%edx
call   1030 <read@plt>
mov    0x4(%rsp),%eax
pop    %rcx
ret

LLVM IR (-O0):
@.str = [13 x i8] c"/dev/urandom\00"
@O_RDONLY = global i32 0
define i32 @ga_get_random() {
%1 = alloca i32
%2 = alloca i32
%3 = load i32, i32* @O_RDONLY
%4 = call i32 @open(i8* getelementptr inbounds ([13 x i8], [13 x i8]* @.str, i64 0, i64 0), i32 %3)
store i32 %4, i32* %1
%5 = load i32, i32* %1
%6 = call i32 @read(i32 %5, i32* %2, i32 4)
%7 = load i32, i32* %2
ret i32 %7
}

LLVM IR (-O2):
@.str = [13 x i8] c"/dev/urandom\00"
@O_RDONLY = global i32 0
define i32 @ga_get_random() {
%1 = alloca i32
%2 = bitcast i32* %1 to i8*
%3 = load i32, i32* @O_RDONLY
%4 = tail call i32 @open(i8* getelementptr inbounds ([13 x i8], [13 x i8]* @.str, i64 0, i64 0), i32 %3)
%5 = call i32 @read(i32 %4, i32* %1, i32 4)
%6 = load i32, i32* %1
ret i32 %6
}
void s2e_enable_all_apic_interrupts() {
  __asm__ __volatile__(".byte 0x0f, 0x3f\n"
                       ".byte 0x00, 0x51, 0x00, 0x00\n"
                       ".byte 0x00, 0x00, 0x00, 0x00\n");
}


x86 assembly (clang, -O0):
<s2e_enable_all_apic_interrupts>:
push   %rbp
mov    %rsp,%rbp
(bad)
add    %dl,0x0(%rcx)
add    %al,(%rax)
add    %al,(%rax)
add    %bl,-0x3d(%rbp)

x86 assembly (clang, -O2):
<s2e_enable_all_apic_interrupts>:
(bad)
add    %dl,0x0(%rcx)
add    %al,(%rax)
add    %al,(%rax)
add    %al,%bl

LLVM IR (-O0):
define void @s2e_enable_all_apic_interrupts() {
ret void
}

LLVM IR (-O2):
define void @s2e_enable_all_apic_interrupts() {
tail call void asm sideeffect ".byte 0x0f, 0x3f\0A.byte 0x00, 0x51, 0x00, 0x00\0A.byte 0x00, 0x00, 0x00, 0x00\0A", "~{dirflag},~{fpsr},~{flags}"()
ret void
}
/* Variables and functions */
int at_hex_digit(char const);
unsigned char at_hex_get_byte(const char *line, int i) {
  int offset = i * 2 + 1;
  return at_hex_digit(line[offset]) * 16 + at_hex_digit(line[offset + 1]);
}


x86 assembly (clang, -O0):
<at_hex_get_byte>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    -0xc(%rbp),%eax
shl    $0x1,%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x10(%rbp),%rcx
movsbl (%rax,%rcx,1),%edi
call   1030 <at_hex_digit@plt>
shl    $0x4,%eax
mov    %eax,-0x14(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%edi
call   1030 <at_hex_digit@plt>
mov    %eax,%ecx
mov    -0x14(%rbp),%eax
add    %ecx,%eax
movzbl %al,%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<at_hex_get_byte>:
push   %rbp
push   %r14
push   %rbx
mov    %esi,%ebx
mov    %rdi,%r14
lea    (%rbx,%rbx,1),%eax
cltq
movsbl 0x1(%rdi,%rax,1),%edi
call   1030 <at_hex_digit@plt>
mov    %eax,%ebp
shl    $0x4,%ebp
lea    (%rbx,%rbx,1),%eax
add    $0x2,%eax
cltq
movsbl (%r14,%rax,1),%edi
call   1030 <at_hex_digit@plt>
add    %ebp,%eax
pop    %rbx
pop    %r14
pop    %rbp
ret

LLVM IR (-O0):
define zeroext i8 @at_hex_get_byte(i8* %0, i32 %1) {
%3 = alloca i8*
%4 = alloca i32
%5 = alloca i32
store i8* %0, i8** %3
store i32 %1, i32* %4
%6 = load i32, i32* %4
%7 = mul nsw i32 %6, 2
%8 = add nsw i32 %7, 1
store i32 %8, i32* %5
%9 = load i8*, i8** %3
%10 = load i32, i32* %5
%11 = sext i32 %10 to i64
%12 = getelementptr inbounds i8, i8* %9, i64 %11
%13 = load i8, i8* %12
%14 = call i32 @at_hex_digit(i8 signext %13)
%15 = mul nsw i32 %14, 16
%16 = load i8*, i8** %3
%17 = load i32, i32* %5
%18 = add nsw i32 %17, 1
%19 = sext i32 %18 to i64
%20 = getelementptr inbounds i8, i8* %16, i64 %19
%21 = load i8, i8* %20
%22 = call i32 @at_hex_digit(i8 signext %21)
%23 = add nsw i32 %15, %22
%24 = trunc i32 %23 to i8
ret i8 %24
}

LLVM IR (-O2):
define zeroext i8 @at_hex_get_byte(i8* nocapture %0, i32 %1) {
%3 = shl nsw i32 %1, 1
%4 = or i32 %3, 1
%5 = sext i32 %4 to i64
%6 = getelementptr inbounds i8, i8* %0, i64 %5
%7 = load i8, i8* %6
%8 = tail call i32 @at_hex_digit(i8 signext %7)
%9 = shl nsw i32 %8, 4
%10 = add i32 %3, 2
%11 = sext i32 %10 to i64
%12 = getelementptr inbounds i8, i8* %0, i64 %11
%13 = load i8, i8* %12
%14 = tail call i32 @at_hex_digit(i8 signext %13)
%15 = add nsw i32 %14, %9
%16 = trunc i32 %15 to i8
ret i8 %16
}
/* Variables and functions */
int /*<<< orphan*/ printf(char *, char *, char *);
void displayHeader() {
  printf("\n"
         "        project: ALPHA\n"
         "current version: %s\n"
         "  technology by: %s\n\n",
         "1.00", "PHATRINO member of the TI-underground");
  return;
}


x86 assembly (clang, -O0):
<displayHeader>:
push   %rbp
mov    %rsp,%rbp
lea    0xee5(%rip),%rdi
lea    0xf20(%rip),%rsi
lea    0xf1e(%rip),%rdx
call   1030 <printf@plt>
pop    %rbp
ret

x86 assembly (clang, -O2):
<displayHeader>:
lea    0xee9(%rip),%rdi
lea    0xf24(%rip),%rsi
lea    0xf22(%rip),%rdx
jmp    1030 <printf@plt>

LLVM IR (-O0):
@.str = [66 x i8] c"\0A project: ALPHA\0Acurrent version: %s\0A technology by: %s\0A\0A\00"
@.str.1 = [5 x i8] c"1.00\00"
@.str.2 = [38 x i8] c"PHATRINO member of the TI-underground\00"
define void @displayHeader() {
%1 = call i32 @printf(i8* getelementptr inbounds ([66 x i8], [66 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.1, i64 0, i64 0), i8* getelementptr inbounds ([38 x i8], [38 x i8]* @.str.2, i64 0, i64 0))
ret void
}

LLVM IR (-O2):
@.str = [66 x i8] c"\0A project: ALPHA\0Acurrent version: %s\0A technology by: %s\0A\0A\00"
@.str.1 = [5 x i8] c"1.00\00"
@.str.2 = [38 x i8] c"PHATRINO member of the TI-underground\00"
define void @displayHeader() {
%1 = tail call i32 @printf(i8* getelementptr inbounds ([66 x i8], [66 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.1, i64 0, i64 0), i8* getelementptr inbounds ([38 x i8], [38 x i8]* @.str.2, i64 0, i64 0))
ret void
}
/* Variables and functions */
int /*<<< orphan*/ puts(char *);
void fiq_handler(void) { puts("fiq\n"); }


x86 assembly (clang, -O0):
<fiq_handler>:
push   %rbp
mov    %rsp,%rbp
lea    0xee5(%rip),%rdi
call   1030 <puts@plt>
pop    %rbp
ret

x86 assembly (clang, -O2):
<fiq_handler>:
lea    0xee9(%rip),%rdi
jmp    1030 <puts@plt>

LLVM IR (-O0):
@.str = [5 x i8] c"fiq\0A\00"
define void @fiq_handler() {
%1 = call i32 @puts(i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str, i64 0, i64 0))
ret void
}

LLVM IR (-O2):
@.str = [5 x i8] c"fiq\0A\00"
define void @fiq_handler() {
%1 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([5 x i8], [5 x i8]* @.str, i64 0, i64 0))
ret void
}
unsigned char rd_byte(unsigned char *address) { return (*address); }


x86 assembly (clang, -O0):
<rd_byte>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    -0x8(%rbp),%rax
movzbl (%rax),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<rd_byte>:
mov    (%rdi),%al
ret

LLVM IR (-O0):
define zeroext i8 @rd_byte(i8* %0) {
%2 = alloca i8*
store i8* %0, i8** %2
%3 = load i8*, i8** %2
%4 = load i8, i8* %3
ret i8 %4
}

LLVM IR (-O2):
define zeroext i8 @rd_byte(i8* nocapture %0) {
%2 = load i8, i8* %0
ret i8 %2
}
/* Variables and functions */
int __builtin_wasm_trunc_saturate_s_i32_f64(double);
int trunc_saturate_s_i32_f64(double f) {
  return __builtin_wasm_trunc_saturate_s_i32_f64(f);
}


x86 assembly (clang, -O0):
<trunc_saturate_s_i32_f64>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
movsd  %xmm0,-0x8(%rbp)
movsd  -0x8(%rbp),%xmm0
call   1030 <__builtin_wasm_trunc_saturate_s_i32_f64@plt>
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<trunc_saturate_s_i32_f64>:
jmp    1030 <__builtin_wasm_trunc_saturate_s_i32_f64@plt>

LLVM IR (-O0):
define i32 @trunc_saturate_s_i32_f64(double %0) {
%2 = alloca double
store double %0, double* %2
%3 = load double, double* %2
%4 = call i32 @__builtin_wasm_trunc_saturate_s_i32_f64(double %3)
ret i32 %4
}

LLVM IR (-O2):
define i32 @trunc_saturate_s_i32_f64(double %0) {
%2 = tail call i32 @__builtin_wasm_trunc_saturate_s_i32_f64(double %0)
ret i32 %2
}
int sysTimems() {}


x86 assembly (clang, -O0):
<sysTimems>:
push   %rbp
mov    %rsp,%rbp
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<sysTimems>:
ret

LLVM IR (-O0):
define i32 @sysTimems() {
%1 = alloca i32
%2 = load i32, i32* %1
ret i32 %2
}

LLVM IR (-O2):
define i32 @sysTimems() {
ret i32 undef
}
unsigned int DRV_GET_PMU_STATE(void *Pmu_State) { return 0; }


x86 assembly (clang, -O0):
<DRV_GET_PMU_STATE>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
xor    %eax,%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<DRV_GET_PMU_STATE>:
xor    %eax,%eax
ret

LLVM IR (-O0):
define i32 @DRV_GET_PMU_STATE(i8* %0) {
%2 = alloca i8*
store i8* %0, i8** %2
ret i32 0
}

LLVM IR (-O2):
define i32 @DRV_GET_PMU_STATE(i8* nocapture readnone %0) {
ret i32 0
}
void XGetCommand() {}


x86 assembly (clang, -O0):
<XGetCommand>:
push   %rbp
mov    %rsp,%rbp
pop    %rbp
ret

x86 assembly (clang, -O2):
<XGetCommand>:
ret

LLVM IR (-O0):
define void @XGetCommand() {
ret void
}

LLVM IR (-O2):
define void @XGetCommand() {
ret void
}
_Complex double ffi_test_46(int x) { return x; }


x86 assembly (clang, -O0):
<ffi_test_46>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x14(%rbp)
cvtsi2sdl -0x14(%rbp),%xmm0
movsd  %xmm0,-0x10(%rbp)
movq   $0x0,-0x8(%rbp)
movsd  -0x10(%rbp),%xmm0
movsd  -0x8(%rbp),%xmm1
pop    %rbp
ret

x86 assembly (clang, -O2):
<ffi_test_46>:
cvtsi2sd %edi,%xmm0
xorps  %xmm1,%xmm1
ret

LLVM IR (-O0):
define { double, double } @ffi_test_46(i32 %0) {
%2 = alloca { double, double }
%3 = alloca i32
store i32 %0, i32* %3
%4 = load i32, i32* %3
%5 = sitofp i32 %4 to double
%6 = getelementptr inbounds { double, double }, { double, double }* %2, i32 0, i32 0
%7 = getelementptr inbounds { double, double }, { double, double }* %2, i32 0, i32 1
store double %5, double* %6
store double 0.000000e+00, double* %7
%8 = load { double, double }, { double, double }* %2
ret { double, double } %8
}

LLVM IR (-O2):
define { double, double } @ffi_test_46(i32 %0) {
%2 = sitofp i32 %0 to double
%3 = insertvalue { double, double } poison, double %2, 0
%4 = insertvalue { double, double } %3, double 0.000000e+00, 1
ret { double, double } %4
}
/* Variables and functions */
int /*<<< orphan*/ put8(unsigned char);
void jb_rj(unsigned char saut) {
  put8(0x72);
  put8(saut);
}


x86 assembly (clang, -O0):
<jb_rj>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
mov    %dil,%al
mov    %al,-0x1(%rbp)
mov    $0x72,%edi
call   1030 <put8@plt>
movzbl -0x1(%rbp),%edi
call   1030 <put8@plt>
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<jb_rj>:
push   %rbx
mov    %edi,%ebx
mov    $0x72,%edi
call   1030 <put8@plt>
mov    %ebx,%edi
pop    %rbx
jmp    1030 <put8@plt>

LLVM IR (-O0):
define void @jb_rj(i8 zeroext %0) {
%2 = alloca i8
store i8 %0, i8* %2
%3 = call i32 @put8(i8 zeroext 114)
%4 = load i8, i8* %2
%5 = call i32 @put8(i8 zeroext %4)
ret void
}

LLVM IR (-O2):
define void @jb_rj(i8 zeroext %0) {
%2 = tail call i32 @put8(i8 zeroext 114)
%3 = tail call i32 @put8(i8 zeroext %0)
ret void
}
/* Variables and functions */
int get_nprocs();
int getNprocsToUse() {
  int coresAvailable = get_nprocs();
  if (coresAvailable < 1)
    coresAvailable = 1;
  else if (coresAvailable > 2)
    coresAvailable--;
  else
    coresAvailable = 2;
  return coresAvailable;
}


x86 assembly (clang, -O0):
<getNprocsToUse>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
mov    $0x0,%al
call   1030 <get_nprocs@plt>
mov    %eax,-0x4(%rbp)
cmpl   $0x1,-0x4(%rbp)
jge    1138 <getNprocsToUse+0x28>
movl   $0x1,-0x4(%rbp)
jmp    115c <getNprocsToUse+0x4c>
cmpl   $0x2,-0x4(%rbp)
jle    1150 <getNprocsToUse+0x40>
mov    -0x4(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x4(%rbp)
jmp    1157 <getNprocsToUse+0x47>
movl   $0x2,-0x4(%rbp)
jmp    115c <getNprocsToUse+0x4c>
mov    -0x4(%rbp),%eax
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<getNprocsToUse>:
push   %rax
xor    %eax,%eax
call   1030 <get_nprocs@plt>
lea    -0x1(%rax),%ecx
cmp    $0x3,%eax
mov    $0x2,%edx
cmovge %ecx,%edx
test   %eax,%eax
mov    $0x1,%eax
cmovg  %edx,%eax
pop    %rcx
ret

LLVM IR (-O0):
define i32 @getNprocsToUse() {
%1 = alloca i32
%2 = call i32 (...) @get_nprocs()
store i32 %2, i32* %1
%3 = load i32, i32* %1
%4 = icmp slt i32 %3, 1
br i1 %4, label %5, label %6
5: ; preds = %0
store i32 1, i32* %1
br label %14
6: ; preds = %0
%7 = load i32, i32* %1
%8 = icmp sgt i32 %7, 2
br i1 %8, label %9, label %12
9: ; preds = %6
%10 = load i32, i32* %1
%11 = add nsw i32 %10, -1
store i32 %11, i32* %1
br label %13
12: ; preds = %6
store i32 2, i32* %1
br label %13
13: ; preds = %12, %9
br label %14
14: ; preds = %13, %5
%15 = load i32, i32* %1
ret i32 %15
}

LLVM IR (-O2):
define i32 @getNprocsToUse() {
%1 = tail call i32 (...) @get_nprocs()
%2 = icmp slt i32 %1, 1
%3 = icmp sgt i32 %1, 2
%4 = add nsw i32 %1, -1
%5 = select i1 %3, i32 %4, i32 2
%6 = select i1 %2, i32 1, i32 %5
ret i32 %6
}
/* Variables and functions */
unsigned int f12(unsigned int);
unsigned int f13(unsigned int a) { return f12(f12(a)); }


x86 assembly (clang, -O0):
<f13>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
mov    %edi,-0x4(%rbp)
mov    -0x4(%rbp),%edi
call   1030 <f12@plt>
mov    %eax,%edi
call   1030 <f12@plt>
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<f13>:
push   %rax
call   1030 <f12@plt>
mov    %eax,%edi
pop    %rax
jmp    1030 <f12@plt>

LLVM IR (-O0):
define i32 @f13(i32 %0) {
%2 = alloca i32
store i32 %0, i32* %2
%3 = load i32, i32* %2
%4 = call i32 @f12(i32 %3)
%5 = call i32 @f12(i32 %4)
ret i32 %5
}

LLVM IR (-O2):
define i32 @f13(i32 %0) {
%2 = tail call i32 @f12(i32 %0)
%3 = tail call i32 @f12(i32 %2)
ret i32 %3
}
void f_8403108(unsigned x) {
  char s1[x];
  while (1) {
    char s2[x];
    if (1)
      break;
  }
}


x86 assembly (clang, -O0):
<f_8403108>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %edi,-0x4(%rbp)
mov    -0x4(%rbp),%eax
mov    %rsp,%rcx
mov    %rcx,-0x10(%rbp)
mov    %rax,-0x18(%rbp)
jmp    111e <f_8403108+0x1e>
mov    -0x4(%rbp),%eax
mov    %rsp,%rcx
mov    %rcx,-0x20(%rbp)
mov    %rax,-0x28(%rbp)
mov    -0x20(%rbp),%rax
mov    %rax,%rsp
mov    -0x10(%rbp),%rax
mov    %rax,%rsp
mov    %rbp,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<f_8403108>:
ret

LLVM IR (-O0):
define void @f_8403108(i32 %0) {
%2 = alloca i32
%3 = alloca i8*
%4 = alloca i64
%5 = alloca i8*
%6 = alloca i64
store i32 %0, i32* %2
%7 = load i32, i32* %2
%8 = zext i32 %7 to i64
%9 = call i8* @llvm.stacksave()
store i8* %9, i8** %3
%10 = alloca i8, i64 %8
store i64 %8, i64* %4
br label %11
11: ; preds = %1
br label %12
12: ; preds = %11
%13 = load i32, i32* %2
%14 = zext i32 %13 to i64
%15 = call i8* @llvm.stacksave()
store i8* %15, i8** %5
%16 = alloca i8, i64 %14
store i64 %14, i64* %6
%17 = load i8*, i8** %5
br label %18
18: ; preds = %12
%19 = load i8*, i8** %3
ret void
}

LLVM IR (-O2):
define void @f_8403108(i32 %0) {
ret void
}
/* Variables and functions */
int /*<<< orphan*/ printf(char *);
int main(int argc, const char *argv[]) {
  printf("steam-sniffer for dota 2!\n");
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
movl   $0x0,-0x4(%rbp)
mov    %edi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
lea    0xed3(%rip),%rdi
call   1030 <printf@plt>
xor    %eax,%eax
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rax
lea    0xee8(%rip),%rdi
call   1030 <puts@plt>
xor    %eax,%eax
pop    %rcx
ret

LLVM IR (-O0):
@.str = [27 x i8] c"steam-sniffer for dota 2!\0A\00"
define i32 @main(i32 %0, i8** %1) {
%3 = alloca i32
%4 = alloca i32
%5 = alloca i8**
store i32 0, i32* %3
store i32 %0, i32* %4
store i8** %1, i8*** %5
%6 = call i32 @printf(i8* getelementptr inbounds ([27 x i8], [27 x i8]* @.str, i64 0, i64 0))
ret i32 0
}

LLVM IR (-O2):
@str = [26 x i8] c"steam-sniffer for dota 2!\00"
define i32 @main(i32 %0, i8** nocapture readnone %1) {
%3 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([26 x i8], [26 x i8]* @str, i64 0, i64 0))
ret i32 0
}
double cabs(double _Complex foo) {
  double d = __real__ foo;
  return d + 0.1fi;
}


x86 assembly (clang, -O0):
<cabs>:
push   %rbp
mov    %rsp,%rbp
movsd  %xmm0,-0x10(%rbp)
movsd  %xmm1,-0x8(%rbp)
movsd  -0x10(%rbp),%xmm0
movsd  %xmm0,-0x18(%rbp)
xorps  %xmm0,%xmm0
addsd  -0x18(%rbp),%xmm0
pop    %rbp
ret

x86 assembly (clang, -O2):
<cabs>:
xorpd  %xmm1,%xmm1
addsd  %xmm1,%xmm0
ret

LLVM IR (-O0):
define double @cabs(double %0, double %1) {
%3 = alloca { double, double }
%4 = alloca double
%5 = getelementptr inbounds { double, double }, { double, double }* %3, i32 0, i32 0
store double %0, double* %5
%6 = getelementptr inbounds { double, double }, { double, double }* %3, i32 0, i32 1
store double %1, double* %6
%7 = getelementptr inbounds { double, double }, { double, double }* %3, i32 0, i32 0
%8 = load double, double* %7
store double %8, double* %4
%9 = load double, double* %4
%10 = fadd double %9, 0.000000e+00
ret double %10
}

LLVM IR (-O2):
define double @cabs(double %0, double %1) {
%3 = fadd double %0, 0.000000e+00
ret double %3
}
int fscanf(fp, format)
char *format;
struct _buf *fp;
{
  int fgetc(), ungetc();
  return _scn(&format, fgetc, ungetc, fp);
}


x86 assembly (clang, -O0):
<fscanf>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    -0x8(%rbp),%rcx
lea    -0x10(%rbp),%rdi
mov    0x2ea9(%rip),%rsi
mov    0x2eb2(%rip),%rdx
mov    $0x0,%al
call   1030 <_scn@plt>
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<fscanf>:
push   %rax
mov    %rdi,%rcx
mov    %rsi,(%rsp)
mov    0x2eb9(%rip),%rsi
mov    0x2ec2(%rip),%rdx
mov    %rsp,%rdi
xor    %eax,%eax
call   1030 <_scn@plt>
pop    %rcx
ret

LLVM IR (-O0):
%struct._buf = type opaque
define i32 @fscanf(%struct._buf* %0, i8* %1) {
%3 = alloca %struct._buf*
%4 = alloca i8*
store %struct._buf* %0, %struct._buf** %3
store i8* %1, i8** %4
%5 = load %struct._buf*, %struct._buf** %3
%6 = call i32 (i8**, i32 (...)*, i32 (...)*, %struct._buf*, ...) bitcast (i32 (...)* @_scn to i32 (i8**, i32 (...)*, i32 (...)*, %struct._buf*, ...)*)(i8** %4, i32 (...)* @fgetc, i32 (...)* @ungetc, %struct._buf* %5)
ret i32 %6
}

LLVM IR (-O2):
%struct._buf = type opaque
define i32 @fscanf(%struct._buf* %0, i8* %1) {
%3 = alloca i8*
store i8* %1, i8** %3
%4 = call i32 (i8**, i32 (...)*, i32 (...)*, %struct._buf*, ...) bitcast (i32 (...)* @_scn to i32 (i8**, i32 (...)*, i32 (...)*, %struct._buf*, ...)*)(i8** %3, i32 (...)* @fgetc, i32 (...)* @ungetc, %struct._buf* %0)
ret i32 %4
}
void f_B(void) {
  _Bool x;
  asm("" : "=@ccc"(x));
}


x86 assembly (clang, -O0):
<f_B>:
push   %rbp
mov    %rsp,%rbp
setb   %al
mov    %al,-0x1(%rbp)
pop    %rbp
ret

x86 assembly (clang, -O2):
<f_B>:
ret

LLVM IR (-O0):
define void @f_B() {
%1 = alloca i8
%2 = call i8 asm "", "={@ccc},~{dirflag},~{fpsr},~{flags}"()
store i8 %2, i8* %1
ret void
}

LLVM IR (-O2):
define void @f_B() {
%1 = tail call i8 asm "", "={@ccc},~{dirflag},~{fpsr},~{flags}"()
ret void
}
/* Variables and functions */
float pow(float, float);
float round(float);
float altitude(float P, float P0) {
  return round(10.0f * 44330.0f * (1.0f - pow(P / P0, 1.0f / 5.255f))) / 10.0f;
}


x86 assembly (clang, -O0):
<altitude>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
movss  %xmm0,-0x4(%rbp)
movss  %xmm1,-0x8(%rbp)
movss  -0x4(%rbp),%xmm0
divss  -0x8(%rbp),%xmm0
movss  0xec8(%rip),%xmm1
call   1030 <pow@plt>
movss  0xeb7(%rip),%xmm1
subss  %xmm0,%xmm1
movss  0xea7(%rip),%xmm0
mulss  %xmm1,%xmm0
call   1040 <round@plt>
movss  0xe92(%rip),%xmm1
divss  %xmm1,%xmm0
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<altitude>:
push   %rax
divss  %xmm1,%xmm0
movss  0xed3(%rip),%xmm1
call   1030 <pow@plt>
movss  0xeca(%rip),%xmm1
subss  %xmm0,%xmm1
mulss  0xec2(%rip),%xmm1
movaps %xmm1,%xmm0
call   1040 <roundf@plt>
divss  0xeb6(%rip),%xmm0
pop    %rax
ret

LLVM IR (-O0):
define float @altitude(float %0, float %1) {
%3 = alloca float
%4 = alloca float
store float %0, float* %3
store float %1, float* %4
%5 = load float, float* %3
%6 = load float, float* %4
%7 = fdiv float %5, %6
%8 = call float @pow(float %7, float 0x3FC85B95C0000000)
%9 = fsub float 1.000000e+00, %8
%10 = fmul float 4.433000e+05, %9
%11 = call float @round(float %10)
%12 = fdiv float %11, 1.000000e+01
ret float %12
}

LLVM IR (-O2):
define float @altitude(float %0, float %1) {
%3 = fdiv float %0, %1
%4 = tail call float @pow(float %3, float 0x3FC85B95C0000000)
%5 = fsub float 1.000000e+00, %4
%6 = fmul float %5, 4.433000e+05
%7 = tail call float @llvm.round.f32(float %6)
%8 = fdiv float %7, 1.000000e+01
ret float %8
}
/* Variables and functions */
int /*<<< orphan*/ thr1(int /*<<< orphan*/);
int /*<<< orphan*/ thr2(int /*<<< orphan*/);
int /*<<< orphan*/ thr3(int /*<<< orphan*/);
int /*<<< orphan*/ thr4(int /*<<< orphan*/);
int /*<<< orphan*/ thr5(int /*<<< orphan*/);
int /*<<< orphan*/ thr6(int /*<<< orphan*/);
int /*<<< orphan*/ thr7(int /*<<< orphan*/);
int /*<<< orphan*/ thr8(int /*<<< orphan*/);
int /*<<< orphan*/ thr9(int /*<<< orphan*/);
int main() {
__CPROVER_ASYNC_0:
  thr1(0);
__CPROVER_ASYNC_1:
  thr2(0);
__CPROVER_ASYNC_2:
  thr3(0);
__CPROVER_ASYNC_3:
  thr4(0);
__CPROVER_ASYNC_4:
  thr5(0);
__CPROVER_ASYNC_5:
  thr6(0);
__CPROVER_ASYNC_6:
  thr7(0);
__CPROVER_ASYNC_7:
  thr8(0);
__CPROVER_ASYNC_8:
  thr9(0);
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
movl   $0x0,-0x4(%rbp)
xor    %edi,%edi
call   1030 <thr1@plt>
xor    %edi,%edi
call   1050 <thr2@plt>
xor    %edi,%edi
call   1090 <thr3@plt>
xor    %edi,%edi
call   1040 <thr4@plt>
xor    %edi,%edi
call   1080 <thr5@plt>
xor    %edi,%edi
call   1060 <thr6@plt>
xor    %edi,%edi
call   10a0 <thr7@plt>
xor    %edi,%edi
call   1070 <thr8@plt>
xor    %edi,%edi
call   10b0 <thr9@plt>
xor    %eax,%eax
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rax
xor    %edi,%edi
call   1030 <thr1@plt>
xor    %edi,%edi
call   1050 <thr2@plt>
xor    %edi,%edi
call   1090 <thr3@plt>
xor    %edi,%edi
call   1040 <thr4@plt>
xor    %edi,%edi
call   1080 <thr5@plt>
xor    %edi,%edi
call   1060 <thr6@plt>
xor    %edi,%edi
call   10a0 <thr7@plt>
xor    %edi,%edi
call   1070 <thr8@plt>
xor    %edi,%edi
call   10b0 <thr9@plt>
xor    %eax,%eax
pop    %rcx
ret

LLVM IR (-O0):
define i32 @main() {
%1 = alloca i32
store i32 0, i32* %1
br label %2
2: ; preds = %0
%3 = call i32 @thr1(i32 0)
br label %4
4: ; preds = %2
%5 = call i32 @thr2(i32 0)
br label %6
6: ; preds = %4
%7 = call i32 @thr3(i32 0)
br label %8
8: ; preds = %6
%9 = call i32 @thr4(i32 0)
br label %10
10: ; preds = %8
%11 = call i32 @thr5(i32 0)
br label %12
12: ; preds = %10
%13 = call i32 @thr6(i32 0)
br label %14
14: ; preds = %12
%15 = call i32 @thr7(i32 0)
br label %16
16: ; preds = %14
%17 = call i32 @thr8(i32 0)
br label %18
18: ; preds = %16
%19 = call i32 @thr9(i32 0)
ret i32 0
}

LLVM IR (-O2):
define i32 @main() {
%1 = tail call i32 @thr1(i32 0)
%2 = tail call i32 @thr2(i32 0)
%3 = tail call i32 @thr3(i32 0)
%4 = tail call i32 @thr4(i32 0)
%5 = tail call i32 @thr5(i32 0)
%6 = tail call i32 @thr6(i32 0)
%7 = tail call i32 @thr7(i32 0)
%8 = tail call i32 @thr8(i32 0)
%9 = tail call i32 @thr9(i32 0)
ret i32 0
}
__attribute__((always_)) int fun_d(int argd) {
  static int locd = 0;
  if (argd > 0)
    locd += argd;
  return locd;
}


x86 assembly (clang, -O0):
<fun_d>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x4(%rbp)
cmpl   $0x0,-0x4(%rbp)
jle    1120 <fun_d+0x20>
mov    -0x4(%rbp),%eax
add    0x2f0a(%rip),%eax
mov    %eax,0x2f04(%rip)
mov    0x2efe(%rip),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<fun_d>:
mov    0x2f1e(%rip),%eax
test   %edi,%edi
jle    1112 <fun_d+0x12>
add    %edi,%eax
mov    %eax,0x2f12(%rip)
ret

LLVM IR (-O0):
@fun_d.locd = internal global i32 0
define i32 @fun_d(i32 %0) {
%2 = alloca i32
store i32 %0, i32* %2
%3 = load i32, i32* %2
%4 = icmp sgt i32 %3, 0
br i1 %4, label %5, label %9
5: ; preds = %1
%6 = load i32, i32* %2
%7 = load i32, i32* @fun_d.locd
%8 = add nsw i32 %7, %6
store i32 %8, i32* @fun_d.locd
br label %9
9: ; preds = %5, %1
%10 = load i32, i32* @fun_d.locd
ret i32 %10
}

LLVM IR (-O2):
@fun_d.locd = internal unnamed_addr global i32 0
define i32 @fun_d(i32 %0) {
%2 = icmp sgt i32 %0, 0
%3 = load i32, i32* @fun_d.locd
br i1 %2, label %4, label %6
4: ; preds = %1
%5 = add nsw i32 %3, %0
store i32 %5, i32* @fun_d.locd
br label %6
6: ; preds = %1, %4
%7 = phi i32 [ %5, %4 ], [ %3, %1 ]
ret i32 %7
}
void foo() {
  {}
}


x86 assembly (clang, -O0):
<foo>:
push   %rbp
mov    %rsp,%rbp
pop    %rbp
ret

x86 assembly (clang, -O2):
<foo>:
ret

LLVM IR (-O0):
define void @foo() {
ret void
}

LLVM IR (-O2):
define void @foo() {
ret void
}
void free_ivector(v, nl, nh) int *v;
int nl, nh;
{ free((char *)(v + nl)); }


x86 assembly (clang, -O0):
<free_ivector>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    -0x8(%rbp),%rdi
movslq -0xc(%rbp),%rax
shl    $0x2,%rax
add    %rax,%rdi
call   1030 <free@plt>
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<free_ivector>:
movslq %esi,%rax
lea    (%rdi,%rax,4),%rdi
jmp    1030 <free@plt>

LLVM IR (-O0):
define void @free_ivector(i32* %0, i32 %1, i32 %2) {
%4 = alloca i32*
%5 = alloca i32
%6 = alloca i32
store i32* %0, i32** %4
store i32 %1, i32* %5
store i32 %2, i32* %6
%7 = load i32*, i32** %4
%8 = load i32, i32* %5
%9 = sext i32 %8 to i64
%10 = getelementptr inbounds i32, i32* %7, i64 %9
%11 = bitcast i32* %10 to i8*
ret void
}

LLVM IR (-O2):
define void @free_ivector(i32* nocapture %0, i32 %1, i32 %2) {
%4 = sext i32 %1 to i64
%5 = getelementptr inbounds i32, i32* %0, i64 %4
%6 = bitcast i32* %5 to i8*
tail call void @free(i8* %6)
ret void
}
int f3(int t, int v) {
  int a = t + 1U;
  int b = a * v;
  return b - v;
}


x86 assembly (clang, -O0):
<f3>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    -0x4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
mov    -0xc(%rbp),%eax
imul   -0x8(%rbp),%eax
mov    %eax,-0x10(%rbp)
mov    -0x10(%rbp),%eax
sub    -0x8(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<f3>:
mov    %edi,%eax
imul   %esi,%eax
ret

LLVM IR (-O0):
define i32 @f3(i32 %0, i32 %1) {
%3 = alloca i32
%4 = alloca i32
%5 = alloca i32
%6 = alloca i32
store i32 %0, i32* %3
store i32 %1, i32* %4
%7 = load i32, i32* %3
%8 = add i32 %7, 1
store i32 %8, i32* %5
%9 = load i32, i32* %5
%10 = load i32, i32* %4
%11 = mul nsw i32 %9, %10
store i32 %11, i32* %6
%12 = load i32, i32* %6
%13 = load i32, i32* %4
%14 = sub nsw i32 %12, %13
ret i32 %14
}

LLVM IR (-O2):
define i32 @f3(i32 %0, i32 %1) {
%3 = mul i32 %1, %0
ret i32 %3
}
/* Variables and functions */
size_t snprintf(char *, size_t, char *, int const, int const);
size_t convert_inttostr_2(const void *input, size_t input_size, char *out,
                          size_t out_len) {
  if (input_size == sizeof(int) * 2) {
    const int *ptr = input;
    return snprintf(out, out_len, "%d %d", ptr[0], ptr[1]);
  }
  return 0;
}


x86 assembly (clang, -O0):
<convert_inttostr_2>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %rcx,-0x28(%rbp)
cmpq   $0x8,-0x18(%rbp)
jne    1166 <convert_inttostr_2+0x56>
mov    -0x10(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x20(%rbp),%rdi
mov    -0x28(%rbp),%rsi
mov    -0x30(%rbp),%rax
mov    (%rax),%ecx
mov    -0x30(%rbp),%rax
mov    0x4(%rax),%r8d
lea    0xea8(%rip),%rdx
call   1030 <snprintf@plt>
mov    %rax,-0x8(%rbp)
jmp    116e <convert_inttostr_2+0x5e>
movq   $0x0,-0x8(%rbp)
mov    -0x8(%rbp),%rax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<convert_inttostr_2>:
cmp    $0x8,%rsi
jne    1133 <convert_inttostr_2+0x23>
mov    (%rdi),%eax
mov    0x4(%rdi),%r8d
lea    0xedd(%rip),%r9
mov    %rdx,%rdi
mov    %rcx,%rsi
mov    %r9,%rdx
mov    %eax,%ecx
jmp    1030 <snprintf@plt>
xor    %eax,%eax
ret

LLVM IR (-O0):
@.str = [6 x i8] c"%d %d\00"
define i64 @convert_inttostr_2(i8* %0, i64 %1, i8* %2, i64 %3) {
%5 = alloca i64
%6 = alloca i8*
%7 = alloca i64
%8 = alloca i8*
%9 = alloca i64
%10 = alloca i32*
store i8* %0, i8** %6
store i64 %1, i64* %7
store i8* %2, i8** %8
store i64 %3, i64* %9
%11 = load i64, i64* %7
%12 = icmp eq i64 %11, 8
br i1 %12, label %13, label %25
13: ; preds = %4
%14 = load i8*, i8** %6
%15 = bitcast i8* %14 to i32*
store i32* %15, i32** %10
%16 = load i8*, i8** %8
%17 = load i64, i64* %9
%18 = load i32*, i32** %10
%19 = getelementptr inbounds i32, i32* %18, i64 0
%20 = load i32, i32* %19
%21 = load i32*, i32** %10
%22 = getelementptr inbounds i32, i32* %21, i64 1
%23 = load i32, i32* %22
%24 = call i64 @snprintf(i8* %16, i64 %17, i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str, i64 0, i64 0), i32 %20, i32 %23)
store i64 %24, i64* %5
br label %26
25: ; preds = %4
store i64 0, i64* %5
br label %26
26: ; preds = %25, %13
%27 = load i64, i64* %5
ret i64 %27
}

LLVM IR (-O2):
@.str = [6 x i8] c"%d %d\00"
define i64 @convert_inttostr_2(i8* nocapture %0, i64 %1, i8* %2, i64 %3) {
%5 = icmp eq i64 %1, 8
br i1 %5, label %6, label %13
6: ; preds = %4
%7 = bitcast i8* %0 to i32*
%8 = load i32, i32* %7
%9 = getelementptr inbounds i8, i8* %0, i64 4
%10 = bitcast i8* %9 to i32*
%11 = load i32, i32* %10
%12 = tail call i64 @snprintf(i8* %2, i64 %3, i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str, i64 0, i64 0), i32 %8, i32 %11)
br label %13
13: ; preds = %4, %6
%14 = phi i64 [ %12, %6 ], [ 0, %4 ]
ret i64 %14
}
/* Type definitions */
struct rtattr {
  int dummy;
};
typedef int /*<<< orphan*/ __u8;

/* Variables and functions */
scalar_t__ RTA_DATA(struct rtattr const *);
__u8 rta_getattr_u8(const struct rtattr *rta) { return *(__u8 *)RTA_DATA(rta); }


x86 assembly (clang, -O0):
<rta_getattr_u8>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
mov    %rdi,-0x8(%rbp)
mov    -0x8(%rbp),%rdi
call   1030 <RTA_DATA@plt>
mov    (%rax),%eax
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<rta_getattr_u8>:
push   %rax
call   1030 <RTA_DATA@plt>
mov    (%rax),%eax
pop    %rcx
ret

LLVM IR (-O0):
%struct.rtattr = type { i32 }
define i32 @rta_getattr_u8(%struct.rtattr* %0) {
%2 = alloca %struct.rtattr*
store %struct.rtattr* %0, %struct.rtattr** %2
%3 = load %struct.rtattr*, %struct.rtattr** %2
%4 = call i64 @RTA_DATA(%struct.rtattr* %3)
%5 = inttoptr i64 %4 to i32*
%6 = load i32, i32* %5
ret i32 %6
}

LLVM IR (-O2):
%struct.rtattr = type { i32 }
define i32 @rta_getattr_u8(%struct.rtattr* %0) {
%2 = tail call i64 @RTA_DATA(%struct.rtattr* %0)
%3 = inttoptr i64 %2 to i32*
%4 = load i32, i32* %3
ret i32 %4
}
/* Variables and functions */
int partition(int, int);
void quicksort(int lo, int hi) {
  int p;
  if (lo < hi) {
    p = partition(lo, hi);
    quicksort(lo, p - 1);
    quicksort(p + 1, hi);
  }
}


x86 assembly (clang, -O0):
<quicksort>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    -0x4(%rbp),%eax
cmp    -0x8(%rbp),%eax
jge    1164 <quicksort+0x44>
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%esi
call   1030 <partition@plt>
mov    %eax,-0xc(%rbp)
mov    -0x4(%rbp),%edi
mov    -0xc(%rbp),%esi
sub    $0x1,%esi
call   1040 <quicksort@plt>
mov    -0xc(%rbp),%edi
add    $0x1,%edi
mov    -0x8(%rbp),%esi
call   1040 <quicksort@plt>
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<quicksort>:
push   %rbp
push   %r14
push   %rbx
cmp    %esi,%edi
jge    1150 <quicksort+0x30>
mov    %esi,%r14d
mov    %edi,%ebp
nopl   (%rax)
mov    %ebp,%edi
mov    %r14d,%esi
call   1030 <partition@plt>
mov    %eax,%ebx
lea    -0x1(%rbx),%esi
mov    %ebp,%edi
call   1040 <quicksort@plt>
add    $0x1,%ebx
mov    %ebx,%ebp
cmp    %r14d,%ebx
jl     1130 <quicksort+0x10>
pop    %rbx
pop    %r14
pop    %rbp
ret

LLVM IR (-O0):
define void @quicksort(i32 %0, i32 %1) {
%3 = alloca i32
%4 = alloca i32
%5 = alloca i32
store i32 %0, i32* %3
store i32 %1, i32* %4
%6 = load i32, i32* %3
%7 = load i32, i32* %4
%8 = icmp slt i32 %6, %7
br i1 %8, label %9, label %19
9: ; preds = %2
%10 = load i32, i32* %3
%11 = load i32, i32* %4
%12 = call i32 @partition(i32 %10, i32 %11)
store i32 %12, i32* %5
%13 = load i32, i32* %3
%14 = load i32, i32* %5
%15 = sub nsw i32 %14, 1
%16 = load i32, i32* %5
%17 = add nsw i32 %16, 1
%18 = load i32, i32* %4
br label %19
19: ; preds = %9, %2
ret void
}

LLVM IR (-O2):
define void @quicksort(i32 %0, i32 %1) {
%3 = icmp slt i32 %0, %1
br i1 %3, label %4, label %10
4: ; preds = %2, %4
%5 = phi i32 [ %8, %4 ], [ %0, %2 ]
%6 = tail call i32 @partition(i32 %5, i32 %1)
%7 = add nsw i32 %6, -1
tail call void @quicksort(i32 %5, i32 %7)
%8 = add nsw i32 %6, 1
%9 = icmp slt i32 %8, %1
br i1 %9, label %4, label %10
10: ; preds = %4, %2
ret void
}
/* Type definitions */
typedef int __u32;

/* Variables and functions */
__u32 lshift(__u32 x, int s) {
  x &= 0xFFFFFFFF;
  return ((x << s) & 0xFFFFFFFF) | (x >> (32 - s));
}


x86 assembly (clang, -O0):
<lshift>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    -0x4(%rbp),%eax
and    $0xffffffff,%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
mov    -0x8(%rbp),%ecx
shl    %cl,%eax
and    $0xffffffff,%eax
mov    -0x4(%rbp),%edx
mov    $0x20,%ecx
sub    -0x8(%rbp),%ecx
sar    %cl,%edx
mov    %edx,%ecx
or     %ecx,%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<lshift>:
mov    %esi,%ecx
mov    %edi,%eax
shl    %cl,%eax
neg    %cl
sar    %cl,%edi
or     %edi,%eax
ret

LLVM IR (-O0):
define i32 @lshift(i32 %0, i32 %1) {
%3 = alloca i32
%4 = alloca i32
store i32 %0, i32* %3
store i32 %1, i32* %4
%5 = load i32, i32* %3
%6 = and i32 %5, -1
store i32 %6, i32* %3
%7 = load i32, i32* %3
%8 = load i32, i32* %4
%9 = shl i32 %7, %8
%10 = and i32 %9, -1
%11 = load i32, i32* %3
%12 = load i32, i32* %4
%13 = sub nsw i32 32, %12
%14 = ashr i32 %11, %13
%15 = or i32 %10, %14
ret i32 %15
}

LLVM IR (-O2):
define i32 @lshift(i32 %0, i32 %1) {
%3 = shl i32 %0, %1
%4 = sub nsw i32 32, %1
%5 = ashr i32 %0, %4
%6 = or i32 %5, %3
ret i32 %6
}
/* Variables and functions */
int /*<<< orphan*/ fprintf(int /*<<< orphan*/, char *, char const *);
int /*<<< orphan*/ stderr;
void yyerror(char const *s) { fprintf(stderr, "%s\n> ", s); }


x86 assembly (clang, -O0):
<yyerror>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
mov    %rdi,-0x8(%rbp)
mov    0x2ebd(%rip),%rax
mov    (%rax),%edi
mov    -0x8(%rbp),%rdx
lea    0xed0(%rip),%rsi
call   1030 <fprintf@plt>
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<yyerror>:
mov    %rdi,%rdx
mov    0x2ec6(%rip),%rax
mov    (%rax),%edi
lea    0xedd(%rip),%rsi
jmp    1030 <fprintf@plt>

LLVM IR (-O0):
@stderr = global i32 0
@.str = [6 x i8] c"%s\0A> \00"
define void @yyerror(i8* %0) {
%2 = alloca i8*
store i8* %0, i8** %2
%3 = load i32, i32* @stderr
%4 = load i8*, i8** %2
%5 = call i32 @fprintf(i32 %3, i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str, i64 0, i64 0), i8* %4)
ret void
}

LLVM IR (-O2):
@stderr = global i32 0
@.str = [6 x i8] c"%s\0A> \00"
define void @yyerror(i8* %0) {
%2 = load i32, i32* @stderr
%3 = tail call i32 @fprintf(i32 %2, i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str, i64 0, i64 0), i8* %0)
ret void
}
int file_setoptions(int options) {
  options = 0;
  return (options);
}


x86 assembly (clang, -O0):
<file_setoptions>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x4(%rbp)
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<file_setoptions>:
xor    %eax,%eax
ret

LLVM IR (-O0):
define i32 @file_setoptions(i32 %0) {
%2 = alloca i32
store i32 %0, i32* %2
store i32 0, i32* %2
%3 = load i32, i32* %2
ret i32 %3
}

LLVM IR (-O2):
define i32 @file_setoptions(i32 %0) {
ret i32 0
}