#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 /*<<< orphan*/ free(char *);
scalar_t__ malloc(int);
int strlen(char *);
bool isValid(char *s) {
  if (s == NULL) {
    return true;
  }
  int len = strlen(s) + 1;
  char *stack = (char *)malloc(len * sizeof(char));
  char *pStack = stack + 1;
  while (*s) {
    switch (*s) {
    case '(':
    case '{':
    case '[':
      *pStack = *s;
      pStack++;
      break;
    case ')':
      pStack--;
      if (pStack == stack || *pStack != '(') {
        return false;
      }
      break;
    case '}':
      pStack--;
      if (pStack == stack || *pStack != '{') {
        return false;
      }
      break;
    case ']':
      pStack--;
      if (pStack == stack || *pStack != '[') {
        return false;
      }
      break;
    }
    s++;
  }
  bool result = stack + 1 == pStack;
  free(stack);
  return result;
}


x86 assembly (clang, -O0):
<isValid>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x10(%rbp)
cmpq   $0x0,-0x10(%rbp)
jne    1153 <isValid+0x23>
movl   $0x1,-0x4(%rbp)
jmp    1300 <isValid+0x1d0>
mov    -0x10(%rbp),%rdi
call   1040 <strlen@plt>
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
movslq -0x14(%rbp),%rax
shl    $0x0,%rax
mov    %eax,%edi
call   1050 <malloc@plt>
mov    %rax,-0x20(%rbp)
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x28(%rbp)
mov    -0x10(%rbp),%rax
cmpb   $0x0,(%rax)
je     12da <isValid+0x1aa>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
mov    %eax,-0x30(%rbp)
sub    $0x28,%eax
je     11fb <isValid+0xcb>
jmp    11a6 <isValid+0x76>
mov    -0x30(%rbp),%eax
sub    $0x29,%eax
je     1218 <isValid+0xe8>
jmp    11b7 <isValid+0x87>
mov    -0x30(%rbp),%eax
sub    $0x5b,%eax
je     11fb <isValid+0xcb>
jmp    11c8 <isValid+0x98>
mov    -0x30(%rbp),%eax
sub    $0x5d,%eax
je     128e <isValid+0x15e>
jmp    11d9 <isValid+0xa9>
mov    -0x30(%rbp),%eax
sub    $0x7b,%eax
je     11fb <isValid+0xcb>
jmp    11ea <isValid+0xba>
mov    -0x30(%rbp),%eax
sub    $0x7d,%eax
je     1253 <isValid+0x123>
jmp    12c9 <isValid+0x199>
mov    -0x10(%rbp),%rax
mov    (%rax),%cl
mov    -0x28(%rbp),%rax
mov    %cl,(%rax)
mov    -0x28(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x28(%rbp)
jmp    12c9 <isValid+0x199>
mov    -0x28(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rax
cmp    -0x20(%rbp),%rax
je     1242 <isValid+0x112>
mov    -0x28(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x28,%eax
je     124e <isValid+0x11e>
movl   $0x0,-0x4(%rbp)
jmp    1300 <isValid+0x1d0>
jmp    12c9 <isValid+0x199>
mov    -0x28(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rax
cmp    -0x20(%rbp),%rax
je     127d <isValid+0x14d>
mov    -0x28(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x7b,%eax
je     1289 <isValid+0x159>
movl   $0x0,-0x4(%rbp)
jmp    1300 <isValid+0x1d0>
jmp    12c9 <isValid+0x199>
mov    -0x28(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rax
cmp    -0x20(%rbp),%rax
je     12b8 <isValid+0x188>
mov    -0x28(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x5b,%eax
je     12c4 <isValid+0x194>
movl   $0x0,-0x4(%rbp)
jmp    1300 <isValid+0x1d0>
jmp    12c9 <isValid+0x199>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
jmp    1181 <isValid+0x51>
mov    -0x20(%rbp),%rax
add    $0x1,%rax
cmp    -0x28(%rbp),%rax
sete   %al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x2c(%rbp)
mov    -0x20(%rbp),%rdi
call   1030 <free@plt>
mov    -0x2c(%rbp),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<isValid>:
push   %rbp
push   %rbx
push   %rax
test   %rdi,%rdi
je     11dc <isValid+0xac>
mov    %rdi,%rbx
call   1040 <strlen@plt>
lea    0x1(%rax),%edi
call   1050 <malloc@plt>
mov    (%rbx),%dl
test   %dl,%dl
je     11e3 <isValid+0xb3>
lea    0x1(%rax),%rdi
add    $0x1,%rbx
mov    $0x1,%ecx
lea    0xe96(%rip),%r8
jmp    1185 <isValid+0x55>
nopl   0x0(%rax)
mov    %dl,(%rdi)
add    $0x1,%rcx
lea    (%rax,%rcx,1),%rdi
movzbl (%rbx),%edx
add    $0x1,%rbx
test   %dl,%dl
je     11e8 <isValid+0xb8>
movsbl %dl,%ebp
lea    -0x5b(%rbp),%esi
cmp    $0x22,%esi
ja     11b0 <isValid+0x80>
movslq (%r8,%rsi,4),%rsi
add    %r8,%rsi
jmp    *%rsi
xor    %ebp,%ebp
add    $0xffffffffffffffff,%rcx
je     11fa <isValid+0xca>
cmpb   $0x5b,(%rax,%rcx,1)
je     1176 <isValid+0x46>
jmp    11fa <isValid+0xca>
nopl   0x0(%rax)
cmp    $0x29,%ebp
je     11cc <isValid+0x9c>
cmp    $0x28,%ebp
je     1170 <isValid+0x40>
jmp    1176 <isValid+0x46>
xor    %ebp,%ebp
add    $0xffffffffffffffff,%rcx
je     11fa <isValid+0xca>
cmpb   $0x7b,(%rax,%rcx,1)
je     1176 <isValid+0x46>
jmp    11fa <isValid+0xca>
xor    %ebp,%ebp
add    $0xffffffffffffffff,%rcx
je     11fa <isValid+0xca>
cmpb   $0x28,(%rax,%rcx,1)
je     1176 <isValid+0x46>
jmp    11fa <isValid+0xca>
mov    $0x1,%ebp
jmp    11fa <isValid+0xca>
mov    $0x1,%ecx
xor    %ebp,%ebp
cmp    $0x1,%rcx
sete   %bpl
mov    %rax,%rdi
call   1030 <free@plt>
mov    %ebp,%eax
add    $0x8,%rsp
pop    %rbx
pop    %rbp
ret

LLVM IR (-O0):
define i32 @isValid(i8* %0) {
%2 = alloca i32
%3 = alloca i8*
%4 = alloca i32
%5 = alloca i8*
%6 = alloca i8*
%7 = alloca i32
store i8* %0, i8** %3
%8 = load i8*, i8** %3
%9 = icmp eq i8* %8, null
br i1 %9, label %10, label %11
10: ; preds = %1
store i32 1, i32* %2
br label %88
11: ; preds = %1
%12 = load i8*, i8** %3
%13 = call i32 @strlen(i8* %12)
%14 = add nsw i32 %13, 1
store i32 %14, i32* %4
%15 = load i32, i32* %4
%16 = sext i32 %15 to i64
%17 = mul i64 %16, 1
%18 = trunc i64 %17 to i32
%19 = call i64 @malloc(i32 %18)
%20 = inttoptr i64 %19 to i8*
store i8* %20, i8** %5
%21 = load i8*, i8** %5
%22 = getelementptr inbounds i8, i8* %21, i64 1
store i8* %22, i8** %6
br label %23
23: ; preds = %76, %11
%24 = load i8*, i8** %3
%25 = load i8, i8* %24
%26 = icmp ne i8 %25, 0
br i1 %26, label %27, label %79
27: ; preds = %23
%28 = load i8*, i8** %3
%29 = load i8, i8* %28
%30 = sext i8 %29 to i32
switch i32 %30, label %76 [
i32 40, label %31
i32 123, label %31
i32 91, label %31
i32 41, label %37
i32 125, label %50
i32 93, label %63
]
31: ; preds = %27, %27, %27
%32 = load i8*, i8** %3
%33 = load i8, i8* %32
%34 = load i8*, i8** %6
store i8 %33, i8* %34
%35 = load i8*, i8** %6
%36 = getelementptr inbounds i8, i8* %35, i32 1
store i8* %36, i8** %6
br label %76
37: ; preds = %27
%38 = load i8*, i8** %6
%39 = getelementptr inbounds i8, i8* %38, i32 -1
store i8* %39, i8** %6
%40 = load i8*, i8** %6
%41 = load i8*, i8** %5
%42 = icmp eq i8* %40, %41
br i1 %42, label %48, label %43
43: ; preds = %37
%44 = load i8*, i8** %6
%45 = load i8, i8* %44
%46 = sext i8 %45 to i32
%47 = icmp ne i32 %46, 40
br i1 %47, label %48, label %49
48: ; preds = %43, %37
store i32 0, i32* %2
br label %88
49: ; preds = %43
br label %76
50: ; preds = %27
%51 = load i8*, i8** %6
%52 = getelementptr inbounds i8, i8* %51, i32 -1
store i8* %52, i8** %6
%53 = load i8*, i8** %6
%54 = load i8*, i8** %5
%55 = icmp eq i8* %53, %54
br i1 %55, label %61, label %56
56: ; preds = %50
%57 = load i8*, i8** %6
%58 = load i8, i8* %57
%59 = sext i8 %58 to i32
%60 = icmp ne i32 %59, 123
br i1 %60, label %61, label %62
61: ; preds = %56, %50
store i32 0, i32* %2
br label %88
62: ; preds = %56
br label %76
63: ; preds = %27
%64 = load i8*, i8** %6
%65 = getelementptr inbounds i8, i8* %64, i32 -1
store i8* %65, i8** %6
%66 = load i8*, i8** %6
%67 = load i8*, i8** %5
%68 = icmp eq i8* %66, %67
br i1 %68, label %74, label %69
69: ; preds = %63
%70 = load i8*, i8** %6
%71 = load i8, i8* %70
%72 = sext i8 %71 to i32
%73 = icmp ne i32 %72, 91
br i1 %73, label %74, label %75
74: ; preds = %69, %63
store i32 0, i32* %2
br label %88
75: ; preds = %69
br label %76
76: ; preds = %27, %75, %62, %49, %31
%77 = load i8*, i8** %3
%78 = getelementptr inbounds i8, i8* %77, i32 1
store i8* %78, i8** %3
br label %23
79: ; preds = %23
%80 = load i8*, i8** %5
%81 = getelementptr inbounds i8, i8* %80, i64 1
%82 = load i8*, i8** %6
%83 = icmp eq i8* %81, %82
%84 = zext i1 %83 to i32
store i32 %84, i32* %7
%85 = load i8*, i8** %5
%86 = call i32 @free(i8* %85)
%87 = load i32, i32* %7
store i32 %87, i32* %2
br label %88
88: ; preds = %79, %74, %61, %48, %10
%89 = load i32, i32* %2
ret i32 %89
}

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