xunge/DecIR huggingface dataset:
/* Variables and functions */
long long __real___moddi3(long long, long long);
long long __wrap___moddi3(long long a, long long b) {
  return __real___moddi3(a, b);
}


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

x86 assembly (clang, -O2):
<__wrap___moddi3>:
jmp    1030 <__real___moddi3@plt>

LLVM IR (-O0):
define i64 @__wrap___moddi3(i64 %0, i64 %1) {
%3 = alloca i64
%4 = alloca i64
store i64 %0, i64* %3
store i64 %1, i64* %4
%5 = load i64, i64* %3
%6 = load i64, i64* %4
%7 = call i64 @__real___moddi3(i64 %5, i64 %6)
ret i64 %7
}

LLVM IR (-O2):
define i64 @__wrap___moddi3(i64 %0, i64 %1) {
%3 = tail call i64 @__real___moddi3(i64 %0, i64 %1)
ret i64 %3
}
/* Variables and functions */
int /*<<< orphan*/ printf(char *, ...);
void report_header() {
  printf("Pressure  Temperature  Liquid Fraction  Density\n");
  printf("   %s           %s                      %s\n", "psi", "F", "g/cc");
}


x86 assembly (clang, -O0):
<report_header>:
push   %rbp
mov    %rsp,%rbp
lea    0xee5(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0xf08(%rip),%rdi
lea    0xf2d(%rip),%rsi
lea    0xf2a(%rip),%rdx
lea    0xf25(%rip),%rcx
mov    $0x0,%al
call   1030 <printf@plt>
pop    %rbp
ret

x86 assembly (clang, -O2):
<report_header>:
push   %rax
lea    0xf0f(%rip),%rdi
call   1030 <puts@plt>
lea    0xecc(%rip),%rdi
lea    0xef1(%rip),%rsi
lea    0xeee(%rip),%rdx
lea    0xee9(%rip),%rcx
xor    %eax,%eax
pop    %r8
jmp    1040 <printf@plt>

LLVM IR (-O0):
@.str = [49 x i8] c"Pressure Temperature Liquid Fraction Density\0A\00"
@.str.1 = [44 x i8] c" %s %s %s\0A\00"
@.str.2 = [4 x i8] c"psi\00"
@.str.3 = [2 x i8] c"F\00"
@.str.4 = [5 x i8] c"g/cc\00"
define void @report_header() {
%1 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([49 x i8], [49 x i8]* @.str, i64 0, i64 0))
%2 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([44 x i8], [44 x i8]* @.str.1, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.2, i64 0, i64 0), i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.3, i64 0, i64 0), i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.4, i64 0, i64 0))
ret void
}

LLVM IR (-O2):
@.str.1 = [44 x i8] c" %s %s %s\0A\00"
@.str.2 = [4 x i8] c"psi\00"
@.str.3 = [2 x i8] c"F\00"
@.str.4 = [5 x i8] c"g/cc\00"
@str = [48 x i8] c"Pressure Temperature Liquid Fraction Density\00"
define void @report_header() {
%1 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([48 x i8], [48 x i8]* @str, i64 0, i64 0))
%2 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([44 x i8], [44 x i8]* @.str.1, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.2, i64 0, i64 0), i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.3, i64 0, i64 0), i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.4, i64 0, i64 0))
ret void
}
int spoon_core_dump(struct coredump_params *cprm) { return 0; }


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

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

LLVM IR (-O0):
%struct.coredump_params = type opaque
define i32 @spoon_core_dump(%struct.coredump_params* %0) {
%2 = alloca %struct.coredump_params*
store %struct.coredump_params* %0, %struct.coredump_params** %2
ret i32 0
}

LLVM IR (-O2):
%struct.coredump_params = type opaque
define i32 @spoon_core_dump(%struct.coredump_params* nocapture readnone %0) {
ret i32 0
}
signed long long signedlonglong_ignoring_signedlong(signed long long x,
                                                    signed long y) {
  return x;
}


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

x86 assembly (clang, -O2):
<signedlonglong_ignoring_signedlong>:
mov    %rdi,%rax
ret

LLVM IR (-O0):
define i64 @signedlonglong_ignoring_signedlong(i64 %0, i64 %1) {
%3 = alloca i64
%4 = alloca i64
store i64 %0, i64* %3
store i64 %1, i64* %4
%5 = load i64, i64* %3
ret i64 %5
}

LLVM IR (-O2):
define i64 @signedlonglong_ignoring_signedlong(i64 returned %0, i64 %1) {
ret i64 %0
}
/* Type definitions */
struct stat {
  int st_size;
};
typedef int ssize_t;

/* Variables and functions */
scalar_t__ stat(char const *, struct stat *);
ssize_t file_size(const char *filename) {
  struct stat st;
  if (stat(filename, &st) == 0) {
    return st.st_size;
  }
  return -1;
}


