void __attribute__((weak)) f(int *x, int *y, int n, int m) {
  for (int i = 0; i < 257; ++i)
    x[i * n] += y[i * m];
}


x86 assembly (clang, -O0):
<f>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    %ecx,-0x18(%rbp)
movl   $0x0,-0x1c(%rbp)
cmpl   $0x101,-0x1c(%rbp)
jge    1159 <f+0x59>
mov    -0x10(%rbp),%rax
mov    -0x1c(%rbp),%ecx
imul   -0x18(%rbp),%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
mov    -0x1c(%rbp),%ecx
imul   -0x14(%rbp),%ecx
movslq %ecx,%rcx
add    (%rax,%rcx,4),%edx
mov    %edx,(%rax,%rcx,4)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1119 <f+0x19>
pop    %rbp
ret

x86 assembly (clang, -O2):
<f>:
push   %r15
push   %r14
push   %rbx
movslq %ecx,%r8
movslq %edx,%r9
xor    %r11d,%r11d
mov    $0x0,%eax
cmp    $0x1,%r9d
jne    11dc <f+0xdc>
cmp    $0x1,%ecx
jne    11dc <f+0xdc>
lea    0x404(%rsi),%rax
cmp    %rdi,%rax
jbe    1148 <f+0x48>
lea    0x404(%rdi),%rax
cmp    %rsi,%rax
jbe    1148 <f+0x48>
xor    %eax,%eax
xor    %r11d,%r11d
jmp    11dc <f+0xdc>
mov    %r8,%r15
shl    $0x5,%r15
lea    0x10(%rsi),%rdx
mov    %r8,%r10
shl    $0x6,%r10
mov    %r9,%rax
shl    $0x5,%rax
lea    0x10(%rdi),%rbx
mov    %r9,%r14
shl    $0x6,%r14
mov    $0x100,%r11d
mov    $0x100,%ecx
nopw   0x0(%rax,%rax,1)
movdqu -0x10(%rdx),%xmm0
movdqu (%rdx),%xmm1
movdqu -0x10(%rbx),%xmm2
paddd  %xmm0,%xmm2
movdqu (%rbx),%xmm0
paddd  %xmm1,%xmm0
movdqu %xmm2,-0x10(%rbx)
movdqu %xmm0,(%rbx)
movdqu -0x10(%rdx,%r15,1),%xmm0
movdqu (%rdx,%r15,1),%xmm1
movdqu -0x10(%rbx,%rax,1),%xmm2
paddd  %xmm0,%xmm2
movdqu (%rbx,%rax,1),%xmm0
paddd  %xmm1,%xmm0
movdqu %xmm2,-0x10(%rbx,%rax,1)
movdqu %xmm0,(%rbx,%rax,1)
add    %r10,%rdx
add    %r14,%rbx
add    $0xfffffffffffffff0,%rcx
jne    1180 <f+0x80>
mov    $0x1,%al
mov    %r11,%rcx
imul   %r8,%rcx
mov    (%rsi,%rcx,4),%ecx
mov    %r11,%rdx
imul   %r9,%rdx
add    %ecx,(%rdi,%rdx,4)
test   %al,%al
jne    124a <f+0x14a>
mov    %r11,%rax
or     $0x1,%rax
lea    -0x100(%r11),%rcx
mov    %rax,%r10
imul   %r9,%r10
imul   %r8,%rax
add    $0x2,%r11
mov    %r11,%rbx
imul   %r9,%rbx
shl    $0x3,%r9
imul   %r8,%r11
shl    $0x3,%r8
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    (%rsi,%rax,4),%edx
add    %edx,(%rdi,%r10,4)
mov    (%rsi,%r11,4),%edx
add    %edx,(%rdi,%rbx,4)
add    %r9,%rdi
add    %r8,%rsi
add    $0x2,%rcx
jne    1230 <f+0x130>
pop    %rbx
pop    %r14
pop    %r15
ret

LLVM IR (-O0):
define weak void @f(i32* %0, i32* %1, i32 %2, i32 %3) {
%5 = alloca i32*
%6 = alloca i32*
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
store i32* %0, i32** %5
store i32* %1, i32** %6
store i32 %2, i32* %7
store i32 %3, i32* %8
store i32 0, i32* %9
br label %10
10: ; preds = %29, %4
%11 = load i32, i32* %9
%12 = icmp slt i32 %11, 257
br i1 %12, label %13, label %32
13: ; preds = %10
%14 = load i32*, i32** %6
%15 = load i32, i32* %9
%16 = load i32, i32* %8
%17 = mul nsw i32 %15, %16
%18 = sext i32 %17 to i64
%19 = getelementptr inbounds i32, i32* %14, i64 %18
%20 = load i32, i32* %19
%21 = load i32*, i32** %5
%22 = load i32, i32* %9
%23 = load i32, i32* %7
%24 = mul nsw i32 %22, %23
%25 = sext i32 %24 to i64
%26 = getelementptr inbounds i32, i32* %21, i64 %25
%27 = load i32, i32* %26
%28 = add nsw i32 %27, %20
store i32 %28, i32* %26
br label %29
29: ; preds = %13
%30 = load i32, i32* %9
%31 = add nsw i32 %30, 1
store i32 %31, i32* %9
br label %10
32: ; preds = %10
ret void
}

