#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 strlen(char *);
int value(char);
int romanToInt(char *s) {
  int i;
  int result = 0;
  for (i = 0; i < strlen(s); i++) {
    int s1 = value(s[i]);
    if (i + 1 < strlen(s)) {
      if (s[i] == s[i + 1]) {
        if (s[i] == 'V' || s[i] == 'L' || s[i] == 'D')
          return -1;
      }
      if (i + 3 < strlen(s)) {
        if (s[i] == s[i + 1] && s[i] == s[i + 2] && s[i] == s[i + 3]) {
          if (s[i] == 'I' || s[i] == 'X' || s[i] == 'C' || s[i] == 'M')
            return -1;
        }
      }
      int s2 = value(s[i + 1]);
      if (s1 >= s2) {
        result = result + s1;
      } else {
        result = result + s2 - s1;
        i++;
      }
    } else {
      result = result + s1;
      i++;
    }
  }
  return result;
}


x86 assembly (clang, -O0):
<romanToInt>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x10(%rbp)
movl   $0x0,-0x18(%rbp)
movl   $0x0,-0x14(%rbp)
mov    -0x14(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x10(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,%ecx
mov    -0x24(%rbp),%eax
cmp    %ecx,%eax
jge    1368 <romanToInt+0x248>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%edi
call   1040 <value@plt>
mov    %eax,-0x1c(%rbp)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
mov    -0x10(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,%ecx
mov    -0x28(%rbp),%eax
cmp    %ecx,%eax
jge    1343 <romanToInt+0x223>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
mov    -0x10(%rbp),%rcx
mov    -0x14(%rbp),%edx
add    $0x1,%edx
movslq %edx,%rdx
movsbl (%rcx,%rdx,1),%ecx
cmp    %ecx,%eax
jne    11fe <romanToInt+0xde>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x56,%eax
je     11ed <romanToInt+0xcd>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x4c,%eax
je     11ed <romanToInt+0xcd>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x44,%eax
jne    11f9 <romanToInt+0xd9>
movl   $0xffffffff,-0x4(%rbp)
jmp    136e <romanToInt+0x24e>
jmp    11fe <romanToInt+0xde>
mov    -0x14(%rbp),%eax
add    $0x3,%eax
mov    %eax,-0x2c(%rbp)
mov    -0x10(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,%ecx
mov    -0x2c(%rbp),%eax
cmp    %ecx,%eax
jge    12f6 <romanToInt+0x1d6>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
mov    -0x10(%rbp),%rcx
mov    -0x14(%rbp),%edx
add    $0x1,%edx
movslq %edx,%rdx
movsbl (%rcx,%rdx,1),%ecx
cmp    %ecx,%eax
jne    12f1 <romanToInt+0x1d1>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
mov    -0x10(%rbp),%rcx
mov    -0x14(%rbp),%edx
add    $0x2,%edx
movslq %edx,%rdx
movsbl (%rcx,%rdx,1),%ecx
cmp    %ecx,%eax
jne    12f1 <romanToInt+0x1d1>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
mov    -0x10(%rbp),%rcx
mov    -0x14(%rbp),%edx
add    $0x3,%edx
movslq %edx,%rdx
movsbl (%rcx,%rdx,1),%ecx
cmp    %ecx,%eax
jne    12f1 <romanToInt+0x1d1>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x49,%eax
je     12e0 <romanToInt+0x1c0>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x58,%eax
je     12e0 <romanToInt+0x1c0>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x43,%eax
je     12e0 <romanToInt+0x1c0>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x4d,%eax
jne    12ec <romanToInt+0x1cc>
movl   $0xffffffff,-0x4(%rbp)
jmp    136e <romanToInt+0x24e>
jmp    12f1 <romanToInt+0x1d1>
jmp    12f6 <romanToInt+0x1d6>
mov    -0x10(%rbp),%rax
mov    -0x14(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%edi
call   1040 <value@plt>
mov    %eax,-0x20(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0x20(%rbp),%eax
jl     1329 <romanToInt+0x209>
mov    -0x18(%rbp),%eax
add    -0x1c(%rbp),%eax
mov    %eax,-0x18(%rbp)
jmp    133e <romanToInt+0x21e>
mov    -0x18(%rbp),%eax
add    -0x20(%rbp),%eax
sub    -0x1c(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1355 <romanToInt+0x235>
mov    -0x18(%rbp),%eax
add    -0x1c(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    135a <romanToInt+0x23a>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    113a <romanToInt+0x1a>
mov    -0x18(%rbp),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<romanToInt>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %rdi,%r15
call   1030 <strlen@plt>
test   %eax,%eax
jle    1240 <romanToInt+0x120>
xor    %ebp,%ebp
xor    %ebx,%ebx
jmp    116e <romanToInt+0x4e>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
add    %ebx,%r14d
mov    %r14d,%ebx
add    $0x1,%r13d
mov    %r15,%rdi
call   1030 <strlen@plt>
mov    %r13d,%ebp
cmp    %eax,%r13d
jge    1249 <romanToInt+0x129>
movslq %ebp,%r12
movsbl (%r15,%r12,1),%edi
call   1040 <value@plt>
mov    %eax,%r14d
lea    0x1(%r12),%r13
mov    %r15,%rdi
call   1030 <strlen@plt>
cmp    %eax,%r13d
jge    1150 <romanToInt+0x30>
movzbl (%r15,%r12,1),%eax
cmp    (%r15,%r13,1),%al
jne    11b3 <romanToInt+0x93>
add    $0xbc,%al
cmp    $0x12,%al
ja     11b3 <romanToInt+0x93>
movzbl %al,%eax
mov    $0x40101,%ecx
bt     %rax,%rcx
jb     1244 <romanToInt+0x124>
mov    %rbx,(%rsp)
lea    0x3(%r12),%rbx
mov    %r15,%rdi
call   1030 <strlen@plt>
mov    %rbx,%rdx
cmp    %eax,%edx
jge    1210 <romanToInt+0xf0>
movzbl (%r15,%r12,1),%eax
movzbl (%r15,%r13,1),%ecx
cmp    %cl,%al
mov    (%rsp),%rbx
jne    121d <romanToInt+0xfd>
cmp    0x2(%r12,%r15,1),%al
jne    121b <romanToInt+0xfb>
cmp    (%r15,%rdx,1),%al
jne    121b <romanToInt+0xfb>
lea    -0x43(%rax),%ecx
cmp    $0x15,%cl
ja     121b <romanToInt+0xfb>
movzbl %cl,%ecx
mov    $0x200441,%edx
bt     %rcx,%rdx
mov    %eax,%ecx
jae    121d <romanToInt+0xfd>
jmp    1244 <romanToInt+0x124>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movzbl (%r15,%r13,1),%ecx
mov    (%rsp),%rbx
jmp    121d <romanToInt+0xfd>
mov    %eax,%ecx
movsbl %cl,%edi
call   1040 <value@plt>
lea    (%r14,%rbx,1),%ecx
sub    %r14d,%ebx
add    %eax,%ebx
cmp    %eax,%r14d
cmovge %ecx,%ebx
cmovl  %r13d,%ebp
mov    %ebp,%r13d
jmp    1156 <romanToInt+0x36>
xor    %ebx,%ebx
jmp    1249 <romanToInt+0x129>
mov    $0xffffffff,%ebx
mov    %ebx,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
define i32 @romanToInt(i8* %0) {
%2 = tail call i32 @strlen(i8* %0)
%3 = icmp sgt i32 %2, 0
br i1 %3, label %4, label %60
4: ; preds = %1, %54
%5 = phi i32 [ %57, %54 ], [ 0, %1 ]
%6 = phi i32 [ %55, %54 ], [ 0, %1 ]
%7 = sext i32 %5 to i64
%8 = getelementptr inbounds i8, i8* %0, i64 %7
%9 = load i8, i8* %8
%10 = tail call i32 @value(i8 signext %9)
%11 = add nsw i32 %5, 1
%12 = tail call i32 @strlen(i8* %0)
%13 = icmp slt i32 %11, %12
br i1 %13, label %14, label %52
14: ; preds = %4
%15 = load i8, i8* %8
%16 = sext i32 %11 to i64
%17 = getelementptr inbounds i8, i8* %0, i64 %16
%18 = load i8, i8* %17
%19 = icmp eq i8 %15, %18
br i1 %19, label %20, label %21
20: ; preds = %14
switch i8 %15, label %21 [
i8 86, label %60
i8 76, label %60
i8 68, label %60
]
21: ; preds = %20, %14
%22 = add nsw i32 %5, 3
%23 = tail call i32 @strlen(i8* %0)
%24 = icmp slt i32 %22, %23
br i1 %24, label %27, label %25
25: ; preds = %21
%26 = load i8, i8* %17
br label %43
27: ; preds = %21
%28 = load i8, i8* %8
%29 = load i8, i8* %17
%30 = icmp eq i8 %28, %29
br i1 %30, label %31, label %43
31: ; preds = %27
%32 = add nsw i32 %5, 2
%33 = sext i32 %32 to i64
%34 = getelementptr inbounds i8, i8* %0, i64 %33
%35 = load i8, i8* %34
%36 = icmp eq i8 %28, %35
br i1 %36, label %37, label %43
37: ; preds = %31
%38 = sext i32 %22 to i64
%39 = getelementptr inbounds i8, i8* %0, i64 %38
%40 = load i8, i8* %39
%41 = icmp eq i8 %28, %40
br i1 %41, label %42, label %43
42: ; preds = %37
switch i8 %28, label %43 [
i8 73, label %60
i8 88, label %60
i8 67, label %60
i8 77, label %60
]
43: ; preds = %25, %42, %27, %31, %37
%44 = phi i8 [ %26, %25 ], [ %28, %42 ], [ %29, %27 ], [ %28, %31 ], [ %28, %37 ]
%45 = tail call i32 @value(i8 signext %44)
%46 = icmp slt i32 %10, %45
%47 = add nsw i32 %10, %6
%48 = sub i32 %6, %10
%49 = add i32 %48, %45
%50 = select i1 %46, i32 %49, i32 %47
%51 = select i1 %46, i32 %11, i32 %5
br label %54
52: ; preds = %4
%53 = add nsw i32 %10, %6
br label %54
54: ; preds = %52, %43
%55 = phi i32 [ %53, %52 ], [ %50, %43 ]
%56 = phi i32 [ %11, %52 ], [ %51, %43 ]
%57 = add nsw i32 %56, 1
%58 = tail call i32 @strlen(i8* %0)
%59 = icmp slt i32 %57, %58
br i1 %59, label %4, label %60
60: ; preds = %54, %42, %42, %42, %42, %20, %20, %20, %1
%61 = phi i32 [ 0, %1 ], [ -1, %20 ], [ -1, %20 ], [ -1, %20 ], [ -1, %42 ], [ -1, %42 ], [ -1, %42 ], [ -1, %42 ], [ %55, %54 ]
ret i32 %61
}