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


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

x86 assembly (clang, -O2):
<test_func_02>:
push   %rbx
mov    %rdi,%rax
lea    -0x1(%rsi),%r9d
cmp    $0x7,%r9d
jb     11e0 <test_func_02+0xe0>
add    $0x1,%r9
mov    %r9,%r8
and    $0xfffffffffffffff8,%r8
movd   %edx,%xmm0
pshufd $0x0,%xmm0,%xmm0
lea    -0x8(%r8),%rcx
mov    %rcx,%rdi
shr    $0x3,%rdi
add    $0x1,%rdi
mov    %edi,%r10d
and    $0x3,%r10d
cmp    $0x18,%rcx
jae    1146 <test_func_02+0x46>
xor    %ecx,%ecx
jmp    118d <test_func_02+0x8d>
and    $0xfffffffffffffffc,%rdi
xor    %ecx,%ecx
nopl   0x0(%rax)
movdqu %xmm0,-0x10(%rax,%rcx,4)
movdqu %xmm0,-0x20(%rax,%rcx,4)
movdqu %xmm0,-0x30(%rax,%rcx,4)
movdqu %xmm0,-0x40(%rax,%rcx,4)
movdqu %xmm0,-0x50(%rax,%rcx,4)
movdqu %xmm0,-0x60(%rax,%rcx,4)
movdqu %xmm0,-0x70(%rax,%rcx,4)
movdqu %xmm0,-0x80(%rax,%rcx,4)
add    $0xffffffffffffffe0,%rcx
add    $0xfffffffffffffffc,%rdi
jne    1150 <test_func_02+0x50>
neg    %rcx
lea    0x0(,%r8,4),%r11
test   %r10,%r10
je     11c7 <test_func_02+0xc7>
mov    $0xfffffffffffffffc,%rdi
sub    %rcx,%rdi
lea    (%rax,%rdi,4),%rcx
shl    $0x5,%r10
xor    %edi,%edi
xchg   %ax,%ax
movdqu %xmm0,(%rcx,%rdi,1)
movdqu %xmm0,-0x10(%rcx,%rdi,1)
add    $0xffffffffffffffe0,%rdi
mov    %r10,%rbx
add    %rdi,%rbx
jne    11b0 <test_func_02+0xb0>
sub    %r11,%rax
cmp    %r8,%r9
je     11ec <test_func_02+0xec>
sub    %r8d,%esi
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
mov    %edx,-0x4(%rax)
add    $0xfffffffffffffffc,%rax
add    $0xffffffff,%esi
jne    11e0 <test_func_02+0xe0>
pop    %rbx
ret

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

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