void ivst(int *a, int *b, int c, int n) {
  int i;
  for (i = 0; i < n; i++)
    a[i] = b[i] * c;
}


x86 assembly (clang, -O0):
<ivst>:
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)
mov    -0x1c(%rbp),%eax
cmp    -0x18(%rbp),%eax
jge    114d <ivst+0x4d>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
imul   -0x14(%rbp),%edx
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1119 <ivst+0x19>
pop    %rbp
ret

x86 assembly (clang, -O2):
<ivst>:
test   %ecx,%ecx
jle    12e3 <ivst+0x1e3>
mov    %ecx,%r8d
cmp    $0x8,%ecx
jb     1126 <ivst+0x26>
lea    (%rsi,%r8,4),%rax
cmp    %rdi,%rax
jbe    11a0 <ivst+0xa0>
lea    (%rdi,%r8,4),%rax
cmp    %rsi,%rax
jbe    11a0 <ivst+0xa0>
xor    %r11d,%r11d
mov    %r11,%r9
not    %r9
add    %r8,%r9
mov    %r8,%rax
and    $0x3,%rax
je     1155 <ivst+0x55>
nopl   0x0(%rax,%rax,1)
mov    (%rsi,%r11,4),%ecx
imul   %edx,%ecx
mov    %ecx,(%rdi,%r11,4)
add    $0x1,%r11
add    $0xffffffffffffffff,%rax
jne    1140 <ivst+0x40>
cmp    $0x3,%r9
jb     12e3 <ivst+0x1e3>
nop
mov    (%rsi,%r11,4),%eax
imul   %edx,%eax
mov    %eax,(%rdi,%r11,4)
mov    0x4(%rsi,%r11,4),%eax
imul   %edx,%eax
mov    %eax,0x4(%rdi,%r11,4)
mov    0x8(%rsi,%r11,4),%eax
imul   %edx,%eax
mov    %eax,0x8(%rdi,%r11,4)
mov    0xc(%rsi,%r11,4),%eax
imul   %edx,%eax
mov    %eax,0xc(%rdi,%r11,4)
add    $0x4,%r11
cmp    %r11,%r8
jne    1160 <ivst+0x60>
jmp    12e3 <ivst+0x1e3>
mov    %r8d,%r11d
and    $0xfffffff8,%r11d
movd   %edx,%xmm0
pshufd $0x0,%xmm0,%xmm0
lea    -0x8(%r11),%rax
mov    %rax,%r9
shr    $0x3,%r9
add    $0x1,%r9
pshufd $0xf5,%xmm0,%xmm1
test   %rax,%rax
je     12e4 <ivst+0x1e4>
mov    %r9,%r10
and    $0xfffffffffffffffe,%r10
xor    %eax,%eax
cs nopw 0x0(%rax,%rax,1)
movdqu (%rsi,%rax,4),%xmm2
movdqu 0x10(%rsi,%rax,4),%xmm3
pshufd $0xf5,%xmm2,%xmm4
pmuludq %xmm0,%xmm2
pshufd $0xe8,%xmm2,%xmm2
pmuludq %xmm1,%xmm4
pshufd $0xe8,%xmm4,%xmm4
punpckldq %xmm4,%xmm2
pshufd $0xf5,%xmm3,%xmm4
pmuludq %xmm0,%xmm3
pshufd $0xe8,%xmm3,%xmm3
pmuludq %xmm1,%xmm4
pshufd $0xe8,%xmm4,%xmm4
punpckldq %xmm4,%xmm3
movdqu %xmm2,(%rdi,%rax,4)
movdqu %xmm3,0x10(%rdi,%rax,4)
movdqu 0x20(%rsi,%rax,4),%xmm2
movdqu 0x30(%rsi,%rax,4),%xmm3
pshufd $0xf5,%xmm2,%xmm4
pmuludq %xmm0,%xmm2
pshufd $0xe8,%xmm2,%xmm2
pmuludq %xmm1,%xmm4
pshufd $0xe8,%xmm4,%xmm4
punpckldq %xmm4,%xmm2
pshufd $0xf5,%xmm3,%xmm4
pmuludq %xmm0,%xmm3
pshufd $0xe8,%xmm3,%xmm3
pmuludq %xmm1,%xmm4
pshufd $0xe8,%xmm4,%xmm4
punpckldq %xmm4,%xmm3
movdqu %xmm2,0x20(%rdi,%rax,4)
movdqu %xmm3,0x30(%rdi,%rax,4)
add    $0x10,%rax
add    $0xfffffffffffffffe,%r10
jne    11e0 <ivst+0xe0>
test   $0x1,%r9b
je     12da <ivst+0x1da>
movdqu (%rsi,%rax,4),%xmm2
movdqu 0x10(%rsi,%rax,4),%xmm3
pshufd $0xf5,%xmm2,%xmm4
pmuludq %xmm0,%xmm2
pshufd $0xe8,%xmm2,%xmm2
pmuludq %xmm1,%xmm4
pshufd $0xe8,%xmm4,%xmm4
punpckldq %xmm4,%xmm2
pmuludq %xmm3,%xmm0
pshufd $0xe8,%xmm0,%xmm0
pshufd $0xf5,%xmm3,%xmm3
pmuludq %xmm1,%xmm3
pshufd $0xe8,%xmm3,%xmm1
punpckldq %xmm1,%xmm0
movdqu %xmm2,(%rdi,%rax,4)
movdqu %xmm0,0x10(%rdi,%rax,4)
cmp    %r8,%r11
jne    1129 <ivst+0x29>
ret
xor    %eax,%eax
test   $0x1,%r9b
jne    128e <ivst+0x18e>
jmp    12da <ivst+0x1da>

