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


x86 assembly (clang, -O0):
<test_func_01>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    -0x10(%rbp),%eax
mov    %ax,%cx
mov    -0x8(%rbp),%rax
mov    %rax,%rdx
add    $0xfffffffffffffffe,%rdx
mov    %rdx,-0x8(%rbp)
mov    %cx,-0x2(%rax)
mov    -0xc(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0xc(%rbp)
cmp    $0x0,%eax
jne    110e <test_func_01+0xe>
mov    -0x8(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<test_func_01>:
push   %rbx
mov    %rdi,%rax
lea    -0x1(%rsi),%r9d
cmp    $0xf,%r9d
jb     11f0 <test_func_01+0xf0>
add    $0x1,%r9
mov    %r9,%r8
and    $0xfffffffffffffff0,%r8
movd   %edx,%xmm0
pshuflw $0x0,%xmm0,%xmm0
pshufd $0x0,%xmm0,%xmm0
lea    -0x10(%r8),%rcx
mov    %rcx,%rdi
shr    $0x4,%rdi
add    $0x1,%rdi
mov    %edi,%r10d
and    $0x3,%r10d
cmp    $0x30,%rcx
jae    114b <test_func_01+0x4b>
xor    %ecx,%ecx
jmp    119d <test_func_01+0x9d>
and    $0xfffffffffffffffc,%rdi
xor    %ecx,%ecx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
movdqu %xmm0,-0x10(%rax,%rcx,2)
movdqu %xmm0,-0x20(%rax,%rcx,2)
movdqu %xmm0,-0x30(%rax,%rcx,2)
movdqu %xmm0,-0x40(%rax,%rcx,2)
movdqu %xmm0,-0x50(%rax,%rcx,2)
movdqu %xmm0,-0x60(%rax,%rcx,2)
movdqu %xmm0,-0x70(%rax,%rcx,2)
movdqu %xmm0,-0x80(%rax,%rcx,2)
add    $0xffffffffffffffc0,%rcx
add    $0xfffffffffffffffc,%rdi
jne    1160 <test_func_01+0x60>
neg    %rcx
lea    (%r8,%r8,1),%r11
test   %r10,%r10
je     11d7 <test_func_01+0xd7>
mov    $0xfffffffffffffff8,%rdi
sub    %rcx,%rdi
lea    (%rax,%rdi,2),%rcx
shl    $0x5,%r10
xor    %edi,%edi
nopw   0x0(%rax,%rax,1)
movdqu %xmm0,(%rcx,%rdi,1)
movdqu %xmm0,-0x10(%rcx,%rdi,1)
add    $0xffffffffffffffe0,%rdi
mov    %r10,%rbx
add    %rdi,%rbx
jne    11c0 <test_func_01+0xc0>
sub    %r11,%rax
cmp    %r8,%r9
je     11fd <test_func_01+0xfd>
sub    %r8d,%esi
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
mov    %dx,-0x2(%rax)
add    $0xfffffffffffffffe,%rax
add    $0xffffffff,%esi
jne    11f0 <test_func_01+0xf0>
pop    %rbx
ret

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

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