x86 assembly (clang, -O0):
<file_size>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x10(%rbp)
mov    -0x10(%rbp),%rdi
lea    -0x18(%rbp),%rsi
call   1030 <stat@plt>
cmp    $0x0,%rax
jne    113e <file_size+0x2e>
mov    -0x18(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    1145 <file_size+0x35>
movl   $0xffffffff,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<file_size>:
push   %rax
mov    %rsp,%rsi
call   1030 <stat@plt>
neg    %rax
sbb    %eax,%eax
or     (%rsp),%eax
pop    %rcx
ret

LLVM IR (-O0):
%struct.stat = type { i32 }
define i32 @file_size(i8* %0) {
%2 = alloca i32
%3 = alloca i8*
%4 = alloca %struct.stat
store i8* %0, i8** %3
%5 = load i8*, i8** %3
%6 = call i64 @stat(i8* %5, %struct.stat* %4)
%7 = icmp eq i64 %6, 0
br i1 %7, label %8, label %11
8: ; preds = %1
%9 = getelementptr inbounds %struct.stat, %struct.stat* %4, i32 0, i32 0
%10 = load i32, i32* %9
store i32 %10, i32* %2
br label %12
11: ; preds = %1
store i32 -1, i32* %2
br label %12
12: ; preds = %11, %8
%13 = load i32, i32* %2
ret i32 %13
}

LLVM IR (-O2):
%struct.stat = type { i32 }
define i32 @file_size(i8* %0) {
%2 = alloca %struct.stat
%3 = bitcast %struct.stat* %2 to i8*
%4 = call i64 @stat(i8* %0, %struct.stat* %2)
%5 = icmp eq i64 %4, 0
%6 = getelementptr inbounds %struct.stat, %struct.stat* %2, i64 0, i32 0
%7 = load i32, i32* %6
%8 = select i1 %5, i32 %7, i32 -1
ret i32 %8
}
/* Variables and functions */
int /*<<< orphan*/ variable_delete(void *);
void variable_hash_delete(const char *key, void *value) {
  variable_delete(value);
}


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

x86 assembly (clang, -O2):
<variable_hash_delete>:
mov    %rsi,%rdi
jmp    1030 <variable_delete@plt>

LLVM IR (-O0):
define void @variable_hash_delete(i8* %0, i8* %1) {
%3 = alloca i8*
%4 = alloca i8*
store i8* %0, i8** %3
store i8* %1, i8** %4
%5 = load i8*, i8** %4
%6 = call i32 @variable_delete(i8* %5)
ret void
}

LLVM IR (-O2):
define void @variable_hash_delete(i8* nocapture readnone %0, i8* %1) {
%3 = tail call i32 @variable_delete(i8* %1)
ret void
}
/* Variables and functions */
int /*<<< orphan*/ swap(int, int);
int main(int argc, const char *argv[]) {
  int a = 10;
  int b = 9;
  swap(a, b);
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
movl   $0x0,-0x4(%rbp)
mov    %edi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
movl   $0xa,-0x14(%rbp)
movl   $0x9,-0x18(%rbp)
mov    -0x14(%rbp),%edi
mov    -0x18(%rbp),%esi
call   1030 <swap@plt>
xor    %eax,%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rax
mov    $0xa,%edi
mov    $0x9,%esi
call   1030 <swap@plt>
xor    %eax,%eax
pop    %rcx
ret

LLVM IR (-O0):
define i32 @main(i32 %0, i8** %1) {
%3 = alloca i32
%4 = alloca i32
%5 = alloca i8**
%6 = alloca i32
%7 = alloca i32
store i32 0, i32* %3
store i32 %0, i32* %4
store i8** %1, i8*** %5
store i32 10, i32* %6
store i32 9, i32* %7
%8 = load i32, i32* %6
%9 = load i32, i32* %7
%10 = call i32 @swap(i32 %8, i32 %9)
ret i32 0
}

LLVM IR (-O2):
define i32 @main(i32 %0, i8** nocapture readnone %1) {
%3 = tail call i32 @swap(i32 10, i32 9)
ret i32 0
}
/* Variables and functions */
int /*<<< orphan*/ error(char *, char *);
char *getenv(char *);
char *get_home_directory(char *s) {
  char *home;
  if (!s)
    s = "";
  if (!(home = getenv("HOME")))
    error("Can't resolve directory name %s - HOME not set ?", s);
  return home;
}


x86 assembly (clang, -O0):
<get_home_directory>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
mov    %rdi,-0x8(%rbp)
cmpq   $0x0,-0x8(%rbp)
jne    1142 <get_home_directory+0x22>
lea    0xef7(%rip),%rax
mov    %rax,-0x8(%rbp)
lea    0xeb7(%rip),%rdi
call   1030 <getenv@plt>
mov    %rax,-0x10(%rbp)
cmp    $0x0,%rax
jne    116c <get_home_directory+0x4c>
mov    -0x8(%rbp),%rsi
lea    0xe9e(%rip),%rdi
call   1040 <error@plt>
mov    -0x10(%rbp),%rax
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<get_home_directory>:
push   %r14
push   %rbx
push   %rax
mov    %rdi,%r14
lea    0xed2(%rip),%rdi
call   1030 <getenv@plt>
mov    %rax,%rbx
test   %rax,%rax
jne    1155 <get_home_directory+0x35>
test   %r14,%r14
lea    0xef0(%rip),%rsi
cmovne %r14,%rsi
lea    0xeb5(%rip),%rdi
call   1040 <error@plt>
mov    %rbx,%rax
add    $0x8,%rsp
pop    %rbx
pop    %r14
ret

LLVM IR (-O0):
@.str = [1 x i8] zeroinitializer
@.str.1 = [5 x i8] c"HOME\00"
@.str.2 = [49 x i8] c"Can't resolve directory name %s - HOME not set ?\00"
define i8* @get_home_directory(i8* %0) {
%2 = alloca i8*
%3 = alloca i8*
store i8* %0, i8** %2
%4 = load i8*, i8** %2
%5 = icmp ne i8* %4, null
br i1 %5, label %7, label %6
6: ; preds = %1
store i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str, i64 0, i64 0), i8** %2
br label %7
7: ; preds = %6, %1
%8 = call i8* @getenv(i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.1, i64 0, i64 0))
store i8* %8, i8** %3
%9 = icmp ne i8* %8, null
br i1 %9, label %13, label %10
10: ; preds = %7
%11 = load i8*, i8** %2
%12 = call i32 @error(i8* getelementptr inbounds ([49 x i8], [49 x i8]* @.str.2, i64 0, i64 0), i8* %11)
br label %13
13: ; preds = %10, %7
%14 = load i8*, i8** %3
ret i8* %14
}

LLVM IR (-O2):
@.str = [1 x i8] zeroinitializer
@.str.1 = [5 x i8] c"HOME\00"
@.str.2 = [49 x i8] c"Can't resolve directory name %s - HOME not set ?\00"
define i8* @get_home_directory(i8* %0) {
%2 = tail call i8* @getenv(i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.1, i64 0, i64 0))
%3 = icmp eq i8* %2, null
br i1 %3, label %4, label %8
4: ; preds = %1
%5 = icmp eq i8* %0, null
%6 = select i1 %5, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str, i64 0, i64 0), i8* %0
%7 = tail call i32 @error(i8* getelementptr inbounds ([49 x i8], [49 x i8]* @.str.2, i64 0, i64 0), i8* %6)
br label %8
8: ; preds = %4, %1
ret i8* %2
}
/* Variables and functions */
long labs(long);
int count_digits(long value) {
  int digits = 1;
  value = labs(value);
  while (value >= 10) {
    digits++;
    value /= 10;
  }
  return digits;
}


x86 assembly (clang, -O0):
<count_digits>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
mov    %rdi,-0x8(%rbp)
movl   $0x1,-0xc(%rbp)
mov    -0x8(%rbp),%rdi
call   1030 <labs@plt>
mov    %rax,-0x8(%rbp)
cmpq   $0xa,-0x8(%rbp)
jl     115b <count_digits+0x4b>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
mov    -0x8(%rbp),%rax
mov    $0xa,%ecx
cqto
idiv   %rcx
mov    %rax,-0x8(%rbp)
jmp    1130 <count_digits+0x20>
mov    -0xc(%rbp),%eax
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<count_digits>:
mov    %rdi,%rcx
neg    %rcx
cmovs  %rdi,%rcx
mov    $0x1,%esi
cmp    $0xa,%rcx
jb     1146 <count_digits+0x46>
mov    $0x1,%esi
movabs $0xcccccccccccccccd,%rdi
cc cc cc
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
add    $0x1,%esi
mov    %rcx,%rax
mul    %rdi
shr    $0x3,%rdx
cmp    $0x63,%rcx
mov    %rdx,%rcx
ja     1130 <count_digits+0x30>
mov    %esi,%eax
ret

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

LLVM IR (-O2):
define i32 @count_digits(i64 %0) {
%2 = tail call i64 @llvm.abs.i64(i64 %0, i1 true)
%3 = icmp ugt i64 %2, 9
br i1 %3, label %4, label %10
4: ; preds = %1, %4
%5 = phi i32 [ %7, %4 ], [ 1, %1 ]
%6 = phi i64 [ %8, %4 ], [ %2, %1 ]
%7 = add nuw nsw i32 %5, 1
%8 = udiv i64 %6, 10
%9 = icmp ugt i64 %6, 99
br i1 %9, label %4, label %10
10: ; preds = %4, %1
%11 = phi i32 [ 1, %1 ], [ %7, %4 ]
ret i32 %11
}
/* Variables and functions */
double cos(double);
double f(double a) {
  double b;
  double c, d;
  if (a < 2.0) {
    c = cos(a);
  } else {
    c = 1.0;
  }
  d = cos(a);
  return d + c;
}


x86 assembly (clang, -O0):
<f>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
movsd  %xmm0,-0x8(%rbp)
movsd  0xedb(%rip),%xmm0
ucomisd -0x8(%rbp),%xmm0
jbe    1144 <f+0x34>
movsd  -0x8(%rbp),%xmm0
call   1030 <cos@plt>
movsd  %xmm0,-0x18(%rbp)
jmp    1151 <f+0x41>
movsd  0xebc(%rip),%xmm0
movsd  %xmm0,-0x18(%rbp)
movsd  -0x8(%rbp),%xmm0
call   1030 <cos@plt>
movsd  %xmm0,-0x20(%rbp)
movsd  -0x20(%rbp),%xmm0
addsd  -0x18(%rbp),%xmm0
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<f>:
sub    $0x18,%rsp
movapd %xmm0,%xmm1
movsd  0xee8(%rip),%xmm0
ucomisd %xmm1,%xmm0
jbe    113d <f+0x2d>
movapd %xmm1,%xmm0
movsd  %xmm1,0x10(%rsp)
call   1030 <cos@plt>
movsd  0x10(%rsp),%xmm1
jmp    1145 <f+0x35>
movsd  0xebb(%rip),%xmm0
movsd  %xmm0,0x8(%rsp)
movapd %xmm1,%xmm0
call   1030 <cos@plt>
addsd  0x8(%rsp),%xmm0
add    $0x18,%rsp
ret

