xunge/DecIR huggingface dataset:
/* Variables and functions */
int /*<<< orphan*/ printf(char *, char *);
int main(void) {
  void removeString(char source[], int start, int counts);
  char text[] = "the wrong son";
  removeString(text, 4, 6);
  printf("%s", text);
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
movl   $0x0,-0x4(%rbp)
mov    0xeca(%rip),%rax
mov    %rax,-0x12(%rbp)
mov    0xec8(%rip),%eax
mov    %eax,-0xa(%rbp)
mov    0xec2(%rip),%ax
mov    %ax,-0x6(%rbp)
lea    -0x12(%rbp),%rdi
mov    $0x4,%esi
mov    $0x6,%edx
call   1040 <removeString@plt>
lea    -0x12(%rbp),%rsi
lea    0xea2(%rip),%rdi
call   1030 <printf@plt>
xor    %eax,%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rbx
sub    $0x10,%rsp
movabs $0x6e6f7320676e6f,%rax
mov    %rax,0x6(%rsp)
movabs $0x6e6f727720656874,%rax
72 6f 6e
mov    %rax,(%rsp)
mov    %rsp,%rbx
mov    %rbx,%rdi
mov    $0x4,%esi
mov    $0x6,%edx
call   1040 <removeString@plt>
lea    0xeb0(%rip),%rdi
mov    %rbx,%rsi
call   1030 <printf@plt>
xor    %eax,%eax
add    $0x10,%rsp
pop    %rbx
ret

LLVM IR (-O0):
@__const.main.text = [14 x i8] c"the wrong son\00"
@.str = [3 x i8] c"%s\00"
define i32 @main() {
%1 = alloca i32
%2 = alloca [14 x i8]
store i32 0, i32* %1
%3 = bitcast [14 x i8]* %2 to i8*
%4 = getelementptr inbounds [14 x i8], [14 x i8]* %2, i64 0, i64 0
%5 = getelementptr inbounds [14 x i8], [14 x i8]* %2, i64 0, i64 0
%6 = call i32 @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i8* %5)
ret i32 0
}

