#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*/ assert(int /*<<< orphan*/);
int /*<<< orphan*/ strcpy(char *, char const *);
int /*<<< orphan*/ strncpy(char *, char const *, size_t);
int valid_evals(char *, int);
unsigned as_last(const char *expr, size_t expr_sz, size_t op_i, int expected) {
  char left[op_i + 1];
  char right[expr_sz - op_i];
  strncpy(left, expr, op_i);
  left[op_i] = '\0';
  strcpy(right, expr + op_i + 1);
  switch (expr[op_i]) {
  case '^':
    if (expected) {
      return valid_evals(left, 1) * valid_evals(right, 0) +
             valid_evals(left, 0) * valid_evals(right, 1);
    } else {
      return valid_evals(left, 1) * valid_evals(right, 1) +
             valid_evals(left, 0) * valid_evals(right, 0);
    }
    break;
  case '|':
    if (expected) {
      return valid_evals(left, 1) * valid_evals(right, 0) +
             valid_evals(left, 0) * valid_evals(right, 1) +
             valid_evals(left, 1) * valid_evals(right, 1);
    } else {
      return valid_evals(left, 0) * valid_evals(right, 0);
    }
    break;
  case '&':
    if (expected) {
      return valid_evals(left, 1) * valid_evals(right, 1);
    } else {
      return valid_evals(left, 0) * valid_evals(right, 1) +
             valid_evals(left, 1) * valid_evals(right, 0) +
             valid_evals(left, 0) * valid_evals(right, 0);
    }
    break;
  default:
    assert(0);
  }
}


