int binary_mat2D_int(int **mat2D_int, int x, int y) {
  unsigned int i, j, s;
  for (i = 0, s = 0; i < x; ++i)
    for (j = 0; j < i; ++j)
      s += (((mat2D_int[i][j] == 0) || (mat2D_int[i][j] == 1)) ? 0 : 1);
  return s;
}


x86 assembly (clang, -O0):
<binary_mat2D_int>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
movl   $0x0,-0x14(%rbp)
movl   $0x0,-0x1c(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0xc(%rbp),%eax
jae    11a9 <binary_mat2D_int+0xa9>
movl   $0x0,-0x18(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0x14(%rbp),%eax
jae    1196 <binary_mat2D_int+0x96>
mov    -0x8(%rbp),%rax
mov    -0x14(%rbp),%ecx
mov    (%rax,%rcx,8),%rcx
mov    -0x18(%rbp),%eax
mov    %eax,%edx
mov    $0x1,%al
cmpl   $0x0,(%rcx,%rdx,4)
mov    %al,-0x1d(%rbp)
je     1172 <binary_mat2D_int+0x72>
mov    -0x8(%rbp),%rax
mov    -0x14(%rbp),%ecx
mov    (%rax,%rcx,8),%rax
mov    -0x18(%rbp),%ecx
cmpl   $0x1,(%rax,%rcx,4)
sete   %al
mov    %al,-0x1d(%rbp)
mov    -0x1d(%rbp),%dl
mov    $0x1,%eax
xor    %ecx,%ecx
test   $0x1,%dl
cmovne %ecx,%eax
add    -0x1c(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    112f <binary_mat2D_int+0x2f>
jmp    119b <binary_mat2D_int+0x9b>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    111c <binary_mat2D_int+0x1c>
mov    -0x1c(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<binary_mat2D_int>:
test   %esi,%esi
je     1266 <binary_mat2D_int+0x166>
movabs $0x7ffffffffffffff8,%r8
ff ff 7f
mov    %esi,%r9d
xor    %r11d,%r11d
movdqa 0xee0(%rip),%xmm0
movdqa 0xee8(%rip),%xmm1
xor    %eax,%eax
jmp    113d <binary_mat2D_int+0x3d>
nopl   0x0(%rax)
add    $0x1,%r11
cmp    %r9,%r11
je     1265 <binary_mat2D_int+0x165>
test   %r11,%r11
je     1130 <binary_mat2D_int+0x30>
mov    (%rdi,%r11,8),%rcx
cmp    $0x8,%r11
jae    1160 <binary_mat2D_int+0x60>
xor    %esi,%esi
jmp    1250 <binary_mat2D_int+0x150>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
mov    %r11,%rsi
and    %r8,%rsi
lea    -0x8(%rsi),%rdx
mov    %rdx,%r10
shr    $0x3,%r10
add    $0x1,%r10
movd   %eax,%xmm2
test   %rdx,%rdx
je     1236 <binary_mat2D_int+0x136>
mov    %r11,%rdx
and    $0xfffffffffffffff8,%rdx
add    $0xfffffffffffffff8,%rdx
shr    $0x3,%rdx
add    $0x1,%rdx
and    $0xfffffffffffffffe,%rdx
pxor   %xmm3,%xmm3
xor    %eax,%eax
nop
movdqu (%rcx,%rax,4),%xmm4
movdqu 0x10(%rcx,%rax,4),%xmm5
movdqu 0x20(%rcx,%rax,4),%xmm6
movdqu 0x30(%rcx,%rax,4),%xmm7
pxor   %xmm0,%xmm4
pcmpgtd %xmm1,%xmm4
psubd  %xmm4,%xmm2
pxor   %xmm0,%xmm5
pcmpgtd %xmm1,%xmm5
psubd  %xmm5,%xmm3
pxor   %xmm0,%xmm6
pcmpgtd %xmm1,%xmm6
psubd  %xmm6,%xmm2
pxor   %xmm0,%xmm7
pcmpgtd %xmm1,%xmm7
psubd  %xmm7,%xmm3
add    $0x10,%rax
add    $0xfffffffffffffffe,%rdx
jne    11a0 <binary_mat2D_int+0xa0>
test   $0x1,%r10b
je     121a <binary_mat2D_int+0x11a>
movdqu (%rcx,%rax,4),%xmm4
movdqu 0x10(%rcx,%rax,4),%xmm5
pxor   %xmm0,%xmm4
pcmpgtd %xmm1,%xmm4
psubd  %xmm4,%xmm2
pxor   %xmm0,%xmm5
pcmpgtd %xmm1,%xmm5
psubd  %xmm5,%xmm3
paddd  %xmm3,%xmm2
pshufd $0xee,%xmm2,%xmm3
paddd  %xmm2,%xmm3
pshufd $0x55,%xmm3,%xmm2
paddd  %xmm3,%xmm2
movd   %xmm2,%eax
jmp    125b <binary_mat2D_int+0x15b>
pxor   %xmm3,%xmm3
xor    %eax,%eax
test   $0x1,%r10b
jne    11f7 <binary_mat2D_int+0xf7>
jmp    121a <binary_mat2D_int+0x11a>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
cmpl   $0x2,(%rcx,%rsi,4)
sbb    $0xffffffff,%eax
add    $0x1,%rsi
cmp    %rsi,%r11
jne    1250 <binary_mat2D_int+0x150>
jmp    1130 <binary_mat2D_int+0x30>
ret
xor    %eax,%eax
ret

LLVM IR (-O0):
define i32 @binary_mat2D_int(i32** %0, i32 %1, i32 %2) {
%4 = alloca i32**
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
store i32** %0, i32*** %4
store i32 %1, i32* %5
store i32 %2, i32* %6
store i32 0, i32* %7
store i32 0, i32* %9
br label %10
10: ; preds = %51, %3
%11 = load i32, i32* %7
%12 = load i32, i32* %5
%13 = icmp ult i32 %11, %12
br i1 %13, label %14, label %54
14: ; preds = %10
store i32 0, i32* %8
br label %15
15: ; preds = %47, %14
%16 = load i32, i32* %8
%17 = load i32, i32* %7
%18 = icmp ult i32 %16, %17
br i1 %18, label %19, label %50
19: ; preds = %15
%20 = load i32**, i32*** %4
%21 = load i32, i32* %7
%22 = zext i32 %21 to i64
%23 = getelementptr inbounds i32*, i32** %20, i64 %22
%24 = load i32*, i32** %23
%25 = load i32, i32* %8
%26 = zext i32 %25 to i64
%27 = getelementptr inbounds i32, i32* %24, i64 %26
%28 = load i32, i32* %27
%29 = icmp eq i32 %28, 0
br i1 %29, label %41, label %30
30: ; preds = %19
%31 = load i32**, i32*** %4
%32 = load i32, i32* %7
%33 = zext i32 %32 to i64
%34 = getelementptr inbounds i32*, i32** %31, i64 %33
%35 = load i32*, i32** %34
%36 = load i32, i32* %8
%37 = zext i32 %36 to i64
%38 = getelementptr inbounds i32, i32* %35, i64 %37
%39 = load i32, i32* %38
%40 = icmp eq i32 %39, 1
br label %41
41: ; preds = %30, %19
%42 = phi i1 [ true, %19 ], [ %40, %30 ]
%43 = zext i1 %42 to i64
%44 = select i1 %42, i32 0, i32 1
%45 = load i32, i32* %9
%46 = add i32 %45, %44
store i32 %46, i32* %9
br label %47
47: ; preds = %41
%48 = load i32, i32* %8
%49 = add i32 %48, 1
store i32 %49, i32* %8
br label %15
50: ; preds = %15
br label %51
51: ; preds = %50
%52 = load i32, i32* %7
%53 = add i32 %52, 1
store i32 %53, i32* %7
br label %10
54: ; preds = %10
%55 = load i32, i32* %9
ret i32 %55
}

LLVM IR (-O2):
define i32 @binary_mat2D_int(i32** nocapture %0, i32 %1, i32 %2) {
%4 = icmp eq i32 %1, 0
br i1 %4, label %102, label %5
5: ; preds = %3
%6 = zext i32 %1 to i64
br label %7
7: ; preds = %5, %98
%8 = phi i64 [ 0, %5 ], [ %100, %98 ]
%9 = phi i32 [ 0, %5 ], [ %99, %98 ]
%10 = and i64 %8, 9223372036854775800
%11 = add nsw i64 %10, -8
%12 = lshr exact i64 %11, 3
%13 = add nuw nsw i64 %12, 1
%14 = icmp eq i64 %8, 0
br i1 %14, label %98, label %15
15: ; preds = %7
%16 = getelementptr inbounds i32*, i32** %0, i64 %8
%17 = load i32*, i32** %16
%18 = icmp ult i64 %8, 8
br i1 %18, label %85, label %19
19: ; preds = %15
%20 = and i64 %8, 9223372036854775800
%21 = insertelement <4 x i32> <i32 poison, i32 0, i32 0, i32 0>, i32 %9, i64 0
%22 = and i64 %13, 1
%23 = icmp eq i64 %11, 0
br i1 %23, label %59, label %24
24: ; preds = %19
%25 = and i64 %13, 4611686018427387902
br label %26
26: ; preds = %26, %24
%27 = phi i64 [ 0, %24 ], [ %56, %26 ]
%28 = phi <4 x i32> [ %21, %24 ], [ %54, %26 ]
%29 = phi <4 x i32> [ zeroinitializer, %24 ], [ %55, %26 ]
%30 = phi i64 [ 0, %24 ], [ %57, %26 ]
%31 = getelementptr inbounds i32, i32* %17, i64 %27
%32 = bitcast i32* %31 to <4 x i32>*
%33 = load <4 x i32>, <4 x i32>* %32
%34 = getelementptr inbounds i32, i32* %31, i64 4
%35 = bitcast i32* %34 to <4 x i32>*
%36 = load <4 x i32>, <4 x i32>* %35
%37 = icmp ugt <4 x i32> %33, <i32 1, i32 1, i32 1, i32 1>
%38 = icmp ugt <4 x i32> %36, <i32 1, i32 1, i32 1, i32 1>
%39 = zext <4 x i1> %37 to <4 x i32>
%40 = zext <4 x i1> %38 to <4 x i32>
%41 = add <4 x i32> %28, %39
%42 = add <4 x i32> %29, %40
%43 = or i64 %27, 8
%44 = getelementptr inbounds i32, i32* %17, i64 %43
%45 = bitcast i32* %44 to <4 x i32>*
%46 = load <4 x i32>, <4 x i32>* %45
%47 = getelementptr inbounds i32, i32* %44, i64 4
%48 = bitcast i32* %47 to <4 x i32>*
%49 = load <4 x i32>, <4 x i32>* %48
%50 = icmp ugt <4 x i32> %46, <i32 1, i32 1, i32 1, i32 1>
%51 = icmp ugt <4 x i32> %49, <i32 1, i32 1, i32 1, i32 1>
%52 = zext <4 x i1> %50 to <4 x i32>
%53 = zext <4 x i1> %51 to <4 x i32>
%54 = add <4 x i32> %41, %52
%55 = add <4 x i32> %42, %53
%56 = add nuw i64 %27, 16
%57 = add i64 %30, 2
%58 = icmp eq i64 %57, %25
br i1 %58, label %59, label %26
59: ; preds = %26, %19
%60 = phi <4 x i32> [ undef, %19 ], [ %54, %26 ]
%61 = phi <4 x i32> [ undef, %19 ], [ %55, %26 ]
%62 = phi i64 [ 0, %19 ], [ %56, %26 ]
%63 = phi <4 x i32> [ %21, %19 ], [ %54, %26 ]
%64 = phi <4 x i32> [ zeroinitializer, %19 ], [ %55, %26 ]
%65 = icmp eq i64 %22, 0
br i1 %65, label %79, label %66
66: ; preds = %59
%67 = getelementptr inbounds i32, i32* %17, i64 %62
%68 = bitcast i32* %67 to <4 x i32>*
%69 = load <4 x i32>, <4 x i32>* %68
%70 = getelementptr inbounds i32, i32* %67, i64 4
%71 = bitcast i32* %70 to <4 x i32>*
%72 = load <4 x i32>, <4 x i32>* %71
%73 = icmp ugt <4 x i32> %69, <i32 1, i32 1, i32 1, i32 1>
%74 = icmp ugt <4 x i32> %72, <i32 1, i32 1, i32 1, i32 1>
%75 = zext <4 x i1> %73 to <4 x i32>
%76 = zext <4 x i1> %74 to <4 x i32>
%77 = add <4 x i32> %63, %75
%78 = add <4 x i32> %64, %76
br label %79
79: ; preds = %59, %66
%80 = phi <4 x i32> [ %60, %59 ], [ %77, %66 ]
%81 = phi <4 x i32> [ %61, %59 ], [ %78, %66 ]
%82 = add <4 x i32> %81, %80
%83 = call i32 @llvm.vector.reduce.add.v4i32(<4 x i32> %82)
%84 = icmp eq i64 %8, %20
br i1 %84, label %98, label %85
85: ; preds = %15, %79
%86 = phi i64 [ 0, %15 ], [ %20, %79 ]
%87 = phi i32 [ %9, %15 ], [ %83, %79 ]
br label %88
88: ; preds = %85, %88
%89 = phi i64 [ %96, %88 ], [ %86, %85 ]
%90 = phi i32 [ %95, %88 ], [ %87, %85 ]
%91 = getelementptr inbounds i32, i32* %17, i64 %89
%92 = load i32, i32* %91
%93 = icmp ugt i32 %92, 1
%94 = zext i1 %93 to i32
%95 = add i32 %90, %94
%96 = add nuw nsw i64 %89, 1
%97 = icmp eq i64 %96, %8
br i1 %97, label %98, label %88
98: ; preds = %88, %79, %7
%99 = phi i32 [ %9, %7 ], [ %83, %79 ], [ %95, %88 ]
%100 = add nuw nsw i64 %8, 1
%101 = icmp eq i64 %100, %6
br i1 %101, label %102, label %7
102: ; preds = %98, %3
%103 = phi i32 [ 0, %3 ], [ %99, %98 ]
ret i32 %103
}