#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 /*<<< orphan*/ strncpy(char *, char *, int);
bool isValid(char *s) {
  int len = strlen(s);
  if (!len) {
    return true;
  }
  char str[len];
  strncpy(str, s, len);
  char *startPos = str;
  char *endPos = startPos + len - 1;
  char *rightPos = startPos;
  while (rightPos <= endPos) {
    if (*rightPos == ')' || *rightPos == ']' || *rightPos == '}') {
      int clear = 0;
      char *leftPos = rightPos - 1;
      while (leftPos >= startPos) {
        if (*leftPos == ' ') {
          leftPos--;
          continue;
        }
        if ((*rightPos == ')' && *leftPos == '(') ||
            (*rightPos == ']' && *leftPos == '[') ||
            (*rightPos == '}' && *leftPos == '{')) {
          *rightPos = ' ';
          *leftPos = ' ';
          clear = 1;
          break;
        }
        return false;
      }
      if (!clear) {
        return false;
      }
    }
    rightPos++;
  }
  rightPos = endPos;
  while (rightPos >= startPos) {
    if (*rightPos != ' ') {
      return false;
    }
    rightPos--;
  }
  return true;
}


x86 assembly (clang, -O0):
<isValid>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%rsp
mov    %rdi,-0x10(%rbp)
mov    -0x10(%rbp),%rdi
call   1040 <strlen@plt>
mov    %eax,-0x14(%rbp)
cmpl   $0x0,-0x14(%rbp)
jne    114e <isValid+0x2e>
movl   $0x1,-0x4(%rbp)
jmp    1342 <isValid+0x222>
mov    -0x14(%rbp),%eax
mov    %rsp,%rcx
mov    %rcx,-0x20(%rbp)
mov    %rax,%rcx
add    $0xf,%rcx
and    $0xfffffffffffffff0,%rcx
mov    %rsp,%rdi
sub    %rcx,%rdi
mov    %rdi,-0x60(%rbp)
mov    %rdi,%rsp
mov    %rax,-0x28(%rbp)
mov    -0x10(%rbp),%rsi
mov    -0x14(%rbp),%edx
call   1030 <strncpy@plt>
mov    -0x60(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x30(%rbp),%rax
movslq -0x14(%rbp),%rcx
add    %rcx,%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x38(%rbp)
mov    -0x30(%rbp),%rax
mov    %rax,-0x40(%rbp)
mov    -0x40(%rbp),%rax
cmp    -0x38(%rbp),%rax
ja     12e3 <isValid+0x1c3>
mov    -0x40(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x29,%eax
je     11e1 <isValid+0xc1>
mov    -0x40(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x5d,%eax
je     11e1 <isValid+0xc1>
mov    -0x40(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x7d,%eax
jne    12d2 <isValid+0x1b2>
movl   $0x0,-0x44(%rbp)
mov    -0x40(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x50(%rbp)
mov    -0x50(%rbp),%rax
cmp    -0x30(%rbp),%rax
jb     12b0 <isValid+0x190>
mov    -0x50(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x20,%eax
jne    1223 <isValid+0x103>
mov    -0x50(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x50(%rbp)
jmp    11f4 <isValid+0xd4>
mov    -0x40(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x29,%eax
jne    1243 <isValid+0x123>
mov    -0x50(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x28,%eax
je     1283 <isValid+0x163>
mov    -0x40(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x5d,%eax
jne    1263 <isValid+0x143>
mov    -0x50(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x5b,%eax
je     1283 <isValid+0x163>
mov    -0x40(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x7d,%eax
jne    129d <isValid+0x17d>
mov    -0x50(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x7b,%eax
jne    129d <isValid+0x17d>
mov    -0x40(%rbp),%rax
movb   $0x20,(%rax)
mov    -0x50(%rbp),%rax
movb   $0x20,(%rax)
movl   $0x1,-0x44(%rbp)
jmp    12b0 <isValid+0x190>
movl   $0x0,-0x4(%rbp)
movl   $0x1,-0x54(%rbp)
jmp    133b <isValid+0x21b>
cmpl   $0x0,-0x44(%rbp)
jne    12cd <isValid+0x1ad>
movl   $0x0,-0x4(%rbp)
movl   $0x1,-0x54(%rbp)
jmp    133b <isValid+0x21b>
jmp    12d2 <isValid+0x1b2>
mov    -0x40(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x40(%rbp)
jmp    11a3 <isValid+0x83>
mov    -0x38(%rbp),%rax
mov    %rax,-0x40(%rbp)
mov    -0x40(%rbp),%rax
cmp    -0x30(%rbp),%rax
jb     132d <isValid+0x20d>
mov    -0x40(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x20,%eax
je     131c <isValid+0x1fc>
movl   $0x0,-0x4(%rbp)
movl   $0x1,-0x54(%rbp)
jmp    133b <isValid+0x21b>
mov    -0x40(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x40(%rbp)
jmp    12eb <isValid+0x1cb>
movl   $0x1,-0x4(%rbp)
movl   $0x1,-0x54(%rbp)
mov    -0x20(%rbp),%rax
mov    %rax,%rsp
mov    -0x4(%rbp),%eax
mov    %rbp,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<isValid>:
push   %rbp
mov    %rsp,%rbp
push   %r15
push   %r14
push   %r12
push   %rbx
mov    %rdi,%r14
call   1040 <strlen@plt>
test   %eax,%eax
je     1178 <isValid+0x58>
mov    %eax,%r15d
mov    %rsp,%r12
mov    %eax,%eax
mov    %rsp,%rbx
add    $0xf,%rax
and    $0xfffffffffffffff0,%rax
sub    %rax,%rbx
mov    %rbx,%rsp
mov    %rbx,%rdi
mov    %r14,%rsi
mov    %r15d,%edx
call   1030 <strncpy@plt>
movslq %r15d,%rax
lea    (%rax,%rbx,1),%r8
add    $0xffffffffffffffff,%r8
cmp    %r8,%rbx
jbe    118a <isValid+0x6a>
mov    $0x1,%eax
mov    %r12,%rsp
jmp    117d <isValid+0x5d>
mov    $0x1,%eax
lea    -0x20(%rbp),%rsp
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
pop    %rbp
ret
lea    -0x1(%rbx),%r9
mov    %rbx,%rsi
xor    %eax,%eax
mov    (%rsi),%cl
cmp    $0x29,%cl
je     11a4 <isValid+0x84>
cmp    $0x7d,%cl
je     11a4 <isValid+0x84>
cmp    $0x5d,%cl
jne    11e8 <isValid+0xc8>
mov    %r9,%rdi
nopw   0x0(%rax,%rax,1)
cmp    %rbx,%rdi
jb     1173 <isValid+0x53>
movzbl (%rdi),%edx
add    $0xffffffffffffffff,%rdi
cmp    $0x20,%dl
je     11b0 <isValid+0x90>
cmp    $0x29,%cl
jne    11cb <isValid+0xab>
cmp    $0x28,%dl
je     11e1 <isValid+0xc1>
cmp    $0x7d,%cl
je     11dc <isValid+0xbc>
cmp    $0x5d,%cl
jne    1173 <isValid+0x53>
cmp    $0x5b,%dl
je     11e1 <isValid+0xc1>
jmp    1173 <isValid+0x53>
cmp    $0x7b,%dl
jne    1173 <isValid+0x53>
movb   $0x20,(%rsi)
movb   $0x20,0x1(%rdi)
add    $0x1,%rsi
add    $0x1,%r9
cmp    %r8,%rsi
jbe    1193 <isValid+0x73>
cmp    %r8,%rbx
ja     116e <isValid+0x4e>
cmpb   $0x20,(%r8)
jne    1212 <isValid+0xf2>
add    $0xffffffffffffffff,%r8
cmp    %rbx,%r8
jae    11fe <isValid+0xde>
jmp    116e <isValid+0x4e>
xor    %eax,%eax
jmp    1173 <isValid+0x53>

LLVM IR (-O0):
define i32 @isValid(i8* %0) {
%2 = alloca i32
%3 = alloca i8*
%4 = alloca i32
%5 = alloca i8*
%6 = alloca i64
%7 = alloca i8*
%8 = alloca i8*
%9 = alloca i8*
%10 = alloca i32
%11 = alloca i8*
%12 = alloca i32
store i8* %0, i8** %3
%13 = load i8*, i8** %3
%14 = call i32 @strlen(i8* %13)
store i32 %14, i32* %4
%15 = load i32, i32* %4
%16 = icmp ne i32 %15, 0
br i1 %16, label %18, label %17
17: ; preds = %1
store i32 1, i32* %2
br label %126
18: ; preds = %1
%19 = load i32, i32* %4
%20 = zext i32 %19 to i64
%21 = call i8* @llvm.stacksave()
store i8* %21, i8** %5
%22 = alloca i8, i64 %20
store i64 %20, i64* %6
%23 = load i8*, i8** %3
%24 = load i32, i32* %4
%25 = call i32 @strncpy(i8* %22, i8* %23, i32 %24)
store i8* %22, i8** %7
%26 = load i8*, i8** %7
%27 = load i32, i32* %4
%28 = sext i32 %27 to i64
%29 = getelementptr inbounds i8, i8* %26, i64 %28
%30 = getelementptr inbounds i8, i8* %29, i64 -1
store i8* %30, i8** %8
%31 = load i8*, i8** %7
store i8* %31, i8** %9
br label %32
32: ; preds = %105, %18
%33 = load i8*, i8** %9
%34 = load i8*, i8** %8
%35 = icmp ule i8* %33, %34
br i1 %35, label %36, label %108
36: ; preds = %32
%37 = load i8*, i8** %9
%38 = load i8, i8* %37
%39 = sext i8 %38 to i32
%40 = icmp eq i32 %39, 41
br i1 %40, label %51, label %41
41: ; preds = %36
%42 = load i8*, i8** %9
%43 = load i8, i8* %42
%44 = sext i8 %43 to i32
%45 = icmp eq i32 %44, 93
br i1 %45, label %51, label %46
46: ; preds = %41
%47 = load i8*, i8** %9
%48 = load i8, i8* %47
%49 = sext i8 %48 to i32
%50 = icmp eq i32 %49, 125
br i1 %50, label %51, label %105
51: ; preds = %46, %41, %36
store i32 0, i32* %10
%52 = load i8*, i8** %9
%53 = getelementptr inbounds i8, i8* %52, i64 -1
store i8* %53, i8** %11
br label %54
54: ; preds = %63, %51
%55 = load i8*, i8** %11
%56 = load i8*, i8** %7
%57 = icmp uge i8* %55, %56
br i1 %57, label %58, label %100
58: ; preds = %54
%59 = load i8*, i8** %11
%60 = load i8, i8* %59
%61 = sext i8 %60 to i32
%62 = icmp eq i32 %61, 32
br i1 %62, label %63, label %66
63: ; preds = %58
%64 = load i8*, i8** %11
%65 = getelementptr inbounds i8, i8* %64, i32 -1
store i8* %65, i8** %11
br label %54
66: ; preds = %58
%67 = load i8*, i8** %9
%68 = load i8, i8* %67
%69 = sext i8 %68 to i32
%70 = icmp eq i32 %69, 41
br i1 %70, label %71, label %76
71: ; preds = %66
%72 = load i8*, i8** %11
%73 = load i8, i8* %72
%74 = sext i8 %73 to i32
%75 = icmp eq i32 %74, 40
br i1 %75, label %96, label %76
76: ; preds = %71, %66
%77 = load i8*, i8** %9
%78 = load i8, i8* %77
%79 = sext i8 %78 to i32
%80 = icmp eq i32 %79, 93
br i1 %80, label %81, label %86
81: ; preds = %76
%82 = load i8*, i8** %11
%83 = load i8, i8* %82
%84 = sext i8 %83 to i32
%85 = icmp eq i32 %84, 91
br i1 %85, label %96, label %86
86: ; preds = %81, %76
%87 = load i8*, i8** %9
%88 = load i8, i8* %87
%89 = sext i8 %88 to i32
%90 = icmp eq i32 %89, 125
br i1 %90, label %91, label %99
91: ; preds = %86
%92 = load i8*, i8** %11
%93 = load i8, i8* %92
%94 = sext i8 %93 to i32
%95 = icmp eq i32 %94, 123
br i1 %95, label %96, label %99
96: ; preds = %91, %81, %71
%97 = load i8*, i8** %9
store i8 32, i8* %97
%98 = load i8*, i8** %11
store i8 32, i8* %98
store i32 1, i32* %10
br label %100
99: ; preds = %91, %86
store i32 0, i32* %2
store i32 1, i32* %12
br label %124
100: ; preds = %96, %54
%101 = load i32, i32* %10
%102 = icmp ne i32 %101, 0
br i1 %102, label %104, label %103
103: ; preds = %100
store i32 0, i32* %2
store i32 1, i32* %12
br label %124
104: ; preds = %100
br label %105
105: ; preds = %104, %46
%106 = load i8*, i8** %9
%107 = getelementptr inbounds i8, i8* %106, i32 1
store i8* %107, i8** %9
br label %32
108: ; preds = %32
%109 = load i8*, i8** %8
store i8* %109, i8** %9
br label %110
110: ; preds = %120, %108
%111 = load i8*, i8** %9
%112 = load i8*, i8** %7
%113 = icmp uge i8* %111, %112
br i1 %113, label %114, label %123
114: ; preds = %110
%115 = load i8*, i8** %9
%116 = load i8, i8* %115
%117 = sext i8 %116 to i32
%118 = icmp ne i32 %117, 32
br i1 %118, label %119, label %120
119: ; preds = %114
store i32 0, i32* %2
store i32 1, i32* %12
br label %124
120: ; preds = %114
%121 = load i8*, i8** %9
%122 = getelementptr inbounds i8, i8* %121, i32 -1
store i8* %122, i8** %9
br label %110
123: ; preds = %110
store i32 1, i32* %2
store i32 1, i32* %12
br label %124
124: ; preds = %123, %119, %103, %99
%125 = load i8*, i8** %5
br label %126
126: ; preds = %124, %17
%127 = load i32, i32* %2
ret i32 %127
}

LLVM IR (-O2):
define i32 @isValid(i8* %0) {
%2 = tail call i32 @strlen(i8* %0)
%3 = icmp eq i32 %2, 0
br i1 %3, label %47, label %4
4: ; preds = %1
%5 = zext i32 %2 to i64
%6 = tail call i8* @llvm.stacksave()
%7 = alloca i8, i64 %5
%8 = call i32 @strncpy(i8* %7, i8* %0, i32 %2)
%9 = sext i32 %2 to i64
%10 = getelementptr inbounds i8, i8* %7, i64 %9
%11 = getelementptr inbounds i8, i8* %10, i64 -1
%12 = icmp ugt i8* %7, %11
br i1 %12, label %45, label %14
13: ; preds = %35
br i1 %12, label %45, label %40
14: ; preds = %4, %35
%15 = phi i8* [ %36, %35 ], [ %7, %4 ]
%16 = load i8, i8* %15
switch i8 %16, label %35 [
i8 41, label %17
i8 93, label %17
i8 125, label %17
]
17: ; preds = %14, %14, %14
br label %18
18: ; preds = %17, %22
%19 = phi i8* [ %20, %22 ], [ %15, %17 ]
%20 = getelementptr inbounds i8, i8* %19, i64 -1
%21 = icmp ult i8* %20, %7
br i1 %21, label %45, label %22
22: ; preds = %18
%23 = load i8, i8* %20
%24 = icmp eq i8 %23, 32
br i1 %24, label %18, label %25
25: ; preds = %22
%26 = icmp eq i8 %16, 41
%27 = icmp eq i8 %23, 40
%28 = select i1 %26, i1 %27, i1 false
br i1 %28, label %34, label %29
29: ; preds = %25
switch i8 %16, label %45 [
i8 93, label %30
i8 125, label %32
]
30: ; preds = %29
%31 = icmp eq i8 %23, 91
br i1 %31, label %34, label %45
32: ; preds = %29
%33 = icmp eq i8 %23, 123
br i1 %33, label %34, label %45
34: ; preds = %30, %32, %25
store i8 32, i8* %15
store i8 32, i8* %20
br label %35
35: ; preds = %34, %14
%36 = getelementptr inbounds i8, i8* %15, i64 1
%37 = icmp ugt i8* %36, %11
br i1 %37, label %13, label %14
38: ; preds = %40
%39 = icmp ult i8* %44, %7
br i1 %39, label %45, label %40
40: ; preds = %13, %38
%41 = phi i8* [ %44, %38 ], [ %11, %13 ]
%42 = load i8, i8* %41
%43 = icmp eq i8 %42, 32
%44 = getelementptr inbounds i8, i8* %41, i64 -1
br i1 %43, label %38, label %45
45: ; preds = %29, %30, %32, %18, %40, %38, %4, %13
%46 = phi i32 [ 1, %13 ], [ 1, %4 ], [ 0, %40 ], [ 1, %38 ], [ 0, %18 ], [ 0, %32 ], [ 0, %30 ], [ 0, %29 ]
br label %47
47: ; preds = %1, %45
%48 = phi i32 [ %46, %45 ], [ 1, %1 ]
ret i32 %48
}