int is_input_valid(char *buffer, int len_buffer) {
  int i = 0;
  int num_pipe = 0;
  int num_in = 0;
  int num_out = 0;
  int num_err = 0;
  for (i = 0; i < len_buffer; i++) {
    if (buffer[i] == '>') {
      if (i - 1 < 0) {
        return 0;
      }
      if (buffer[i - 1] == '2') {
        num_err++;
      } else {
        num_out++;
      }
    } else if (buffer[i] == '<') {
      num_in++;
    } else if (buffer[i] == '|') {
      num_pipe++;
      if (num_pipe == 1) {
        if (num_out)
          return 0;
        if (num_in > 1)
          return 0;
        if (num_err > 1)
          return 0;
      } else {
        if (num_out)
          return 0;
        if (num_in)
          return 0;
        if (num_err > 1)
          return 0;
      }
      num_out = 0;
      num_in = 0;
      num_err = 0;
    } else if (i == len_buffer - 1) {
      if (num_pipe) {
        if (num_out > 1)
          return 0;
        if (num_in)
          return 0;
        if (num_err > 1)
          return 0;
      } else {
        if (num_out > 1)
          return 0;
        if (num_in > 1)
          return 0;
        if (num_err > 1)
          return 0;
      }
    }
  }
  return 1;
}


