#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */

/* Variables and functions */
int /*<<< orphan*/ cnfExprt(char *, char *const, int);
int /*<<< orphan*/ errLoad(char *, int, int *, char *, int, int *, int *);
int /*<<< orphan*/ starFree(char *);
char *starMallocAtomic(int);
void err_load_(char *const PARAM, int *const PARLEN, char *const OPSTR,
               int *const OPLEN, int *const STATUS, int PARAM_length,
               int OPSTR_length) {
  char *opstr;
  char *param;
  int oplen;
  int parlen;
  int status;
  opstr = starMallocAtomic(OPSTR_length + 1);
  param = starMallocAtomic(PARAM_length + 1);
  status = *STATUS;
  errLoad(param, PARAM_length + 1, &parlen, opstr, OPSTR_length + 1, &oplen,
          &status);
  *STATUS = status;
  *OPLEN = oplen;
  *PARLEN = parlen;
  cnfExprt(opstr, OPSTR, OPSTR_length);
  cnfExprt(param, PARAM, PARAM_length);
  starFree(opstr);
  starFree(param);
}


x86 assembly (clang, -O0):
<err_load_>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%rsp
mov    0x10(%rbp),%eax
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    %r8,-0x28(%rbp)
mov    %r9d,-0x2c(%rbp)
mov    0x10(%rbp),%edi
add    $0x1,%edi
call   1060 <starMallocAtomic@plt>
mov    %rax,-0x38(%rbp)
mov    -0x2c(%rbp),%edi
add    $0x1,%edi
call   1060 <starMallocAtomic@plt>
mov    %rax,-0x40(%rbp)
mov    -0x28(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x4c(%rbp)
mov    -0x40(%rbp),%rdi
mov    -0x2c(%rbp),%esi
add    $0x1,%esi
mov    -0x38(%rbp),%rcx
mov    0x10(%rbp),%r8d
add    $0x1,%r8d
lea    -0x48(%rbp),%rdx
lea    -0x44(%rbp),%r9
lea    -0x4c(%rbp),%rax
mov    %rax,(%rsp)
call   1050 <errLoad@plt>
mov    -0x4c(%rbp),%ecx
mov    -0x28(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x44(%rbp),%ecx
mov    -0x20(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x48(%rbp),%ecx
mov    -0x10(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x38(%rbp),%rdi
mov    -0x18(%rbp),%rsi
mov    0x10(%rbp),%edx
call   1040 <cnfExprt@plt>
mov    -0x40(%rbp),%rdi
mov    -0x8(%rbp),%rsi
mov    -0x2c(%rbp),%edx
call   1040 <cnfExprt@plt>
mov    -0x38(%rbp),%rdi
call   1030 <starFree@plt>
mov    -0x40(%rbp),%rdi
call   1030 <starFree@plt>
add    $0x60,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<err_load_>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x38,%rsp
mov    %r9d,%r15d
mov    %r8,%r12
mov    %rcx,0x18(%rsp)
mov    %rdx,0x28(%rsp)
mov    %rsi,0x20(%rsp)
mov    %rdi,0x30(%rsp)
mov    0x70(%rsp),%eax
lea    0x1(%rax),%ebp
mov    %ebp,%edi
call   1060 <starMallocAtomic@plt>
mov    %rax,%r13
lea    0x1(%r15),%r14d
mov    %r14d,%edi
call   1060 <starMallocAtomic@plt>
mov    %rax,%rbx
mov    (%r12),%eax
mov    %eax,0xc(%rsp)
lea    0xc(%rsp),%rax
mov    %rax,(%rsp)
lea    0x10(%rsp),%rdx
lea    0x14(%rsp),%r9
mov    %rbx,%rdi
mov    %r14d,%esi
mov    %r13,%rcx
mov    %ebp,%r8d
call   1050 <errLoad@plt>
mov    0xc(%rsp),%eax
mov    %eax,(%r12)
mov    0x14(%rsp),%eax
mov    0x18(%rsp),%rcx
mov    %eax,(%rcx)
mov    0x10(%rsp),%eax
mov    0x20(%rsp),%rcx
mov    %eax,(%rcx)
mov    %r13,%rdi
mov    0x28(%rsp),%rsi
mov    0x70(%rsp),%edx
call   1040 <cnfExprt@plt>
mov    %rbx,%rdi
mov    0x30(%rsp),%rsi
mov    %r15d,%edx
call   1040 <cnfExprt@plt>
mov    %r13,%rdi
call   1030 <starFree@plt>
mov    %rbx,%rdi
call   1030 <starFree@plt>
add    $0x38,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define void @err_load_(i8* %0, i32* %1, i8* %2, i32* %3, i32* %4, i32 %5, i32 %6) {
%8 = alloca i8*
%9 = alloca i32*
%10 = alloca i8*
%11 = alloca i32*
%12 = alloca i32*
%13 = alloca i32
%14 = alloca i32
%15 = alloca i8*
%16 = alloca i8*
%17 = alloca i32
%18 = alloca i32
%19 = alloca i32
store i8* %0, i8** %8
store i32* %1, i32** %9
store i8* %2, i8** %10
store i32* %3, i32** %11
store i32* %4, i32** %12
store i32 %5, i32* %13
store i32 %6, i32* %14
%20 = load i32, i32* %14
%21 = add nsw i32 %20, 1
%22 = call i8* @starMallocAtomic(i32 %21)
store i8* %22, i8** %15
%23 = load i32, i32* %13
%24 = add nsw i32 %23, 1
%25 = call i8* @starMallocAtomic(i32 %24)
store i8* %25, i8** %16
%26 = load i32*, i32** %12
%27 = load i32, i32* %26
store i32 %27, i32* %19
%28 = load i8*, i8** %16
%29 = load i32, i32* %13
%30 = add nsw i32 %29, 1
%31 = load i8*, i8** %15
%32 = load i32, i32* %14
%33 = add nsw i32 %32, 1
%34 = call i32 @errLoad(i8* %28, i32 %30, i32* %18, i8* %31, i32 %33, i32* %17, i32* %19)
%35 = load i32, i32* %19
%36 = load i32*, i32** %12
store i32 %35, i32* %36
%37 = load i32, i32* %17
%38 = load i32*, i32** %11
store i32 %37, i32* %38
%39 = load i32, i32* %18
%40 = load i32*, i32** %9
store i32 %39, i32* %40
%41 = load i8*, i8** %15
%42 = load i8*, i8** %10
%43 = load i32, i32* %14
%44 = call i32 @cnfExprt(i8* %41, i8* %42, i32 %43)
%45 = load i8*, i8** %16
%46 = load i8*, i8** %8
%47 = load i32, i32* %13
%48 = call i32 @cnfExprt(i8* %45, i8* %46, i32 %47)
%49 = load i8*, i8** %15
%50 = call i32 @starFree(i8* %49)
%51 = load i8*, i8** %16
%52 = call i32 @starFree(i8* %51)
ret void
}

LLVM IR (-O2):
define void @err_load_(i8* %0, i32* nocapture writeonly %1, i8* %2, i32* nocapture writeonly %3, i32* nocapture %4, i32 %5, i32 %6) {
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
%11 = bitcast i32* %8 to i8*
%12 = bitcast i32* %9 to i8*
%13 = bitcast i32* %10 to i8*
%14 = add nsw i32 %6, 1
%15 = tail call i8* @starMallocAtomic(i32 %14)
%16 = add nsw i32 %5, 1
%17 = tail call i8* @starMallocAtomic(i32 %16)
%18 = load i32, i32* %4
store i32 %18, i32* %10
%19 = call i32 @errLoad(i8* %17, i32 %16, i32* %9, i8* %15, i32 %14, i32* %8, i32* %10)
%20 = load i32, i32* %10
store i32 %20, i32* %4
%21 = load i32, i32* %8
store i32 %21, i32* %3
%22 = load i32, i32* %9
store i32 %22, i32* %1
%23 = call i32 @cnfExprt(i8* %15, i8* %2, i32 %6)
%24 = call i32 @cnfExprt(i8* %17, i8* %0, i32 %5)
%25 = call i32 @starFree(i8* %15)
%26 = call i32 @starFree(i8* %17)
ret void
}