int productFunction(int *mat) {
  if (mat[0] == 0 && mat[1] == 0) {
    return 0;
  } else if ((mat[0] == 0 && mat[1] == 1) || (mat[0] == 1 && mat[1] == 0)) {
    return 1;
  } else if ((mat[0] == 0 && mat[1] == 2) || (mat[0] == 2 && mat[1] == 0)) {
    return 2;
  } else if (mat[0] == 1 && mat[1] == 1) {
    return 3;
  } else if ((mat[0] == 1 && mat[1] == 2) || (mat[0] == 2 && mat[1] == 1)) {
    return 4;
  } else if (mat[0] == 2 && mat[1] == 2) {
    return 5;
  } else {
    return -1;
  }
}


x86 assembly (clang, -O0):
<productFunction>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    -0x10(%rbp),%rax
cmpl   $0x0,(%rax)
jne    112f <productFunction+0x2f>
mov    -0x10(%rbp),%rax
cmpl   $0x0,0x4(%rax)
jne    112f <productFunction+0x2f>
movl   $0x0,-0x4(%rbp)
jmp    124a <productFunction+0x14a>
mov    -0x10(%rbp),%rax
cmpl   $0x0,(%rax)
jne    114a <productFunction+0x4a>
mov    -0x10(%rbp),%rax
cmpl   $0x1,0x4(%rax)
je     1165 <productFunction+0x65>
mov    -0x10(%rbp),%rax
cmpl   $0x1,(%rax)
jne    1171 <productFunction+0x71>
mov    -0x10(%rbp),%rax
cmpl   $0x0,0x4(%rax)
jne    1171 <productFunction+0x71>
movl   $0x1,-0x4(%rbp)
jmp    124a <productFunction+0x14a>
mov    -0x10(%rbp),%rax
cmpl   $0x0,(%rax)
jne    118c <productFunction+0x8c>
mov    -0x10(%rbp),%rax
cmpl   $0x2,0x4(%rax)
je     11a7 <productFunction+0xa7>
mov    -0x10(%rbp),%rax
cmpl   $0x2,(%rax)
jne    11b3 <productFunction+0xb3>
mov    -0x10(%rbp),%rax
cmpl   $0x0,0x4(%rax)
jne    11b3 <productFunction+0xb3>
movl   $0x2,-0x4(%rbp)
jmp    124a <productFunction+0x14a>
mov    -0x10(%rbp),%rax
cmpl   $0x1,(%rax)
jne    11da <productFunction+0xda>
mov    -0x10(%rbp),%rax
cmpl   $0x1,0x4(%rax)
jne    11da <productFunction+0xda>
movl   $0x3,-0x4(%rbp)
jmp    124a <productFunction+0x14a>
mov    -0x10(%rbp),%rax
cmpl   $0x1,(%rax)
jne    11f5 <productFunction+0xf5>
mov    -0x10(%rbp),%rax
cmpl   $0x2,0x4(%rax)
je     1210 <productFunction+0x110>
mov    -0x10(%rbp),%rax
cmpl   $0x2,(%rax)
jne    121c <productFunction+0x11c>
mov    -0x10(%rbp),%rax
cmpl   $0x1,0x4(%rax)
jne    121c <productFunction+0x11c>
movl   $0x4,-0x4(%rbp)
jmp    124a <productFunction+0x14a>
mov    -0x10(%rbp),%rax
cmpl   $0x2,(%rax)
jne    1243 <productFunction+0x143>
mov    -0x10(%rbp),%rax
cmpl   $0x2,0x4(%rax)
jne    1243 <productFunction+0x143>
movl   $0x5,-0x4(%rbp)
jmp    124a <productFunction+0x14a>
movl   $0xffffffff,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<productFunction>:
mov    (%rdi),%ecx
mov    $0xffffffff,%eax
cmp    $0x2,%ecx
je     1137 <productFunction+0x37>
cmp    $0x1,%ecx
je     1124 <productFunction+0x24>
test   %ecx,%ecx
jne    114e <productFunction+0x4e>
mov    0x4(%rdi),%ecx
cmp    $0x3,%ecx
mov    $0xffffffff,%eax
cmovb  %ecx,%eax
ret
movslq 0x4(%rdi),%rcx
cmp    $0x3,%rcx
jae    114e <productFunction+0x4e>
lea    0xecb(%rip),%rax
jmp    1148 <productFunction+0x48>
movslq 0x4(%rdi),%rcx
cmp    $0x3,%rcx
jae    114e <productFunction+0x4e>
lea    0xec4(%rip),%rax
lea    (%rax,%rcx,4),%rax
mov    (%rax),%eax
ret

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

LLVM IR (-O2):
@switch.table.productFunction = [3 x i32] [i32 1, i32 3, i32 4]
@switch.table.productFunction.1 = [3 x i32] [i32 2, i32 4, i32 5]
define i32 @productFunction(i32* nocapture %0) {
%2 = load i32, i32* %0
switch i32 %2, label %25 [
i32 0, label %3
i32 1, label %8
i32 2, label %12
]
3: ; preds = %1
%4 = getelementptr inbounds i32, i32* %0, i64 1
%5 = load i32, i32* %4
%6 = icmp ult i32 %5, 3
%7 = select i1 %6, i32 %5, i32 -1
br label %25
8: ; preds = %1
%9 = getelementptr inbounds i32, i32* %0, i64 1
%10 = load i32, i32* %9
%11 = icmp ult i32 %10, 3
br i1 %11, label %16, label %25
12: ; preds = %1
%13 = getelementptr inbounds i32, i32* %0, i64 1
%14 = load i32, i32* %13
%15 = icmp ult i32 %14, 3
br i1 %15, label %19, label %25
16: ; preds = %8
%17 = sext i32 %10 to i64
%18 = getelementptr inbounds [3 x i32], [3 x i32]* @switch.table.productFunction, i64 0, i64 %17
br label %22
19: ; preds = %12
%20 = sext i32 %14 to i64
%21 = getelementptr inbounds [3 x i32], [3 x i32]* @switch.table.productFunction.1, i64 0, i64 %20
br label %22
22: ; preds = %16, %19
%23 = phi i32* [ %21, %19 ], [ %18, %16 ]
%24 = load i32, i32* %23
br label %25
25: ; preds = %3, %22, %1, %8, %12
%26 = phi i32 [ -1, %12 ], [ -1, %8 ], [ -1, %1 ], [ %7, %3 ], [ %24, %22 ]
ret i32 %26
}