#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 */
char *OC_mkDotStr(char *, char *);
char *OC_mkRef(char *);
char *OC_mkSymbolAlias(char *, char *);
char *OC_mkVarDef(char *, char *);
char *UTIL_mallocStr(size_t);
int /*<<< orphan*/ free(char *);
int /*<<< orphan*/ strcat(char *, char *);
int /*<<< orphan*/ strcpy(char *, char *);
int strlen(char *);
char *OC_mkConstVarText(char *constName, char *fixity, char *prec, char *typrev,
                        char *tyskel, char *tyenvsize, char *skelneededness,
                        char *neededness, char *codeinfo, char *constcat,
                        char *varname, char *offset, char *printName) {
  char *constVar;
  char *ctr = OC_mkDotStr("Absyn", "Constant");
  char *symbol = OC_mkSymbolAlias(constName, printName);
  char *refFalse = OC_mkRef("false");
  char *refTrue = OC_mkRef("true");
  char *index = OC_mkRef(offset);
  char *pos = OC_mkDotStr("Errormsg", "none");
  size_t length = strlen(ctr) + strlen(symbol) + strlen(fixity) + strlen(prec) +
                  strlen(typrev) + strlen(tyskel) + strlen(tyenvsize) +
                  strlen(skelneededness) + strlen(neededness) +
                  strlen(codeinfo) + strlen(constcat) + strlen(index) +
                  strlen(pos) + strlen(refFalse) * 6 + 35;
  char *def = UTIL_mallocStr(length);
  strcpy(def, ctr);
  free(ctr);
  strcat(def, "(");
  strcat(def, symbol);
  free(symbol);
  strcat(def, ", ");
  strcat(def, fixity);
  strcat(def, ", ");
  strcat(def, prec);
  strcat(def, ", ");
  strcat(def, refFalse);
  strcat(def, ", ");
  strcat(def, refFalse);
  strcat(def, ", ");
  strcat(def, refTrue);
  free(refTrue);
  strcat(def, ", ");
  strcat(def, refFalse);
  strcat(def, ", ");
  strcat(def, typrev);
  strcat(def, ", ");
  strcat(def, refFalse);
  free(refFalse);
  strcat(def, ", ");
  strcat(def, tyskel);
  strcat(def, ", ");
  strcat(def, tyenvsize);
  strcat(def, ", ");
  strcat(def, skelneededness);
  strcat(def, ", ");
  strcat(def, neededness);
  strcat(def, ", ");
  strcat(def, codeinfo);
  strcat(def, ", ");
  strcat(def, constcat);
  strcat(def, ", ");
  strcat(def, index);
  free(index);
  strcat(def, ", ");
  strcat(def, pos);
  free(pos);
  strcat(def, ")");
  constVar = OC_mkVarDef(varname, def);
  free(def);
  return constVar;
}