x86 assembly (clang, -O0):
<as_last>:
push   %rbp
mov    %rsp,%rbp
sub    $0xa0,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %ecx,-0x24(%rbp)
mov    -0x20(%rbp),%rcx
mov    %rcx,%rax
add    $0x1,%rax
mov    %rsp,%rdx
mov    %rdx,-0x30(%rbp)
add    $0x10,%rcx
and    $0xfffffffffffffff0,%rcx
mov    %rsp,%rdi
sub    %rcx,%rdi
mov    %rdi,-0x58(%rbp)
mov    %rdi,%rsp
mov    %rax,-0x38(%rbp)
mov    -0x18(%rbp),%rax
mov    -0x20(%rbp),%rcx
sub    %rcx,%rax
mov    %rax,%rdx
add    $0xf,%rdx
and    $0xfffffffffffffff0,%rdx
mov    %rsp,%rcx
sub    %rdx,%rcx
mov    %rcx,-0x50(%rbp)
mov    %rcx,%rsp
mov    %rax,-0x40(%rbp)
mov    -0x10(%rbp),%rsi
mov    -0x20(%rbp),%rdx
call   1030 <strncpy@plt>
mov    -0x58(%rbp),%rcx
mov    -0x50(%rbp),%rdi
mov    -0x20(%rbp),%rax
movb   $0x0,(%rax,%rcx,1)
mov    -0x10(%rbp),%rax
mov    -0x20(%rbp),%rcx
lea    0x1(%rax,%rcx,1),%rsi
call   1040 <strcpy@plt>
mov    -0x10(%rbp),%rax
mov    -0x20(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
mov    %eax,-0x48(%rbp)
sub    $0x26,%eax
je     13b6 <as_last+0x276>
jmp    11f8 <as_last+0xb8>
mov    -0x48(%rbp),%eax
sub    $0x5e,%eax
je     121a <as_last+0xda>
jmp    1209 <as_last+0xc9>
mov    -0x48(%rbp),%eax
sub    $0x7c,%eax
je     12e2 <as_last+0x1a2>
jmp    14a2 <as_last+0x362>
cmpl   $0x0,-0x24(%rbp)
je     1283 <as_last+0x143>
mov    -0x58(%rbp),%rdi
mov    $0x1,%esi
call   1050 <valid_evals@plt>
mov    -0x50(%rbp),%rdi
mov    %eax,-0x64(%rbp)
xor    %esi,%esi
call   1050 <valid_evals@plt>
mov    -0x58(%rbp),%rdi
mov    %eax,%ecx
mov    -0x64(%rbp),%eax
imul   %ecx,%eax
mov    %eax,-0x5c(%rbp)
xor    %esi,%esi
call   1050 <valid_evals@plt>
mov    -0x50(%rbp),%rdi
mov    %eax,-0x60(%rbp)
mov    $0x1,%esi
call   1050 <valid_evals@plt>
mov    -0x60(%rbp),%ecx
mov    %eax,%edx
mov    -0x5c(%rbp),%eax
imul   %edx,%ecx
add    %ecx,%eax
mov    %eax,-0x4(%rbp)
movl   $0x1,-0x44(%rbp)
jmp    14b0 <as_last+0x370>
mov    -0x58(%rbp),%rdi
mov    $0x1,%esi
call   1050 <valid_evals@plt>
mov    -0x50(%rbp),%rdi
mov    %eax,-0x70(%rbp)
mov    $0x1,%esi
call   1050 <valid_evals@plt>
mov    -0x58(%rbp),%rdi
mov    %eax,%ecx
mov    -0x70(%rbp),%eax
imul   %ecx,%eax
mov    %eax,-0x68(%rbp)
xor    %esi,%esi
call   1050 <valid_evals@plt>
mov    -0x50(%rbp),%rdi
mov    %eax,-0x6c(%rbp)
xor    %esi,%esi
call   1050 <valid_evals@plt>
mov    -0x6c(%rbp),%ecx
mov    %eax,%edx
mov    -0x68(%rbp),%eax
imul   %edx,%ecx
add    %ecx,%eax
mov    %eax,-0x4(%rbp)
movl   $0x1,-0x44(%rbp)
jmp    14b0 <as_last+0x370>
cmpl   $0x0,-0x24(%rbp)
je     1380 <as_last+0x240>
mov    -0x58(%rbp),%rdi
mov    $0x1,%esi
call   1050 <valid_evals@plt>
mov    -0x50(%rbp),%rdi
mov    %eax,-0x84(%rbp)
xor    %esi,%esi
call   1050 <valid_evals@plt>
mov    -0x58(%rbp),%rdi
mov    %eax,%ecx
mov    -0x84(%rbp),%eax
imul   %ecx,%eax
mov    %eax,-0x7c(%rbp)
xor    %esi,%esi
call   1050 <valid_evals@plt>
mov    -0x50(%rbp),%rdi
mov    %eax,-0x80(%rbp)
mov    $0x1,%esi
call   1050 <valid_evals@plt>
mov    -0x80(%rbp),%ecx
mov    -0x58(%rbp),%rdi
mov    %eax,%edx
mov    -0x7c(%rbp),%eax
imul   %edx,%ecx
add    %ecx,%eax
mov    %eax,-0x74(%rbp)
mov    $0x1,%esi
call   1050 <valid_evals@plt>
mov    -0x50(%rbp),%rdi
mov    %eax,-0x78(%rbp)
mov    $0x1,%esi
call   1050 <valid_evals@plt>
mov    -0x78(%rbp),%ecx
mov    %eax,%edx
mov    -0x74(%rbp),%eax
imul   %edx,%ecx
add    %ecx,%eax
mov    %eax,-0x4(%rbp)
movl   $0x1,-0x44(%rbp)
jmp    14b0 <as_last+0x370>
mov    -0x58(%rbp),%rdi
xor    %esi,%esi
call   1050 <valid_evals@plt>
mov    -0x50(%rbp),%rdi
mov    %eax,-0x88(%rbp)
xor    %esi,%esi
call   1050 <valid_evals@plt>
mov    %eax,%ecx
mov    -0x88(%rbp),%eax
imul   %ecx,%eax
mov    %eax,-0x4(%rbp)
movl   $0x1,-0x44(%rbp)
jmp    14b0 <as_last+0x370>
cmpl   $0x0,-0x24(%rbp)
je     13fc <as_last+0x2bc>
mov    -0x58(%rbp),%rdi
mov    $0x1,%esi
call   1050 <valid_evals@plt>
mov    -0x50(%rbp),%rdi
mov    %eax,-0x8c(%rbp)
mov    $0x1,%esi
call   1050 <valid_evals@plt>
mov    %eax,%ecx
mov    -0x8c(%rbp),%eax
imul   %ecx,%eax
mov    %eax,-0x4(%rbp)
movl   $0x1,-0x44(%rbp)
jmp    14b0 <as_last+0x370>
mov    -0x58(%rbp),%rdi
xor    %esi,%esi
call   1050 <valid_evals@plt>
mov    -0x50(%rbp),%rdi
mov    %eax,-0xa0(%rbp)
mov    $0x1,%esi
call   1050 <valid_evals@plt>
mov    -0x58(%rbp),%rdi
mov    %eax,%ecx
mov    -0xa0(%rbp),%eax
imul   %ecx,%eax
mov    %eax,-0x98(%rbp)
mov    $0x1,%esi
call   1050 <valid_evals@plt>
mov    -0x50(%rbp),%rdi
mov    %eax,-0x9c(%rbp)
xor    %esi,%esi
call   1050 <valid_evals@plt>
mov    -0x9c(%rbp),%ecx
mov    -0x58(%rbp),%rdi
mov    %eax,%edx
mov    -0x98(%rbp),%eax
imul   %edx,%ecx
add    %ecx,%eax
mov    %eax,-0x90(%rbp)
xor    %esi,%esi
call   1050 <valid_evals@plt>
mov    -0x50(%rbp),%rdi
mov    %eax,-0x94(%rbp)
xor    %esi,%esi
call   1050 <valid_evals@plt>
mov    -0x94(%rbp),%ecx
mov    %eax,%edx
mov    -0x90(%rbp),%eax
imul   %edx,%ecx
add    %ecx,%eax
mov    %eax,-0x4(%rbp)
movl   $0x1,-0x44(%rbp)
jmp    14b0 <as_last+0x370>
xor    %edi,%edi
call   1060 <assert@plt>
movl   $0x0,-0x44(%rbp)
mov    -0x30(%rbp),%rax
mov    %rax,%rsp
mov    -0x4(%rbp),%eax
mov    %rbp,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<as_last>:
push   %rbp
mov    %rsp,%rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %ecx,%r15d
mov    %rdx,%rbx
mov    %rdi,%r13
mov    %rsp,%r12
lea    0x10(%rdx),%rax
and    $0xfffffffffffffff0,%rax
sub    %rax,%r12
mov    %r12,%rsp
sub    %rdx,%rsi
add    $0xf,%rsi
and    $0xfffffffffffffff0,%rsi
mov    %rsp,%r14
sub    %rsi,%r14
mov    %r14,%rsp
mov    %r12,%rdi
mov    %r13,%rsi
call   1030 <strncpy@plt>
movb   $0x0,(%rbx,%r12,1)
lea    (%rbx,%r13,1),%rsi
add    $0x1,%rsi
mov    %r14,%rdi
call   1040 <strcpy@plt>
movsbl 0x0(%r13,%rbx,1),%eax
cmp    $0x26,%eax
je     11e5 <as_last+0xa5>
cmp    $0x7c,%eax
je     120a <as_last+0xca>
cmp    $0x5e,%eax
jne    1271 <as_last+0x131>
mov    %r12,%rdi
mov    $0x1,%esi
call   1050 <valid_evals@plt>
mov    %eax,%r13d
mov    %r14,%rdi
test   %r15d,%r15d
je     127d <as_last+0x13d>
xor    %esi,%esi
call   1050 <valid_evals@plt>
mov    %eax,%ebx
imul   %r13d,%ebx
mov    %r12,%rdi
xor    %esi,%esi
jmp    125f <as_last+0x11f>
test   %r15d,%r15d
je     128f <as_last+0x14f>
mov    %r12,%rdi
mov    $0x1,%esi
call   1050 <valid_evals@plt>
mov    %eax,%ebx
mov    %r14,%rdi
mov    $0x1,%esi
jmp    1303 <as_last+0x1c3>
test   %r15d,%r15d
je     12f2 <as_last+0x1b2>
mov    %r12,%rdi
mov    $0x1,%esi
call   1050 <valid_evals@plt>
mov    %eax,%r15d
mov    %r14,%rdi
xor    %esi,%esi
call   1050 <valid_evals@plt>
mov    %eax,%r13d
imul   %r15d,%r13d
mov    %r12,%rdi
xor    %esi,%esi
call   1050 <valid_evals@plt>
mov    %eax,%r15d
mov    %r14,%rdi
mov    $0x1,%esi
call   1050 <valid_evals@plt>
mov    %eax,%ebx
imul   %r15d,%ebx
add    %r13d,%ebx
mov    %r12,%rdi
mov    $0x1,%esi
call   1050 <valid_evals@plt>
mov    %eax,%r15d
mov    %r14,%rdi
mov    $0x1,%esi
jmp    12e5 <as_last+0x1a5>
xor    %edi,%edi
call   1060 <assert@plt>
jmp    130b <as_last+0x1cb>
mov    $0x1,%esi
call   1050 <valid_evals@plt>
mov    %eax,%ebx
imul   %r13d,%ebx
jmp    12d3 <as_last+0x193>
mov    %r12,%rdi
xor    %esi,%esi
call   1050 <valid_evals@plt>
mov    %eax,%r15d
mov    %r14,%rdi
mov    $0x1,%esi
call   1050 <valid_evals@plt>
mov    %eax,%r13d
imul   %r15d,%r13d
mov    %r12,%rdi
mov    $0x1,%esi
call   1050 <valid_evals@plt>
mov    %eax,%r15d
mov    %r14,%rdi
xor    %esi,%esi
call   1050 <valid_evals@plt>
mov    %eax,%ebx
imul   %r15d,%ebx
add    %r13d,%ebx
mov    %r12,%rdi
xor    %esi,%esi
call   1050 <valid_evals@plt>
mov    %eax,%r15d
mov    %r14,%rdi
xor    %esi,%esi
call   1050 <valid_evals@plt>
imul   %r15d,%eax
add    %ebx,%eax
jmp    130b <as_last+0x1cb>
mov    %r12,%rdi
xor    %esi,%esi
call   1050 <valid_evals@plt>
mov    %eax,%ebx
mov    %r14,%rdi
xor    %esi,%esi
call   1050 <valid_evals@plt>
imul   %ebx,%eax
lea    -0x28(%rbp),%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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