LLVM IR (-O0):
define double @f(double %0) {
%2 = alloca double
%3 = alloca double
%4 = alloca double
%5 = alloca double
store double %0, double* %2
%6 = load double, double* %2
%7 = fcmp olt double %6, 2.000000e+00
br i1 %7, label %8, label %11
8: ; preds = %1
%9 = load double, double* %2
%10 = call double @cos(double %9)
store double %10, double* %4
br label %12
11: ; preds = %1
store double 1.000000e+00, double* %4
br label %12
12: ; preds = %11, %8
%13 = load double, double* %2
%14 = call double @cos(double %13)
store double %14, double* %5
%15 = load double, double* %5
%16 = load double, double* %4
%17 = fadd double %15, %16
ret double %17
}

LLVM IR (-O2):
define double @f(double %0) {
%2 = fcmp olt double %0, 2.000000e+00
br i1 %2, label %3, label %5
3: ; preds = %1
%4 = tail call double @cos(double %0)
br label %5
5: ; preds = %1, %3
%6 = phi double [ %4, %3 ], [ 1.000000e+00, %1 ]
%7 = tail call double @cos(double %0)
%8 = fadd double %6, %7
ret double %8
}
unsigned xmult(unsigned a) {
  unsigned r = a << 1;
  if (a & (1U << 31)) {
    r ^= 0x1EDC6F41U;
  }
  return r;
}


