int validation(int left_value, char operator, int right_value,
               int calculation_value, int remainder_value) {
  if (operator== '+') {
    return (left_value + right_value) == calculation_value;
  } else if (operator== '-') {
    return (left_value - right_value) == calculation_value;
  } else if (operator== '*' || operator== 'x') {
    return (left_value * right_value) == calculation_value;
  } else if (operator== '/') {
    if (right_value == 0) {
      return 0;
    } else {
      return left_value == (calculation_value * right_value + remainder_value);
    }
  } else {
    return 0;
  }
}


x86 assembly (clang, -O0):
<validation>:
push   %rbp
mov    %rsp,%rbp
mov    %sil,%al
mov    %edi,-0x8(%rbp)
mov    %al,-0x9(%rbp)
mov    %edx,-0x10(%rbp)
mov    %ecx,-0x14(%rbp)
mov    %r8d,-0x18(%rbp)
movsbl -0x9(%rbp),%eax
cmp    $0x2b,%eax
jne    113d <validation+0x3d>
mov    -0x8(%rbp),%eax
add    -0x10(%rbp),%eax
cmp    -0x14(%rbp),%eax
sete   %al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x4(%rbp)
jmp    11e0 <validation+0xe0>
movsbl -0x9(%rbp),%eax
cmp    $0x2d,%eax
jne    1163 <validation+0x63>
mov    -0x8(%rbp),%eax
sub    -0x10(%rbp),%eax
cmp    -0x14(%rbp),%eax
sete   %al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x4(%rbp)
jmp    11e0 <validation+0xe0>
movsbl -0x9(%rbp),%eax
cmp    $0x2a,%eax
je     117d <validation+0x7d>
movsbl -0x9(%rbp),%eax
cmp    $0x78,%eax
jne    1197 <validation+0x97>
mov    -0x8(%rbp),%eax
imul   -0x10(%rbp),%eax
cmp    -0x14(%rbp),%eax
sete   %al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x4(%rbp)
jmp    11e0 <validation+0xe0>
movsbl -0x9(%rbp),%eax
cmp    $0x2f,%eax
jne    11d9 <validation+0xd9>
cmpl   $0x0,-0x10(%rbp)
jne    11ba <validation+0xba>
movl   $0x0,-0x4(%rbp)
jmp    11e0 <validation+0xe0>
mov    -0x8(%rbp),%eax
mov    -0x14(%rbp),%ecx
imul   -0x10(%rbp),%ecx
add    -0x18(%rbp),%ecx
cmp    %ecx,%eax
sete   %al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x4(%rbp)
jmp    11e0 <validation+0xe0>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<validation>:
xor    %r9d,%r9d
lea    -0x2a(%rsi),%eax
cmp    $0x5,%al
ja     1123 <validation+0x23>
movzbl %al,%eax
lea    0xeec(%rip),%rsi
movslq (%rsi,%rax,4),%rax
add    %rsi,%rax
jmp    *%rax
add    %edi,%edx
cmp    %ecx,%edx
jmp    1142 <validation+0x42>
cmp    $0x78,%sil
jne    1146 <validation+0x46>
imul   %edi,%edx
cmp    %ecx,%edx
jmp    1142 <validation+0x42>
sub    %edx,%edi
cmp    %ecx,%edi
jmp    1142 <validation+0x42>
test   %edx,%edx
je     114b <validation+0x4b>
imul   %edx,%ecx
add    %r8d,%ecx
cmp    %edi,%ecx
sete   %r9b
movzbl %r9b,%eax
ret
xor    %r9d,%r9d
movzbl %r9b,%eax
ret

