#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 */
scalar_t__ malloc(int);
char *intToRoman0(int num) {
  if (num < 1 || num > 3999)
    return NULL;
  int index = 0;
  char *s = (char *)malloc(sizeof(char) * 100);
  while (num >= 1000) {
    s[index++] = 'M';
    num -= 1000;
  }
  if (num >= 900) {
    s[index++] = 'C';
    s[index++] = 'M';
    num -= 900;
  }
  if (num >= 500) {
    s[index++] = 'D';
    num -= 500;
  }
  if (num >= 400) {
    s[index++] = 'C';
    s[index++] = 'D';
    num -= 400;
  }
  while (num >= 100) {
    s[index++] = 'C';
    num -= 100;
  }
  if (num >= 90) {
    s[index++] = 'X';
    s[index++] = 'C';
    num -= 90;
  }
  if (num >= 50) {
    s[index++] = 'L';
    num -= 50;
  }
  if (num >= 40) {
    s[index++] = 'X';
    s[index++] = 'L';
    num -= 40;
  }
  while (num >= 10) {
    s[index++] = 'X';
    num -= 10;
  }
  if (num >= 9) {
    s[index++] = 'I';
    s[index++] = 'X';
    num -= 9;
  }
  if (num >= 5) {
    s[index++] = 'V';
    num -= 5;
  }
  if (num >= 4) {
    s[index++] = 'I';
    s[index++] = 'V';
    num -= 4;
  }
  while (num) {
    s[index++] = 'I';
    num--;
  }
  s[index] = '\0';
  return s;
}