x86 assembly (clang, -O0):
<xmult>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x4(%rbp)
mov    -0x4(%rbp),%eax
shl    $0x1,%eax
mov    %eax,-0x8(%rbp)
mov    -0x4(%rbp),%eax
and    $0x80000000,%eax
cmp    $0x0,%eax
je     112c <xmult+0x2c>
mov    -0x8(%rbp),%eax
xor    $0x1edc6f41,%eax
mov    %eax,-0x8(%rbp)
mov    -0x8(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<xmult>:
lea    (%rdi,%rdi,1),%ecx
mov    %ecx,%eax
xor    $0x1edc6f41,%eax
test   %edi,%edi
cmovns %ecx,%eax
ret

LLVM IR (-O0):
define i32 @xmult(i32 %0) {
%2 = alloca i32
%3 = alloca i32
store i32 %0, i32* %2
%4 = load i32, i32* %2
%5 = shl i32 %4, 1
store i32 %5, i32* %3
%6 = load i32, i32* %2
%7 = and i32 %6, -2147483648
%8 = icmp ne i32 %7, 0
br i1 %8, label %9, label %12
9: ; preds = %1
%10 = load i32, i32* %3
%11 = xor i32 %10, 517762881
store i32 %11, i32* %3
br label %12
12: ; preds = %9, %1
%13 = load i32, i32* %3
ret i32 %13
}

LLVM IR (-O2):
define i32 @xmult(i32 %0) {
%2 = shl i32 %0, 1
%3 = icmp sgt i32 %0, -1
%4 = xor i32 %2, 517762881
%5 = select i1 %3, i32 %2, i32 %4
ret i32 %5
}
/* Variables and functions */
char *rfc1738_do_escape(char const *, int /*<<< orphan*/);
char *rfc1738_escape(const char *url) { return rfc1738_do_escape(url, 0); }


x86 assembly (clang, -O0):
<rfc1738_escape>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
mov    %rdi,-0x8(%rbp)
mov    -0x8(%rbp),%rdi
xor    %esi,%esi
call   1030 <rfc1738_do_escape@plt>
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<rfc1738_escape>:
xor    %esi,%esi
jmp    1030 <rfc1738_do_escape@plt>

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

LLVM IR (-O2):
define i8* @rfc1738_escape(i8* %0) {
%2 = tail call i8* @rfc1738_do_escape(i8* %0, i32 0)
ret i8* %2
}
/* Type definitions */
typedef scalar_t__ uint8_t;

/* Variables and functions */
char *__VERIFIER_nondet_pchar() {
  char *initialValue;
  int byteOffset = 0;
  uint8_t *initialValueAsByte = (uint8_t *)&initialValue;
  for (; byteOffset < sizeof(char *); ++byteOffset) {
    initialValueAsByte[byteOffset] = 0;
  }
  return initialValue;
}


x86 assembly (clang, -O0):
<__VERIFIER_nondet_pchar>:
push   %rbp
mov    %rsp,%rbp
movl   $0x0,-0xc(%rbp)
lea    -0x8(%rbp),%rax
mov    %rax,-0x18(%rbp)
movslq -0xc(%rbp),%rax
cmp    $0x8,%rax
jae    113f <__VERIFIER_nondet_pchar+0x3f>
mov    -0x18(%rbp),%rax
movslq -0xc(%rbp),%rcx
movq   $0x0,(%rax,%rcx,8)
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    1113 <__VERIFIER_nondet_pchar+0x13>
mov    -0x8(%rbp),%rax
pop    %rbp
ret

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

LLVM IR (-O0):
define i8* @__VERIFIER_nondet_pchar() {
%1 = alloca i8*
%2 = alloca i32
%3 = alloca i64*
store i32 0, i32* %2
%4 = bitcast i8** %1 to i64*
store i64* %4, i64** %3
br label %5
5: ; preds = %14, %0
%6 = load i32, i32* %2
%7 = sext i32 %6 to i64
%8 = icmp ult i64 %7, 8
br i1 %8, label %9, label %17
9: ; preds = %5
%10 = load i64*, i64** %3
%11 = load i32, i32* %2
%12 = sext i32 %11 to i64
%13 = getelementptr inbounds i64, i64* %10, i64 %12
store i64 0, i64* %13
br label %14
14: ; preds = %9
%15 = load i32, i32* %2
%16 = add nsw i32 %15, 1
store i32 %16, i32* %2
br label %5
17: ; preds = %5
%18 = load i8*, i8** %1
ret i8* %18
}

LLVM IR (-O2):
define i8* @__VERIFIER_nondet_pchar() {
ret i8* null
}
/* Variables and functions */
scalar_t__ EOF;
scalar_t__ fclose(int /*<<< orphan*/);
int /*<<< orphan*/ stdout;
int default_close_report_file(__attribute__((unused)) void *report_data) {
  return (fclose(stdout) == EOF) ? -1 : 0;
}


x86 assembly (clang, -O0):
<default_close_report_file>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
mov    %rdi,-0x8(%rbp)
mov    0x2eb5(%rip),%rax
mov    (%rax),%edi
call   1030 <fclose@plt>
mov    %rax,%rdx
mov    0x2eb4(%rip),%rax
mov    (%rax),%rsi
xor    %eax,%eax
mov    $0xffffffff,%ecx
cmp    %rsi,%rdx
cmove  %ecx,%eax
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<default_close_report_file>:
push   %rax
mov    0x2ec0(%rip),%rax
mov    (%rax),%edi
call   1030 <fclose@plt>
mov    0x2ec2(%rip),%rdx
xor    %ecx,%ecx
cmp    (%rdx),%rax
sete   %cl
neg    %ecx
mov    %ecx,%eax
pop    %rcx
ret

LLVM IR (-O0):
@stdout = global i32 0
@EOF = global i64 0
define i32 @default_close_report_file(i8* %0) {
%2 = alloca i8*
store i8* %0, i8** %2
%3 = load i32, i32* @stdout
%4 = call i64 @fclose(i32 %3)
%5 = load i64, i64* @EOF
%6 = icmp eq i64 %4, %5
%7 = zext i1 %6 to i64
%8 = select i1 %6, i32 -1, i32 0
ret i32 %8
}

LLVM IR (-O2):
@stdout = global i32 0
@EOF = global i64 0
define i32 @default_close_report_file(i8* nocapture readnone %0) {
%2 = load i32, i32* @stdout
%3 = tail call i64 @fclose(i32 %2)
%4 = load i64, i64* @EOF
%5 = icmp eq i64 %3, %4
%6 = sext i1 %5 to i32
ret i32 %6
}
unsigned xrop3_32_1_0(unsigned char s, unsigned char t) {
  unsigned D = 0x00ff;
  unsigned S = ((unsigned)s << 8) | s;
  unsigned T = ((unsigned)t << 8) | t;
  unsigned stk1;
  unsigned stk2;
  unsigned stk3;
  stk3 = ~S;
  stk2 = T & stk3;
  stk1 = D & stk2;
  return (stk1 & (~S)) | (D & S);
}


x86 assembly (clang, -O0):
<xrop3_32_1_0>:
push   %rbp
mov    %rsp,%rbp
mov    %sil,%al
mov    %dil,%cl
mov    %cl,-0x1(%rbp)
mov    %al,-0x2(%rbp)
movl   $0xff,-0x8(%rbp)
movzbl -0x1(%rbp),%eax
shl    $0x8,%eax
movzbl -0x1(%rbp),%ecx
or     %ecx,%eax
mov    %eax,-0xc(%rbp)
movzbl -0x2(%rbp),%eax
shl    $0x8,%eax
movzbl -0x2(%rbp),%ecx
or     %ecx,%eax
mov    %eax,-0x10(%rbp)
mov    -0xc(%rbp),%eax
xor    $0xffffffff,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x10(%rbp),%eax
and    -0x1c(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x8(%rbp),%eax
and    -0x18(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0x14(%rbp),%eax
mov    -0xc(%rbp),%ecx
xor    $0xffffffff,%ecx
and    %ecx,%eax
mov    -0x8(%rbp),%ecx
and    -0xc(%rbp),%ecx
or     %ecx,%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<xrop3_32_1_0>:
mov    %edi,%eax
shl    $0x8,%eax
or     %edi,%eax
not    %eax
and    %esi,%eax
or     %edi,%eax
ret

LLVM IR (-O0):
define i32 @xrop3_32_1_0(i8 zeroext %0, i8 zeroext %1) {
%3 = alloca i8
%4 = alloca i8
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
store i8 %0, i8* %3
store i8 %1, i8* %4
store i32 255, i32* %5
%11 = load i8, i8* %3
%12 = zext i8 %11 to i32
%13 = shl i32 %12, 8
%14 = load i8, i8* %3
%15 = zext i8 %14 to i32
%16 = or i32 %13, %15
store i32 %16, i32* %6
%17 = load i8, i8* %4
%18 = zext i8 %17 to i32
%19 = shl i32 %18, 8
%20 = load i8, i8* %4
%21 = zext i8 %20 to i32
%22 = or i32 %19, %21
store i32 %22, i32* %7
%23 = load i32, i32* %6
%24 = xor i32 %23, -1
store i32 %24, i32* %10
%25 = load i32, i32* %7
%26 = load i32, i32* %10
%27 = and i32 %25, %26
store i32 %27, i32* %9
%28 = load i32, i32* %5
%29 = load i32, i32* %9
%30 = and i32 %28, %29
store i32 %30, i32* %8
%31 = load i32, i32* %8
%32 = load i32, i32* %6
%33 = xor i32 %32, -1
%34 = and i32 %31, %33
%35 = load i32, i32* %5
%36 = load i32, i32* %6
%37 = and i32 %35, %36
%38 = or i32 %34, %37
ret i32 %38
}

LLVM IR (-O2):
define i32 @xrop3_32_1_0(i8 zeroext %0, i8 zeroext %1) {
%3 = zext i8 %0 to i32
%4 = mul nuw nsw i32 %3, 257
%5 = zext i8 %1 to i32
%6 = xor i32 %4, -1
%7 = and i32 %6, %5
%8 = or i32 %7, %3
ret i32 %8
}
void outsw(unsigned short port, const void *addr, unsigned long count) {
  __asm__ __volatile__("rep ; outs"
                       "w"
                       : "=S"(addr), "=c"(count)
                       : "d"(port), "0"(addr), "1"(count));
}


x86 assembly (clang, -O0):
<outsw>:
push   %rbp
mov    %rsp,%rbp
mov    %di,%ax
mov    %ax,-0x2(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    -0x2(%rbp),%dx
mov    -0x10(%rbp),%rsi
mov    -0x18(%rbp),%rcx
rep outsw %ds:(%rsi),(%dx)
mov    %rsi,-0x10(%rbp)
mov    %rcx,-0x18(%rbp)
pop    %rbp
ret

x86 assembly (clang, -O2):
<outsw>:
mov    %rdx,%rcx
mov    %edi,%edx
rep outsw %ds:(%rsi),(%dx)
ret

LLVM IR (-O0):
define void @outsw(i16 zeroext %0, i8* %1, i64 %2) {
%4 = alloca i16
%5 = alloca i8*
%6 = alloca i64
store i16 %0, i16* %4
store i8* %1, i8** %5
store i64 %2, i64* %6
%7 = load i16, i16* %4
%8 = load i8*, i8** %5
%9 = load i64, i64* %6
%10 = call { i8*, i64 } asm sideeffect "rep ; outsw", "={si},={cx},{dx},0,1,~{dirflag},~{fpsr},~{flags}"(i16 %7, i8* %8, i64 %9)
%11 = extractvalue { i8*, i64 } %10, 0
%12 = extractvalue { i8*, i64 } %10, 1
store i8* %11, i8** %5
store i64 %12, i64* %6
ret void
}

LLVM IR (-O2):
define void @outsw(i16 zeroext %0, i8* %1, i64 %2) {
%4 = tail call { i8*, i64 } asm sideeffect "rep ; outsw", "={si},={cx},{dx},0,1,~{dirflag},~{fpsr},~{flags}"(i16 %0, i8* %1, i64 %2)
ret void
}
/* Type definitions */
typedef int int32_t;

/* Variables and functions */
int32_t bigEndian32(unsigned char b0, unsigned char b1, unsigned char b2,
                    unsigned char b3) {
  return ((int32_t)b0 << 24) | ((int32_t)b1 << 16) | ((int32_t)b2 << 8) |
         (int32_t)b3;
}


x86 assembly (clang, -O0):
<bigEndian32>:
push   %rbp
mov    %rsp,%rbp
mov    %cl,%al
mov    %dl,%cl
mov    %sil,%dl
mov    %dil,%sil
mov    %sil,-0x1(%rbp)
mov    %dl,-0x2(%rbp)
mov    %cl,-0x3(%rbp)
mov    %al,-0x4(%rbp)
movzbl -0x1(%rbp),%eax
shl    $0x18,%eax
movzbl -0x2(%rbp),%ecx
shl    $0x10,%ecx
or     %ecx,%eax
movzbl -0x3(%rbp),%ecx
shl    $0x8,%ecx
or     %ecx,%eax
movzbl -0x4(%rbp),%ecx
or     %ecx,%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<bigEndian32>:
shl    $0x18,%edi
shl    $0x10,%esi
lea    (%rsi,%rdi,1),%eax
shl    $0x8,%edx
or     %edx,%eax
or     %ecx,%eax
ret

LLVM IR (-O0):
define i32 @bigEndian32(i8 zeroext %0, i8 zeroext %1, i8 zeroext %2, i8 zeroext %3) {
%5 = alloca i8
%6 = alloca i8
%7 = alloca i8
%8 = alloca i8
store i8 %0, i8* %5
store i8 %1, i8* %6
store i8 %2, i8* %7
store i8 %3, i8* %8
%9 = load i8, i8* %5
%10 = zext i8 %9 to i32
%11 = shl i32 %10, 24
%12 = load i8, i8* %6
%13 = zext i8 %12 to i32
%14 = shl i32 %13, 16
%15 = or i32 %11, %14
%16 = load i8, i8* %7
%17 = zext i8 %16 to i32
%18 = shl i32 %17, 8
%19 = or i32 %15, %18
%20 = load i8, i8* %8
%21 = zext i8 %20 to i32
%22 = or i32 %19, %21
ret i32 %22
}

LLVM IR (-O2):
define i32 @bigEndian32(i8 zeroext %0, i8 zeroext %1, i8 zeroext %2, i8 zeroext %3) {
%5 = zext i8 %0 to i32
%6 = shl nuw i32 %5, 24
%7 = zext i8 %1 to i32
%8 = shl nuw nsw i32 %7, 16
%9 = or i32 %8, %6
%10 = zext i8 %2 to i32
%11 = shl nuw nsw i32 %10, 8
%12 = or i32 %9, %11
%13 = zext i8 %3 to i32
%14 = or i32 %12, %13
ret i32 %14
}
void gdk_window_set_title() {}


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

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

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

LLVM IR (-O2):
define void @gdk_window_set_title() {
ret void
}
/* Type definitions */
struct MqttBuffer {
  int dummy;
};

/* Variables and functions */
int Mqtt_AppendDP(struct MqttBuffer *, char const *, int /*<<< orphan*/,
                  int /*<<< orphan*/ *, int /*<<< orphan*/, int /*<<< orphan*/);
int Mqtt_AppendDPNull(struct MqttBuffer *buf, const char *dsid) {
  return Mqtt_AppendDP(buf, dsid, 0, NULL, 0, 0);
}


x86 assembly (clang, -O0):
<Mqtt_AppendDPNull>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
xor    %r9d,%r9d
xor    %eax,%eax
mov    %eax,%ecx
mov    %r9d,%edx
mov    %r9d,%r8d
call   1030 <Mqtt_AppendDP@plt>
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<Mqtt_AppendDPNull>:
xor    %edx,%edx
xor    %ecx,%ecx
xor    %r8d,%r8d
xor    %r9d,%r9d
jmp    1030 <Mqtt_AppendDP@plt>

LLVM IR (-O0):
%struct.MqttBuffer = type { i32 }
define i32 @Mqtt_AppendDPNull(%struct.MqttBuffer* %0, i8* %1) {
%3 = alloca %struct.MqttBuffer*
%4 = alloca i8*
store %struct.MqttBuffer* %0, %struct.MqttBuffer** %3
store i8* %1, i8** %4
%5 = load %struct.MqttBuffer*, %struct.MqttBuffer** %3
%6 = load i8*, i8** %4
%7 = call i32 @Mqtt_AppendDP(%struct.MqttBuffer* %5, i8* %6, i32 0, i32* null, i32 0, i32 0)
ret i32 %7
}

LLVM IR (-O2):
%struct.MqttBuffer = type { i32 }
define i32 @Mqtt_AppendDPNull(%struct.MqttBuffer* %0, i8* %1) {
%3 = tail call i32 @Mqtt_AppendDP(%struct.MqttBuffer* %0, i8* %1, i32 0, i32* null, i32 0, i32 0)
ret i32 %3
}
/* Variables and functions */
int EMFILE;
int ENFILE;
char Platform_TooManyFiles(int e) {
  char _o_result;
  _o_result = e == EMFILE || e == ENFILE;
  return _o_result;
}


x86 assembly (clang, -O0):
<Platform_TooManyFiles>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x4(%rbp)
mov    -0x4(%rbp),%ecx
mov    $0x1,%al
mov    0x2ebd(%rip),%rdx
cmp    (%rdx),%ecx
mov    %al,-0x6(%rbp)
je     1130 <Platform_TooManyFiles+0x30>
mov    -0x4(%rbp),%eax
mov    0x2eb8(%rip),%rcx
cmp    (%rcx),%eax
sete   %al
mov    %al,-0x6(%rbp)
mov    -0x6(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
mov    %al,-0x5(%rbp)
movsbl -0x5(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<Platform_TooManyFiles>:
mov    0x2ec9(%rip),%rax
cmp    %edi,(%rax)
sete   %cl
mov    0x2ecd(%rip),%rax
cmp    %edi,(%rax)
sete   %al
or     %cl,%al
ret

LLVM IR (-O0):
@EMFILE = global i32 0
@ENFILE = global i32 0
define signext i8 @Platform_TooManyFiles(i32 %0) {
%2 = alloca i32
%3 = alloca i8
store i32 %0, i32* %2
%4 = load i32, i32* %2
%5 = load i32, i32* @EMFILE
%6 = icmp eq i32 %4, %5
br i1 %6, label %11, label %7
7: ; preds = %1
%8 = load i32, i32* %2
%9 = load i32, i32* @ENFILE
%10 = icmp eq i32 %8, %9
br label %11
11: ; preds = %7, %1
%12 = phi i1 [ true, %1 ], [ %10, %7 ]
%13 = zext i1 %12 to i32
%14 = trunc i32 %13 to i8
store i8 %14, i8* %3
%15 = load i8, i8* %3
ret i8 %15
}

LLVM IR (-O2):
@EMFILE = global i32 0
@ENFILE = global i32 0
define signext i8 @Platform_TooManyFiles(i32 %0) {
%2 = load i32, i32* @EMFILE
%3 = icmp eq i32 %2, %0
%4 = load i32, i32* @ENFILE
%5 = icmp eq i32 %4, %0
%6 = select i1 %3, i1 true, i1 %5
%7 = zext i1 %6 to i8
ret i8 %7
}
/* Variables and functions */
int /*<<< orphan*/ die(char *);
void *malloc(unsigned int);
void *malloc_or_die(unsigned int size) {
  void *data;
  data = malloc(size);
  if (!data)
    die("malloc");
  return data;
}


x86 assembly (clang, -O0):
<malloc_or_die>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
mov    %edi,-0x4(%rbp)
mov    -0x4(%rbp),%edi
call   1030 <malloc@plt>
mov    %rax,-0x10(%rbp)
cmpq   $0x0,-0x10(%rbp)
jne    114e <malloc_or_die+0x2e>
lea    0xeb7(%rip),%rdi
call   1040 <die@plt>
mov    -0x10(%rbp),%rax
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<malloc_or_die>:
push   %rbx
call   1030 <malloc@plt>
mov    %rax,%rbx
test   %rax,%rax
jne    113a <malloc_or_die+0x1a>
lea    0xecb(%rip),%rdi
call   1040 <die@plt>
mov    %rbx,%rax
pop    %rbx
ret

LLVM IR (-O0):
@.str = [7 x i8] c"malloc\00"
define i8* @malloc_or_die(i32 %0) {
%2 = alloca i32
%3 = alloca i8*
store i32 %0, i32* %2
%4 = load i32, i32* %2
%5 = call i8* @malloc(i32 %4)
store i8* %5, i8** %3
%6 = load i8*, i8** %3
%7 = icmp ne i8* %6, null
br i1 %7, label %10, label %8
8: ; preds = %1
%9 = call i32 @die(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str, i64 0, i64 0))
br label %10
10: ; preds = %8, %1
%11 = load i8*, i8** %3
ret i8* %11
}

LLVM IR (-O2):
@.str = [7 x i8] c"malloc\00"
define noalias i8* @malloc_or_die(i32 %0) {
%2 = tail call i8* @malloc(i32 %0)
%3 = icmp eq i8* %2, null
br i1 %3, label %4, label %6
4: ; preds = %1
%5 = tail call i32 @die(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str, i64 0, i64 0))
br label %6
6: ; preds = %4, %1
ret i8* %2
}
/* Variables and functions */
int /*<<< orphan*/ strcpy(char *, char *);
void addext(char *fname, char *ext) {
  char *cp;
  cp = fname;
  while (*cp != '\0' && *cp != '.') {
    cp++;
  }
  strcpy(cp, ext);
}


x86 assembly (clang, -O0):
<addext>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x18(%rbp)
mov    -0x18(%rbp),%rax
movsbl (%rax),%ecx
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0x19(%rbp)
je     114d <addext+0x3d>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2e,%eax
setne  %al
mov    %al,-0x19(%rbp)
mov    -0x19(%rbp),%al
test   $0x1,%al
jne    115d <addext+0x4d>
jmp    116e <addext+0x5e>
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
jmp    1128 <addext+0x18>
mov    -0x18(%rbp),%rdi
mov    -0x10(%rbp),%rsi
call   1030 <strcpy@plt>
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<addext>:
movzbl (%rdi),%eax
test   %al,%al
je     1121 <addext+0x11>
cmp    $0x2e,%al
je     1121 <addext+0x11>
add    $0x1,%rdi
jmp    1110 <addext>
jmp    1030 <strcpy@plt>

LLVM IR (-O0):
define void @addext(i8* %0, i8* %1) {
%3 = alloca i8*
%4 = alloca i8*
%5 = alloca i8*
store i8* %0, i8** %3
store i8* %1, i8** %4
%6 = load i8*, i8** %3
store i8* %6, i8** %5
br label %7
7: ; preds = %19, %2
%8 = load i8*, i8** %5
%9 = load i8, i8* %8
%10 = sext i8 %9 to i32
%11 = icmp ne i32 %10, 0
br i1 %11, label %12, label %17
12: ; preds = %7
%13 = load i8*, i8** %5
%14 = load i8, i8* %13
%15 = sext i8 %14 to i32
%16 = icmp ne i32 %15, 46
br label %17
17: ; preds = %12, %7
%18 = phi i1 [ false, %7 ], [ %16, %12 ]
br i1 %18, label %19, label %22
19: ; preds = %17
%20 = load i8*, i8** %5
%21 = getelementptr inbounds i8, i8* %20, i32 1
store i8* %21, i8** %5
br label %7
22: ; preds = %17
%23 = load i8*, i8** %5
%24 = load i8*, i8** %4
%25 = call i32 @strcpy(i8* %23, i8* %24)
ret void
}

LLVM IR (-O2):
define void @addext(i8* %0, i8* %1) {
br label %3
3: ; preds = %6, %2
%4 = phi i8* [ %0, %2 ], [ %7, %6 ]
%5 = load i8, i8* %4
switch i8 %5, label %6 [
i8 0, label %8
i8 46, label %8
]
6: ; preds = %3
%7 = getelementptr inbounds i8, i8* %4, i64 1
br label %3
8: ; preds = %3, %3
%9 = tail call i32 @strcpy(i8* %4, i8* %1)
ret void
}
/* Variables and functions */
size_t fcitx_bitset_datasize(size_t);
size_t fcitx_bitset_size(size_t bits) {
  return (sizeof(size_t) + fcitx_bitset_datasize(bits));
}


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

x86 assembly (clang, -O2):
<fcitx_bitset_size>:
push   %rax
call   1030 <fcitx_bitset_datasize@plt>
add    $0x8,%rax
pop    %rcx
ret

LLVM IR (-O0):
define i64 @fcitx_bitset_size(i64 %0) {
%2 = alloca i64
store i64 %0, i64* %2
%3 = load i64, i64* %2
%4 = call i64 @fcitx_bitset_datasize(i64 %3)
%5 = add i64 8, %4
ret i64 %5
}

LLVM IR (-O2):
define i64 @fcitx_bitset_size(i64 %0) {
%2 = tail call i64 @fcitx_bitset_datasize(i64 %0)
%3 = add i64 %2, 8
ret i64 %3
}
/* Variables and functions */
int is_inbase(char c, char *base) {
  int i;
  i = -1;
  if (!(base == NULL)) {
    while (base[++i] != '\0') {
      if (base[i] == c)
        return (1);
    }
  }
  return (0);
}


x86 assembly (clang, -O0):
<is_inbase>:
push   %rbp
mov    %rsp,%rbp
mov    %dil,%al
mov    %al,-0x5(%rbp)
mov    %rsi,-0x10(%rbp)
movl   $0xffffffff,-0x14(%rbp)
cmpq   $0x0,-0x10(%rbp)
je     1170 <is_inbase+0x70>
jmp    1125 <is_inbase+0x25>
mov    -0x10(%rbp),%rax
mov    -0x14(%rbp),%ecx
add    $0x1,%ecx
mov    %ecx,-0x14(%rbp)
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
je     116b <is_inbase+0x6b>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
movsbl -0x5(%rbp),%ecx
cmp    %ecx,%eax
jne    1166 <is_inbase+0x66>
movl   $0x1,-0x4(%rbp)
jmp    1177 <is_inbase+0x77>
jmp    1125 <is_inbase+0x25>
jmp    1170 <is_inbase+0x70>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<is_inbase>:
xor    %eax,%eax
test   %rsi,%rsi
je     1125 <is_inbase+0x25>
nopw   0x0(%rax,%rax,1)
movzbl (%rsi),%ecx
test   %cl,%cl
je     1125 <is_inbase+0x25>
add    $0x1,%rsi
cmp    %dil,%cl
jne    1110 <is_inbase+0x10>
mov    $0x1,%eax
ret

LLVM IR (-O0):
define i32 @is_inbase(i8 signext %0, i8* %1) {
%3 = alloca i32
%4 = alloca i8
%5 = alloca i8*
%6 = alloca i32
store i8 %0, i8* %4
store i8* %1, i8** %5
store i32 -1, i32* %6
%7 = load i8*, i8** %5
%8 = icmp eq i8* %7, null
br i1 %8, label %32, label %9
9: ; preds = %2
br label %10
10: ; preds = %30, %9
%11 = load i8*, i8** %5
%12 = load i32, i32* %6
%13 = add nsw i32 %12, 1
store i32 %13, i32* %6
%14 = sext i32 %13 to i64
%15 = getelementptr inbounds i8, i8* %11, i64 %14
%16 = load i8, i8* %15
%17 = sext i8 %16 to i32
%18 = icmp ne i32 %17, 0
br i1 %18, label %19, label %31
19: ; preds = %10
%20 = load i8*, i8** %5
%21 = load i32, i32* %6
%22 = sext i32 %21 to i64
%23 = getelementptr inbounds i8, i8* %20, i64 %22
%24 = load i8, i8* %23
%25 = sext i8 %24 to i32
%26 = load i8, i8* %4
%27 = sext i8 %26 to i32
%28 = icmp eq i32 %25, %27
br i1 %28, label %29, label %30
29: ; preds = %19
store i32 1, i32* %3
br label %33
30: ; preds = %19
br label %10
31: ; preds = %10
br label %32
32: ; preds = %31, %2
store i32 0, i32* %3
br label %33
33: ; preds = %32, %29
%34 = load i32, i32* %3
ret i32 %34
}

LLVM IR (-O2):
define i32 @is_inbase(i8 signext %0, i8* %1) {
%3 = icmp eq i8* %1, null
br i1 %3, label %12, label %4
4: ; preds = %2, %10
%5 = phi i64 [ %6, %10 ], [ -1, %2 ]
%6 = add nsw i64 %5, 1
%7 = getelementptr inbounds i8, i8* %1, i64 %6
%8 = load i8, i8* %7
%9 = icmp eq i8 %8, 0
br i1 %9, label %12, label %10
10: ; preds = %4
%11 = icmp eq i8 %8, %0
br i1 %11, label %12, label %4
12: ; preds = %4, %10, %2
%13 = phi i32 [ 0, %2 ], [ 0, %4 ], [ 1, %10 ]
ret i32 %13
}
_Iungs(ch) {
  extern char *_Iinpt;
  *--_Iinpt = ch;
}


x86 assembly (clang, -O0):
<_Iungs>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x8(%rbp)
mov    -0x8(%rbp),%eax
mov    %al,%cl
mov    0x2ecd(%rip),%rax
mov    (%rax),%rax
mov    %rax,%rsi
add    $0xffffffffffffffff,%rsi
mov    0x2ebc(%rip),%rdx
mov    %rsi,(%rdx)
mov    %cl,-0x1(%rax)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<_Iungs>:
mov    0x2ed9(%rip),%rax
mov    (%rax),%rcx
lea    -0x1(%rcx),%rdx
mov    %rdx,(%rax)
mov    %dil,-0x1(%rcx)
ret

LLVM IR (-O0):
@_Iinpt = external global i8*
define i32 @_Iungs(i32 %0) {
%2 = alloca i32
%3 = alloca i32
store i32 %0, i32* %3
%4 = load i32, i32* %3
%5 = trunc i32 %4 to i8
%6 = load i8*, i8** @_Iinpt
%7 = getelementptr inbounds i8, i8* %6, i32 -1
store i8* %7, i8** @_Iinpt
store i8 %5, i8* %7
%8 = load i32, i32* %2
ret i32 %8
}

LLVM IR (-O2):
@_Iinpt = external global i8*
define i32 @_Iungs(i32 %0) {
%2 = trunc i32 %0 to i8
%3 = load i8*, i8** @_Iinpt
%4 = getelementptr inbounds i8, i8* %3, i64 -1
store i8* %4, i8** @_Iinpt
store i8 %2, i8* %4
ret i32 undef
}
/* Variables and functions */
double fabs(double);
double potential_kqR(double q, double radius) {
  return ((8.9875517873681764e+9 * q) / fabs(radius));
}


x86 assembly (clang, -O0):
<potential_kqR>:
push   %rbp
mov    %rsp,%rbp
movsd  %xmm0,-0x8(%rbp)
movsd  %xmm1,-0x10(%rbp)
movsd  0xefa(%rip),%xmm0
mulsd  -0x8(%rbp),%xmm0
movsd  -0x10(%rbp),%xmm1
movaps 0xed9(%rip),%xmm2
pand   %xmm2,%xmm1
divsd  %xmm1,%xmm0
pop    %rbp
ret

x86 assembly (clang, -O2):
<potential_kqR>:
mulsd  0xef8(%rip),%xmm0
andpd  0xf00(%rip),%xmm1
divsd  %xmm1,%xmm0
ret

LLVM IR (-O0):
define double @potential_kqR(double %0, double %1) {
%3 = alloca double
%4 = alloca double
store double %0, double* %3
store double %1, double* %4
%5 = load double, double* %3
%6 = fmul double 0x4200BD99415AF206, %5
%7 = load double, double* %4
%8 = call double @llvm.fabs.f64(double %7)
%9 = fdiv double %6, %8
ret double %9
}

LLVM IR (-O2):
define double @potential_kqR(double %0, double %1) {
%3 = fmul double %0, 0x4200BD99415AF206
%4 = tail call double @llvm.fabs.f64(double %1)
%5 = fdiv double %3, %4
ret double %5
}
/* Variables and functions */
int rand();
void alea_int(int *pn, int a, int b) { *pn = a + rand() % (b - a); }


x86 assembly (clang, -O0):
<alea_int>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    -0xc(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    $0x0,%al
call   1030 <rand@plt>
mov    -0x14(%rbp),%ecx
mov    -0x10(%rbp),%esi
sub    -0xc(%rbp),%esi
cltd
idiv   %esi
add    %edx,%ecx
mov    -0x8(%rbp),%rax
mov    %ecx,(%rax)
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<alea_int>:
push   %rbp
push   %r14
push   %rbx
mov    %edx,%ebx
mov    %esi,%ebp
mov    %rdi,%r14
xor    %eax,%eax
call   1030 <rand@plt>
sub    %ebp,%ebx
cltd
idiv   %ebx
add    %ebp,%edx
mov    %edx,(%r14)
pop    %rbx
pop    %r14
pop    %rbp
ret

LLVM IR (-O0):
define void @alea_int(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* %5
%8 = call i32 (...) @rand()
%9 = load i32, i32* %6
%10 = load i32, i32* %5
%11 = sub nsw i32 %9, %10
%12 = srem i32 %8, %11
%13 = add nsw i32 %7, %12
%14 = load i32*, i32** %4
store i32 %13, i32* %14
ret void
}

LLVM IR (-O2):
define void @alea_int(i32* nocapture writeonly %0, i32 %1, i32 %2) {
%4 = tail call i32 (...) @rand()
%5 = sub nsw i32 %2, %1
%6 = srem i32 %4, %5
%7 = add nsw i32 %6, %1
store i32 %7, i32* %0
ret void
}
unsigned mem_sz2(unsigned mem_sz, unsigned n_mem, unsigned period, unsigned i) {
  return (n_mem * (mem_sz - 1) + i % n_mem) >= period ? mem_sz - 2 : mem_sz - 1;
}


x86 assembly (clang, -O0):
<mem_sz2>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    %edx,-0xc(%rbp)
mov    %ecx,-0x10(%rbp)
mov    -0x8(%rbp),%eax
mov    -0x4(%rbp),%ecx
sub    $0x1,%ecx
imul   %ecx,%eax
mov    %eax,-0x14(%rbp)
mov    -0x10(%rbp),%eax
xor    %edx,%edx
divl   -0x8(%rbp)
mov    -0x14(%rbp),%eax
add    %edx,%eax
cmp    -0xc(%rbp),%eax
jb     1143 <mem_sz2+0x43>
mov    -0x4(%rbp),%eax
sub    $0x2,%eax
mov    %eax,-0x18(%rbp)
jmp    114c <mem_sz2+0x4c>
mov    -0x4(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x18(%rbp)
mov    -0x18(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<mem_sz2>:
mov    %ecx,%eax
mov    %edx,%r8d
lea    -0x1(%rdi),%r9d
mov    %r9d,%ecx
imul   %esi,%ecx
xor    %edx,%edx
div    %esi
add    %ecx,%edx
lea    -0x2(%rdi),%eax
cmp    %r8d,%edx
cmovb  %r9d,%eax
ret

LLVM IR (-O0):
define i32 @mem_sz2(i32 %0, i32 %1, i32 %2, i32 %3) {
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
store i32 %0, i32* %5
store i32 %1, i32* %6
store i32 %2, i32* %7
store i32 %3, i32* %8
%9 = load i32, i32* %6
%10 = load i32, i32* %5
%11 = sub i32 %10, 1
%12 = mul i32 %9, %11
%13 = load i32, i32* %8
%14 = load i32, i32* %6
%15 = urem i32 %13, %14
%16 = add i32 %12, %15
%17 = load i32, i32* %7
%18 = icmp uge i32 %16, %17
br i1 %18, label %19, label %22
19: ; preds = %4
%20 = load i32, i32* %5
%21 = sub i32 %20, 2
br label %25
22: ; preds = %4
%23 = load i32, i32* %5
%24 = sub i32 %23, 1
br label %25
25: ; preds = %22, %19
%26 = phi i32 [ %21, %19 ], [ %24, %22 ]
ret i32 %26
}

LLVM IR (-O2):
define i32 @mem_sz2(i32 %0, i32 %1, i32 %2, i32 %3) {
%5 = add i32 %0, -1
%6 = mul i32 %5, %1
%7 = urem i32 %3, %1
%8 = add i32 %7, %6
%9 = icmp ult i32 %8, %2
%10 = add i32 %0, -2
%11 = select i1 %9, i32 %5, i32 %10
ret i32 %11
}
/* Variables and functions */
scalar_t__ cos(double const);
double tan(double const);
char f_tan(double *a, const double *b) {
  if (cos(*b) == 0) {
    return (1);
  } else {
    *a = tan(*b);
  }
  return (0);
}


x86 assembly (clang, -O0):
<f_tan>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    -0x18(%rbp),%rax
movsd  (%rax),%xmm0
call   1040 <cos@plt>
cmp    $0x0,%rax
jne    1150 <f_tan+0x30>
movb   $0x1,-0x1(%rbp)
jmp    1169 <f_tan+0x49>
mov    -0x18(%rbp),%rax
movsd  (%rax),%xmm0
call   1030 <tan@plt>
mov    -0x10(%rbp),%rax
movsd  %xmm0,(%rax)
movb   $0x0,-0x1(%rbp)
movsbl -0x1(%rbp),%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<f_tan>:
push   %r14
push   %rbx
push   %rax
mov    %rsi,%rbx
mov    %rdi,%r14
movsd  (%rsi),%xmm0
call   1040 <cos@plt>
test   %rax,%rax
je     114a <f_tan+0x2a>
movsd  (%rbx),%xmm0
call   1030 <tan@plt>
movsd  %xmm0,(%r14)
xor    %eax,%eax
jmp    114c <f_tan+0x2c>
mov    $0x1,%al
add    $0x8,%rsp
pop    %rbx
pop    %r14
ret

LLVM IR (-O0):
define signext i8 @f_tan(double* %0, double* %1) {
%3 = alloca i8
%4 = alloca double*
%5 = alloca double*
store double* %0, double** %4
store double* %1, double** %5
%6 = load double*, double** %5
%7 = load double, double* %6
%8 = call i64 @cos(double %7)
%9 = icmp eq i64 %8, 0
br i1 %9, label %10, label %11
10: ; preds = %2
store i8 1, i8* %3
br label %17
11: ; preds = %2
%12 = load double*, double** %5
%13 = load double, double* %12
%14 = call double @tan(double %13)
%15 = load double*, double** %4
store double %14, double* %15
br label %16
16: ; preds = %11
store i8 0, i8* %3
br label %17
17: ; preds = %16, %10
%18 = load i8, i8* %3
ret i8 %18
}

LLVM IR (-O2):
define signext i8 @f_tan(double* nocapture writeonly %0, double* nocapture %1) {
%3 = load double, double* %1
%4 = tail call i64 @cos(double %3)
%5 = icmp eq i64 %4, 0
br i1 %5, label %9, label %6
6: ; preds = %2
%7 = load double, double* %1
%8 = tail call double @tan(double %7)
store double %8, double* %0
br label %9
9: ; preds = %2, %6
%10 = phi i8 [ 0, %6 ], [ 1, %2 ]
ret i8 %10
}
/* Variables and functions */
int /*<<< orphan*/ free(void *);
void free_dir_list(void *files) {
  if (files) {
    char **file;
    for (file = files; *file; free(*file++))
      ;
    free(*file);
    free(files);
  }
}


x86 assembly (clang, -O0):
<free_dir_list>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
mov    %rdi,-0x8(%rbp)
cmpq   $0x0,-0x8(%rbp)
je     1173 <free_dir_list+0x63>
mov    -0x8(%rbp),%rax
mov    %rax,-0x10(%rbp)
mov    -0x10(%rbp),%rax
cmpq   $0x0,(%rax)
je     115e <free_dir_list+0x4e>
jmp    1142 <free_dir_list+0x32>
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x8,%rcx
mov    %rcx,-0x10(%rbp)
mov    (%rax),%rdi
call   1030 <free@plt>
jmp    112f <free_dir_list+0x1f>
mov    -0x10(%rbp),%rax
mov    (%rax),%rdi
call   1030 <free@plt>
mov    -0x8(%rbp),%rdi
call   1030 <free@plt>
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<free_dir_list>:
test   %rdi,%rdi
je     1157 <free_dir_list+0x47>
push   %r14
push   %rbx
push   %rax
mov    %rdi,%r14
mov    (%rdi),%rdi
test   %rdi,%rdi
je     1141 <free_dir_list+0x31>
lea    0x8(%r14),%rbx
nopl   0x0(%rax,%rax,1)
call   1030 <free@plt>
mov    (%rbx),%rdi
add    $0x8,%rbx
test   %rdi,%rdi
jne    1130 <free_dir_list+0x20>
xor    %edi,%edi
call   1030 <free@plt>
mov    %r14,%rdi
add    $0x8,%rsp
pop    %rbx
pop    %r14
jmp    1030 <free@plt>
ret

LLVM IR (-O0):
define void @free_dir_list(i8* %0) {
%2 = alloca i8*
%3 = alloca i8**
store i8* %0, i8** %2
%4 = load i8*, i8** %2
%5 = icmp ne i8* %4, null
br i1 %5, label %6, label %25
6: ; preds = %1
%7 = load i8*, i8** %2
%8 = bitcast i8* %7 to i8**
store i8** %8, i8*** %3
br label %9
9: ; preds = %14, %6
%10 = load i8**, i8*** %3
%11 = load i8*, i8** %10
%12 = icmp ne i8* %11, null
br i1 %12, label %13, label %19
13: ; preds = %9
br label %14
14: ; preds = %13
%15 = load i8**, i8*** %3
%16 = getelementptr inbounds i8*, i8** %15, i32 1
store i8** %16, i8*** %3
%17 = load i8*, i8** %15
%18 = call i32 @free(i8* %17)
br label %9
19: ; preds = %9
%20 = load i8**, i8*** %3
%21 = load i8*, i8** %20
%22 = call i32 @free(i8* %21)
%23 = load i8*, i8** %2
%24 = call i32 @free(i8* %23)
br label %25
25: ; preds = %19, %1
ret void
}

LLVM IR (-O2):
define void @free_dir_list(i8* %0) {
%2 = icmp eq i8* %0, null
br i1 %2, label %17, label %3
3: ; preds = %1
%4 = bitcast i8* %0 to i8**
%5 = load i8*, i8** %4
%6 = icmp eq i8* %5, null
br i1 %6, label %14, label %7
7: ; preds = %3, %7
%8 = phi i8* [ %12, %7 ], [ %5, %3 ]
%9 = phi i8** [ %10, %7 ], [ %4, %3 ]
%10 = getelementptr inbounds i8*, i8** %9, i64 1
%11 = tail call i32 @free(i8* %8)
%12 = load i8*, i8** %10
%13 = icmp eq i8* %12, null
br i1 %13, label %14, label %7
14: ; preds = %7, %3
%15 = tail call i32 @free(i8* null)
%16 = tail call i32 @free(i8* %0)
br label %17
17: ; preds = %14, %1
ret void
}
/* Variables and functions */
int /*<<< orphan*/ sl_shutdown();
int /*<<< orphan*/ sl_stats_destroy();
void mod_destroy() {
  sl_stats_destroy();
  sl_shutdown();
}


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

x86 assembly (clang, -O2):
<mod_destroy>:
push   %rax
xor    %eax,%eax
call   1040 <sl_stats_destroy@plt>
xor    %eax,%eax
pop    %rcx
jmp    1030 <sl_shutdown@plt>

LLVM IR (-O0):
define void @mod_destroy() {
%1 = call i32 (...) @sl_stats_destroy()
%2 = call i32 (...) @sl_shutdown()
ret void
}

LLVM IR (-O2):
define void @mod_destroy() {
%1 = tail call i32 (...) @sl_stats_destroy()
%2 = tail call i32 (...) @sl_shutdown()
ret void
}
int test_imm_3Fuint16_reg(unsigned short val) {
  return ((val) & (-0x3F << 0)) ? -20 : -40;
}


x86 assembly (clang, -O0):
<test_imm_3Fuint16_reg>:
push   %rbp
mov    %rsp,%rbp
mov    %di,%ax
mov    %ax,-0x2(%rbp)
movzwl -0x2(%rbp),%edx
and    $0xffffffc1,%edx
mov    $0xffffffd8,%eax
mov    $0xffffffec,%ecx
cmp    $0x0,%edx
cmovne %ecx,%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<test_imm_3Fuint16_reg>:
test   $0xffc1,%edi
mov    $0xffffffd8,%ecx
mov    $0xffffffec,%eax
cmove  %ecx,%eax
ret

LLVM IR (-O0):
define i32 @test_imm_3Fuint16_reg(i16 zeroext %0) {
%2 = alloca i16
store i16 %0, i16* %2
%3 = load i16, i16* %2
%4 = zext i16 %3 to i32
%5 = and i32 %4, -63
%6 = icmp ne i32 %5, 0
%7 = zext i1 %6 to i64
%8 = select i1 %6, i32 -20, i32 -40
ret i32 %8
}

LLVM IR (-O2):
define i32 @test_imm_3Fuint16_reg(i16 zeroext %0) {
%2 = and i16 %0, -63
%3 = icmp eq i16 %2, 0
%4 = select i1 %3, i32 -40, i32 -20
ret i32 %4
}