LLVM IR (-O0):
define i32 @validation(i32 %0, i8 signext %1, i32 %2, i32 %3, i32 %4) {
%6 = alloca i32
%7 = alloca i32
%8 = alloca i8
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
store i32 %0, i32* %7
store i8 %1, i8* %8
store i32 %2, i32* %9
store i32 %3, i32* %10
store i32 %4, i32* %11
%12 = load i8, i8* %8
%13 = sext i8 %12 to i32
%14 = icmp eq i32 %13, 43
br i1 %14, label %15, label %22
15: ; preds = %5
%16 = load i32, i32* %7
%17 = load i32, i32* %9
%18 = add nsw i32 %16, %17
%19 = load i32, i32* %10
%20 = icmp eq i32 %18, %19
%21 = zext i1 %20 to i32
store i32 %21, i32* %6
br label %66
22: ; preds = %5
%23 = load i8, i8* %8
%24 = sext i8 %23 to i32
%25 = icmp eq i32 %24, 45
br i1 %25, label %26, label %33
26: ; preds = %22
%27 = load i32, i32* %7
%28 = load i32, i32* %9
%29 = sub nsw i32 %27, %28
%30 = load i32, i32* %10
%31 = icmp eq i32 %29, %30
%32 = zext i1 %31 to i32
store i32 %32, i32* %6
br label %66
33: ; preds = %22
%34 = load i8, i8* %8
%35 = sext i8 %34 to i32
%36 = icmp eq i32 %35, 42
br i1 %36, label %41, label %37
37: ; preds = %33
%38 = load i8, i8* %8
%39 = sext i8 %38 to i32
%40 = icmp eq i32 %39, 120
br i1 %40, label %41, label %48
41: ; preds = %37, %33
%42 = load i32, i32* %7
%43 = load i32, i32* %9
%44 = mul nsw i32 %42, %43
%45 = load i32, i32* %10
%46 = icmp eq i32 %44, %45
%47 = zext i1 %46 to i32
store i32 %47, i32* %6
br label %66
48: ; preds = %37
%49 = load i8, i8* %8
%50 = sext i8 %49 to i32
%51 = icmp eq i32 %50, 47
br i1 %51, label %52, label %65
52: ; preds = %48
%53 = load i32, i32* %9
%54 = icmp eq i32 %53, 0
br i1 %54, label %55, label %56
55: ; preds = %52
store i32 0, i32* %6
br label %66
56: ; preds = %52
%57 = load i32, i32* %7
%58 = load i32, i32* %10
%59 = load i32, i32* %9
%60 = mul nsw i32 %58, %59
%61 = load i32, i32* %11
%62 = add nsw i32 %60, %61
%63 = icmp eq i32 %57, %62
%64 = zext i1 %63 to i32
store i32 %64, i32* %6
br label %66
65: ; preds = %48
store i32 0, i32* %6
br label %66
66: ; preds = %65, %56, %55, %41, %26, %15
%67 = load i32, i32* %6
ret i32 %67
}

LLVM IR (-O2):
define i32 @validation(i32 %0, i8 signext %1, i32 %2, i32 %3, i32 %4) {
switch i8 %1, label %21 [
i8 43, label %6
i8 45, label %9
i8 120, label %12
i8 42, label %12
i8 47, label %15
]
6: ; preds = %5
%7 = add nsw i32 %2, %0
%8 = icmp eq i32 %7, %3
br label %21
9: ; preds = %5
%10 = sub nsw i32 %0, %2
%11 = icmp eq i32 %10, %3
br label %21
12: ; preds = %5, %5
%13 = mul nsw i32 %2, %0
%14 = icmp eq i32 %13, %3
br label %21
15: ; preds = %5
%16 = icmp eq i32 %2, 0
br i1 %16, label %21, label %17
17: ; preds = %15
%18 = mul nsw i32 %3, %2
%19 = add nsw i32 %18, %4
%20 = icmp eq i32 %19, %0
br label %21
21: ; preds = %5, %15, %17, %12, %9, %6
%22 = phi i1 [ %8, %6 ], [ %11, %9 ], [ %14, %12 ], [ %20, %17 ], [ false, %15 ], [ false, %5 ]
%23 = zext i1 %22 to i32
ret i32 %23
}