void f(short *p) {
  p = (short *)__builtin_assume_aligned(p, 64);
  short *q = p + 256;
  for (; p != q; ++p, --q) {
    short t = *p;
    *p = *q;
    *q = t;
  }
}


x86 assembly (clang, -O0):
<f>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
add    $0x200,%rax
mov    %rax,-0x10(%rbp)
mov    -0x8(%rbp),%rax
cmp    -0x10(%rbp),%rax
je     116d <f+0x6d>
mov    -0x8(%rbp),%rax
mov    (%rax),%ax
mov    %ax,-0x12(%rbp)
mov    -0x10(%rbp),%rax
mov    (%rax),%cx
mov    -0x8(%rbp),%rax
mov    %cx,(%rax)
mov    -0x12(%rbp),%cx
mov    -0x10(%rbp),%rax
mov    %cx,(%rax)
mov    -0x8(%rbp),%rax
add    $0x2,%rax
mov    %rax,-0x8(%rbp)
mov    -0x10(%rbp),%rax
add    $0xfffffffffffffffe,%rax
mov    %rax,-0x10(%rbp)
jmp    111e <f+0x1e>
pop    %rbp
ret

x86 assembly (clang, -O2):
<f>:
lea    0x200(%rdi),%rax
nopw   0x0(%rax,%rax,1)
movzwl (%rdi),%ecx
movzwl (%rax),%edx
mov    %dx,(%rdi)
mov    %cx,(%rax)
movzwl 0x2(%rdi),%ecx
movzwl -0x2(%rax),%edx
mov    %dx,0x2(%rdi)
mov    %cx,-0x2(%rax)
movzwl 0x4(%rdi),%ecx
movzwl -0x4(%rax),%edx
mov    %dx,0x4(%rdi)
mov    %cx,-0x4(%rax)
movzwl 0x6(%rdi),%ecx
movzwl -0x6(%rax),%edx
mov    %dx,0x6(%rdi)
mov    %cx,-0x6(%rax)
add    $0x8,%rdi
add    $0xfffffffffffffff8,%rax
cmp    %rax,%rdi
jne    1110 <f+0x10>
ret

LLVM IR (-O0):
define void @f(i16* %0) {
%2 = alloca i16*
%3 = alloca i16*
%4 = alloca i16
store i16* %0, i16** %2
%5 = load i16*, i16** %2
%6 = bitcast i16* %5 to i8*
%7 = bitcast i8* %6 to i16*
store i16* %7, i16** %2
%8 = load i16*, i16** %2
%9 = getelementptr inbounds i16, i16* %8, i64 256
store i16* %9, i16** %3
br label %10
10: ; preds = %22, %1
%11 = load i16*, i16** %2
%12 = load i16*, i16** %3
%13 = icmp ne i16* %11, %12
br i1 %13, label %14, label %27
14: ; preds = %10
%15 = load i16*, i16** %2
%16 = load i16, i16* %15
store i16 %16, i16* %4
%17 = load i16*, i16** %3
%18 = load i16, i16* %17
%19 = load i16*, i16** %2
store i16 %18, i16* %19
%20 = load i16, i16* %4
%21 = load i16*, i16** %3
store i16 %20, i16* %21
br label %22
22: ; preds = %14
%23 = load i16*, i16** %2
%24 = getelementptr inbounds i16, i16* %23, i32 1
store i16* %24, i16** %2
%25 = load i16*, i16** %3
%26 = getelementptr inbounds i16, i16* %25, i32 -1
store i16* %26, i16** %3
br label %10
27: ; preds = %10
ret void
}

LLVM IR (-O2):
define void @f(i16* %0) {
%2 = bitcast i16* %0 to i8*
%3 = getelementptr inbounds i16, i16* %0, i64 256
br label %4
4: ; preds = %4, %1
%5 = phi i16* [ %0, %1 ], [ %21, %4 ]
%6 = phi i16* [ %3, %1 ], [ %22, %4 ]
%7 = load i16, i16* %5
%8 = load i16, i16* %6
store i16 %8, i16* %5
store i16 %7, i16* %6
%9 = getelementptr inbounds i16, i16* %5, i64 1
%10 = getelementptr inbounds i16, i16* %6, i64 -1
%11 = load i16, i16* %9
%12 = load i16, i16* %10
store i16 %12, i16* %9
store i16 %11, i16* %10
%13 = getelementptr inbounds i16, i16* %5, i64 2
%14 = getelementptr inbounds i16, i16* %6, i64 -2
%15 = load i16, i16* %13
%16 = load i16, i16* %14
store i16 %16, i16* %13
store i16 %15, i16* %14
%17 = getelementptr inbounds i16, i16* %5, i64 3
%18 = getelementptr inbounds i16, i16* %6, i64 -3
%19 = load i16, i16* %17
%20 = load i16, i16* %18
store i16 %20, i16* %17
store i16 %19, i16* %18
%21 = getelementptr inbounds i16, i16* %5, i64 4
%22 = getelementptr inbounds i16, i16* %6, i64 -4
%23 = icmp eq i16* %21, %22
br i1 %23, label %24, label %4
24: ; preds = %4
ret void
}