x86 assembly (clang, -O0):
<is_input_valid>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
movl   $0x0,-0x18(%rbp)
movl   $0x0,-0x1c(%rbp)
movl   $0x0,-0x20(%rbp)
movl   $0x0,-0x24(%rbp)
movl   $0x0,-0x28(%rbp)
movl   $0x0,-0x18(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    136a <is_input_valid+0x26a>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x3e,%eax
jne    11a7 <is_input_valid+0xa7>
mov    -0x18(%rbp),%eax
sub    $0x1,%eax
cmp    $0x0,%eax
jge    1171 <is_input_valid+0x71>
movl   $0x0,-0x4(%rbp)
jmp    1371 <is_input_valid+0x271>
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x32,%eax
jne    1199 <is_input_valid+0x99>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    11a2 <is_input_valid+0xa2>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1357 <is_input_valid+0x257>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x3c,%eax
jne    11ca <is_input_valid+0xca>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    1352 <is_input_valid+0x252>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x7c,%eax
jne    129a <is_input_valid+0x19a>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
cmpl   $0x1,-0x1c(%rbp)
jne    1239 <is_input_valid+0x139>
cmpl   $0x0,-0x24(%rbp)
je     1208 <is_input_valid+0x108>
movl   $0x0,-0x4(%rbp)
jmp    1371 <is_input_valid+0x271>
cmpl   $0x1,-0x20(%rbp)
jle    121e <is_input_valid+0x11e>
movl   $0x0,-0x4(%rbp)
jmp    1371 <is_input_valid+0x271>
cmpl   $0x1,-0x28(%rbp)
jle    1234 <is_input_valid+0x134>
movl   $0x0,-0x4(%rbp)
jmp    1371 <is_input_valid+0x271>
jmp    1280 <is_input_valid+0x180>
cmpl   $0x0,-0x24(%rbp)
je     124f <is_input_valid+0x14f>
movl   $0x0,-0x4(%rbp)
jmp    1371 <is_input_valid+0x271>
cmpl   $0x0,-0x20(%rbp)
je     1265 <is_input_valid+0x165>
movl   $0x0,-0x4(%rbp)
jmp    1371 <is_input_valid+0x271>
cmpl   $0x1,-0x28(%rbp)
jle    127b <is_input_valid+0x17b>
movl   $0x0,-0x4(%rbp)
jmp    1371 <is_input_valid+0x271>
jmp    1280 <is_input_valid+0x180>
movl   $0x0,-0x24(%rbp)
movl   $0x0,-0x20(%rbp)
movl   $0x0,-0x28(%rbp)
jmp    134d <is_input_valid+0x24d>
mov    -0x18(%rbp),%eax
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jne    1348 <is_input_valid+0x248>
cmpl   $0x0,-0x1c(%rbp)
je     12fc <is_input_valid+0x1fc>
cmpl   $0x1,-0x24(%rbp)
jle    12cb <is_input_valid+0x1cb>
movl   $0x0,-0x4(%rbp)
jmp    1371 <is_input_valid+0x271>
cmpl   $0x0,-0x20(%rbp)
je     12e1 <is_input_valid+0x1e1>
movl   $0x0,-0x4(%rbp)
jmp    1371 <is_input_valid+0x271>
cmpl   $0x1,-0x28(%rbp)
jle    12f7 <is_input_valid+0x1f7>
movl   $0x0,-0x4(%rbp)
jmp    1371 <is_input_valid+0x271>
jmp    1343 <is_input_valid+0x243>
cmpl   $0x1,-0x24(%rbp)
jle    1312 <is_input_valid+0x212>
movl   $0x0,-0x4(%rbp)
jmp    1371 <is_input_valid+0x271>
cmpl   $0x1,-0x20(%rbp)
jle    1328 <is_input_valid+0x228>
movl   $0x0,-0x4(%rbp)
jmp    1371 <is_input_valid+0x271>
cmpl   $0x1,-0x28(%rbp)
jle    133e <is_input_valid+0x23e>
movl   $0x0,-0x4(%rbp)
jmp    1371 <is_input_valid+0x271>
jmp    1343 <is_input_valid+0x243>
jmp    1348 <is_input_valid+0x248>
jmp    134d <is_input_valid+0x24d>
jmp    1352 <is_input_valid+0x252>
jmp    1357 <is_input_valid+0x257>
jmp    135c <is_input_valid+0x25c>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1135 <is_input_valid+0x35>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<is_input_valid>:
test   %esi,%esi
jle    11f9 <is_input_valid+0xf9>
lea    -0x1(%rsi),%r8d
mov    %esi,%r9d
xor    %esi,%esi
xor    %r10d,%r10d
xor    %ecx,%ecx
xor    %eax,%eax
xor    %r11d,%r11d
jmp    1134 <is_input_valid+0x34>
nopl   (%rax)
add    $0x1,%eax
mov    %eax,%edx
add    $0x1,%rsi
mov    %edx,%eax
cmp    %rsi,%r9
je     11f9 <is_input_valid+0xf9>
movzbl (%rdi,%rsi,1),%edx
cmp    $0x3c,%dl
je     1120 <is_input_valid+0x20>
cmp    $0x7c,%dl
je     1160 <is_input_valid+0x60>
cmp    $0x3e,%dl
jne    1190 <is_input_valid+0x90>
test   %rsi,%rsi
je     11ff <is_input_valid+0xff>
cmpb   $0x32,-0x1(%rdi,%rsi,1)
jne    11a7 <is_input_valid+0xa7>
add    $0x1,%r10d
jmp    1123 <is_input_valid+0x23>
nopl   (%rax)
xor    %edx,%edx
test   %r11d,%r11d
je     11af <is_input_valid+0xaf>
test   %ecx,%ecx
jne    11ff <is_input_valid+0xff>
test   %eax,%eax
jne    11ff <is_input_valid+0xff>
cmp    $0x1,%r10d
jg     11ff <is_input_valid+0xff>
add    $0x1,%r11d
xor    %ecx,%ecx
xor    %r10d,%r10d
jmp    1125 <is_input_valid+0x25>
nopl   0x0(%rax)
cmp    %rsi,%r8
jne    1123 <is_input_valid+0x23>
test   %r11d,%r11d
je     11da <is_input_valid+0xda>
xor    %edx,%edx
cmp    $0x1,%ecx
jg     11ff <is_input_valid+0xff>
test   %eax,%eax
je     11e9 <is_input_valid+0xe9>
jmp    11ff <is_input_valid+0xff>
add    $0x1,%ecx
jmp    1123 <is_input_valid+0x23>
test   %ecx,%ecx
jne    11ff <is_input_valid+0xff>
cmp    $0x1,%eax
jg     11ff <is_input_valid+0xff>
mov    $0x1,%r11d
mov    $0x0,%ecx
mov    $0x0,%eax
cmp    $0x1,%r10d
mov    $0x0,%r10d
jle    1125 <is_input_valid+0x25>
jmp    11f8 <is_input_valid+0xf8>
xor    %r11d,%r11d
cmp    $0x1,%ecx
jg     11ff <is_input_valid+0xff>
cmp    $0x1,%eax
jg     11ff <is_input_valid+0xff>
mov    %eax,%edx
mov    $0x0,%eax
cmp    $0x1,%r10d
jle    1125 <is_input_valid+0x25>
ret
mov    $0x1,%eax
ret
xor    %eax,%eax
ret

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

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