x86 assembly (clang, -O0):
<intToRoman0>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %edi,-0xc(%rbp)
cmpl   $0x1,-0xc(%rbp)
jl     1132 <intToRoman0+0x22>
cmpl   $0xf9f,-0xc(%rbp)
jle    113f <intToRoman0+0x2f>
movq   $0x0,-0x8(%rbp)
jmp    1438 <intToRoman0+0x328>
movl   $0x0,-0x10(%rbp)
mov    $0x64,%edi
call   1030 <malloc@plt>
mov    %rax,-0x18(%rbp)
cmpl   $0x3e8,-0xc(%rbp)
jl     1187 <intToRoman0+0x77>
mov    -0x18(%rbp),%rax
mov    -0x10(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x10(%rbp)
movslq %ecx,%rcx
movb   $0x4d,(%rax,%rcx,1)
mov    -0xc(%rbp),%eax
sub    $0x3e8,%eax
mov    %eax,-0xc(%rbp)
jmp    1154 <intToRoman0+0x44>
cmpl   $0x384,-0xc(%rbp)
jl     11cb <intToRoman0+0xbb>
mov    -0x18(%rbp),%rax
mov    -0x10(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x10(%rbp)
movslq %ecx,%rcx
movb   $0x43,(%rax,%rcx,1)
mov    -0x18(%rbp),%rax
mov    -0x10(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x10(%rbp)
movslq %ecx,%rcx
movb   $0x4d,(%rax,%rcx,1)
mov    -0xc(%rbp),%eax
sub    $0x384,%eax
mov    %eax,-0xc(%rbp)
cmpl   $0x1f4,-0xc(%rbp)
jl     11f9 <intToRoman0+0xe9>
mov    -0x18(%rbp),%rax
mov    -0x10(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x10(%rbp)
movslq %ecx,%rcx
movb   $0x44,(%rax,%rcx,1)
mov    -0xc(%rbp),%eax
sub    $0x1f4,%eax
mov    %eax,-0xc(%rbp)
cmpl   $0x190,-0xc(%rbp)
jl     123d <intToRoman0+0x12d>
mov    -0x18(%rbp),%rax
mov    -0x10(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x10(%rbp)
movslq %ecx,%rcx
movb   $0x43,(%rax,%rcx,1)
mov    -0x18(%rbp),%rax
mov    -0x10(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x10(%rbp)
movslq %ecx,%rcx
movb   $0x44,(%rax,%rcx,1)
mov    -0xc(%rbp),%eax
sub    $0x190,%eax
mov    %eax,-0xc(%rbp)
jmp    1242 <intToRoman0+0x132>
cmpl   $0x64,-0xc(%rbp)
jl     1270 <intToRoman0+0x160>
mov    -0x18(%rbp),%rax
mov    -0x10(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x10(%rbp)
movslq %ecx,%rcx
movb   $0x43,(%rax,%rcx,1)
mov    -0xc(%rbp),%eax
sub    $0x64,%eax
mov    %eax,-0xc(%rbp)
jmp    1242 <intToRoman0+0x132>
cmpl   $0x5a,-0xc(%rbp)
jl     12af <intToRoman0+0x19f>
mov    -0x18(%rbp),%rax
mov    -0x10(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x10(%rbp)
movslq %ecx,%rcx
movb   $0x58,(%rax,%rcx,1)
mov    -0x18(%rbp),%rax
mov    -0x10(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x10(%rbp)
movslq %ecx,%rcx
movb   $0x43,(%rax,%rcx,1)
mov    -0xc(%rbp),%eax
sub    $0x5a,%eax
mov    %eax,-0xc(%rbp)
cmpl   $0x32,-0xc(%rbp)
jl     12d8 <intToRoman0+0x1c8>
mov    -0x18(%rbp),%rax
mov    -0x10(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x10(%rbp)
movslq %ecx,%rcx
movb   $0x4c,(%rax,%rcx,1)
mov    -0xc(%rbp),%eax
sub    $0x32,%eax
mov    %eax,-0xc(%rbp)
cmpl   $0x28,-0xc(%rbp)
jl     1317 <intToRoman0+0x207>
mov    -0x18(%rbp),%rax
mov    -0x10(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x10(%rbp)
movslq %ecx,%rcx
movb   $0x58,(%rax,%rcx,1)
mov    -0x18(%rbp),%rax
mov    -0x10(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x10(%rbp)
movslq %ecx,%rcx
movb   $0x4c,(%rax,%rcx,1)
mov    -0xc(%rbp),%eax
sub    $0x28,%eax
mov    %eax,-0xc(%rbp)
jmp    131c <intToRoman0+0x20c>
cmpl   $0xa,-0xc(%rbp)
jl     134a <intToRoman0+0x23a>
mov    -0x18(%rbp),%rax
mov    -0x10(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x10(%rbp)
movslq %ecx,%rcx
movb   $0x58,(%rax,%rcx,1)
mov    -0xc(%rbp),%eax
sub    $0xa,%eax
mov    %eax,-0xc(%rbp)
jmp    131c <intToRoman0+0x20c>
cmpl   $0x9,-0xc(%rbp)
jl     1389 <intToRoman0+0x279>
mov    -0x18(%rbp),%rax
mov    -0x10(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x10(%rbp)
movslq %ecx,%rcx
movb   $0x49,(%rax,%rcx,1)
mov    -0x18(%rbp),%rax
mov    -0x10(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x10(%rbp)
movslq %ecx,%rcx
movb   $0x58,(%rax,%rcx,1)
mov    -0xc(%rbp),%eax
sub    $0x9,%eax
mov    %eax,-0xc(%rbp)
cmpl   $0x5,-0xc(%rbp)
jl     13b2 <intToRoman0+0x2a2>
mov    -0x18(%rbp),%rax
mov    -0x10(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x10(%rbp)
movslq %ecx,%rcx
movb   $0x56,(%rax,%rcx,1)
mov    -0xc(%rbp),%eax
sub    $0x5,%eax
mov    %eax,-0xc(%rbp)
cmpl   $0x4,-0xc(%rbp)
jl     13f1 <intToRoman0+0x2e1>
mov    -0x18(%rbp),%rax
mov    -0x10(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x10(%rbp)
movslq %ecx,%rcx
movb   $0x49,(%rax,%rcx,1)
mov    -0x18(%rbp),%rax
mov    -0x10(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x10(%rbp)
movslq %ecx,%rcx
movb   $0x56,(%rax,%rcx,1)
mov    -0xc(%rbp),%eax
sub    $0x4,%eax
mov    %eax,-0xc(%rbp)
jmp    13f6 <intToRoman0+0x2e6>
cmpl   $0x0,-0xc(%rbp)
je     1424 <intToRoman0+0x314>
mov    -0x18(%rbp),%rax
mov    -0x10(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x10(%rbp)
movslq %ecx,%rcx
movb   $0x49,(%rax,%rcx,1)
mov    -0xc(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0xc(%rbp)
jmp    13f6 <intToRoman0+0x2e6>
mov    -0x18(%rbp),%rax
movslq -0x10(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
mov    -0x18(%rbp),%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<intToRoman0>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %edi,%ebx
lea    -0xfa0(%rbx),%eax
xor    %r15d,%r15d
cmp    $0xfffff061,%eax
jae    1145 <intToRoman0+0x25>
xor    %r14d,%r14d
jmp    142e <intToRoman0+0x30e>
mov    $0x64,%edi
call   1040 <malloc@plt>
mov    %rax,%r14
cmp    $0x3e8,%ebx
jb     1209 <intToRoman0+0xe9>
lea    -0x3e8(%rbx),%eax
movzwl %ax,%eax
shr    $0x3,%eax
imul   $0x20c5,%eax,%ebp
shr    $0x14,%ebp
lea    0x1(%rbp),%r15d
mov    %r14,%rdi
mov    $0x4d,%esi
mov    %r15,%rdx
call   1030 <memset@plt>
movd   %ebx,%xmm0
movq   %rbp,%xmm1
pshufd $0x44,%xmm1,%xmm1
movdqa 0xe63(%rip),%xmm2
por    0xe6b(%rip),%xmm1
paddd  %xmm0,%xmm2
movdqa 0xe6f(%rip),%xmm3
movdqa %xmm3,%xmm4
pcmpgtd %xmm1,%xmm4
movdqa 0xe6f(%rip),%xmm5
movdqa %xmm5,%xmm6
pcmpgtd %xmm1,%xmm6
movdqa %xmm6,%xmm7
shufps $0x88,%xmm4,%xmm7
pcmpeqd %xmm1,%xmm3
pcmpeqd %xmm5,%xmm1
shufps $0xdd,%xmm3,%xmm1
andps  %xmm7,%xmm1
shufps $0xdd,%xmm4,%xmm6
orps   %xmm1,%xmm6
pand   %xmm6,%xmm0
pandn  %xmm2,%xmm6
por    %xmm0,%xmm6
pshufd $0xee,%xmm6,%xmm0
paddd  %xmm6,%xmm0
pshufd $0x55,%xmm0,%xmm1
paddd  %xmm0,%xmm1
movd   %xmm1,%ebx
cmp    $0x384,%ebx
jb     122b <intToRoman0+0x10b>
lea    0x1(%r15),%ecx
mov    %r15d,%eax
movb   $0x43,(%r14,%rax,1)
mov    $0xfffffc7c,%eax
mov    $0x4d,%dl
mov    $0x2,%esi
jmp    1246 <intToRoman0+0x126>
cmp    $0x1f3,%ebx
jbe    12e4 <intToRoman0+0x1c4>
mov    $0xfffffe0c,%eax
mov    $0x44,%dl
mov    $0x1,%esi
mov    %r15d,%ecx
add    %esi,%r15d
mov    %ecx,%ecx
mov    %dl,(%r14,%rcx,1)
add    %eax,%ebx
cmp    $0x64,%ebx
jb     12c2 <intToRoman0+0x1a2>
mov    %r15d,%edi
add    %r14,%rdi
lea    -0x64(%rbx),%ebp
imul   $0x51eb851f,%rbp,%r13
shr    $0x25,%r13
lea    0x1(%r13),%r12d
mov    $0x43,%esi
mov    %r12,%rdx
call   1030 <memset@plt>
and    $0x7,%r12d
je     1299 <intToRoman0+0x179>
imul   $0x64,%r12d,%ecx
xor    %eax,%eax
nopw   0x0(%rax,%rax,1)
add    $0x64,%eax
cmp    %eax,%ecx
jne    1290 <intToRoman0+0x170>
sub    %eax,%ebx
add    %r15d,%r13d
cmp    $0x2bc,%ebp
jb     12bb <intToRoman0+0x19b>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
add    $0xfffffce0,%ebx
cmp    $0x63,%ebx
ja     12b0 <intToRoman0+0x190>
add    $0x1,%r13d
mov    %r13d,%r15d
cmp    $0x5a,%ebx
jb     1309 <intToRoman0+0x1e9>
lea    0x1(%r15),%eax
mov    %r15d,%ecx
movb   $0x58,(%r14,%rcx,1)
add    $0x2,%r15d
movb   $0x43,(%r14,%rax,1)
add    $0xffffffa6,%ebx
jmp    13bc <intToRoman0+0x29c>
cmp    $0x190,%ebx
jb     1251 <intToRoman0+0x131>
mov    %r15d,%eax
movw   $0x4443,(%r14,%rax,1)
add    $0x2,%r15d
add    $0xfffffe70,%ebx
cmp    $0x5a,%ebx
jae    12c7 <intToRoman0+0x1a7>
cmp    $0x32,%ebx
jb     131f <intToRoman0+0x1ff>
mov    %r15d,%eax
add    $0x1,%r15d
movb   $0x4c,(%r14,%rax,1)
add    $0xffffffce,%ebx
jmp    1341 <intToRoman0+0x221>
cmp    $0x28,%ebx
jb     1341 <intToRoman0+0x221>
lea    0x1(%r15),%eax
mov    %r15d,%ecx
movb   $0x58,(%r14,%rcx,1)
add    $0x2,%r15d
movb   $0x4c,(%r14,%rax,1)
add    $0xffffffd8,%ebx
jmp    13bc <intToRoman0+0x29c>
cmp    $0xa,%ebx
jb     13bc <intToRoman0+0x29c>
mov    %r15d,%edi
add    %r14,%rdi
lea    -0xa(%rbx),%eax
movzbl %al,%eax
imul   $0xcd,%eax,%r12d
shr    $0xb,%r12d
lea    0x1(%r12),%edx
mov    $0x58,%esi
call   1030 <memset@plt>
lea    -0xa(%rbx),%eax
mov    $0xcccccccd,%ecx
imul   %rax,%rcx
shr    $0x23,%rcx
add    $0x1,%ecx
and    $0x7,%ecx
je     1399 <intToRoman0+0x279>
add    %ecx,%ecx
lea    (%rcx,%rcx,4),%edx
xor    %ecx,%ecx
nop
add    $0xa,%ecx
cmp    %ecx,%edx
jne    1390 <intToRoman0+0x270>
sub    %ecx,%ebx
add    %r12d,%r15d
cmp    $0x46,%eax
jb     13b8 <intToRoman0+0x298>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
add    $0xffffffb0,%ebx
cmp    $0x9,%ebx
ja     13b0 <intToRoman0+0x290>
add    $0x1,%r15d
cmp    $0x9,%ebx
jne    13d8 <intToRoman0+0x2b8>
lea    0x1(%r15),%eax
mov    %r15d,%ecx
movb   $0x49,(%r14,%rcx,1)
add    $0x2,%r15d
movb   $0x58,(%r14,%rax,1)
jmp    1426 <intToRoman0+0x306>
cmp    $0x5,%ebx
jb     13ee <intToRoman0+0x2ce>
mov    %r15d,%eax
add    $0x1,%r15d
movb   $0x56,(%r14,%rax,1)
add    $0xfffffffb,%ebx
jmp    140a <intToRoman0+0x2ea>
cmp    $0x4,%ebx
jne    140a <intToRoman0+0x2ea>
lea    0x1(%r15),%eax
mov    %r15d,%ecx
movb   $0x49,(%r14,%rcx,1)
add    $0x2,%r15d
movb   $0x56,(%r14,%rax,1)
jmp    1426 <intToRoman0+0x306>
test   %ebx,%ebx
je     1426 <intToRoman0+0x306>
mov    %r15d,%eax
mov    %r14,%rdi
add    %rax,%rdi
mov    %ebx,%edx
mov    $0x49,%esi
call   1030 <memset@plt>
add    %ebx,%r15d
movslq %r15d,%rax
movb   $0x0,(%r14,%rax,1)
mov    %r14,%rax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
define i8* @intToRoman0(i32 %0) {
%2 = add i32 %0, -4000
%3 = icmp ult i32 %2, -3999
br i1 %3, label %191, label %4
4: ; preds = %1
%5 = tail call i64 @malloc(i32 100)
%6 = inttoptr i64 %5 to i8*
%7 = icmp ugt i32 %0, 999
br i1 %7, label %8, label %25
8: ; preds = %4
%9 = add nsw i32 %0, -1000
%10 = trunc i32 %9 to i16
%11 = udiv i16 %10, 1000
%12 = add nuw nsw i16 %11, 1
%13 = zext i16 %12 to i64
%14 = insertelement <4 x i32> <i32 poison, i32 0, i32 0, i32 0>, i32 %0, i64 0
%15 = trunc i32 %9 to i16
%16 = udiv i16 %15, 1000
%17 = zext i16 %16 to i64
%18 = insertelement <4 x i64> poison, i64 %17, i64 0
%19 = shufflevector <4 x i64> %18, <4 x i64> poison, <4 x i32> zeroinitializer
%20 = zext i16 %12 to i32
%21 = add <4 x i32> %14, <i32 -1000, i32 -1000, i32 -1000, i32 -1000>
%22 = icmp ult <4 x i64> %19, <i64 0, i64 1, i64 2, i64 3>
%23 = select <4 x i1> %22, <4 x i32> %14, <4 x i32> %21
%24 = call i32 @llvm.vector.reduce.add.v4i32(<4 x i32> %23)
br label %25
25: ; preds = %8, %4
%26 = phi i32 [ %0, %4 ], [ %24, %8 ]
%27 = phi i32 [ 0, %4 ], [ %20, %8 ]
%28 = icmp ugt i32 %26, 899
br i1 %28, label %29, label %33
29: ; preds = %25
%30 = add nuw nsw i32 %27, 1
%31 = zext i32 %27 to i64
%32 = getelementptr inbounds i8, i8* %6, i64 %31
store i8 67, i8* %32
br label %45
33: ; preds = %25
%34 = icmp ugt i32 %26, 499
br i1 %34, label %45, label %35
35: ; preds = %33
%36 = icmp ugt i32 %26, 399
br i1 %36, label %37, label %54
37: ; preds = %35
%38 = add nuw nsw i32 %27, 1
%39 = zext i32 %27 to i64
%40 = getelementptr inbounds i8, i8* %6, i64 %39
store i8 67, i8* %40
%41 = add nuw nsw i32 %27, 2
%42 = zext i32 %38 to i64
%43 = getelementptr inbounds i8, i8* %6, i64 %42
store i8 68, i8* %43
%44 = add nsw i32 %26, -400
br label %86
45: ; preds = %33, %29
%46 = phi i32 [ 2, %29 ], [ 1, %33 ]
%47 = phi i32 [ %30, %29 ], [ %27, %33 ]
%48 = phi i8 [ 77, %29 ], [ 68, %33 ]
%49 = phi i32 [ -900, %29 ], [ -500, %33 ]
%50 = add nuw nsw i32 %27, %46
%51 = zext i32 %47 to i64
%52 = getelementptr inbounds i8, i8* %6, i64 %51
store i8 %48, i8* %52
%53 = add nsw i32 %26, %49
br label %54
54: ; preds = %45, %35
%55 = phi i32 [ %26, %35 ], [ %53, %45 ]
%56 = phi i32 [ %27, %35 ], [ %50, %45 ]
%57 = icmp ugt i32 %55, 99
br i1 %57, label %58, label %86
58: ; preds = %54
%59 = zext i32 %56 to i64
%60 = getelementptr i8, i8* %6, i64 %59
%61 = add i32 %55, -100
%62 = udiv i32 %61, 100
%63 = add nuw nsw i32 %62, 1
%64 = zext i32 %63 to i64
%65 = add nsw i32 %62, %56
%66 = add nuw nsw i32 %62, 1
%67 = and i32 %66, 7
%68 = icmp eq i32 %67, 0
br i1 %68, label %75, label %69
69: ; preds = %58, %69
%70 = phi i32 [ %72, %69 ], [ %55, %58 ]
%71 = phi i32 [ %73, %69 ], [ 0, %58 ]
%72 = add nsw i32 %70, -100
%73 = add i32 %71, 1
%74 = icmp eq i32 %73, %67
br i1 %74, label %75, label %69
75: ; preds = %69, %58
%76 = phi i32 [ %55, %58 ], [ %72, %69 ]
%77 = phi i32 [ undef, %58 ], [ %72, %69 ]
%78 = icmp ult i32 %61, 700
br i1 %78, label %83, label %79
79: ; preds = %75, %79
%80 = phi i32 [ %81, %79 ], [ %76, %75 ]
%81 = add nsw i32 %80, -800
%82 = icmp ugt i32 %81, 99
br i1 %82, label %79, label %83
83: ; preds = %79, %75
%84 = phi i32 [ %77, %75 ], [ %81, %79 ]
%85 = add nsw i32 %65, 1
br label %86
86: ; preds = %37, %83, %54
%87 = phi i32 [ %55, %54 ], [ %84, %83 ], [ %44, %37 ]
%88 = phi i32 [ %56, %54 ], [ %85, %83 ], [ %41, %37 ]
%89 = icmp ugt i32 %87, 89
br i1 %89, label %90, label %98
90: ; preds = %86
%91 = add nsw i32 %88, 1
%92 = zext i32 %88 to i64
%93 = getelementptr inbounds i8, i8* %6, i64 %92
store i8 88, i8* %93
%94 = add nsw i32 %88, 2
%95 = zext i32 %91 to i64
%96 = getelementptr inbounds i8, i8* %6, i64 %95
store i8 67, i8* %96
%97 = add nsw i32 %87, -90
br label %151
98: ; preds = %86
%99 = icmp ugt i32 %87, 49
br i1 %99, label %100, label %105
100: ; preds = %98
%101 = add nsw i32 %88, 1
%102 = zext i32 %88 to i64
%103 = getelementptr inbounds i8, i8* %6, i64 %102
store i8 76, i8* %103
%104 = add nsw i32 %87, -50
br label %115
105: ; preds = %98
%106 = icmp ugt i32 %87, 39
br i1 %106, label %107, label %115
107: ; preds = %105
%108 = add nsw i32 %88, 1
%109 = zext i32 %88 to i64
%110 = getelementptr inbounds i8, i8* %6, i64 %109
store i8 88, i8* %110
%111 = add nsw i32 %88, 2
%112 = zext i32 %108 to i64
%113 = getelementptr inbounds i8, i8* %6, i64 %112
store i8 76, i8* %113
%114 = add nsw i32 %87, -40
br label %151
115: ; preds = %100, %105
%116 = phi i32 [ %87, %105 ], [ %104, %100 ]
%117 = phi i32 [ %88, %105 ], [ %101, %100 ]
%118 = icmp ugt i32 %116, 9
br i1 %118, label %119, label %151
119: ; preds = %115
%120 = zext i32 %117 to i64
%121 = getelementptr i8, i8* %6, i64 %120
%122 = trunc i32 %116 to i8
%123 = add i8 %122, -10
%124 = udiv i8 %123, 10
%125 = zext i8 %124 to i32
%126 = add nuw nsw i32 %125, 1
%127 = zext i32 %126 to i64
%128 = add i32 %117, %125
%129 = add i32 %116, -10
%130 = udiv i32 %129, 10
%131 = add nuw nsw i32 %130, 1
%132 = and i32 %131, 7
%133 = icmp eq i32 %132, 0
br i1 %133, label %140, label %134
134: ; preds = %119, %134
%135 = phi i32 [ %137, %134 ], [ %116, %119 ]
%136 = phi i32 [ %138, %134 ], [ 0, %119 ]
%137 = add nsw i32 %135, -10
%138 = add i32 %136, 1
%139 = icmp eq i32 %138, %132
br i1 %139, label %140, label %134
140: ; preds = %134, %119
%141 = phi i32 [ %116, %119 ], [ %137, %134 ]
%142 = phi i32 [ undef, %119 ], [ %137, %134 ]
%143 = icmp ult i32 %129, 70
br i1 %143, label %148, label %144
144: ; preds = %140, %144
%145 = phi i32 [ %146, %144 ], [ %141, %140 ]
%146 = add nsw i32 %145, -80
%147 = icmp ugt i32 %146, 9
br i1 %147, label %144, label %148
148: ; preds = %144, %140
%149 = phi i32 [ %142, %140 ], [ %146, %144 ]
%150 = add i32 %128, 1
br label %151
151: ; preds = %90, %107, %148, %115
%152 = phi i32 [ %116, %115 ], [ %149, %148 ], [ %97, %90 ], [ %114, %107 ]
%153 = phi i32 [ %117, %115 ], [ %150, %148 ], [ %94, %90 ], [ %111, %107 ]
%154 = icmp eq i32 %152, 9
br i1 %154, label %155, label %162
155: ; preds = %151
%156 = add nsw i32 %153, 1
%157 = zext i32 %153 to i64
%158 = getelementptr inbounds i8, i8* %6, i64 %157
store i8 73, i8* %158
%159 = add nsw i32 %153, 2
%160 = zext i32 %156 to i64
%161 = getelementptr inbounds i8, i8* %6, i64 %160
store i8 88, i8* %161
br label %187
162: ; preds = %151
%163 = icmp ugt i32 %152, 4
br i1 %163, label %164, label %169
164: ; preds = %162
%165 = add nsw i32 %153, 1
%166 = zext i32 %153 to i64
%167 = getelementptr inbounds i8, i8* %6, i64 %166
store i8 86, i8* %167
%168 = add nsw i32 %152, -5
br label %178
169: ; preds = %162
%170 = icmp eq i32 %152, 4
br i1 %170, label %171, label %178
171: ; preds = %169
%172 = add nsw i32 %153, 1
%173 = zext i32 %153 to i64
%174 = getelementptr inbounds i8, i8* %6, i64 %173
store i8 73, i8* %174
%175 = add nsw i32 %153, 2
%176 = zext i32 %172 to i64
%177 = getelementptr inbounds i8, i8* %6, i64 %176
store i8 86, i8* %177
br label %187
178: ; preds = %164, %169
%179 = phi i32 [ %152, %169 ], [ %168, %164 ]
%180 = phi i32 [ %153, %169 ], [ %165, %164 ]
%181 = icmp eq i32 %179, 0
br i1 %181, label %187, label %182
182: ; preds = %178
%183 = zext i32 %180 to i64
%184 = getelementptr i8, i8* %6, i64 %183
%185 = zext i32 %179 to i64
%186 = add i32 %180, %179
br label %187
187: ; preds = %155, %171, %182, %178
%188 = phi i32 [ %180, %178 ], [ %186, %182 ], [ %159, %155 ], [ %175, %171 ]
%189 = sext i32 %188 to i64
%190 = getelementptr inbounds i8, i8* %6, i64 %189
store i8 0, i8* %190
br label %191
191: ; preds = %1, %187
%192 = phi i8* [ %6, %187 ], [ null, %1 ]
ret i8* %192
}