LLVM IR (-O2):
define weak void @f(i32* %0, i32* %1, i32 %2, i32 %3) {
%5 = sext i32 %3 to i64
%6 = sext i32 %2 to i64
%7 = icmp ne i32 %2, 1
%8 = icmp ne i32 %3, 1
%9 = or i1 %7, %8
br i1 %9, label %10, label %21
10: ; preds = %27, %21, %4
%11 = phi i1 [ false, %21 ], [ false, %4 ], [ true, %27 ]
%12 = phi i64 [ 0, %21 ], [ 0, %4 ], [ 256, %27 ]
%13 = mul nsw i64 %12, %5
%14 = getelementptr inbounds i32, i32* %1, i64 %13
%15 = load i32, i32* %14
%16 = mul nsw i64 %12, %6
%17 = getelementptr inbounds i32, i32* %0, i64 %16
%18 = load i32, i32* %17
%19 = add nsw i32 %18, %15
store i32 %19, i32* %17
%20 = or i64 %12, 1
br i1 %11, label %68, label %69
21: ; preds = %4
%22 = getelementptr i32, i32* %0, i64 257
%23 = getelementptr i32, i32* %1, i64 257
%24 = icmp ugt i32* %23, %0
%25 = icmp ugt i32* %22, %1
%26 = and i1 %24, %25
br i1 %26, label %10, label %27
27: ; preds = %21, %27
%28 = phi i64 [ %66, %27 ], [ 0, %21 ]
%29 = mul nsw i64 %28, %5
%30 = getelementptr inbounds i32, i32* %1, i64 %29
%31 = bitcast i32* %30 to <4 x i32>*
%32 = load <4 x i32>, <4 x i32>* %31
%33 = getelementptr inbounds i32, i32* %30, i64 4
%34 = bitcast i32* %33 to <4 x i32>*
%35 = load <4 x i32>, <4 x i32>* %34
%36 = mul nsw i64 %28, %6
%37 = getelementptr inbounds i32, i32* %0, i64 %36
%38 = bitcast i32* %37 to <4 x i32>*
%39 = load <4 x i32>, <4 x i32>* %38
%40 = getelementptr inbounds i32, i32* %37, i64 4
%41 = bitcast i32* %40 to <4 x i32>*
%42 = load <4 x i32>, <4 x i32>* %41
%43 = add nsw <4 x i32> %39, %32
%44 = add nsw <4 x i32> %42, %35
%45 = bitcast i32* %37 to <4 x i32>*
store <4 x i32> %43, <4 x i32>* %45
%46 = bitcast i32* %40 to <4 x i32>*
store <4 x i32> %44, <4 x i32>* %46
%47 = or i64 %28, 8
%48 = mul nsw i64 %47, %5
%49 = getelementptr inbounds i32, i32* %1, i64 %48
%50 = bitcast i32* %49 to <4 x i32>*
%51 = load <4 x i32>, <4 x i32>* %50
%52 = getelementptr inbounds i32, i32* %49, i64 4
%53 = bitcast i32* %52 to <4 x i32>*
%54 = load <4 x i32>, <4 x i32>* %53
%55 = mul nsw i64 %47, %6
%56 = getelementptr inbounds i32, i32* %0, i64 %55
%57 = bitcast i32* %56 to <4 x i32>*
%58 = load <4 x i32>, <4 x i32>* %57
%59 = getelementptr inbounds i32, i32* %56, i64 4
%60 = bitcast i32* %59 to <4 x i32>*
%61 = load <4 x i32>, <4 x i32>* %60
%62 = add nsw <4 x i32> %58, %51
%63 = add nsw <4 x i32> %61, %54
%64 = bitcast i32* %56 to <4 x i32>*
store <4 x i32> %62, <4 x i32>* %64
%65 = bitcast i32* %59 to <4 x i32>*
store <4 x i32> %63, <4 x i32>* %65
%66 = add nuw nsw i64 %28, 16
%67 = icmp eq i64 %66, 256
br i1 %67, label %10, label %27
68: ; preds = %69, %10
ret void
69: ; preds = %10, %69
%70 = phi i64 [ %86, %69 ], [ %20, %10 ]
%71 = mul nsw i64 %70, %5
%72 = getelementptr inbounds i32, i32* %1, i64 %71
%73 = load i32, i32* %72
%74 = mul nsw i64 %70, %6
%75 = getelementptr inbounds i32, i32* %0, i64 %74
%76 = load i32, i32* %75
%77 = add nsw i32 %76, %73
store i32 %77, i32* %75
%78 = add nuw nsw i64 %70, 1
%79 = mul nsw i64 %78, %5
%80 = getelementptr inbounds i32, i32* %1, i64 %79
%81 = load i32, i32* %80
%82 = mul nsw i64 %78, %6
%83 = getelementptr inbounds i32, i32* %0, i64 %82
%84 = load i32, i32* %83
%85 = add nsw i32 %84, %81
store i32 %85, i32* %83
%86 = add nuw nsw i64 %70, 2
%87 = icmp eq i64 %86, 257
br i1 %87, label %68, label %69
}