LLVM IR (-O0):
define void @ivst(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 = %26, %4
%11 = load i32, i32* %9
%12 = load i32, i32* %8
%13 = icmp slt i32 %11, %12
br i1 %13, label %14, label %29
14: ; preds = %10
%15 = load i32*, i32** %6
%16 = load i32, i32* %9
%17 = sext i32 %16 to i64
%18 = getelementptr inbounds i32, i32* %15, i64 %17
%19 = load i32, i32* %18
%20 = load i32, i32* %7
%21 = mul nsw i32 %19, %20
%22 = load i32*, i32** %5
%23 = load i32, i32* %9
%24 = sext i32 %23 to i64
%25 = getelementptr inbounds i32, i32* %22, i64 %24
store i32 %21, i32* %25
br label %26
26: ; preds = %14
%27 = load i32, i32* %9
%28 = add nsw i32 %27, 1
store i32 %28, i32* %9
br label %10
29: ; preds = %10
ret void
}

LLVM IR (-O2):
define void @ivst(i32* nocapture writeonly %0, i32* nocapture %1, i32 %2, i32 %3) {
%5 = icmp sgt i32 %3, 0
br i1 %5, label %6, label %119
6: ; preds = %4
%7 = zext i32 %3 to i64
%8 = icmp ult i32 %3, 8
br i1 %8, label %77, label %9
9: ; preds = %6
%10 = getelementptr i32, i32* %0, i64 %7
%11 = getelementptr i32, i32* %1, i64 %7
%12 = icmp ugt i32* %11, %0
%13 = icmp ugt i32* %10, %1
%14 = and i1 %12, %13
br i1 %14, label %77, label %15
15: ; preds = %9
%16 = and i64 %7, 4294967288
%17 = insertelement <4 x i32> poison, i32 %2, i64 0
%18 = shufflevector <4 x i32> %17, <4 x i32> poison, <4 x i32> zeroinitializer
%19 = insertelement <4 x i32> poison, i32 %2, i64 0
%20 = shufflevector <4 x i32> %19, <4 x i32> poison, <4 x i32> zeroinitializer
%21 = add nsw i64 %16, -8
%22 = lshr exact i64 %21, 3
%23 = add nuw nsw i64 %22, 1
%24 = and i64 %23, 1
%25 = icmp eq i64 %21, 0
br i1 %25, label %59, label %26
26: ; preds = %15
%27 = and i64 %23, 4611686018427387902
br label %28
28: ; preds = %28, %26
%29 = phi i64 [ 0, %26 ], [ %56, %28 ]
%30 = phi i64 [ 0, %26 ], [ %57, %28 ]
%31 = getelementptr inbounds i32, i32* %1, i64 %29
%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 = mul nsw <4 x i32> %33, %18
%38 = mul nsw <4 x i32> %36, %20
%39 = getelementptr inbounds i32, i32* %0, i64 %29
%40 = bitcast i32* %39 to <4 x i32>*
store <4 x i32> %37, <4 x i32>* %40
%41 = getelementptr inbounds i32, i32* %39, i64 4
%42 = bitcast i32* %41 to <4 x i32>*
store <4 x i32> %38, <4 x i32>* %42
%43 = or i64 %29, 8
%44 = getelementptr inbounds i32, i32* %1, 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 = mul nsw <4 x i32> %46, %18
%51 = mul nsw <4 x i32> %49, %20
%52 = getelementptr inbounds i32, i32* %0, i64 %43
%53 = bitcast i32* %52 to <4 x i32>*
store <4 x i32> %50, <4 x i32>* %53
%54 = getelementptr inbounds i32, i32* %52, i64 4
%55 = bitcast i32* %54 to <4 x i32>*
store <4 x i32> %51, <4 x i32>* %55
%56 = add nuw i64 %29, 16
%57 = add i64 %30, 2
%58 = icmp eq i64 %57, %27
br i1 %58, label %59, label %28
59: ; preds = %28, %15
%60 = phi i64 [ 0, %15 ], [ %56, %28 ]
%61 = icmp eq i64 %24, 0
br i1 %61, label %75, label %62
62: ; preds = %59
%63 = getelementptr inbounds i32, i32* %1, i64 %60
%64 = bitcast i32* %63 to <4 x i32>*
%65 = load <4 x i32>, <4 x i32>* %64
%66 = getelementptr inbounds i32, i32* %63, i64 4
%67 = bitcast i32* %66 to <4 x i32>*
%68 = load <4 x i32>, <4 x i32>* %67
%69 = mul nsw <4 x i32> %65, %18
%70 = mul nsw <4 x i32> %68, %20
%71 = getelementptr inbounds i32, i32* %0, i64 %60
%72 = bitcast i32* %71 to <4 x i32>*
store <4 x i32> %69, <4 x i32>* %72
%73 = getelementptr inbounds i32, i32* %71, i64 4
%74 = bitcast i32* %73 to <4 x i32>*
store <4 x i32> %70, <4 x i32>* %74
br label %75
75: ; preds = %59, %62
%76 = icmp eq i64 %16, %7
br i1 %76, label %119, label %77
77: ; preds = %9, %6, %75
%78 = phi i64 [ 0, %9 ], [ 0, %6 ], [ %16, %75 ]
%79 = xor i64 %78, -1
%80 = add nsw i64 %79, %7
%81 = and i64 %7, 3
%82 = icmp eq i64 %81, 0
br i1 %82, label %93, label %83
83: ; preds = %77, %83
%84 = phi i64 [ %90, %83 ], [ %78, %77 ]
%85 = phi i64 [ %91, %83 ], [ 0, %77 ]
%86 = getelementptr inbounds i32, i32* %1, i64 %84
%87 = load i32, i32* %86
%88 = mul nsw i32 %87, %2
%89 = getelementptr inbounds i32, i32* %0, i64 %84
store i32 %88, i32* %89
%90 = add nuw nsw i64 %84, 1
%91 = add i64 %85, 1
%92 = icmp eq i64 %91, %81
br i1 %92, label %93, label %83
93: ; preds = %83, %77
%94 = phi i64 [ %78, %77 ], [ %90, %83 ]
%95 = icmp ult i64 %80, 3
br i1 %95, label %119, label %96
96: ; preds = %93, %96
%97 = phi i64 [ %117, %96 ], [ %94, %93 ]
%98 = getelementptr inbounds i32, i32* %1, i64 %97
%99 = load i32, i32* %98
%100 = mul nsw i32 %99, %2
%101 = getelementptr inbounds i32, i32* %0, i64 %97
store i32 %100, i32* %101
%102 = add nuw nsw i64 %97, 1
%103 = getelementptr inbounds i32, i32* %1, i64 %102
%104 = load i32, i32* %103
%105 = mul nsw i32 %104, %2
%106 = getelementptr inbounds i32, i32* %0, i64 %102
store i32 %105, i32* %106
%107 = add nuw nsw i64 %97, 2
%108 = getelementptr inbounds i32, i32* %1, i64 %107
%109 = load i32, i32* %108
%110 = mul nsw i32 %109, %2
%111 = getelementptr inbounds i32, i32* %0, i64 %107
store i32 %110, i32* %111
%112 = add nuw nsw i64 %97, 3
%113 = getelementptr inbounds i32, i32* %1, i64 %112
%114 = load i32, i32* %113
%115 = mul nsw i32 %114, %2
%116 = getelementptr inbounds i32, i32* %0, i64 %112
store i32 %115, i32* %116
%117 = add nuw nsw i64 %97, 4
%118 = icmp eq i64 %117, %7
br i1 %118, label %119, label %96
119: ; preds = %93, %96, %75, %4
ret void
}