int test_func_01(short *p, int c) {
  int r = 0;
  do {
    r += *p++;
  } while (--c);
  return r;
}


x86 assembly (clang, -O0):
<test_func_01>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
movl   $0x0,-0x10(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,%rcx
add    $0x2,%rcx
mov    %rcx,-0x8(%rbp)
movswl (%rax),%eax
add    -0x10(%rbp),%eax
mov    %eax,-0x10(%rbp)
mov    -0xc(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0xc(%rbp)
cmp    $0x0,%eax
jne    1112 <test_func_01+0x12>
mov    -0x10(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<test_func_01>:
lea    -0x1(%rsi),%r9d
xor    %eax,%eax
cmp    $0x7,%r9d
jb     11f5 <test_func_01+0xf5>
add    $0x1,%r9
mov    %r9,%r8
and    $0xfffffffffffffff8,%r8
lea    -0x8(%r8),%rax
mov    %rax,%rcx
shr    $0x3,%rcx
add    $0x1,%rcx
test   %rax,%rax
je     120f <test_func_01+0x10f>
mov    %rcx,%rax
and    $0xfffffffffffffffe,%rax
pxor   %xmm0,%xmm0
xor    %edx,%edx
pxor   %xmm1,%xmm1
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movq   (%rdi,%rdx,2),%xmm2
punpcklwd %xmm2,%xmm2
movq   0x8(%rdi,%rdx,2),%xmm3
punpcklwd %xmm3,%xmm3
psrad  $0x10,%xmm2
paddd  %xmm0,%xmm2
psrad  $0x10,%xmm3
paddd  %xmm1,%xmm3
movq   0x10(%rdi,%rdx,2),%xmm0
punpcklwd %xmm0,%xmm0
movq   0x18(%rdi,%rdx,2),%xmm1
punpcklwd %xmm1,%xmm1
psrad  $0x10,%xmm0
paddd  %xmm2,%xmm0
psrad  $0x10,%xmm1
paddd  %xmm3,%xmm1
add    $0x10,%rdx
add    $0xfffffffffffffffe,%rax
jne    1150 <test_func_01+0x50>
test   $0x1,%cl
je     11cf <test_func_01+0xcf>
movq   (%rdi,%rdx,2),%xmm2
movq   0x8(%rdi,%rdx,2),%xmm3
punpcklwd %xmm2,%xmm2
psrad  $0x10,%xmm2
paddd  %xmm2,%xmm0
punpcklwd %xmm3,%xmm2
psrad  $0x10,%xmm2
paddd  %xmm2,%xmm1
paddd  %xmm1,%xmm0
pshufd $0xee,%xmm0,%xmm1
paddd  %xmm0,%xmm1
pshufd $0x55,%xmm1,%xmm0
paddd  %xmm1,%xmm0
movd   %xmm0,%eax
cmp    %r8,%r9
je     120e <test_func_01+0x10e>
lea    (%rdi,%r8,2),%rdi
sub    %r8d,%esi
mov    %esi,%ecx
xor    %edx,%edx
nopl   0x0(%rax)
movswl (%rdi,%rdx,2),%esi
add    %esi,%eax
add    $0x1,%rdx
cmp    %edx,%ecx
jne    1200 <test_func_01+0x100>
ret
pxor   %xmm0,%xmm0
xor    %edx,%edx
pxor   %xmm1,%xmm1
test   $0x1,%cl
jne    11aa <test_func_01+0xaa>
jmp    11cf <test_func_01+0xcf>

LLVM IR (-O0):
define i32 @test_func_01(i16* %0, i32 %1) {
%3 = alloca i16*
%4 = alloca i32
%5 = alloca i32
store i16* %0, i16** %3
store i32 %1, i32* %4
store i32 0, i32* %5
br label %6
6: ; preds = %13, %2
%7 = load i16*, i16** %3
%8 = getelementptr inbounds i16, i16* %7, i32 1
store i16* %8, i16** %3
%9 = load i16, i16* %7
%10 = sext i16 %9 to i32
%11 = load i32, i32* %5
%12 = add nsw i32 %11, %10
store i32 %12, i32* %5
br label %13
13: ; preds = %6
%14 = load i32, i32* %4
%15 = add nsw i32 %14, -1
store i32 %15, i32* %4
%16 = icmp ne i32 %15, 0
br i1 %16, label %6, label %17
17: ; preds = %13
%18 = load i32, i32* %5
ret i32 %18
}

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