x86 assembly (clang, -O0):
<OC_mkConstVarText>:
push   %rbp
mov    %rsp,%rbp
sub    $0xb0,%rsp
mov    0x40(%rbp),%rax
mov    0x38(%rbp),%rax
mov    0x30(%rbp),%rax
mov    0x28(%rbp),%rax
mov    0x20(%rbp),%rax
mov    0x18(%rbp),%rax
mov    0x10(%rbp),%rax
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    %r8,-0x28(%rbp)
mov    %r9,-0x30(%rbp)
lea    0xe2a(%rip),%rdi
lea    0xe29(%rip),%rsi
call   10b0 <OC_mkDotStr@plt>
mov    %rax,-0x40(%rbp)
mov    -0x8(%rbp),%rdi
mov    0x40(%rbp),%rsi
call   1090 <OC_mkSymbolAlias@plt>
mov    %rax,-0x48(%rbp)
lea    0xe11(%rip),%rdi
call   1060 <OC_mkRef@plt>
mov    %rax,-0x50(%rbp)
lea    0xe07(%rip),%rdi
call   1060 <OC_mkRef@plt>
mov    %rax,-0x58(%rbp)
mov    0x38(%rbp),%rdi
call   1060 <OC_mkRef@plt>
mov    %rax,-0x60(%rbp)
lea    0xdef(%rip),%rdi
lea    0xdf1(%rip),%rsi
call   10b0 <OC_mkDotStr@plt>
mov    %rax,-0x68(%rbp)
mov    -0x40(%rbp),%rdi
call   1050 <strlen@plt>
mov    %eax,-0xac(%rbp)
mov    -0x48(%rbp),%rdi
call   1050 <strlen@plt>
mov    %eax,%ecx
mov    -0xac(%rbp),%eax
add    %ecx,%eax
mov    %eax,-0xa8(%rbp)
mov    -0x10(%rbp),%rdi
call   1050 <strlen@plt>
mov    %eax,%ecx
mov    -0xa8(%rbp),%eax
add    %ecx,%eax
mov    %eax,-0xa4(%rbp)
mov    -0x18(%rbp),%rdi
call   1050 <strlen@plt>
mov    %eax,%ecx
mov    -0xa4(%rbp),%eax
add    %ecx,%eax
mov    %eax,-0xa0(%rbp)
mov    -0x20(%rbp),%rdi
call   1050 <strlen@plt>
mov    %eax,%ecx
mov    -0xa0(%rbp),%eax
add    %ecx,%eax
mov    %eax,-0x9c(%rbp)
mov    -0x28(%rbp),%rdi
call   1050 <strlen@plt>
mov    %eax,%ecx
mov    -0x9c(%rbp),%eax
add    %ecx,%eax
mov    %eax,-0x98(%rbp)
mov    -0x30(%rbp),%rdi
call   1050 <strlen@plt>
mov    %eax,%ecx
mov    -0x98(%rbp),%eax
add    %ecx,%eax
mov    %eax,-0x94(%rbp)
mov    0x10(%rbp),%rdi
call   1050 <strlen@plt>
mov    %eax,%ecx
mov    -0x94(%rbp),%eax
add    %ecx,%eax
mov    %eax,-0x90(%rbp)
mov    0x18(%rbp),%rdi
call   1050 <strlen@plt>
mov    %eax,%ecx
mov    -0x90(%rbp),%eax
add    %ecx,%eax
mov    %eax,-0x8c(%rbp)
mov    0x20(%rbp),%rdi
call   1050 <strlen@plt>
mov    %eax,%ecx
mov    -0x8c(%rbp),%eax
add    %ecx,%eax
mov    %eax,-0x88(%rbp)
mov    0x28(%rbp),%rdi
call   1050 <strlen@plt>
mov    %eax,%ecx
mov    -0x88(%rbp),%eax
add    %ecx,%eax
mov    %eax,-0x84(%rbp)
mov    -0x60(%rbp),%rdi
call   1050 <strlen@plt>
mov    %eax,%ecx
mov    -0x84(%rbp),%eax
add    %ecx,%eax
mov    %eax,-0x80(%rbp)
mov    -0x68(%rbp),%rdi
call   1050 <strlen@plt>
mov    %eax,%ecx
mov    -0x80(%rbp),%eax
add    %ecx,%eax
mov    %eax,-0x7c(%rbp)
mov    -0x50(%rbp),%rdi
call   1050 <strlen@plt>
mov    %eax,%ecx
mov    -0x7c(%rbp),%eax
imul   $0x6,%ecx,%ecx
add    %ecx,%eax
add    $0x23,%eax
cltq
mov    %rax,-0x70(%rbp)
mov    -0x70(%rbp),%rdi
call   1080 <UTIL_mallocStr@plt>
mov    %rax,-0x78(%rbp)
mov    -0x78(%rbp),%rdi
mov    -0x40(%rbp),%rsi
call   1040 <strcpy@plt>
mov    -0x40(%rbp),%rdi
call   1030 <free@plt>
mov    -0x78(%rbp),%rdi
lea    0xc71(%rip),%rsi
call   10a0 <strcat@plt>
mov    -0x78(%rbp),%rdi
mov    -0x48(%rbp),%rsi
call   10a0 <strcat@plt>
mov    -0x48(%rbp),%rdi
call   1030 <free@plt>
mov    -0x78(%rbp),%rdi
lea    0xc4d(%rip),%rsi
call   10a0 <strcat@plt>
mov    -0x78(%rbp),%rdi
mov    -0x10(%rbp),%rsi
call   10a0 <strcat@plt>
mov    -0x78(%rbp),%rdi
lea    0xc30(%rip),%rsi
call   10a0 <strcat@plt>
mov    -0x78(%rbp),%rdi
mov    -0x18(%rbp),%rsi
call   10a0 <strcat@plt>
mov    -0x78(%rbp),%rdi
lea    0xc13(%rip),%rsi
call   10a0 <strcat@plt>
mov    -0x78(%rbp),%rdi
mov    -0x50(%rbp),%rsi
call   10a0 <strcat@plt>
mov    -0x78(%rbp),%rdi
lea    0xbf6(%rip),%rsi
call   10a0 <strcat@plt>
mov    -0x78(%rbp),%rdi
mov    -0x50(%rbp),%rsi
call   10a0 <strcat@plt>
mov    -0x78(%rbp),%rdi
lea    0xbd9(%rip),%rsi
call   10a0 <strcat@plt>
mov    -0x78(%rbp),%rdi
mov    -0x58(%rbp),%rsi
call   10a0 <strcat@plt>
mov    -0x58(%rbp),%rdi
call   1030 <free@plt>
mov    -0x78(%rbp),%rdi
lea    0xbb3(%rip),%rsi
call   10a0 <strcat@plt>
mov    -0x78(%rbp),%rdi
mov    -0x50(%rbp),%rsi
call   10a0 <strcat@plt>
mov    -0x78(%rbp),%rdi
lea    0xb96(%rip),%rsi
call   10a0 <strcat@plt>
mov    -0x78(%rbp),%rdi
mov    -0x20(%rbp),%rsi
call   10a0 <strcat@plt>
mov    -0x78(%rbp),%rdi
lea    0xb79(%rip),%rsi
call   10a0 <strcat@plt>
mov    -0x78(%rbp),%rdi
mov    -0x50(%rbp),%rsi
call   10a0 <strcat@plt>
mov    -0x50(%rbp),%rdi
call   1030 <free@plt>
mov    -0x78(%rbp),%rdi
lea    0xb53(%rip),%rsi
call   10a0 <strcat@plt>
mov    -0x78(%rbp),%rdi
mov    -0x28(%rbp),%rsi
call   10a0 <strcat@plt>
mov    -0x78(%rbp),%rdi
lea    0xb36(%rip),%rsi
call   10a0 <strcat@plt>
mov    -0x78(%rbp),%rdi
mov    -0x30(%rbp),%rsi
call   10a0 <strcat@plt>
mov    -0x78(%rbp),%rdi
lea    0xb19(%rip),%rsi
call   10a0 <strcat@plt>
mov    -0x78(%rbp),%rdi
mov    0x10(%rbp),%rsi
call   10a0 <strcat@plt>
mov    -0x78(%rbp),%rdi
lea    0xafc(%rip),%rsi
call   10a0 <strcat@plt>
mov    -0x78(%rbp),%rdi
mov    0x18(%rbp),%rsi
call   10a0 <strcat@plt>
mov    -0x78(%rbp),%rdi
lea    0xadf(%rip),%rsi
call   10a0 <strcat@plt>
mov    -0x78(%rbp),%rdi
mov    0x20(%rbp),%rsi
call   10a0 <strcat@plt>
mov    -0x78(%rbp),%rdi
lea    0xac2(%rip),%rsi
call   10a0 <strcat@plt>
mov    -0x78(%rbp),%rdi
mov    0x28(%rbp),%rsi
call   10a0 <strcat@plt>
mov    -0x78(%rbp),%rdi
lea    0xaa5(%rip),%rsi
call   10a0 <strcat@plt>
mov    -0x78(%rbp),%rdi
mov    -0x60(%rbp),%rsi
call   10a0 <strcat@plt>
mov    -0x60(%rbp),%rdi
call   1030 <free@plt>
mov    -0x78(%rbp),%rdi
lea    0xa7f(%rip),%rsi
call   10a0 <strcat@plt>
mov    -0x78(%rbp),%rdi
mov    -0x68(%rbp),%rsi
call   10a0 <strcat@plt>
mov    -0x68(%rbp),%rdi
call   1030 <free@plt>
mov    -0x78(%rbp),%rdi
lea    0xa5c(%rip),%rsi
call   10a0 <strcat@plt>
mov    0x30(%rbp),%rdi
mov    -0x78(%rbp),%rsi
call   1070 <OC_mkVarDef@plt>
mov    %rax,-0x38(%rbp)
mov    -0x78(%rbp),%rdi
call   1030 <free@plt>
mov    -0x38(%rbp),%rax
add    $0xb0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<OC_mkConstVarText>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x78,%rsp
mov    %r9,0x30(%rsp)
mov    %r8,0x28(%rsp)
mov    %rcx,0x20(%rsp)
mov    %rdx,%r15
mov    %rdx,0x58(%rsp)
mov    %rsi,%r12
mov    %rsi,0x50(%rsp)
mov    %rdi,%rbx
mov    0xd8(%rsp),%r14
mov    0xe0(%rsp),%r13
lea    0xe29(%rip),%rdi
lea    0xe28(%rip),%rsi
call   10b0 <OC_mkDotStr@plt>
mov    %rax,%rbp
mov    %rax,0x40(%rsp)
mov    %rbx,%rdi
mov    %r13,%rsi
call   1090 <OC_mkSymbolAlias@plt>
mov    %rax,%rbx
mov    %rax,0x48(%rsp)
lea    0xe0a(%rip),%rdi
call   1060 <OC_mkRef@plt>
mov    %rax,0x38(%rsp)
lea    0xdff(%rip),%rdi
call   1060 <OC_mkRef@plt>
mov    %rax,0x60(%rsp)
mov    %r14,%rdi
call   1060 <OC_mkRef@plt>
mov    %rax,%r14
mov    %rax,0x68(%rsp)
lea    0xde3(%rip),%rdi
lea    0xde5(%rip),%rsi
call   10b0 <OC_mkDotStr@plt>
mov    %rax,%r13
mov    %rax,0x70(%rsp)
mov    %rbp,%rdi
call   1050 <strlen@plt>
mov    %eax,0x1c(%rsp)
mov    %rbx,%rdi
call   1050 <strlen@plt>
mov    %eax,%ebx
mov    %r12,%rdi
call   1050 <strlen@plt>
mov    %eax,0x18(%rsp)
mov    %r15,%rdi
call   1050 <strlen@plt>
mov    %eax,0x14(%rsp)
mov    0x20(%rsp),%rdi
call   1050 <strlen@plt>
mov    %eax,0x10(%rsp)
mov    0x28(%rsp),%rdi
call   1050 <strlen@plt>
mov    %eax,0xc(%rsp)
mov    0x30(%rsp),%rdi
call   1050 <strlen@plt>
mov    %eax,0x8(%rsp)
mov    0xb0(%rsp),%rdi
call   1050 <strlen@plt>
mov    %eax,0x4(%rsp)
mov    0xb8(%rsp),%rdi
call   1050 <strlen@plt>
mov    %eax,(%rsp)
mov    0xc0(%rsp),%rdi
call   1050 <strlen@plt>
mov    %eax,%ebp
mov    0xc8(%rsp),%rdi
call   1050 <strlen@plt>
mov    %eax,%r15d
mov    %r14,%rdi
call   1050 <strlen@plt>
mov    %eax,%r12d
mov    %r13,%rdi
call   1050 <strlen@plt>
mov    %eax,%r14d
mov    0x38(%rsp),%r13
mov    %r13,%rdi
call   1050 <strlen@plt>
lea    (%rax,%rax,2),%eax
add    0x1c(%rsp),%ebx
add    0x18(%rsp),%ebx
add    0x14(%rsp),%ebx
add    0x10(%rsp),%ebx
add    0xc(%rsp),%ebx
add    0x8(%rsp),%ebx
add    0x4(%rsp),%ebx
add    (%rsp),%ebx
add    %ebp,%ebx
add    %r15d,%ebx
add    %r12d,%ebx
add    %r14d,%ebx
lea    (%rbx,%rax,2),%eax
add    $0x23,%eax
movslq %eax,%rdi
call   1080 <UTIL_mallocStr@plt>
mov    %rax,%r14
mov    %rax,%rdi
mov    0x40(%rsp),%rbx
mov    %rbx,%rsi
call   1040 <strcpy@plt>
mov    %rbx,%rdi
call   1030 <free@plt>
lea    0xcc5(%rip),%rsi
mov    %r14,%rdi
call   10a0 <strcat@plt>
mov    %r14,%rdi
mov    0x48(%rsp),%rbx
mov    %rbx,%rsi
call   10a0 <strcat@plt>
mov    %rbx,%rdi
call   1030 <free@plt>
lea    0xca0(%rip),%r15
mov    %r14,%rdi
mov    %r15,%rsi
call   10a0 <strcat@plt>
mov    %r14,%rdi
mov    0x50(%rsp),%rsi
call   10a0 <strcat@plt>
mov    %r14,%rdi
mov    %r15,%rsi
call   10a0 <strcat@plt>
mov    %r14,%rdi
mov    0x58(%rsp),%rsi
call   10a0 <strcat@plt>
mov    %r14,%rdi
mov    %r15,%rsi
call   10a0 <strcat@plt>
mov    %r14,%rdi
mov    %r13,%rsi
call   10a0 <strcat@plt>
mov    %r14,%rdi
mov    %r15,%rsi
call   10a0 <strcat@plt>
mov    %r14,%rdi
mov    %r13,%rsi
call   10a0 <strcat@plt>
mov    %r14,%rdi
mov    %r15,%rsi
call   10a0 <strcat@plt>
mov    %r14,%rdi
mov    0x60(%rsp),%rbp
mov    %rbp,%rsi
call   10a0 <strcat@plt>
mov    %rbp,%rdi
call   1030 <free@plt>
mov    %r14,%rdi
mov    %r15,%rsi
call   10a0 <strcat@plt>
mov    %r14,%rdi
mov    %r13,%rsi
call   10a0 <strcat@plt>
mov    %r14,%rdi
mov    %r15,%rsi
call   10a0 <strcat@plt>
mov    %r14,%rdi
mov    0x20(%rsp),%rsi
call   10a0 <strcat@plt>
mov    %r14,%rdi
mov    %r15,%rsi
call   10a0 <strcat@plt>
mov    %r14,%rdi
mov    %r13,%rsi
call   10a0 <strcat@plt>
mov    %r13,%rdi
call   1030 <free@plt>
mov    %r14,%rdi
mov    %r15,%rsi
call   10a0 <strcat@plt>
mov    %r14,%rdi
mov    0x28(%rsp),%rsi
call   10a0 <strcat@plt>
mov    %r14,%rdi
mov    %r15,%rsi
call   10a0 <strcat@plt>
mov    %r14,%rdi
mov    0x30(%rsp),%rsi
call   10a0 <strcat@plt>
mov    %r14,%rdi
mov    %r15,%rsi
call   10a0 <strcat@plt>
mov    %r14,%rdi
mov    0xb0(%rsp),%rsi
call   10a0 <strcat@plt>
mov    %r14,%rdi
mov    %r15,%rsi
call   10a0 <strcat@plt>
mov    %r14,%rdi
mov    0xb8(%rsp),%rsi
call   10a0 <strcat@plt>
mov    %r14,%rdi
mov    %r15,%rsi
call   10a0 <strcat@plt>
mov    %r14,%rdi
mov    0xc0(%rsp),%rsi
call   10a0 <strcat@plt>
mov    %r14,%rdi
mov    %r15,%rsi
call   10a0 <strcat@plt>
mov    %r14,%rdi
mov    0xc8(%rsp),%rsi
call   10a0 <strcat@plt>
mov    %r14,%rdi
mov    %r15,%rsi
call   10a0 <strcat@plt>
mov    %r14,%rdi
mov    0x68(%rsp),%rbx
mov    %rbx,%rsi
call   10a0 <strcat@plt>
mov    %rbx,%rdi
call   1030 <free@plt>
mov    %r14,%rdi
mov    %r15,%rsi
call   10a0 <strcat@plt>
mov    %r14,%rdi
mov    0x70(%rsp),%rbx
mov    %rbx,%rsi
call   10a0 <strcat@plt>
mov    %rbx,%rdi
call   1030 <free@plt>
lea    0xaef(%rip),%rsi
mov    %r14,%rdi
call   10a0 <strcat@plt>
mov    0xd0(%rsp),%rdi
mov    %r14,%rsi
call   1070 <OC_mkVarDef@plt>
mov    %rax,%rbx
mov    %r14,%rdi
call   1030 <free@plt>
mov    %rbx,%rax
add    $0x78,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@.str = [6 x i8] c"Absyn\00"
@.str.1 = [9 x i8] c"Constant\00"
@.str.2 = [6 x i8] c"false\00"
@.str.3 = [5 x i8] c"true\00"
@.str.4 = [9 x i8] c"Errormsg\00"
@.str.5 = [5 x i8] c"none\00"
@.str.6 = [2 x i8] c"(\00"
@.str.7 = [3 x i8] c", \00"
@.str.8 = [2 x i8] c")\00"
define i8* @OC_mkConstVarText(i8* %0, i8* %1, i8* %2, i8* %3, i8* %4, i8* %5, i8* %6, i8* %7, i8* %8, i8* %9, i8* %10, i8* %11, i8* %12) {
%14 = alloca i8*
%15 = alloca i8*
%16 = alloca i8*
%17 = alloca i8*
%18 = alloca i8*
%19 = alloca i8*
%20 = alloca i8*
%21 = alloca i8*
%22 = alloca i8*
%23 = alloca i8*
%24 = alloca i8*
%25 = alloca i8*
%26 = alloca i8*
%27 = alloca i8*
%28 = alloca i8*
%29 = alloca i8*
%30 = alloca i8*
%31 = alloca i8*
%32 = alloca i8*
%33 = alloca i8*
%34 = alloca i64
%35 = alloca i8*
store i8* %0, i8** %14
store i8* %1, i8** %15
store i8* %2, i8** %16
store i8* %3, i8** %17
store i8* %4, i8** %18
store i8* %5, i8** %19
store i8* %6, i8** %20
store i8* %7, i8** %21
store i8* %8, i8** %22
store i8* %9, i8** %23
store i8* %10, i8** %24
store i8* %11, i8** %25
store i8* %12, i8** %26
%36 = call i8* @OC_mkDotStr(i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.1, i64 0, i64 0))
store i8* %36, i8** %28
%37 = load i8*, i8** %14
%38 = load i8*, i8** %26
%39 = call i8* @OC_mkSymbolAlias(i8* %37, i8* %38)
store i8* %39, i8** %29
%40 = call i8* @OC_mkRef(i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.2, i64 0, i64 0))
store i8* %40, i8** %30
%41 = call i8* @OC_mkRef(i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.3, i64 0, i64 0))
store i8* %41, i8** %31
%42 = load i8*, i8** %25
%43 = call i8* @OC_mkRef(i8* %42)
store i8* %43, i8** %32
%44 = call i8* @OC_mkDotStr(i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.4, i64 0, i64 0), i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.5, i64 0, i64 0))
store i8* %44, i8** %33
%45 = load i8*, i8** %28
%46 = call i32 @strlen(i8* %45)
%47 = load i8*, i8** %29
%48 = call i32 @strlen(i8* %47)
%49 = add nsw i32 %46, %48
%50 = load i8*, i8** %15
%51 = call i32 @strlen(i8* %50)
%52 = add nsw i32 %49, %51
%53 = load i8*, i8** %16
%54 = call i32 @strlen(i8* %53)
%55 = add nsw i32 %52, %54
%56 = load i8*, i8** %17
%57 = call i32 @strlen(i8* %56)
%58 = add nsw i32 %55, %57
%59 = load i8*, i8** %18
%60 = call i32 @strlen(i8* %59)
%61 = add nsw i32 %58, %60
%62 = load i8*, i8** %19
%63 = call i32 @strlen(i8* %62)
%64 = add nsw i32 %61, %63
%65 = load i8*, i8** %20
%66 = call i32 @strlen(i8* %65)
%67 = add nsw i32 %64, %66
%68 = load i8*, i8** %21
%69 = call i32 @strlen(i8* %68)
%70 = add nsw i32 %67, %69
%71 = load i8*, i8** %22
%72 = call i32 @strlen(i8* %71)
%73 = add nsw i32 %70, %72
%74 = load i8*, i8** %23
%75 = call i32 @strlen(i8* %74)
%76 = add nsw i32 %73, %75
%77 = load i8*, i8** %32
%78 = call i32 @strlen(i8* %77)
%79 = add nsw i32 %76, %78
%80 = load i8*, i8** %33
%81 = call i32 @strlen(i8* %80)
%82 = add nsw i32 %79, %81
%83 = load i8*, i8** %30
%84 = call i32 @strlen(i8* %83)
%85 = mul nsw i32 %84, 6
%86 = add nsw i32 %82, %85
%87 = add nsw i32 %86, 35
%88 = sext i32 %87 to i64
store i64 %88, i64* %34
%89 = load i64, i64* %34
%90 = call i8* @UTIL_mallocStr(i64 %89)
store i8* %90, i8** %35
%91 = load i8*, i8** %35
%92 = load i8*, i8** %28
%93 = call i32 @strcpy(i8* %91, i8* %92)
%94 = load i8*, i8** %28
%95 = call i32 @free(i8* %94)
%96 = load i8*, i8** %35
%97 = call i32 @strcat(i8* %96, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.6, i64 0, i64 0))
%98 = load i8*, i8** %35
%99 = load i8*, i8** %29
%100 = call i32 @strcat(i8* %98, i8* %99)
%101 = load i8*, i8** %29
%102 = call i32 @free(i8* %101)
%103 = load i8*, i8** %35
%104 = call i32 @strcat(i8* %103, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.7, i64 0, i64 0))
%105 = load i8*, i8** %35
%106 = load i8*, i8** %15
%107 = call i32 @strcat(i8* %105, i8* %106)
%108 = load i8*, i8** %35
%109 = call i32 @strcat(i8* %108, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.7, i64 0, i64 0))
%110 = load i8*, i8** %35
%111 = load i8*, i8** %16
%112 = call i32 @strcat(i8* %110, i8* %111)
%113 = load i8*, i8** %35
%114 = call i32 @strcat(i8* %113, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.7, i64 0, i64 0))
%115 = load i8*, i8** %35
%116 = load i8*, i8** %30
%117 = call i32 @strcat(i8* %115, i8* %116)
%118 = load i8*, i8** %35
%119 = call i32 @strcat(i8* %118, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.7, i64 0, i64 0))
%120 = load i8*, i8** %35
%121 = load i8*, i8** %30
%122 = call i32 @strcat(i8* %120, i8* %121)
%123 = load i8*, i8** %35
%124 = call i32 @strcat(i8* %123, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.7, i64 0, i64 0))
%125 = load i8*, i8** %35
%126 = load i8*, i8** %31
%127 = call i32 @strcat(i8* %125, i8* %126)
%128 = load i8*, i8** %31
%129 = call i32 @free(i8* %128)
%130 = load i8*, i8** %35
%131 = call i32 @strcat(i8* %130, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.7, i64 0, i64 0))
%132 = load i8*, i8** %35
%133 = load i8*, i8** %30
%134 = call i32 @strcat(i8* %132, i8* %133)
%135 = load i8*, i8** %35
%136 = call i32 @strcat(i8* %135, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.7, i64 0, i64 0))
%137 = load i8*, i8** %35
%138 = load i8*, i8** %17
%139 = call i32 @strcat(i8* %137, i8* %138)
%140 = load i8*, i8** %35
%141 = call i32 @strcat(i8* %140, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.7, i64 0, i64 0))
%142 = load i8*, i8** %35
%143 = load i8*, i8** %30
%144 = call i32 @strcat(i8* %142, i8* %143)
%145 = load i8*, i8** %30
%146 = call i32 @free(i8* %145)
%147 = load i8*, i8** %35
%148 = call i32 @strcat(i8* %147, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.7, i64 0, i64 0))
%149 = load i8*, i8** %35
%150 = load i8*, i8** %18
%151 = call i32 @strcat(i8* %149, i8* %150)
%152 = load i8*, i8** %35
%153 = call i32 @strcat(i8* %152, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.7, i64 0, i64 0))
%154 = load i8*, i8** %35
%155 = load i8*, i8** %19
%156 = call i32 @strcat(i8* %154, i8* %155)
%157 = load i8*, i8** %35
%158 = call i32 @strcat(i8* %157, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.7, i64 0, i64 0))
%159 = load i8*, i8** %35
%160 = load i8*, i8** %20
%161 = call i32 @strcat(i8* %159, i8* %160)
%162 = load i8*, i8** %35
%163 = call i32 @strcat(i8* %162, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.7, i64 0, i64 0))
%164 = load i8*, i8** %35
%165 = load i8*, i8** %21
%166 = call i32 @strcat(i8* %164, i8* %165)
%167 = load i8*, i8** %35
%168 = call i32 @strcat(i8* %167, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.7, i64 0, i64 0))
%169 = load i8*, i8** %35
%170 = load i8*, i8** %22
%171 = call i32 @strcat(i8* %169, i8* %170)
%172 = load i8*, i8** %35
%173 = call i32 @strcat(i8* %172, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.7, i64 0, i64 0))
%174 = load i8*, i8** %35
%175 = load i8*, i8** %23
%176 = call i32 @strcat(i8* %174, i8* %175)
%177 = load i8*, i8** %35
%178 = call i32 @strcat(i8* %177, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.7, i64 0, i64 0))
%179 = load i8*, i8** %35
%180 = load i8*, i8** %32
%181 = call i32 @strcat(i8* %179, i8* %180)
%182 = load i8*, i8** %32
%183 = call i32 @free(i8* %182)
%184 = load i8*, i8** %35
%185 = call i32 @strcat(i8* %184, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.7, i64 0, i64 0))
%186 = load i8*, i8** %35
%187 = load i8*, i8** %33
%188 = call i32 @strcat(i8* %186, i8* %187)
%189 = load i8*, i8** %33
%190 = call i32 @free(i8* %189)
%191 = load i8*, i8** %35
%192 = call i32 @strcat(i8* %191, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.8, i64 0, i64 0))
%193 = load i8*, i8** %24
%194 = load i8*, i8** %35
%195 = call i8* @OC_mkVarDef(i8* %193, i8* %194)
store i8* %195, i8** %27
%196 = load i8*, i8** %35
%197 = call i32 @free(i8* %196)
%198 = load i8*, i8** %27
ret i8* %198
}