LLVM IR (-O2):
@__const.main.text = [14 x i8] c"the wrong son\00"
@.str = [3 x i8] c"%s\00"
define i32 @main() {
%1 = alloca [14 x i8]
%2 = getelementptr inbounds [14 x i8], [14 x i8]* %1, i64 0, i64 0
%3 = call i32 @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i8* %2)
ret i32 0
}
/* Variables and functions */
int /*<<< orphan*/ printf(char *, int);
int main() {
  struct datos_persona {
    char inicial;
    int edad;
    float nota;
  };
  struct datos_persona persona;
  persona.inicial = 'J';
  persona.edad = 20;
  persona.nota = 7.5;
  printf("La edad es %d\n", persona.edad);
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
movl   $0x0,-0x4(%rbp)
movb   $0x4a,-0x10(%rbp)
movl   $0x14,-0xc(%rbp)
movss  0xece(%rip),%xmm0
movss  %xmm0,-0x8(%rbp)
mov    -0xc(%rbp),%esi
lea    0xec3(%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
mov    $0x14,%esi
call   1030 <printf@plt>
xor    %eax,%eax
pop    %rcx
ret

LLVM IR (-O0):
%struct.datos_persona = type { i8, i32, float }
@.str = [15 x i8] c"La edad es %d\0A\00"
define i32 @main() {
%1 = alloca i32
%2 = alloca %struct.datos_persona
store i32 0, i32* %1
%3 = getelementptr inbounds %struct.datos_persona, %struct.datos_persona* %2, i32 0, i32 0
store i8 74, i8* %3
%4 = getelementptr inbounds %struct.datos_persona, %struct.datos_persona* %2, i32 0, i32 1
store i32 20, i32* %4
%5 = getelementptr inbounds %struct.datos_persona, %struct.datos_persona* %2, i32 0, i32 2
store float 7.500000e+00, float* %5
%6 = getelementptr inbounds %struct.datos_persona, %struct.datos_persona* %2, i32 0, i32 1
%7 = load i32, i32* %6
%8 = call i32 @printf(i8* getelementptr inbounds ([15 x i8], [15 x i8]* @.str, i64 0, i64 0), i32 %7)
ret i32 0
}

LLVM IR (-O2):
@.str = [15 x i8] c"La edad es %d\0A\00"
define i32 @main() {
%1 = tail call i32 @printf(i8* getelementptr inbounds ([15 x i8], [15 x i8]* @.str, i64 0, i64 0), i32 20)
ret i32 0
}
/* Variables and functions */
int doublePtr(int **, int);
int main(void) {
  int tab[10] = {10, 1, 2, 3, 4, 5, 6, 7, 8, 9};
  int *ptr = tab;
  return doublePtr(&ptr, 10);
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
movl   $0x0,-0x4(%rbp)
lea    -0x30(%rbp),%rdi
lea    0xec6(%rip),%rsi
mov    $0x28,%edx
call   1030 <memcpy@plt>
lea    -0x30(%rbp),%rax
mov    %rax,-0x38(%rbp)
lea    -0x38(%rbp),%rdi
mov    $0xa,%esi
call   1040 <doublePtr@plt>
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
sub    $0x38,%rsp
mov    0xf05(%rip),%rax
mov    %rax,0x30(%rsp)
movaps 0xee9(%rip),%xmm0
movaps %xmm0,0x20(%rsp)
movaps 0xecd(%rip),%xmm0
movaps %xmm0,0x10(%rsp)
lea    0x10(%rsp),%rax
mov    %rax,0x8(%rsp)
lea    0x8(%rsp),%rdi
mov    $0xa,%esi
call   1030 <doublePtr@plt>
add    $0x38,%rsp
ret

LLVM IR (-O0):
@__const.main.tab = [10 x i32] [i32 10, i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7, i32 8, i32 9]
define i32 @main() {
%1 = alloca i32
%2 = alloca [10 x i32]
%3 = alloca i32*
store i32 0, i32* %1
%4 = bitcast [10 x i32]* %2 to i8*
%5 = getelementptr inbounds [10 x i32], [10 x i32]* %2, i64 0, i64 0
store i32* %5, i32** %3
%6 = call i32 @doublePtr(i32** %3, i32 10)
ret i32 %6
}

LLVM IR (-O2):
@__const.main.tab = [10 x i32] [i32 10, i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7, i32 8, i32 9]
define i32 @main() {
%1 = alloca [10 x i32]
%2 = alloca i32*
%3 = bitcast [10 x i32]* %1 to i8*
%4 = bitcast i32** %2 to i8*
%5 = getelementptr inbounds [10 x i32], [10 x i32]* %1, i64 0, i64 0
store i32* %5, i32** %2
%6 = call i32 @doublePtr(i32** %2, i32 10)
ret i32 %6
}
int do_611() { return 611; }


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

x86 assembly (clang, -O2):
<do_611>:
mov    $0x263,%eax
ret

LLVM IR (-O0):
define i32 @do_611() {
ret i32 611
}

LLVM IR (-O2):
define i32 @do_611() {
ret i32 611
}
/* Type definitions */
typedef int uint64_t;
typedef scalar_t__ int32_t;

/* Variables and functions */
scalar_t__ b_len(int);
uint64_t b_reverse(uint64_t n) {
  int32_t len = b_len(n) - 1;
  uint64_t retVal = 0;
  while (n > 0) {
    retVal |= ((n & 1) << len--);
    n >>= 1;
  }
  return retVal;
}


x86 assembly (clang, -O0):
<b_reverse>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %edi,-0x4(%rbp)
mov    -0x4(%rbp),%edi
call   1030 <b_len@plt>
sub    $0x1,%rax
mov    %rax,-0x10(%rbp)
movl   $0x0,-0x14(%rbp)
cmpl   $0x0,-0x4(%rbp)
jle    1167 <b_reverse+0x57>
mov    -0x4(%rbp),%eax
and    $0x1,%eax
mov    -0x10(%rbp),%rcx
mov    %rcx,%rdx
add    $0xffffffffffffffff,%rdx
mov    %rdx,-0x10(%rbp)
shl    %cl,%eax
or     -0x14(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0x4(%rbp),%eax
sar    $0x1,%eax
mov    %eax,-0x4(%rbp)
jmp    1132 <b_reverse+0x22>
mov    -0x14(%rbp),%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<b_reverse>:
push   %rbx
mov    %edi,%ebx
call   1030 <b_len@plt>
test   %ebx,%ebx
jle    1147 <b_reverse+0x37>
mov    %rax,%rcx
add    $0xffffffff,%ecx
xor    %eax,%eax
mov    %ebx,%edx
cs nopw 0x0(%rax,%rax,1)
mov    %ebx,%esi
and    $0x1,%esi
shl    %cl,%esi
or     %esi,%eax
shr    %edx
add    $0xffffffff,%ecx
cmp    $0x1,%ebx
mov    %edx,%ebx
ja     1130 <b_reverse+0x20>
pop    %rbx
ret
xor    %eax,%eax
pop    %rbx
ret

LLVM IR (-O0):
define i32 @b_reverse(i32 %0) {
%2 = alloca i32
%3 = alloca i64
%4 = alloca i32
store i32 %0, i32* %2
%5 = load i32, i32* %2
%6 = call i64 @b_len(i32 %5)
%7 = sub nsw i64 %6, 1
store i64 %7, i64* %3
store i32 0, i32* %4
br label %8
8: ; preds = %11, %1
%9 = load i32, i32* %2
%10 = icmp sgt i32 %9, 0
br i1 %10, label %11, label %22
11: ; preds = %8
%12 = load i32, i32* %2
%13 = and i32 %12, 1
%14 = load i64, i64* %3
%15 = add nsw i64 %14, -1
store i64 %15, i64* %3
%16 = trunc i64 %14 to i32
%17 = shl i32 %13, %16
%18 = load i32, i32* %4
%19 = or i32 %18, %17
store i32 %19, i32* %4
%20 = load i32, i32* %2
%21 = ashr i32 %20, 1
store i32 %21, i32* %2
br label %8
22: ; preds = %8
%23 = load i32, i32* %4
ret i32 %23
}

LLVM IR (-O2):
define i32 @b_reverse(i32 %0) {
%2 = tail call i64 @b_len(i32 %0)
%3 = icmp sgt i32 %0, 0
br i1 %3, label %4, label %15
4: ; preds = %1, %4
%5 = phi i64 [ %8, %4 ], [ %2, %1 ]
%6 = phi i32 [ %12, %4 ], [ 0, %1 ]
%7 = phi i32 [ %13, %4 ], [ %0, %1 ]
%8 = add nsw i64 %5, -1
%9 = and i32 %7, 1
%10 = trunc i64 %8 to i32
%11 = shl nuw i32 %9, %10
%12 = or i32 %11, %6
%13 = lshr i32 %7, 1
%14 = icmp ult i32 %7, 2
br i1 %14, label %15, label %4
15: ; preds = %4, %1
%16 = phi i32 [ 0, %1 ], [ %12, %4 ]
ret i32 %16
}
/* Forward declarations */
typedef struct TYPE_2__ TYPE_1__;

/* Type definitions */
struct TYPE_2__ {
  int /*<<< orphan*/ state;
};
typedef TYPE_1__ XPointerMovedEvent;

/* Variables and functions */
unsigned get_XPointerMovedEvent_state(void *_p) {
  return (unsigned)((XPointerMovedEvent *)_p)->state;
}


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

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

LLVM IR (-O0):
%struct.TYPE_2__ = type { i32 }
define i32 @get_XPointerMovedEvent_state(i8* %0) {
%2 = alloca i8*
store i8* %0, i8** %2
%3 = load i8*, i8** %2
%4 = bitcast i8* %3 to %struct.TYPE_2__*
%5 = getelementptr inbounds %struct.TYPE_2__, %struct.TYPE_2__* %4, i32 0, i32 0
%6 = load i32, i32* %5
ret i32 %6
}

LLVM IR (-O2):
define i32 @get_XPointerMovedEvent_state(i8* nocapture %0) {
%2 = bitcast i8* %0 to i32*
%3 = load i32, i32* %2
ret i32 %3
}
/* Variables and functions */
char cgetc(int /*<<< orphan*/);
int /*<<< orphan*/ stdin;
int /*<<< orphan*/ ungetc(char, int /*<<< orphan*/);
int testterm() {
  char c;
  if (!(c = cgetc(0)))
    return (1);
  if (c == '.')
    return (0);
  if (c == '\n' || c == ';')
    ungetc(c, stdin);
  return (1);
}


x86 assembly (clang, -O0):
<testterm>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
xor    %edi,%edi
call   1040 <cgetc@plt>
mov    %al,-0x5(%rbp)
cmp    $0x0,%al
jne    1146 <testterm+0x26>
movl   $0x1,-0x4(%rbp)
jmp    1194 <testterm+0x74>
movsbl -0x5(%rbp),%eax
cmp    $0x2e,%eax
jne    115f <testterm+0x3f>
movl   $0x0,-0x4(%rbp)
jmp    1194 <testterm+0x74>
movsbl -0x5(%rbp),%eax
cmp    $0xa,%eax
je     1179 <testterm+0x59>
movsbl -0x5(%rbp),%eax
cmp    $0x3b,%eax
jne    118d <testterm+0x6d>
mov    -0x5(%rbp),%al
mov    0x2e65(%rip),%rcx
mov    (%rcx),%esi
movsbl %al,%edi
call   1030 <ungetc@plt>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<testterm>:
push   %rbx
xor    %edi,%edi
call   1040 <cgetc@plt>
mov    $0x1,%ebx
cmp    $0xa,%al
je     113d <testterm+0x1d>
cmp    $0x3b,%al
je     113d <testterm+0x1d>
cmp    $0x2e,%al
jne    114e <testterm+0x2e>
xor    %ebx,%ebx
jmp    114e <testterm+0x2e>
mov    0x2ea4(%rip),%rcx
mov    (%rcx),%esi
movsbl %al,%edi
call   1030 <ungetc@plt>
mov    %ebx,%eax
pop    %rbx
ret

LLVM IR (-O0):
@stdin = global i32 0
define i32 @testterm() {
%1 = alloca i32
%2 = alloca i8
%3 = call signext i8 @cgetc(i32 0)
store i8 %3, i8* %2
%4 = icmp ne i8 %3, 0
br i1 %4, label %6, label %5
5: ; preds = %0
store i32 1, i32* %1
br label %24
6: ; preds = %0
%7 = load i8, i8* %2
%8 = sext i8 %7 to i32
%9 = icmp eq i32 %8, 46
br i1 %9, label %10, label %11
10: ; preds = %6
store i32 0, i32* %1
br label %24
11: ; preds = %6
%12 = load i8, i8* %2
%13 = sext i8 %12 to i32
%14 = icmp eq i32 %13, 10
br i1 %14, label %19, label %15
15: ; preds = %11
%16 = load i8, i8* %2
%17 = sext i8 %16 to i32
%18 = icmp eq i32 %17, 59
br i1 %18, label %19, label %23
19: ; preds = %15, %11
%20 = load i8, i8* %2
%21 = load i32, i32* @stdin
%22 = call i32 @ungetc(i8 signext %20, i32 %21)
br label %23
23: ; preds = %19, %15
store i32 1, i32* %1
br label %24
24: ; preds = %23, %10, %5
%25 = load i32, i32* %1
ret i32 %25
}

LLVM IR (-O2):
@stdin = global i32 0
define i32 @testterm() {
%1 = tail call signext i8 @cgetc(i32 0)
switch i8 %1, label %6 [
i8 10, label %3
i8 46, label %2
i8 59, label %3
]
2: ; preds = %0
br label %6
3: ; preds = %0, %0
%4 = load i32, i32* @stdin
%5 = tail call i32 @ungetc(i8 signext %1, i32 %4)
br label %6
6: ; preds = %0, %3, %2
%7 = phi i32 [ 0, %2 ], [ 1, %3 ], [ 1, %0 ]
ret i32 %7
}
/* Variables and functions */
int _ada_use_c2phc4c(int, int *, int *, double *, int /*<<< orphan*/);
int dobldobl_trace_grid_diagnostics(double *err, double *dis) {
  int *a, *b, fail;
  double c[2];
  fail = _ada_use_c2phc4c(646, a, b, c, 0);
  *err = c[0];
  *dis = c[1];
  return fail;
}


x86 assembly (clang, -O0):
<dobldobl_trace_grid_diagnostics>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    -0x18(%rbp),%rsi
mov    -0x20(%rbp),%rdx
lea    -0x40(%rbp),%rcx
mov    $0x286,%edi
xor    %r8d,%r8d
call   1030 <_ada_use_c2phc4c@plt>
mov    %eax,-0x24(%rbp)
movsd  -0x40(%rbp),%xmm0
mov    -0x8(%rbp),%rax
movsd  %xmm0,(%rax)
movsd  -0x38(%rbp),%xmm0
mov    -0x10(%rbp),%rax
movsd  %xmm0,(%rax)
mov    -0x24(%rbp),%eax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<dobldobl_trace_grid_diagnostics>:
push   %r14
push   %rbx
sub    $0x18,%rsp
mov    %rsi,%r14
mov    %rdi,%rbx
mov    %rsp,%rcx
mov    $0x286,%edi
xor    %r8d,%r8d
call   1030 <_ada_use_c2phc4c@plt>
movsd  (%rsp),%xmm0
movsd  %xmm0,(%rbx)
movsd  0x8(%rsp),%xmm0
movsd  %xmm0,(%r14)
add    $0x18,%rsp
pop    %rbx
pop    %r14
ret

LLVM IR (-O0):
define i32 @dobldobl_trace_grid_diagnostics(double* %0, double* %1) {
%3 = alloca double*
%4 = alloca double*
%5 = alloca i32*
%6 = alloca i32*
%7 = alloca i32
%8 = alloca [2 x double]
store double* %0, double** %3
store double* %1, double** %4
%9 = load i32*, i32** %5
%10 = load i32*, i32** %6
%11 = getelementptr inbounds [2 x double], [2 x double]* %8, i64 0, i64 0
%12 = call i32 @_ada_use_c2phc4c(i32 646, i32* %9, i32* %10, double* %11, i32 0)
store i32 %12, i32* %7
%13 = getelementptr inbounds [2 x double], [2 x double]* %8, i64 0, i64 0
%14 = load double, double* %13
%15 = load double*, double** %3
store double %14, double* %15
%16 = getelementptr inbounds [2 x double], [2 x double]* %8, i64 0, i64 1
%17 = load double, double* %16
%18 = load double*, double** %4
store double %17, double* %18
%19 = load i32, i32* %7
ret i32 %19
}

LLVM IR (-O2):
define i32 @dobldobl_trace_grid_diagnostics(double* nocapture writeonly %0, double* nocapture writeonly %1) {
%3 = alloca [2 x double]
%4 = bitcast [2 x double]* %3 to i8*
%5 = getelementptr inbounds [2 x double], [2 x double]* %3, i64 0, i64 0
%6 = call i32 @_ada_use_c2phc4c(i32 646, i32* undef, i32* undef, double* %5, i32 0)
%7 = load double, double* %5
store double %7, double* %0
%8 = getelementptr inbounds [2 x double], [2 x double]* %3, i64 0, i64 1
%9 = load double, double* %8
store double %9, double* %1
ret i32 %6
}
/* Type definitions */
typedef int uint8_t;
typedef int uint16_t;

/* Variables and functions */
void mp2vpic_set_temporalreference(uint8_t *p_mp2vpic,
                                   uint16_t i_temporalreference) {
  p_mp2vpic[4] = i_temporalreference >> 2;
  p_mp2vpic[5] &= 0x3f;
  p_mp2vpic[5] |= (i_temporalreference << 6) & 0xff;
}


x86 assembly (clang, -O0):
<mp2vpic_set_temporalreference>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    -0xc(%rbp),%ecx
sar    $0x2,%ecx
mov    -0x8(%rbp),%rax
mov    %ecx,0x10(%rax)
mov    -0x8(%rbp),%rax
mov    0x14(%rax),%ecx
and    $0x3f,%ecx
mov    %ecx,0x14(%rax)
mov    -0xc(%rbp),%ecx
shl    $0x6,%ecx
and    $0xff,%ecx
mov    -0x8(%rbp),%rax
or     0x14(%rax),%ecx
mov    %ecx,0x14(%rax)
pop    %rbp
ret

x86 assembly (clang, -O2):
<mp2vpic_set_temporalreference>:
mov    %esi,%eax
sar    $0x2,%eax
mov    %eax,0x10(%rdi)
mov    0x14(%rdi),%eax
and    $0x3f,%eax
shl    $0x6,%esi
movzbl %sil,%ecx
or     %eax,%ecx
mov    %ecx,0x14(%rdi)
ret

LLVM IR (-O0):
define void @mp2vpic_set_temporalreference(i32* %0, i32 %1) {
%3 = alloca i32*
%4 = alloca i32
store i32* %0, i32** %3
store i32 %1, i32* %4
%5 = load i32, i32* %4
%6 = ashr i32 %5, 2
%7 = load i32*, i32** %3
%8 = getelementptr inbounds i32, i32* %7, i64 4
store i32 %6, i32* %8
%9 = load i32*, i32** %3
%10 = getelementptr inbounds i32, i32* %9, i64 5
%11 = load i32, i32* %10
%12 = and i32 %11, 63
store i32 %12, i32* %10
%13 = load i32, i32* %4
%14 = shl i32 %13, 6
%15 = and i32 %14, 255
%16 = load i32*, i32** %3
%17 = getelementptr inbounds i32, i32* %16, i64 5
%18 = load i32, i32* %17
%19 = or i32 %18, %15
store i32 %19, i32* %17
ret void
}

LLVM IR (-O2):
define void @mp2vpic_set_temporalreference(i32* nocapture %0, i32 %1) {
%3 = ashr i32 %1, 2
%4 = getelementptr inbounds i32, i32* %0, i64 4
store i32 %3, i32* %4
%5 = getelementptr inbounds i32, i32* %0, i64 5
%6 = load i32, i32* %5
%7 = and i32 %6, 63
%8 = shl i32 %1, 6
%9 = and i32 %8, 192
%10 = or i32 %7, %9
store i32 %10, i32* %5
ret void
}
/* Type definitions */
struct Session {
  int dummy;
};

/* Variables and functions */
int /*<<< orphan*/ deleteSession(struct Session *);
void destroySessionHashEntry(void *arg, char *key, char *value) {
  do {
    (void)(arg);
  } while (0);
  do {
    (void)(key);
  } while (0);
  deleteSession((struct Session *)value);
}


x86 assembly (clang, -O0):
<destroySessionHashEntry>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
jmp    1129 <destroySessionHashEntry+0x19>
mov    -0x18(%rbp),%rdi
call   1030 <deleteSession@plt>
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<destroySessionHashEntry>:
mov    %rdx,%rdi
jmp    1030 <deleteSession@plt>

LLVM IR (-O0):
%struct.Session = type { i32 }
define void @destroySessionHashEntry(i8* %0, i8* %1, i8* %2) {
%4 = alloca i8*
%5 = alloca i8*
%6 = alloca i8*
store i8* %0, i8** %4
store i8* %1, i8** %5
store i8* %2, i8** %6
br label %7
7: ; preds = %3
%8 = load i8*, i8** %4
br label %9
9: ; preds = %7
br label %10
10: ; preds = %9
%11 = load i8*, i8** %5
br label %12
12: ; preds = %10
%13 = load i8*, i8** %6
%14 = bitcast i8* %13 to %struct.Session*
%15 = call i32 @deleteSession(%struct.Session* %14)
ret void
}

LLVM IR (-O2):
%struct.Session = type { i32 }
define void @destroySessionHashEntry(i8* nocapture readnone %0, i8* nocapture readnone %1, i8* %2) {
%4 = bitcast i8* %2 to %struct.Session*
%5 = tail call i32 @deleteSession(%struct.Session* %4)
ret void
}
int ispowof2(unsigned int v) { return v && !(v & (v - 1)); }


x86 assembly (clang, -O0):
<ispowof2>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x4(%rbp)
xor    %eax,%eax
cmpl   $0x0,-0x4(%rbp)
mov    %al,-0x5(%rbp)
je     112c <ispowof2+0x2c>
mov    -0x4(%rbp),%eax
mov    -0x4(%rbp),%ecx
sub    $0x1,%ecx
and    %ecx,%eax
cmp    $0x0,%eax
setne  %al
xor    $0xff,%al
mov    %al,-0x5(%rbp)
mov    -0x5(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<ispowof2>:
test   %edi,%edi
je     110f <ispowof2+0xf>
lea    -0x1(%rdi),%ecx
xor    %eax,%eax
test   %ecx,%edi
sete   %al
ret
xor    %eax,%eax
ret

LLVM IR (-O0):
define i32 @ispowof2(i32 %0) {
%2 = alloca i32
store i32 %0, i32* %2
%3 = load i32, i32* %2
%4 = icmp ne i32 %3, 0
br i1 %4, label %5, label %12
5: ; preds = %1
%6 = load i32, i32* %2
%7 = load i32, i32* %2
%8 = sub i32 %7, 1
%9 = and i32 %6, %8
%10 = icmp ne i32 %9, 0
%11 = xor i1 %10, true
br label %12
12: ; preds = %5, %1
%13 = phi i1 [ false, %1 ], [ %11, %5 ]
%14 = zext i1 %13 to i32
ret i32 %14
}

LLVM IR (-O2):
define i32 @ispowof2(i32 %0) {
%2 = icmp eq i32 %0, 0
br i1 %2, label %7, label %3
3: ; preds = %1
%4 = tail call i32 @llvm.ctpop.i32(i32 %0)
%5 = icmp ult i32 %4, 2
%6 = zext i1 %5 to i32
br label %7
7: ; preds = %3, %1
%8 = phi i32 [ 0, %1 ], [ %6, %3 ]
ret i32 %8
}
/* Type definitions */
struct timeval {
  float tv_sec;
  float tv_usec;
};

/* Variables and functions */
float timeval_to_sec(struct timeval *tv) {
  return tv->tv_sec + tv->tv_usec / 1000000.0f;
}


x86 assembly (clang, -O0):
<timeval_to_sec>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    -0x8(%rbp),%rax
movss  (%rax),%xmm0
mov    -0x8(%rbp),%rax
movss  0x4(%rax),%xmm1
movss  0xedf(%rip),%xmm2
divss  %xmm2,%xmm1
addss  %xmm1,%xmm0
pop    %rbp
ret

x86 assembly (clang, -O2):
<timeval_to_sec>:
movss  0x4(%rdi),%xmm0
divss  0xef3(%rip),%xmm0
addss  (%rdi),%xmm0
ret

LLVM IR (-O0):
%struct.timeval = type { float, float }
define float @timeval_to_sec(%struct.timeval* %0) {
%2 = alloca %struct.timeval*
store %struct.timeval* %0, %struct.timeval** %2
%3 = load %struct.timeval*, %struct.timeval** %2
%4 = getelementptr inbounds %struct.timeval, %struct.timeval* %3, i32 0, i32 0
%5 = load float, float* %4
%6 = load %struct.timeval*, %struct.timeval** %2
%7 = getelementptr inbounds %struct.timeval, %struct.timeval* %6, i32 0, i32 1
%8 = load float, float* %7
%9 = fdiv float %8, 1.000000e+06
%10 = fadd float %5, %9
ret float %10
}

LLVM IR (-O2):
%struct.timeval = type { float, float }
define float @timeval_to_sec(%struct.timeval* nocapture %0) {
%2 = getelementptr inbounds %struct.timeval, %struct.timeval* %0, i64 0, i32 0
%3 = load float, float* %2
%4 = getelementptr inbounds %struct.timeval, %struct.timeval* %0, i64 0, i32 1
%5 = load float, float* %4
%6 = fdiv float %5, 1.000000e+06
%7 = fadd float %3, %6
ret float %7
}
/* Type definitions */
struct JtR_FEAL8_CTX {
  int dummy;
};

/* Variables and functions */
int /*<<< orphan*/ feal_Encrypt(unsigned char *, unsigned char *,
                                struct JtR_FEAL8_CTX *);
void feal_encrypt_repro(unsigned char *plaintext, unsigned char *ciphertext,
                        struct JtR_FEAL8_CTX *ctx) {
  feal_Encrypt(plaintext, ciphertext, ctx);
}


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

x86 assembly (clang, -O2):
<feal_encrypt_repro>:
jmp    1030 <feal_Encrypt@plt>

LLVM IR (-O0):
%struct.JtR_FEAL8_CTX = type { i32 }
define void @feal_encrypt_repro(i8* %0, i8* %1, %struct.JtR_FEAL8_CTX* %2) {
%4 = alloca i8*
%5 = alloca i8*
%6 = alloca %struct.JtR_FEAL8_CTX*
store i8* %0, i8** %4
store i8* %1, i8** %5
store %struct.JtR_FEAL8_CTX* %2, %struct.JtR_FEAL8_CTX** %6
%7 = load i8*, i8** %4
%8 = load i8*, i8** %5
%9 = load %struct.JtR_FEAL8_CTX*, %struct.JtR_FEAL8_CTX** %6
%10 = call i32 @feal_Encrypt(i8* %7, i8* %8, %struct.JtR_FEAL8_CTX* %9)
ret void
}

LLVM IR (-O2):
%struct.JtR_FEAL8_CTX = type { i32 }
define void @feal_encrypt_repro(i8* %0, i8* %1, %struct.JtR_FEAL8_CTX* %2) {
%4 = tail call i32 @feal_Encrypt(i8* %0, i8* %1, %struct.JtR_FEAL8_CTX* %2)
ret void
}
/* Variables and functions */
float expf(float);
__attribute__((__weak__, __always___)) float softboundmpx_expf(float x) {
  return expf(x);
}


x86 assembly (clang, -O0):
<softboundmpx_expf>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
movss  %xmm0,-0x4(%rbp)
movss  -0x4(%rbp),%xmm0
call   1030 <expf@plt>
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<softboundmpx_expf>:
jmp    1030 <expf@plt>

LLVM IR (-O0):
define weak float @softboundmpx_expf(float %0) {
%2 = alloca float
store float %0, float* %2
%3 = load float, float* %2
%4 = call float @expf(float %3)
ret float %4
}

LLVM IR (-O2):
define weak float @softboundmpx_expf(float %0) {
%2 = tail call float @expf(float %0)
ret float %2
}
void gtk_widget_shape_combine_mask() {}


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

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

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

LLVM IR (-O2):
define void @gtk_widget_shape_combine_mask() {
ret void
}
/* Variables and functions */
int /*<<< orphan*/ putchar(int);
void point(int ix, int iy) {
  putchar('p');
  {
    putchar(ix & 255);
    putchar((ix >> 8) & 255);
  };
  {
    putchar(iy & 255);
    putchar((iy >> 8) & 255);
  };
}


x86 assembly (clang, -O0):
<point>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    $0x70,%edi
call   1030 <putchar@plt>
mov    -0x4(%rbp),%edi
and    $0xff,%edi
call   1030 <putchar@plt>
mov    -0x4(%rbp),%edi
sar    $0x8,%edi
and    $0xff,%edi
call   1030 <putchar@plt>
mov    -0x8(%rbp),%edi
and    $0xff,%edi
call   1030 <putchar@plt>
mov    -0x8(%rbp),%edi
sar    $0x8,%edi
and    $0xff,%edi
call   1030 <putchar@plt>
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<point>:
push   %rbp
push   %rbx
push   %rax
mov    %esi,%ebp
mov    %edi,%ebx
mov    $0x70,%edi
call   1030 <putchar@plt>
movzbl %bl,%edi
call   1030 <putchar@plt>
movzbl %bh,%edi
call   1030 <putchar@plt>
mov    %ebp,%ebx
movzbl %bl,%edi
call   1030 <putchar@plt>
movzbl %bh,%edi
add    $0x8,%rsp
pop    %rbx
pop    %rbp
jmp    1030 <putchar@plt>

LLVM IR (-O0):
define void @point(i32 %0, i32 %1) {
%3 = alloca i32
%4 = alloca i32
store i32 %0, i32* %3
store i32 %1, i32* %4
%5 = call i32 @putchar(i32 112)
%6 = load i32, i32* %3
%7 = and i32 %6, 255
%8 = call i32 @putchar(i32 %7)
%9 = load i32, i32* %3
%10 = ashr i32 %9, 8
%11 = and i32 %10, 255
%12 = call i32 @putchar(i32 %11)
%13 = load i32, i32* %4
%14 = and i32 %13, 255
%15 = call i32 @putchar(i32 %14)
%16 = load i32, i32* %4
%17 = ashr i32 %16, 8
%18 = and i32 %17, 255
%19 = call i32 @putchar(i32 %18)
ret void
}

LLVM IR (-O2):
define void @point(i32 %0, i32 %1) {
%3 = tail call i32 @putchar(i32 112)
%4 = and i32 %0, 255
%5 = tail call i32 @putchar(i32 %4)
%6 = lshr i32 %0, 8
%7 = and i32 %6, 255
%8 = tail call i32 @putchar(i32 %7)
%9 = and i32 %1, 255
%10 = tail call i32 @putchar(i32 %9)
%11 = lshr i32 %1, 8
%12 = and i32 %11, 255
%13 = tail call i32 @putchar(i32 %12)
ret void
}
/* Type definitions */
typedef int uint8_t;
typedef int uint32_t;

/* Variables and functions */
void rtp2435_set_offset(uint8_t *header, uint32_t offset) {
  header[1] = (offset & 0xFF0000) >> 16;
  header[2] = (offset & 0xFF00) >> 8;
  header[3] = offset & 0xFF;
}


x86 assembly (clang, -O0):
<rtp2435_set_offset>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    -0xc(%rbp),%ecx
and    $0xff0000,%ecx
sar    $0x10,%ecx
mov    -0x8(%rbp),%rax
mov    %ecx,0x4(%rax)
mov    -0xc(%rbp),%ecx
and    $0xff00,%ecx
sar    $0x8,%ecx
mov    -0x8(%rbp),%rax
mov    %ecx,0x8(%rax)
mov    -0xc(%rbp),%ecx
and    $0xff,%ecx
mov    -0x8(%rbp),%rax
mov    %ecx,0xc(%rax)
pop    %rbp
ret

x86 assembly (clang, -O2):
<rtp2435_set_offset>:
mov    %esi,%eax
movzbl %ah,%ecx
movzbl %al,%edx
shr    $0x10,%eax
movzbl %al,%eax
mov    %eax,0x4(%rdi)
mov    %ecx,0x8(%rdi)
mov    %edx,0xc(%rdi)
ret

LLVM IR (-O0):
define void @rtp2435_set_offset(i32* %0, i32 %1) {
%3 = alloca i32*
%4 = alloca i32
store i32* %0, i32** %3
store i32 %1, i32* %4
%5 = load i32, i32* %4
%6 = and i32 %5, 16711680
%7 = ashr i32 %6, 16
%8 = load i32*, i32** %3
%9 = getelementptr inbounds i32, i32* %8, i64 1
store i32 %7, i32* %9
%10 = load i32, i32* %4
%11 = and i32 %10, 65280
%12 = ashr i32 %11, 8
%13 = load i32*, i32** %3
%14 = getelementptr inbounds i32, i32* %13, i64 2
store i32 %12, i32* %14
%15 = load i32, i32* %4
%16 = and i32 %15, 255
%17 = load i32*, i32** %3
%18 = getelementptr inbounds i32, i32* %17, i64 3
store i32 %16, i32* %18
ret void
}

LLVM IR (-O2):
define void @rtp2435_set_offset(i32* nocapture writeonly %0, i32 %1) {
%3 = lshr i32 %1, 16
%4 = and i32 %3, 255
%5 = getelementptr inbounds i32, i32* %0, i64 1
store i32 %4, i32* %5
%6 = lshr i32 %1, 8
%7 = and i32 %6, 255
%8 = getelementptr inbounds i32, i32* %0, i64 2
store i32 %7, i32* %8
%9 = and i32 %1, 255
%10 = getelementptr inbounds i32, i32* %0, i64 3
store i32 %9, i32* %10
ret void
}
/* Type definitions */
typedef int /*<<< orphan*/ FILE;

/* Variables and functions */
int /*<<< orphan*/ fprintf(int /*<<< orphan*/ *, char *, char *, int, int);
int /*<<< orphan*/ pr_indent(int /*<<< orphan*/ *, int);
int pr_title_nxn(FILE *fp, int indent, char *title, int n1, int n2) {
  (void)pr_indent(fp, indent);
  (void)fprintf(fp, "%s (%dx%d):\n", title, n1, n2);
  return (indent + 3);
}


x86 assembly (clang, -O0):
<pr_title_nxn>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %ecx,-0x1c(%rbp)
mov    %r8d,-0x20(%rbp)
mov    -0x8(%rbp),%rdi
mov    -0xc(%rbp),%esi
call   1040 <pr_indent@plt>
mov    -0x8(%rbp),%rdi
mov    -0x18(%rbp),%rdx
mov    -0x1c(%rbp),%ecx
mov    -0x20(%rbp),%r8d
lea    0xea4(%rip),%rsi
call   1030 <fprintf@plt>
mov    -0xc(%rbp),%eax
add    $0x3,%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<pr_title_nxn>:
push   %rbp
push   %r15
push   %r14
push   %r12
push   %rbx
mov    %r8d,%r14d
mov    %ecx,%r15d
mov    %rdx,%r12
mov    %esi,%ebp
mov    %rdi,%rbx
call   1040 <pr_indent@plt>
lea    0xebe(%rip),%rsi
mov    %rbx,%rdi
mov    %r12,%rdx
mov    %r15d,%ecx
mov    %r14d,%r8d
call   1030 <fprintf@plt>
add    $0x3,%ebp
mov    %ebp,%eax
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@.str = [13 x i8] c"%s (%dx%d):\0A\00"
define i32 @pr_title_nxn(i32* %0, i32 %1, i8* %2, i32 %3, i32 %4) {
%6 = alloca i32*
%7 = alloca i32
%8 = alloca i8*
%9 = alloca i32
%10 = alloca i32
store i32* %0, i32** %6
store i32 %1, i32* %7
store i8* %2, i8** %8
store i32 %3, i32* %9
store i32 %4, i32* %10
%11 = load i32*, i32** %6
%12 = load i32, i32* %7
%13 = call i32 @pr_indent(i32* %11, i32 %12)
%14 = load i32*, i32** %6
%15 = load i8*, i8** %8
%16 = load i32, i32* %9
%17 = load i32, i32* %10
%18 = call i32 @fprintf(i32* %14, i8* getelementptr inbounds ([13 x i8], [13 x i8]* @.str, i64 0, i64 0), i8* %15, i32 %16, i32 %17)
%19 = load i32, i32* %7
%20 = add nsw i32 %19, 3
ret i32 %20
}

LLVM IR (-O2):
@.str = [13 x i8] c"%s (%dx%d):\0A\00"
define i32 @pr_title_nxn(i32* %0, i32 %1, i8* %2, i32 %3, i32 %4) {
%6 = tail call i32 @pr_indent(i32* %0, i32 %1)
%7 = tail call i32 @fprintf(i32* %0, i8* getelementptr inbounds ([13 x i8], [13 x i8]* @.str, i64 0, i64 0), i8* %2, i32 %3, i32 %4)
%8 = add nsw i32 %1, 3
ret i32 %8
}
/* Type definitions */
typedef int uint32_t;

/* Variables and functions */
uint32_t S1(uint32_t x) {
  return (((x) >> (6)) | ((x) << (32 - (6)))) ^
         (((x) >> (11)) | ((x) << (32 - (11)))) ^
         (((x) >> (25)) | ((x) << (32 - (25))));
}


x86 assembly (clang, -O0):
<S1>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x4(%rbp)
mov    -0x4(%rbp),%eax
sar    $0x6,%eax
mov    -0x4(%rbp),%ecx
shl    $0x1a,%ecx
or     %ecx,%eax
mov    -0x4(%rbp),%ecx
sar    $0xb,%ecx
mov    -0x4(%rbp),%edx
shl    $0x15,%edx
or     %edx,%ecx
xor    %ecx,%eax
mov    -0x4(%rbp),%ecx
sar    $0x19,%ecx
mov    -0x4(%rbp),%edx
shl    $0x7,%edx
or     %edx,%ecx
xor    %ecx,%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<S1>:
mov    %edi,%eax
sar    $0x6,%eax
mov    %edi,%ecx
shl    $0x1a,%ecx
or     %eax,%ecx
mov    %edi,%eax
sar    $0xb,%eax
mov    %edi,%edx
shl    $0x15,%edx
or     %eax,%edx
xor    %ecx,%edx
mov    %edi,%eax
sar    $0x19,%eax
shl    $0x7,%edi
or     %edi,%eax
xor    %edx,%eax
ret

LLVM IR (-O0):
define i32 @S1(i32 %0) {
%2 = alloca i32
store i32 %0, i32* %2
%3 = load i32, i32* %2
%4 = ashr i32 %3, 6
%5 = load i32, i32* %2
%6 = shl i32 %5, 26
%7 = or i32 %4, %6
%8 = load i32, i32* %2
%9 = ashr i32 %8, 11
%10 = load i32, i32* %2
%11 = shl i32 %10, 21
%12 = or i32 %9, %11
%13 = xor i32 %7, %12
%14 = load i32, i32* %2
%15 = ashr i32 %14, 25
%16 = load i32, i32* %2
%17 = shl i32 %16, 7
%18 = or i32 %15, %17
%19 = xor i32 %13, %18
ret i32 %19
}

LLVM IR (-O2):
define i32 @S1(i32 %0) {
%2 = ashr i32 %0, 6
%3 = shl i32 %0, 26
%4 = or i32 %2, %3
%5 = ashr i32 %0, 11
%6 = shl i32 %0, 21
%7 = or i32 %5, %6
%8 = xor i32 %4, %7
%9 = ashr i32 %0, 25
%10 = shl i32 %0, 7
%11 = or i32 %9, %10
%12 = xor i32 %8, %11
ret i32 %12
}
/* Variables and functions */
int /*<<< orphan*/ provider2();
void requestor2() { provider2(); }


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

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

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

LLVM IR (-O2):
define void @requestor2() {
%1 = tail call i32 (...) @provider2()
ret void
}
/* Variables and functions */
int __VERIFIER_nondet_int();
int main() {
  int x;
  x = __VERIFIER_nondet_int();
  if (x > 0) {
    while (x != 0) {
      x = x - 1;
    }
  }
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
movl   $0x0,-0x4(%rbp)
mov    $0x0,%al
call   1030 <__VERIFIER_nondet_int@plt>
mov    %eax,-0x8(%rbp)
cmpl   $0x0,-0x8(%rbp)
jle    1155 <main+0x45>
jmp    1138 <main+0x28>
cmpl   $0x0,-0x8(%rbp)
je     1150 <main+0x40>
mov    -0x8(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    1138 <main+0x28>
jmp    1155 <main+0x45>
xor    %eax,%eax
add    $0x10,%rsp
pop    %rbp
ret

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

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

LLVM IR (-O2):
define i32 @main() {
%1 = tail call i32 (...) @__VERIFIER_nondet_int()
ret i32 0
}
/* Type definitions */
struct crk5_obj_mes {
  int dummy;
};

/* Variables and functions */
int /*<<< orphan*/ free(struct crk5_obj_mes *);
void crk5_obj_mes_delete(struct crk5_obj_mes *obj) {
  if (!obj)
    return;
  free(obj);
}


x86 assembly (clang, -O0):
<crk5_obj_mes_delete>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
mov    %rdi,-0x8(%rbp)
cmpq   $0x0,-0x8(%rbp)
jne    112c <crk5_obj_mes_delete+0x1c>
jmp    1135 <crk5_obj_mes_delete+0x25>
mov    -0x8(%rbp),%rdi
call   1030 <free@plt>
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<crk5_obj_mes_delete>:
test   %rdi,%rdi
je     111a <crk5_obj_mes_delete+0xa>
jmp    1030 <free@plt>
ret

LLVM IR (-O0):
%struct.crk5_obj_mes = type { i32 }
define void @crk5_obj_mes_delete(%struct.crk5_obj_mes* %0) {
%2 = alloca %struct.crk5_obj_mes*
store %struct.crk5_obj_mes* %0, %struct.crk5_obj_mes** %2
%3 = load %struct.crk5_obj_mes*, %struct.crk5_obj_mes** %2
%4 = icmp ne %struct.crk5_obj_mes* %3, null
br i1 %4, label %6, label %5
5: ; preds = %1
br label %9
6: ; preds = %1
%7 = load %struct.crk5_obj_mes*, %struct.crk5_obj_mes** %2
%8 = call i32 @free(%struct.crk5_obj_mes* %7)
br label %9
9: ; preds = %6, %5
ret void
}

LLVM IR (-O2):
%struct.crk5_obj_mes = type { i32 }
define void @crk5_obj_mes_delete(%struct.crk5_obj_mes* %0) {
%2 = icmp eq %struct.crk5_obj_mes* %0, null
br i1 %2, label %5, label %3
3: ; preds = %1
%4 = tail call i32 @free(%struct.crk5_obj_mes* %0)
br label %5
5: ; preds = %1, %3
ret void
}
int _mpyhsu(int src1, unsigned int src2) {
  return (short)(src1 >> 16) * (unsigned short)(src2 >> 16);
}


x86 assembly (clang, -O0):
<_mpyhsu>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    -0x4(%rbp),%eax
sar    $0x10,%eax
cwtl
mov    -0x8(%rbp),%ecx
shr    $0x10,%ecx
movzwl %cx,%ecx
imul   %ecx,%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<_mpyhsu>:
mov    %esi,%eax
sar    $0x10,%edi
shr    $0x10,%eax
imul   %edi,%eax
ret

LLVM IR (-O0):
define i32 @_mpyhsu(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 = ashr i32 %5, 16
%7 = trunc i32 %6 to i16
%8 = sext i16 %7 to i32
%9 = load i32, i32* %4
%10 = lshr i32 %9, 16
%11 = trunc i32 %10 to i16
%12 = zext i16 %11 to i32
%13 = mul nsw i32 %8, %12
ret i32 %13
}

LLVM IR (-O2):
define i32 @_mpyhsu(i32 %0, i32 %1) {
%3 = ashr i32 %0, 16
%4 = lshr i32 %1, 16
%5 = mul nsw i32 %4, %3
ret i32 %5
}
/* Variables and functions */
int /*<<< orphan*/ Assert_real(int, char *, int, char *);
scalar_t__ iscntrl(int);
void t_iscntrl_0x24() {
  Assert_real((iscntrl(36) == 0),
              "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
              "2022-01-22/02-19-57/repos/bitfixer/bitfixer/refs/heads/master/"
              "dg/z88dk/test/suites/ctype/test_iscntrl.c",
              185, ("iscntrl should be 0 for $"));
}


x86 assembly (clang, -O0):
<t_iscntrl_0x24>:
push   %rbp
mov    %rsp,%rbp
mov    $0x24,%edi
call   1030 <iscntrl@plt>
cmp    $0x0,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
lea    0xebf(%rip),%rsi
mov    $0xb9,%edx
lea    0xf5b(%rip),%rcx
call   1040 <Assert_real@plt>
pop    %rbp
ret

x86 assembly (clang, -O2):
<t_iscntrl_0x24>:
push   %rax
mov    $0x24,%edi
call   1030 <iscntrl@plt>
xor    %edi,%edi
test   %rax,%rax
sete   %dil
lea    0xec5(%rip),%rsi
lea    0xf66(%rip),%rcx
mov    $0xb9,%edx
pop    %rax
jmp    1040 <Assert_real@plt>

LLVM IR (-O0):
@.str = [168 x i8] c"/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/2022-01-22/02-19-57/repos/bitfixer/bitfixer/refs/heads/master/dg/z88dk/test/suites/ctype/test_iscntrl.c\00"
@.str.1 = [26 x i8] c"iscntrl should be 0 for $\00"
define void @t_iscntrl_0x24() {
%1 = call i64 @iscntrl(i32 36)
%2 = icmp eq i64 %1, 0
%3 = zext i1 %2 to i32
%4 = call i32 @Assert_real(i32 %3, i8* getelementptr inbounds ([168 x i8], [168 x i8]* @.str, i64 0, i64 0), i32 185, i8* getelementptr inbounds ([26 x i8], [26 x i8]* @.str.1, i64 0, i64 0))
ret void
}

LLVM IR (-O2):
@.str = [168 x i8] c"/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/2022-01-22/02-19-57/repos/bitfixer/bitfixer/refs/heads/master/dg/z88dk/test/suites/ctype/test_iscntrl.c\00"
@.str.1 = [26 x i8] c"iscntrl should be 0 for $\00"
define void @t_iscntrl_0x24() {
%1 = tail call i64 @iscntrl(i32 36)
%2 = icmp eq i64 %1, 0
%3 = zext i1 %2 to i32
%4 = tail call i32 @Assert_real(i32 %3, i8* getelementptr inbounds ([168 x i8], [168 x i8]* @.str, i64 0, i64 0), i32 185, i8* getelementptr inbounds ([26 x i8], [26 x i8]* @.str.1, i64 0, i64 0))
ret void
}
void emperor_wakeup(int sn) {}


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

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

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

LLVM IR (-O2):
define void @emperor_wakeup(i32 %0) {
ret void
}
/* Variables and functions */
int /*<<< orphan*/ creat(char *, int);
int execute_creat() {
  creat("syscalls.txt", 0666);
  creat("syscalls2.txt", 0600);
  return 0;
}


x86 assembly (clang, -O0):
<execute_creat>:
push   %rbp
mov    %rsp,%rbp
lea    0xee5(%rip),%rdi
mov    $0x1b6,%esi
call   1030 <creat@plt>
lea    0xee1(%rip),%rdi
mov    $0x180,%esi
call   1030 <creat@plt>
xor    %eax,%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<execute_creat>:
push   %rax
lea    0xee8(%rip),%rdi
mov    $0x1b6,%esi
call   1030 <creat@plt>
lea    0xee4(%rip),%rdi
mov    $0x180,%esi
call   1030 <creat@plt>
xor    %eax,%eax
pop    %rcx
ret

LLVM IR (-O0):
@.str = [13 x i8] c"syscalls.txt\00"
@.str.1 = [14 x i8] c"syscalls2.txt\00"
define i32 @execute_creat() {
%1 = call i32 @creat(i8* getelementptr inbounds ([13 x i8], [13 x i8]* @.str, i64 0, i64 0), i32 438)
%2 = call i32 @creat(i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str.1, i64 0, i64 0), i32 384)
ret i32 0
}

LLVM IR (-O2):
@.str = [13 x i8] c"syscalls.txt\00"
@.str.1 = [14 x i8] c"syscalls2.txt\00"
define i32 @execute_creat() {
%1 = tail call i32 @creat(i8* getelementptr inbounds ([13 x i8], [13 x i8]* @.str, i64 0, i64 0), i32 438)
%2 = tail call i32 @creat(i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str.1, i64 0, i64 0), i32 384)
ret i32 0
}
/* Variables and functions */
scalar_t__ sq(double const);
double sqrtf(scalar_t__);
double g2d_distance(const double a[2], const double b[2]) {
  return sqrtf(sq(a[0] - b[0]) + sq(a[1] - b[1]));
}


x86 assembly (clang, -O0):
<g2d_distance>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    -0x8(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x10(%rbp),%rax
subsd  (%rax),%xmm0
call   1040 <sq@plt>
mov    %rax,-0x18(%rbp)
mov    -0x8(%rbp),%rax
movsd  0x8(%rax),%xmm0
mov    -0x10(%rbp),%rax
subsd  0x8(%rax),%xmm0
call   1040 <sq@plt>
mov    -0x18(%rbp),%rdi
add    %rax,%rdi
call   1030 <sqrtf@plt>
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<g2d_distance>:
push   %r15
push   %r14
push   %rbx
mov    %rsi,%r14
mov    %rdi,%r15
movsd  (%rdi),%xmm0
subsd  (%rsi),%xmm0
call   1040 <sq@plt>
mov    %rax,%rbx
movsd  0x8(%r15),%xmm0
subsd  0x8(%r14),%xmm0
call   1040 <sq@plt>
add    %rax,%rbx
mov    %rbx,%rdi
pop    %rbx
pop    %r14
pop    %r15
jmp    1030 <sqrtf@plt>

LLVM IR (-O0):
define double @g2d_distance(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 = getelementptr inbounds double, double* %5, i64 0
%7 = load double, double* %6
%8 = load double*, double** %4
%9 = getelementptr inbounds double, double* %8, i64 0
%10 = load double, double* %9
%11 = fsub double %7, %10
%12 = call i64 @sq(double %11)
%13 = load double*, double** %3
%14 = getelementptr inbounds double, double* %13, i64 1
%15 = load double, double* %14
%16 = load double*, double** %4
%17 = getelementptr inbounds double, double* %16, i64 1
%18 = load double, double* %17
%19 = fsub double %15, %18
%20 = call i64 @sq(double %19)
%21 = add nsw i64 %12, %20
%22 = call double @sqrtf(i64 %21)
ret double %22
}

LLVM IR (-O2):
define double @g2d_distance(double* nocapture %0, double* nocapture %1) {
%3 = load double, double* %0
%4 = load double, double* %1
%5 = fsub double %3, %4
%6 = tail call i64 @sq(double %5)
%7 = getelementptr inbounds double, double* %0, i64 1
%8 = load double, double* %7
%9 = getelementptr inbounds double, double* %1, i64 1
%10 = load double, double* %9
%11 = fsub double %8, %10
%12 = tail call i64 @sq(double %11)
%13 = add nsw i64 %12, %6
%14 = tail call double @sqrtf(i64 %13)
ret double %14
}
void s2i_ASN1_OCTET_STRING(void) {}


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

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

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

LLVM IR (-O2):
define void @s2i_ASN1_OCTET_STRING() {
ret void
}
/* Variables and functions */
int /*<<< orphan*/ arrangeUnlink(char const *, int);
int /*<<< orphan*/ pm_make_tmpfile_fd(int *, char const **);
int /*<<< orphan*/ pm_strfree(char const *);
int pm_tmpfile_fd(void) {
  int fd;
  const char *tmpfileNm;
  pm_make_tmpfile_fd(&fd, &tmpfileNm);
  arrangeUnlink(tmpfileNm, fd);
  pm_strfree(tmpfileNm);
  return fd;
}


x86 assembly (clang, -O0):
<pm_tmpfile_fd>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
lea    -0x4(%rbp),%rdi
lea    -0x10(%rbp),%rsi
call   1040 <pm_make_tmpfile_fd@plt>
mov    -0x10(%rbp),%rdi
mov    -0x4(%rbp),%esi
call   1030 <arrangeUnlink@plt>
mov    -0x10(%rbp),%rdi
call   1050 <pm_strfree@plt>
mov    -0x4(%rbp),%eax
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<pm_tmpfile_fd>:
sub    $0x18,%rsp
lea    0xc(%rsp),%rdi
lea    0x10(%rsp),%rsi
call   1040 <pm_make_tmpfile_fd@plt>
mov    0x10(%rsp),%rdi
mov    0xc(%rsp),%esi
call   1030 <arrangeUnlink@plt>
mov    0x10(%rsp),%rdi
call   1050 <pm_strfree@plt>
mov    0xc(%rsp),%eax
add    $0x18,%rsp
ret

LLVM IR (-O0):
define i32 @pm_tmpfile_fd() {
%1 = alloca i32
%2 = alloca i8*
%3 = call i32 @pm_make_tmpfile_fd(i32* %1, i8** %2)
%4 = load i8*, i8** %2
%5 = load i32, i32* %1
%6 = call i32 @arrangeUnlink(i8* %4, i32 %5)
%7 = load i8*, i8** %2
%8 = call i32 @pm_strfree(i8* %7)
%9 = load i32, i32* %1
ret i32 %9
}

LLVM IR (-O2):
define i32 @pm_tmpfile_fd() {
%1 = alloca i32
%2 = alloca i8*
%3 = bitcast i32* %1 to i8*
%4 = bitcast i8** %2 to i8*
%5 = call i32 @pm_make_tmpfile_fd(i32* %1, i8** %2)
%6 = load i8*, i8** %2
%7 = load i32, i32* %1
%8 = call i32 @arrangeUnlink(i8* %6, i32 %7)
%9 = load i8*, i8** %2
%10 = call i32 @pm_strfree(i8* %9)
%11 = load i32, i32* %1
ret i32 %11
}
/* Variables and functions */
double sqrt(double const);
double _squareRoot(const int numInputs, const double *inputs,
                   const double *connectionWeights) {
  return sqrt(inputs[0]);
}


x86 assembly (clang, -O0):
<_squareRoot>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %edi,-0x4(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    -0x10(%rbp),%rax
movsd  (%rax),%xmm0
call   1030 <sqrt@plt>
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<_squareRoot>:
movsd  (%rsi),%xmm0
xorpd  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jb     1123 <_squareRoot+0x13>
sqrtsd %xmm0,%xmm0
ret
jmp    1030 <sqrt@plt>

LLVM IR (-O0):
define double @_squareRoot(i32 %0, double* %1, double* %2) {
%4 = alloca i32
%5 = alloca double*
%6 = alloca double*
store i32 %0, i32* %4
store double* %1, double** %5
store double* %2, double** %6
%7 = load double*, double** %5
%8 = getelementptr inbounds double, double* %7, i64 0
%9 = load double, double* %8
%10 = call double @sqrt(double %9)
ret double %10
}

LLVM IR (-O2):
define double @_squareRoot(i32 %0, double* nocapture %1, double* nocapture readnone %2) {
%4 = load double, double* %1
%5 = tail call double @sqrt(double %4)
ret double %5
}
int distance(int x1, int y1, int x2, int y2) {
  return (x2 - x1) * (x2 - x1) + (y2 - y1) * (y2 - y1);
}


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

x86 assembly (clang, -O2):
<distance>:
sub    %edi,%edx
imul   %edx,%edx
sub    %esi,%ecx
imul   %ecx,%ecx
lea    (%rcx,%rdx,1),%eax
ret

LLVM IR (-O0):
define i32 @distance(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* %7
%10 = load i32, i32* %5
%11 = sub nsw i32 %9, %10
%12 = load i32, i32* %7
%13 = load i32, i32* %5
%14 = sub nsw i32 %12, %13
%15 = mul nsw i32 %11, %14
%16 = load i32, i32* %8
%17 = load i32, i32* %6
%18 = sub nsw i32 %16, %17
%19 = load i32, i32* %8
%20 = load i32, i32* %6
%21 = sub nsw i32 %19, %20
%22 = mul nsw i32 %18, %21
%23 = add nsw i32 %15, %22
ret i32 %23
}

LLVM IR (-O2):
define i32 @distance(i32 %0, i32 %1, i32 %2, i32 %3) {
%5 = sub nsw i32 %2, %0
%6 = mul nsw i32 %5, %5
%7 = sub nsw i32 %3, %1
%8 = mul nsw i32 %7, %7
%9 = add nuw nsw i32 %8, %6
ret i32 %9
}