#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);
int checkString(char *s, int i, int j, int len) {
  char X = 'a' + i;
  char Y = 'a' + j;
  int top = -1;
  char *stack = (char *)malloc(sizeof(char) * len);
  for (int i = 0; i < len; i++) {
    if (top == -1 && (X == s[i] || Y == s[i])) {
      top++;
      stack[top] = s[i];
    } else {
      if (s[i] == X && stack[top] == Y) {
        top++;
        stack[top] = s[i];
      } else if (s[i] == Y && stack[top] == X) {
        top++;
        stack[top] = s[i];
      } else if (s[i] == X && stack[top] == X ||
                 (s[i] == Y && stack[top] == Y)) {
        top = -1;
        break;
      }
    }
  }
  return top;
}


x86 assembly (clang, -O0):
<checkString>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    %ecx,-0x14(%rbp)
mov    -0xc(%rbp),%eax
add    $0x61,%eax
mov    %al,-0x15(%rbp)
mov    -0x10(%rbp),%eax
add    $0x61,%eax
mov    %al,-0x16(%rbp)
movl   $0xffffffff,-0x1c(%rbp)
movslq -0x14(%rbp),%rax
shl    $0x0,%rax
mov    %eax,%edi
call   1030 <malloc@plt>
mov    %rax,-0x28(%rbp)
movl   $0x0,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    12f8 <checkString+0x1e8>
cmpl   $0xffffffff,-0x1c(%rbp)
jne    11c2 <checkString+0xb2>
movsbl -0x15(%rbp),%eax
mov    -0x8(%rbp),%rcx
movslq -0x2c(%rbp),%rdx
movsbl (%rcx,%rdx,1),%ecx
cmp    %ecx,%eax
je     119e <checkString+0x8e>
movsbl -0x16(%rbp),%eax
mov    -0x8(%rbp),%rcx
movslq -0x2c(%rbp),%rdx
movsbl (%rcx,%rdx,1),%ecx
cmp    %ecx,%eax
jne    11c2 <checkString+0xb2>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x28(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
jmp    12e5 <checkString+0x1d5>
mov    -0x8(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
movsbl -0x15(%rbp),%ecx
cmp    %ecx,%eax
jne    1216 <checkString+0x106>
mov    -0x28(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
movsbl -0x16(%rbp),%ecx
cmp    %ecx,%eax
jne    1216 <checkString+0x106>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x28(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
jmp    12e0 <checkString+0x1d0>
mov    -0x8(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
movsbl -0x16(%rbp),%ecx
cmp    %ecx,%eax
jne    126a <checkString+0x15a>
mov    -0x28(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
movsbl -0x15(%rbp),%ecx
cmp    %ecx,%eax
jne    126a <checkString+0x15a>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x28(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
jmp    12db <checkString+0x1cb>
mov    -0x8(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
movsbl -0x15(%rbp),%ecx
cmp    %ecx,%eax
jne    129a <checkString+0x18a>
mov    -0x28(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
movsbl -0x15(%rbp),%ecx
cmp    %ecx,%eax
je     12ca <checkString+0x1ba>
mov    -0x8(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
movsbl -0x16(%rbp),%ecx
cmp    %ecx,%eax
jne    12d6 <checkString+0x1c6>
mov    -0x28(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
movsbl -0x16(%rbp),%ecx
cmp    %ecx,%eax
jne    12d6 <checkString+0x1c6>
movl   $0xffffffff,-0x1c(%rbp)
jmp    12f8 <checkString+0x1e8>
jmp    12db <checkString+0x1cb>
jmp    12e0 <checkString+0x1d0>
jmp    12e5 <checkString+0x1d5>
jmp    12ea <checkString+0x1da>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    1158 <checkString+0x48>
mov    -0x1c(%rbp),%eax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<checkString>:
push   %rbp
push   %r15
push   %r14
push   %rbx
push   %rax
mov    %ecx,%r15d
mov    %edx,%ebx
mov    %esi,%ebp
mov    %rdi,%r14
mov    %ecx,%edi
call   1030 <malloc@plt>
test   %r15d,%r15d
jle    11ba <checkString+0xaa>
add    $0x61,%bpl
add    $0x61,%bl
mov    %r15d,%r8d
mov    $0xffffffff,%ecx
xor    %esi,%esi
jmp    1159 <checkString+0x49>
mov    %dl,(%rax)
xor    %ecx,%ecx
nopl   0x0(%rax,%rax,1)
add    $0x1,%rsi
cmp    %rsi,%r8
je     11bf <checkString+0xaf>
movzbl (%r14,%rsi,1),%edx
cmp    $0xffffffff,%ecx
jne    116c <checkString+0x5c>
cmp    %dl,%bpl
je     1144 <checkString+0x34>
cmp    %dl,%bl
je     1144 <checkString+0x34>
cmp    %bpl,%dl
jne    1180 <checkString+0x70>
movslq %ecx,%rdi
cmp    %bl,(%rax,%rdi,1)
jne    1180 <checkString+0x70>
mov    %bpl,0x1(%rax,%rdi,1)
jmp    1191 <checkString+0x81>
cmp    %bl,%dl
jne    11a0 <checkString+0x90>
movslq %ecx,%rdi
cmp    %bpl,(%rax,%rdi,1)
jne    11a0 <checkString+0x90>
mov    %bl,0x1(%rax,%rdi,1)
add    $0x1,%rdi
mov    %edi,%ecx
jmp    1150 <checkString+0x40>
nopl   0x0(%rax)
cmp    %bpl,%dl
jne    11ae <checkString+0x9e>
movslq %ecx,%rdi
cmp    %bpl,(%rax,%rdi,1)
je     11ba <checkString+0xaa>
cmp    %bl,%dl
jne    1150 <checkString+0x40>
movslq %ecx,%rdx
cmp    %bl,(%rax,%rdx,1)
jne    1150 <checkString+0x40>
mov    $0xffffffff,%ecx
mov    %ecx,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
define i32 @checkString(i8* nocapture %0, i32 %1, i32 %2, i32 %3) {
%5 = trunc i32 %1 to i8
%6 = add i8 %5, 97
%7 = trunc i32 %2 to i8
%8 = add i8 %7, 97
%9 = tail call i64 @malloc(i32 %3)
%10 = inttoptr i64 %9 to i8*
%11 = icmp sgt i32 %3, 0
br i1 %11, label %12, label %63
12: ; preds = %4
%13 = zext i32 %3 to i64
br label %14
14: ; preds = %12, %59
%15 = phi i64 [ 0, %12 ], [ %61, %59 ]
%16 = phi i32 [ -1, %12 ], [ %60, %59 ]
%17 = icmp eq i32 %16, -1
%18 = getelementptr inbounds i8, i8* %0, i64 %15
%19 = load i8, i8* %18
br i1 %17, label %20, label %25
20: ; preds = %14
%21 = icmp eq i8 %6, %19
%22 = icmp eq i8 %8, %19
%23 = or i1 %21, %22
br i1 %23, label %24, label %25
24: ; preds = %20
store i8 %19, i8* %10
br label %59
25: ; preds = %14, %20
%26 = icmp eq i8 %19, %6
br i1 %26, label %27, label %36
27: ; preds = %25
%28 = sext i32 %16 to i64
%29 = getelementptr inbounds i8, i8* %10, i64 %28
%30 = load i8, i8* %29
%31 = icmp eq i8 %30, %8
br i1 %31, label %32, label %36
32: ; preds = %27
%33 = add nsw i32 %16, 1
%34 = sext i32 %33 to i64
%35 = getelementptr inbounds i8, i8* %10, i64 %34
store i8 %6, i8* %35
br label %59
36: ; preds = %27, %25
%37 = icmp eq i8 %19, %8
br i1 %37, label %38, label %47
38: ; preds = %36
%39 = sext i32 %16 to i64
%40 = getelementptr inbounds i8, i8* %10, i64 %39
%41 = load i8, i8* %40
%42 = icmp eq i8 %41, %6
br i1 %42, label %43, label %47
43: ; preds = %38
%44 = add nsw i32 %16, 1
%45 = sext i32 %44 to i64
%46 = getelementptr inbounds i8, i8* %10, i64 %45
store i8 %8, i8* %46
br label %59
47: ; preds = %38, %36
br i1 %26, label %48, label %53
48: ; preds = %47
%49 = sext i32 %16 to i64
%50 = getelementptr inbounds i8, i8* %10, i64 %49
%51 = load i8, i8* %50
%52 = icmp eq i8 %51, %6
br i1 %52, label %63, label %53
53: ; preds = %48, %47
br i1 %37, label %54, label %59
54: ; preds = %53
%55 = sext i32 %16 to i64
%56 = getelementptr inbounds i8, i8* %10, i64 %55
%57 = load i8, i8* %56
%58 = icmp eq i8 %57, %8
br i1 %58, label %63, label %59
59: ; preds = %24, %43, %54, %53, %32
%60 = phi i32 [ 0, %24 ], [ %33, %32 ], [ %44, %43 ], [ %16, %54 ], [ %16, %53 ]
%61 = add nuw nsw i64 %15, 1
%62 = icmp eq i64 %61, %13
br i1 %62, label %63, label %14
63: ; preds = %59, %54, %48, %4
%64 = phi i32 [ -1, %4 ], [ -1, %48 ], [ -1, %54 ], [ %60, %59 ]
ret i32 %64
}