#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 */
scalar_t__ is_sibilant(char);
scalar_t__ is_unvoiced(char);
scalar_t__ is_voiced(char);
scalar_t__ strncmp(char *, char *, int);
int is_pairok(char *s) {
  int test1, test2, test3, test4;
  test1 = (s[0] != s[1]);
  test2 = !((is_voiced(s[0]) && is_unvoiced(s[1])) ||
            (is_voiced(s[1]) && is_unvoiced(s[0])));
  test3 = !(is_sibilant(s[0]) && is_sibilant(s[1]));
  test4 = strncmp(s, "cx", 2) && strncmp(s, "kx", 2) && strncmp(s, "xc", 2) &&
          strncmp(s, "xk", 2) && strncmp(s, "mz", 2);
  return test1 && test2 && test3 && test4;
}


x86 assembly (clang, -O0):
<is_pairok>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x8(%rbp)
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
mov    -0x8(%rbp),%rcx
movsbl 0x1(%rcx),%ecx
cmp    %ecx,%eax
setne  %al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0xc(%rbp)
mov    -0x8(%rbp),%rax
movsbl (%rax),%edi
call   1060 <is_voiced@plt>
cmp    $0x0,%rax
je     119d <is_pairok+0x5d>
mov    -0x8(%rbp),%rax
movsbl 0x1(%rax),%edi
call   1040 <is_unvoiced@plt>
mov    %rax,%rcx
mov    $0x1,%al
cmp    $0x0,%rcx
mov    %al,-0x19(%rbp)
jne    11d8 <is_pairok+0x98>
mov    -0x8(%rbp),%rax
movsbl 0x1(%rax),%edi
call   1060 <is_voiced@plt>
mov    %rax,%rcx
xor    %eax,%eax
cmp    $0x0,%rcx
mov    %al,-0x1a(%rbp)
je     11d2 <is_pairok+0x92>
mov    -0x8(%rbp),%rax
movsbl (%rax),%edi
call   1040 <is_unvoiced@plt>
cmp    $0x0,%rax
setne  %al
mov    %al,-0x1a(%rbp)
mov    -0x1a(%rbp),%al
mov    %al,-0x19(%rbp)
mov    -0x19(%rbp),%al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x10(%rbp)
mov    -0x8(%rbp),%rax
movsbl (%rax),%edi
call   1050 <is_sibilant@plt>
mov    %rax,%rcx
xor    %eax,%eax
cmp    $0x0,%rcx
mov    %al,-0x1b(%rbp)
je     121a <is_pairok+0xda>
mov    -0x8(%rbp),%rax
movsbl 0x1(%rax),%edi
call   1050 <is_sibilant@plt>
cmp    $0x0,%rax
setne  %al
mov    %al,-0x1b(%rbp)
mov    -0x1b(%rbp),%al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x14(%rbp)
mov    -0x8(%rbp),%rdi
lea    0xdce(%rip),%rsi
mov    $0x2,%edx
call   1030 <strncmp@plt>
mov    %rax,%rcx
xor    %eax,%eax
cmp    $0x0,%rcx
mov    %al,-0x1c(%rbp)
je     12e2 <is_pairok+0x1a2>
mov    -0x8(%rbp),%rdi
lea    0xdaa(%rip),%rsi
mov    $0x2,%edx
call   1030 <strncmp@plt>
mov    %rax,%rcx
xor    %eax,%eax
cmp    $0x0,%rcx
mov    %al,-0x1c(%rbp)
je     12e2 <is_pairok+0x1a2>
mov    -0x8(%rbp),%rdi
lea    0xd86(%rip),%rsi
mov    $0x2,%edx
call   1030 <strncmp@plt>
mov    %rax,%rcx
xor    %eax,%eax
cmp    $0x0,%rcx
mov    %al,-0x1c(%rbp)
je     12e2 <is_pairok+0x1a2>
mov    -0x8(%rbp),%rdi
lea    0xd62(%rip),%rsi
mov    $0x2,%edx
call   1030 <strncmp@plt>
mov    %rax,%rcx
xor    %eax,%eax
cmp    $0x0,%rcx
mov    %al,-0x1c(%rbp)
je     12e2 <is_pairok+0x1a2>
mov    -0x8(%rbp),%rdi
lea    0xd3e(%rip),%rsi
mov    $0x2,%edx
call   1030 <strncmp@plt>
cmp    $0x0,%rax
setne  %al
mov    %al,-0x1c(%rbp)
mov    -0x1c(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x18(%rbp)
xor    %eax,%eax
cmpl   $0x0,-0xc(%rbp)
mov    %al,-0x1d(%rbp)
je     1324 <is_pairok+0x1e4>
xor    %eax,%eax
cmpl   $0x0,-0x10(%rbp)
mov    %al,-0x1d(%rbp)
je     1324 <is_pairok+0x1e4>
xor    %eax,%eax
cmpl   $0x0,-0x14(%rbp)
mov    %al,-0x1d(%rbp)
je     1324 <is_pairok+0x1e4>
cmpl   $0x0,-0x18(%rbp)
setne  %al
mov    %al,-0x1d(%rbp)
mov    -0x1d(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<is_pairok>:
push   %rbp
push   %r15
push   %r14
push   %r12
push   %rbx
mov    %rdi,%rbx
mov    (%rdi),%bpl
mov    0x1(%rdi),%r14b
movsbl %bpl,%edi
call   1060 <is_voiced@plt>
test   %rax,%rax
je     1173 <is_pairok+0x33>
movsbl 0x1(%rbx),%edi
call   1040 <is_unvoiced@plt>
test   %rax,%rax
je     1173 <is_pairok+0x33>
xor    %r15d,%r15d
jmp    1195 <is_pairok+0x55>
movsbl 0x1(%rbx),%edi
call   1060 <is_voiced@plt>
test   %rax,%rax
je     1192 <is_pairok+0x52>
movsbl (%rbx),%edi
call   1040 <is_unvoiced@plt>
test   %rax,%rax
sete   %r15b
jmp    1195 <is_pairok+0x55>
mov    $0x1,%r15b
movsbl (%rbx),%edi
call   1050 <is_sibilant@plt>
test   %rax,%rax
je     11b4 <is_pairok+0x74>
movsbl 0x1(%rbx),%edi
call   1050 <is_sibilant@plt>
test   %rax,%rax
sete   %r12b
jmp    11b7 <is_pairok+0x77>
mov    $0x1,%r12b
lea    0xe42(%rip),%rsi
mov    %rbx,%rdi
mov    $0x2,%edx
call   1030 <strncmp@plt>
test   %rax,%rax
je     1237 <is_pairok+0xf7>
lea    0xe2c(%rip),%rsi
mov    %rbx,%rdi
mov    $0x2,%edx
call   1030 <strncmp@plt>
test   %rax,%rax
je     1237 <is_pairok+0xf7>
lea    0xe16(%rip),%rsi
mov    %rbx,%rdi
mov    $0x2,%edx
call   1030 <strncmp@plt>
test   %rax,%rax
je     1237 <is_pairok+0xf7>
lea    0xe00(%rip),%rsi
mov    %rbx,%rdi
mov    $0x2,%edx
call   1030 <strncmp@plt>
test   %rax,%rax
je     1237 <is_pairok+0xf7>
lea    0xdea(%rip),%rsi
mov    %rbx,%rdi
mov    $0x2,%edx
call   1030 <strncmp@plt>
test   %rax,%rax
setne  %al
jmp    1239 <is_pairok+0xf9>
xor    %eax,%eax
cmp    %r14b,%bpl
setne  %cl
and    %r15b,%cl
and    %r12b,%cl
and    %al,%cl
movzbl %cl,%eax
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@.str = [3 x i8] c"cx\00"
@.str.1 = [3 x i8] c"kx\00"
@.str.2 = [3 x i8] c"xc\00"
@.str.3 = [3 x i8] c"xk\00"
@.str.4 = [3 x i8] c"mz\00"
define i32 @is_pairok(i8* %0) {
%2 = alloca i8*
%3 = alloca i32
%4 = alloca i32
%5 = alloca i32
%6 = alloca i32
store i8* %0, i8** %2
%7 = load i8*, i8** %2
%8 = getelementptr inbounds i8, i8* %7, i64 0
%9 = load i8, i8* %8
%10 = sext i8 %9 to i32
%11 = load i8*, i8** %2
%12 = getelementptr inbounds i8, i8* %11, i64 1
%13 = load i8, i8* %12
%14 = sext i8 %13 to i32
%15 = icmp ne i32 %10, %14
%16 = zext i1 %15 to i32
store i32 %16, i32* %3
%17 = load i8*, i8** %2
%18 = getelementptr inbounds i8, i8* %17, i64 0
%19 = load i8, i8* %18
%20 = call i64 @is_voiced(i8 signext %19)
%21 = icmp ne i64 %20, 0
br i1 %21, label %22, label %28
22: ; preds = %1
%23 = load i8*, i8** %2
%24 = getelementptr inbounds i8, i8* %23, i64 1
%25 = load i8, i8* %24
%26 = call i64 @is_unvoiced(i8 signext %25)
%27 = icmp ne i64 %26, 0
br i1 %27, label %42, label %28
28: ; preds = %22, %1
%29 = load i8*, i8** %2
%30 = getelementptr inbounds i8, i8* %29, i64 1
%31 = load i8, i8* %30
%32 = call i64 @is_voiced(i8 signext %31)
%33 = icmp ne i64 %32, 0
br i1 %33, label %34, label %40
34: ; preds = %28
%35 = load i8*, i8** %2
%36 = getelementptr inbounds i8, i8* %35, i64 0
%37 = load i8, i8* %36
%38 = call i64 @is_unvoiced(i8 signext %37)
%39 = icmp ne i64 %38, 0
br label %40
40: ; preds = %34, %28
%41 = phi i1 [ false, %28 ], [ %39, %34 ]
br label %42
42: ; preds = %40, %22
%43 = phi i1 [ true, %22 ], [ %41, %40 ]
%44 = xor i1 %43, true
%45 = zext i1 %44 to i32
store i32 %45, i32* %4
%46 = load i8*, i8** %2
%47 = getelementptr inbounds i8, i8* %46, i64 0
%48 = load i8, i8* %47
%49 = call i64 @is_sibilant(i8 signext %48)
%50 = icmp ne i64 %49, 0
br i1 %50, label %51, label %57
51: ; preds = %42
%52 = load i8*, i8** %2
%53 = getelementptr inbounds i8, i8* %52, i64 1
%54 = load i8, i8* %53
%55 = call i64 @is_sibilant(i8 signext %54)
%56 = icmp ne i64 %55, 0
br label %57
57: ; preds = %51, %42
%58 = phi i1 [ false, %42 ], [ %56, %51 ]
%59 = xor i1 %58, true
%60 = zext i1 %59 to i32
store i32 %60, i32* %5
%61 = load i8*, i8** %2
%62 = call i64 @strncmp(i8* %61, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i32 2)
%63 = icmp ne i64 %62, 0
br i1 %63, label %64, label %80
64: ; preds = %57
%65 = load i8*, i8** %2
%66 = call i64 @strncmp(i8* %65, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.1, i64 0, i64 0), i32 2)
%67 = icmp ne i64 %66, 0
br i1 %67, label %68, label %80
68: ; preds = %64
%69 = load i8*, i8** %2
%70 = call i64 @strncmp(i8* %69, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.2, i64 0, i64 0), i32 2)
%71 = icmp ne i64 %70, 0
br i1 %71, label %72, label %80
72: ; preds = %68
%73 = load i8*, i8** %2
%74 = call i64 @strncmp(i8* %73, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.3, i64 0, i64 0), i32 2)
%75 = icmp ne i64 %74, 0
br i1 %75, label %76, label %80
76: ; preds = %72
%77 = load i8*, i8** %2
%78 = call i64 @strncmp(i8* %77, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.4, i64 0, i64 0), i32 2)
%79 = icmp ne i64 %78, 0
br label %80
80: ; preds = %76, %72, %68, %64, %57
%81 = phi i1 [ false, %72 ], [ false, %68 ], [ false, %64 ], [ false, %57 ], [ %79, %76 ]
%82 = zext i1 %81 to i32
store i32 %82, i32* %6
%83 = load i32, i32* %3
%84 = icmp ne i32 %83, 0
br i1 %84, label %85, label %94
85: ; preds = %80
%86 = load i32, i32* %4
%87 = icmp ne i32 %86, 0
br i1 %87, label %88, label %94
88: ; preds = %85
%89 = load i32, i32* %5
%90 = icmp ne i32 %89, 0
br i1 %90, label %91, label %94
91: ; preds = %88
%92 = load i32, i32* %6
%93 = icmp ne i32 %92, 0
br label %94
94: ; preds = %91, %88, %85, %80
%95 = phi i1 [ false, %88 ], [ false, %85 ], [ false, %80 ], [ %93, %91 ]
%96 = zext i1 %95 to i32
ret i32 %96
}

