int sommaMatrice(int m[20][20], int rs, int re, int cs, int ce) {
  int sum = 0;
  int i, j;
  for (i = rs; i <= re; i++) {
    for (j = cs; j <= ce; j++) {
      sum += m[i][j];
    }
  }
  return sum;
}


x86 assembly (clang, -O0):
<sommaMatrice>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    %ecx,-0x14(%rbp)
mov    %r8d,-0x18(%rbp)
movl   $0x0,-0x1c(%rbp)
mov    -0xc(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x20(%rbp),%eax
cmp    -0x10(%rbp),%eax
jg     117d <sommaMatrice+0x7d>
mov    -0x14(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0x18(%rbp),%eax
jg     116a <sommaMatrice+0x6a>
mov    -0x8(%rbp),%rax
movslq -0x20(%rbp),%rcx
imul   $0x50,%rcx,%rcx
add    %rcx,%rax
movslq -0x24(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
add    -0x1c(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1134 <sommaMatrice+0x34>
jmp    116f <sommaMatrice+0x6f>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    1122 <sommaMatrice+0x22>
mov    -0x1c(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<sommaMatrice>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
mov    %rdi,-0x20(%rsp)
xor    %eax,%eax
cmp    %edx,%esi
jle    1120 <sommaMatrice+0x20>
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
movslq %ecx,%r9
lea    0x1(%r8),%r10d
movslq %esi,%rsi
add    $0x1,%edx
mov    %r8d,%r11d
sub    %r9d,%r11d
lea    0x1(%r11),%r12
mov    %r12,-0x8(%rsp)
and    $0xfffffffffffffff8,%r12
lea    -0x8(%r12),%r14
mov    %r14,%r15
shr    $0x3,%r15
add    $0x1,%r15
lea    (%r12,%r9,1),%rax
mov    %rax,-0x10(%rsp)
mov    %r15,%rax
and    $0xfffffffffffffffe,%rax
mov    %rax,-0x18(%rsp)
lea    (%rsi,%rsi,4),%rbp
shl    $0x4,%rbp
add    -0x20(%rsp),%rbp
lea    0x30(,%r9,4),%rdi
add    %rbp,%rdi
xor    %eax,%eax
jmp    11a4 <sommaMatrice+0xa4>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
add    $0x1,%rsi
add    $0x50,%rdi
add    $0x50,%rbp
cmp    %esi,%edx
je     1115 <sommaMatrice+0x15>
cmp    %ecx,%r8d
jl     1190 <sommaMatrice+0x90>
cmp    $0x7,%r11d
jae    11c0 <sommaMatrice+0xc0>
mov    %r9,%rbx
jmp    1270 <sommaMatrice+0x170>
nopw   0x0(%rax,%rax,1)
movd   %eax,%xmm0
pxor   %xmm1,%xmm1
test   %r14,%r14
je     1282 <sommaMatrice+0x182>
mov    -0x18(%rsp),%r13
xor    %eax,%eax
nopl   0x0(%rax,%rax,1)
movdqu -0x30(%rdi,%rax,4),%xmm2
paddd  %xmm0,%xmm2
movdqu -0x20(%rdi,%rax,4),%xmm3
paddd  %xmm1,%xmm3
movdqu -0x10(%rdi,%rax,4),%xmm0
paddd  %xmm2,%xmm0
movdqu (%rdi,%rax,4),%xmm1
paddd  %xmm3,%xmm1
add    $0x10,%rax
add    $0xfffffffffffffffe,%r13
jne    11e0 <sommaMatrice+0xe0>
test   $0x1,%r15b
je     123a <sommaMatrice+0x13a>
add    %r9,%rax
lea    (%rsi,%rsi,4),%rbx
shl    $0x4,%rbx
add    -0x20(%rsp),%rbx
movdqu (%rbx,%rax,4),%xmm2
paddd  %xmm2,%xmm0
movdqu 0x10(%rbx,%rax,4),%xmm2
paddd  %xmm2,%xmm1
paddd  %xmm1,%xmm0
pshufd $0xee,%xmm0,%xmm1
paddd  %xmm0,%xmm1
pshufd $0x55,%xmm1,%xmm0
paddd  %xmm1,%xmm0
movd   %xmm0,%eax
mov    -0x10(%rsp),%rbx
cmp    %r12,-0x8(%rsp)
je     1190 <sommaMatrice+0x90>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
add    0x0(%rbp,%rbx,4),%eax
add    $0x1,%rbx
cmp    %ebx,%r10d
jne    1270 <sommaMatrice+0x170>
jmp    1190 <sommaMatrice+0x90>
xor    %eax,%eax
test   $0x1,%r15b
jne    1217 <sommaMatrice+0x117>
jmp    123a <sommaMatrice+0x13a>

LLVM IR (-O0):
define i32 @sommaMatrice([20 x i32]* %0, i32 %1, i32 %2, i32 %3, i32 %4) {
%6 = alloca [20 x i32]*
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
%12 = alloca i32
%13 = alloca i32
store [20 x i32]* %0, [20 x i32]** %6
store i32 %1, i32* %7
store i32 %2, i32* %8
store i32 %3, i32* %9
store i32 %4, i32* %10
store i32 0, i32* %11
%14 = load i32, i32* %7
store i32 %14, i32* %12
br label %15
15: ; preds = %40, %5
%16 = load i32, i32* %12
%17 = load i32, i32* %8
%18 = icmp sle i32 %16, %17
br i1 %18, label %19, label %43
19: ; preds = %15
%20 = load i32, i32* %9
store i32 %20, i32* %13
br label %21
21: ; preds = %36, %19
%22 = load i32, i32* %13
%23 = load i32, i32* %10
%24 = icmp sle i32 %22, %23
br i1 %24, label %25, label %39
25: ; preds = %21
%26 = load [20 x i32]*, [20 x i32]** %6
%27 = load i32, i32* %12
%28 = sext i32 %27 to i64
%29 = getelementptr inbounds [20 x i32], [20 x i32]* %26, i64 %28
%30 = load i32, i32* %13
%31 = sext i32 %30 to i64
%32 = getelementptr inbounds [20 x i32], [20 x i32]* %29, i64 0, i64 %31
%33 = load i32, i32* %32
%34 = load i32, i32* %11
%35 = add nsw i32 %34, %33
store i32 %35, i32* %11
br label %36
36: ; preds = %25
%37 = load i32, i32* %13
%38 = add nsw i32 %37, 1
store i32 %38, i32* %13
br label %21
39: ; preds = %21
br label %40
40: ; preds = %39
%41 = load i32, i32* %12
%42 = add nsw i32 %41, 1
store i32 %42, i32* %12
br label %15
43: ; preds = %15
%44 = load i32, i32* %11
ret i32 %44
}

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