LLVM IR (-O2):
@.str = [6 x i8] c"Absyn\00"
@.str.1 = [9 x i8] c"Constant\00"
@.str.2 = [6 x i8] c"false\00"
@.str.3 = [5 x i8] c"true\00"
@.str.4 = [9 x i8] c"Errormsg\00"
@.str.5 = [5 x i8] c"none\00"
@.str.6 = [2 x i8] c"(\00"
@.str.7 = [3 x i8] c", \00"
@.str.8 = [2 x i8] c")\00"
define i8* @OC_mkConstVarText(i8* %0, i8* %1, i8* %2, i8* %3, i8* %4, i8* %5, i8* %6, i8* %7, i8* %8, i8* %9, i8* %10, i8* %11, i8* %12) {
%14 = tail call i8* @OC_mkDotStr(i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.1, i64 0, i64 0))
%15 = tail call i8* @OC_mkSymbolAlias(i8* %0, i8* %12)
%16 = tail call i8* @OC_mkRef(i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.2, i64 0, i64 0))
%17 = tail call i8* @OC_mkRef(i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.3, i64 0, i64 0))
%18 = tail call i8* @OC_mkRef(i8* %11)
%19 = tail call i8* @OC_mkDotStr(i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.4, i64 0, i64 0), i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.5, i64 0, i64 0))
%20 = tail call i32 @strlen(i8* %14)
%21 = tail call i32 @strlen(i8* %15)
%22 = tail call i32 @strlen(i8* %1)
%23 = tail call i32 @strlen(i8* %2)
%24 = tail call i32 @strlen(i8* %3)
%25 = tail call i32 @strlen(i8* %4)
%26 = tail call i32 @strlen(i8* %5)
%27 = tail call i32 @strlen(i8* %6)
%28 = tail call i32 @strlen(i8* %7)
%29 = tail call i32 @strlen(i8* %8)
%30 = tail call i32 @strlen(i8* %9)
%31 = tail call i32 @strlen(i8* %18)
%32 = tail call i32 @strlen(i8* %19)
%33 = tail call i32 @strlen(i8* %16)
%34 = mul nsw i32 %33, 6
%35 = add i32 %20, 35
%36 = add i32 %35, %21
%37 = add i32 %36, %22
%38 = add i32 %37, %23
%39 = add i32 %38, %24
%40 = add i32 %39, %25
%41 = add i32 %40, %26
%42 = add i32 %41, %27
%43 = add i32 %42, %28
%44 = add i32 %43, %29
%45 = add i32 %44, %30
%46 = add i32 %45, %31
%47 = add i32 %46, %32
%48 = add i32 %47, %34
%49 = sext i32 %48 to i64
%50 = tail call i8* @UTIL_mallocStr(i64 %49)
%51 = tail call i32 @strcpy(i8* %50, i8* %14)
%52 = tail call i32 @free(i8* %14)
%53 = tail call i32 @strcat(i8* %50, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.6, i64 0, i64 0))
%54 = tail call i32 @strcat(i8* %50, i8* %15)
%55 = tail call i32 @free(i8* %15)
%56 = tail call i32 @strcat(i8* %50, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.7, i64 0, i64 0))
%57 = tail call i32 @strcat(i8* %50, i8* %1)
%58 = tail call i32 @strcat(i8* %50, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.7, i64 0, i64 0))
%59 = tail call i32 @strcat(i8* %50, i8* %2)
%60 = tail call i32 @strcat(i8* %50, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.7, i64 0, i64 0))
%61 = tail call i32 @strcat(i8* %50, i8* %16)
%62 = tail call i32 @strcat(i8* %50, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.7, i64 0, i64 0))
%63 = tail call i32 @strcat(i8* %50, i8* %16)
%64 = tail call i32 @strcat(i8* %50, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.7, i64 0, i64 0))
%65 = tail call i32 @strcat(i8* %50, i8* %17)
%66 = tail call i32 @free(i8* %17)
%67 = tail call i32 @strcat(i8* %50, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.7, i64 0, i64 0))
%68 = tail call i32 @strcat(i8* %50, i8* %16)
%69 = tail call i32 @strcat(i8* %50, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.7, i64 0, i64 0))
%70 = tail call i32 @strcat(i8* %50, i8* %3)
%71 = tail call i32 @strcat(i8* %50, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.7, i64 0, i64 0))
%72 = tail call i32 @strcat(i8* %50, i8* %16)
%73 = tail call i32 @free(i8* %16)
%74 = tail call i32 @strcat(i8* %50, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.7, i64 0, i64 0))
%75 = tail call i32 @strcat(i8* %50, i8* %4)
%76 = tail call i32 @strcat(i8* %50, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.7, i64 0, i64 0))
%77 = tail call i32 @strcat(i8* %50, i8* %5)
%78 = tail call i32 @strcat(i8* %50, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.7, i64 0, i64 0))
%79 = tail call i32 @strcat(i8* %50, i8* %6)
%80 = tail call i32 @strcat(i8* %50, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.7, i64 0, i64 0))
%81 = tail call i32 @strcat(i8* %50, i8* %7)
%82 = tail call i32 @strcat(i8* %50, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.7, i64 0, i64 0))
%83 = tail call i32 @strcat(i8* %50, i8* %8)
%84 = tail call i32 @strcat(i8* %50, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.7, i64 0, i64 0))
%85 = tail call i32 @strcat(i8* %50, i8* %9)
%86 = tail call i32 @strcat(i8* %50, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.7, i64 0, i64 0))
%87 = tail call i32 @strcat(i8* %50, i8* %18)
%88 = tail call i32 @free(i8* %18)
%89 = tail call i32 @strcat(i8* %50, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.7, i64 0, i64 0))
%90 = tail call i32 @strcat(i8* %50, i8* %19)
%91 = tail call i32 @free(i8* %19)
%92 = tail call i32 @strcat(i8* %50, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.8, i64 0, i64 0))
%93 = tail call i8* @OC_mkVarDef(i8* %10, i8* %50)
%94 = tail call i32 @free(i8* %50)
ret i8* %93
}