LLVM IR (-O2):
@.str = [3 x i8] c"cx\00"
@.str.1 = [3 x i8] c"kx\00"
@.str.2 = [3 x i8] c"xc\00"
@.str.3 = [3 x i8] c"xk\00"
@.str.4 = [3 x i8] c"mz\00"
define i32 @is_pairok(i8* %0) {
%2 = load i8, i8* %0
%3 = getelementptr inbounds i8, i8* %0, i64 1
%4 = load i8, i8* %3
%5 = tail call i64 @is_voiced(i8 signext %2)
%6 = icmp eq i64 %5, 0
br i1 %6, label %11, label %7
7: ; preds = %1
%8 = load i8, i8* %3
%9 = tail call i64 @is_unvoiced(i8 signext %8)
%10 = icmp eq i64 %9, 0
br i1 %10, label %11, label %19
11: ; preds = %7, %1
%12 = load i8, i8* %3
%13 = tail call i64 @is_voiced(i8 signext %12)
%14 = icmp eq i64 %13, 0
br i1 %14, label %19, label %15
15: ; preds = %11
%16 = load i8, i8* %0
%17 = tail call i64 @is_unvoiced(i8 signext %16)
%18 = icmp eq i64 %17, 0
br label %19
19: ; preds = %11, %15, %7
%20 = phi i1 [ false, %7 ], [ true, %11 ], [ %18, %15 ]
%21 = load i8, i8* %0
%22 = tail call i64 @is_sibilant(i8 signext %21)
%23 = icmp eq i64 %22, 0
br i1 %23, label %28, label %24
24: ; preds = %19
%25 = load i8, i8* %3
%26 = tail call i64 @is_sibilant(i8 signext %25)
%27 = icmp eq i64 %26, 0
br label %28
28: ; preds = %24, %19
%29 = phi i1 [ true, %19 ], [ %27, %24 ]
%30 = tail call i64 @strncmp(i8* %0, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i32 2)
%31 = icmp eq i64 %30, 0
br i1 %31, label %44, label %32
32: ; preds = %28
%33 = tail call i64 @strncmp(i8* %0, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.1, i64 0, i64 0), i32 2)
%34 = icmp eq i64 %33, 0
br i1 %34, label %44, label %35
35: ; preds = %32
%36 = tail call i64 @strncmp(i8* %0, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.2, i64 0, i64 0), i32 2)
%37 = icmp eq i64 %36, 0
br i1 %37, label %44, label %38
38: ; preds = %35
%39 = tail call i64 @strncmp(i8* %0, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.3, i64 0, i64 0), i32 2)
%40 = icmp eq i64 %39, 0
br i1 %40, label %44, label %41
41: ; preds = %38
%42 = tail call i64 @strncmp(i8* %0, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.4, i64 0, i64 0), i32 2)
%43 = icmp ne i64 %42, 0
br label %44
44: ; preds = %41, %38, %35, %32, %28
%45 = phi i1 [ false, %38 ], [ false, %35 ], [ false, %32 ], [ false, %28 ], [ %43, %41 ]
%46 = icmp ne i8 %2, %4
%47 = select i1 %46, i1 %20, i1 false
%48 = select i1 %47, i1 %29, i1 false
%49 = select i1 %48, i1 %45, i1 false
%50 = zext i1 %49 to i32
ret i32 %50
}