int *test_func_02(int *p, int c, int x) {
  do {
    *--p = x;
    *--p = x;
    *--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    -0x10(%rbp),%ecx
mov    -0x8(%rbp),%rax
mov    %rax,%rdx
add    $0xfffffffffffffffc,%rdx
mov    %rdx,-0x8(%rbp)
mov    %ecx,-0x4(%rax)
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>:
mov    %rdi,%rax
lea    -0x1(%rsi),%r8d
mov    %esi,%edi
and    $0x3,%edi
je     1126 <test_func_02+0x26>
xor    %ecx,%ecx
mov    %edx,-0x4(%rax)
mov    %edx,-0x8(%rax)
mov    %edx,-0xc(%rax)
add    $0xfffffffffffffff4,%rax
add    $0x1,%ecx
cmp    %ecx,%edi
jne    1110 <test_func_02+0x10>
sub    %ecx,%esi
cmp    $0x3,%r8d
jb     115d <test_func_02+0x5d>
nopl   0x0(%rax)
mov    %edx,-0x4(%rax)
mov    %edx,-0x8(%rax)
mov    %edx,-0xc(%rax)
mov    %edx,-0x10(%rax)
mov    %edx,-0x14(%rax)
mov    %edx,-0x18(%rax)
mov    %edx,-0x1c(%rax)
mov    %edx,-0x20(%rax)
mov    %edx,-0x24(%rax)
mov    %edx,-0x28(%rax)
mov    %edx,-0x2c(%rax)
mov    %edx,-0x30(%rax)
add    $0xffffffffffffffd0,%rax
add    $0xfffffffc,%esi
jne    1130 <test_func_02+0x30>
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 = %17, %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
%11 = load i32, i32* %6
%12 = load i32*, i32** %4
%13 = getelementptr inbounds i32, i32* %12, i32 -1
store i32* %13, i32** %4
store i32 %11, i32* %13
%14 = load i32, i32* %6
%15 = load i32*, i32** %4
%16 = getelementptr inbounds i32, i32* %15, i32 -1
store i32* %16, i32** %4
store i32 %14, i32* %16
br label %17
17: ; preds = %7
%18 = load i32, i32* %5
%19 = add nsw i32 %18, -1
store i32 %19, i32* %5
%20 = icmp ne i32 %19, 0
br i1 %20, label %7, label %21
21: ; preds = %17
%22 = load i32*, i32** %4
ret i32* %22
}

LLVM IR (-O2):
define i32* @test_func_02(i32* writeonly %0, i32 %1, i32 %2) {
%4 = add i32 %1, -1
%5 = and i32 %1, 3
%6 = icmp eq i32 %5, 0
br i1 %6, label %17, label %7
7: ; preds = %3, %7
%8 = phi i32 [ %14, %7 ], [ %1, %3 ]
%9 = phi i32* [ %13, %7 ], [ %0, %3 ]
%10 = phi i32 [ %15, %7 ], [ 0, %3 ]
%11 = getelementptr inbounds i32, i32* %9, i64 -1
store i32 %2, i32* %11
%12 = getelementptr inbounds i32, i32* %9, i64 -2
store i32 %2, i32* %12
%13 = getelementptr inbounds i32, i32* %9, i64 -3
store i32 %2, i32* %13
%14 = add nsw i32 %8, -1
%15 = add i32 %10, 1
%16 = icmp eq i32 %15, %5
br i1 %16, label %17, label %7
17: ; preds = %7, %3
%18 = phi i32* [ undef, %3 ], [ %13, %7 ]
%19 = phi i32 [ %1, %3 ], [ %14, %7 ]
%20 = phi i32* [ %0, %3 ], [ %13, %7 ]
%21 = icmp ult i32 %4, 3
br i1 %21, label %39, label %22
22: ; preds = %17, %22
%23 = phi i32 [ %37, %22 ], [ %19, %17 ]
%24 = phi i32* [ %36, %22 ], [ %20, %17 ]
%25 = getelementptr inbounds i32, i32* %24, i64 -1
store i32 %2, i32* %25
%26 = getelementptr inbounds i32, i32* %24, i64 -2
store i32 %2, i32* %26
%27 = getelementptr inbounds i32, i32* %24, i64 -3
store i32 %2, i32* %27
%28 = getelementptr inbounds i32, i32* %24, i64 -4
store i32 %2, i32* %28
%29 = getelementptr inbounds i32, i32* %24, i64 -5
store i32 %2, i32* %29
%30 = getelementptr inbounds i32, i32* %24, i64 -6
store i32 %2, i32* %30
%31 = getelementptr inbounds i32, i32* %24, i64 -7
store i32 %2, i32* %31
%32 = getelementptr inbounds i32, i32* %24, i64 -8
store i32 %2, i32* %32
%33 = getelementptr inbounds i32, i32* %24, i64 -9
store i32 %2, i32* %33
%34 = getelementptr inbounds i32, i32* %24, i64 -10
store i32 %2, i32* %34
%35 = getelementptr inbounds i32, i32* %24, i64 -11
store i32 %2, i32* %35
%36 = getelementptr inbounds i32, i32* %24, i64 -12
store i32 %2, i32* %36
%37 = add nsw i32 %23, -4
%38 = icmp eq i32 %37, 0
br i1 %38, label %39, label %22
39: ; preds = %22, %17
%40 = phi i32* [ %18, %17 ], [ %36, %22 ]
ret i32* %40
}