void test_palignr_c(unsigned char *pDst, unsigned char *pSrc, int xmm) {
  int i;
  for (i = 0; i < 3; i++)
    pDst[i + (8 << xmm) - 3] = pDst[i];
  for (i = 3; i < (8 << xmm); i++)
    pDst[i - 3] = pSrc[i];
}


x86 assembly (clang, -O0):
<test_palignr_c>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
movl   $0x0,-0x18(%rbp)
cmpl   $0x3,-0x18(%rbp)
jge    115b <test_palignr_c+0x5b>
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%ecx
mov    %ecx,-0x1c(%rbp)
mov    -0x14(%rbp),%ecx
mov    $0x8,%esi
shl    %cl,%esi
mov    -0x1c(%rbp),%ecx
add    %esi,%ecx
sub    $0x3,%ecx
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1116 <test_palignr_c+0x16>
movl   $0x3,-0x18(%rbp)
mov    -0x18(%rbp),%eax
mov    -0x14(%rbp),%ecx
mov    $0x8,%edx
shl    %cl,%edx
mov    %edx,%ecx
cmp    %ecx,%eax
jge    11a2 <test_palignr_c+0xa2>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%ecx
sub    $0x3,%ecx
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1162 <test_palignr_c+0x62>
pop    %rbp
ret

x86 assembly (clang, -O2):
<test_palignr_c>:
mov    %edx,%ecx
mov    $0x8,%eax
shl    %cl,%eax
lea    -0x3(%rax),%ecx
movslq %ecx,%rcx
mov    (%rdi),%dl
mov    %dl,(%rdi,%rcx,1)
mov    0x1(%rdi),%dl
mov    %dl,0x1(%rdi,%rcx,1)
mov    0x2(%rdi),%dl
mov    %dl,0x2(%rdi,%rcx,1)
cmp    $0x4,%eax
jl     12bb <test_palignr_c+0x1bb>
mov    %eax,%r9d
lea    -0x3(%r9),%r8
mov    $0x3,%ecx
cmp    $0x8,%r8
jb     125b <test_palignr_c+0x15b>
lea    (%rsi,%r9,1),%rax
cmp    %rdi,%rax
jbe    115f <test_palignr_c+0x5f>
lea    (%r9,%rdi,1),%rax
add    $0xfffffffffffffffd,%rax
lea    0x3(%rsi),%rdx
cmp    %rax,%rdx
jb     125b <test_palignr_c+0x15b>
cmp    $0x20,%r8
jae    116c <test_palignr_c+0x6c>
xor    %edx,%edx
jmp    1229 <test_palignr_c+0x129>
mov    %r8,%rdx
and    $0xffffffffffffffe0,%rdx
lea    -0x20(%rdx),%rax
mov    %rax,%rcx
shr    $0x5,%rcx
add    $0x1,%rcx
mov    %ecx,%r10d
and    $0x3,%r10d
cmp    $0x60,%rax
jae    1193 <test_palignr_c+0x93>
xor    %eax,%eax
jmp    11f9 <test_palignr_c+0xf9>
and    $0xfffffffffffffffc,%rcx
xor    %eax,%eax
nopl   0x0(%rax)
movups 0x3(%rsi,%rax,1),%xmm0
movups 0x13(%rsi,%rax,1),%xmm1
movups %xmm0,(%rdi,%rax,1)
movups %xmm1,0x10(%rdi,%rax,1)
movups 0x23(%rsi,%rax,1),%xmm0
movups 0x33(%rsi,%rax,1),%xmm1
movups %xmm0,0x20(%rdi,%rax,1)
movups %xmm1,0x30(%rdi,%rax,1)
movups 0x43(%rsi,%rax,1),%xmm0
movups 0x53(%rsi,%rax,1),%xmm1
movups %xmm0,0x40(%rdi,%rax,1)
movups %xmm1,0x50(%rdi,%rax,1)
movups 0x63(%rsi,%rax,1),%xmm0
movups 0x73(%rsi,%rax,1),%xmm1
movups %xmm0,0x60(%rdi,%rax,1)
movups %xmm1,0x70(%rdi,%rax,1)
sub    $0xffffffffffffff80,%rax
add    $0xfffffffffffffffc,%rcx
jne    11a0 <test_palignr_c+0xa0>
test   %r10,%r10
je     1223 <test_palignr_c+0x123>
xchg   %ax,%ax
mov    %rax,%rcx
or     $0x3,%rcx
movups (%rsi,%rcx,1),%xmm0
movups 0x10(%rsi,%rcx,1),%xmm1
movups %xmm0,(%rdi,%rax,1)
movups %xmm1,0x10(%rdi,%rax,1)
add    $0x20,%rax
add    $0xffffffffffffffff,%r10
jne    1200 <test_palignr_c+0x100>
test   $0x18,%r8b
je     1254 <test_palignr_c+0x154>
lea    -0x8(%r9),%r8
lea    -0x5(%r9),%rcx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
mov    0x3(%rsi,%rdx,1),%rax
mov    %rax,(%rdi,%rdx,1)
add    $0x8,%rdx
cmp    %rdx,%r8
jne    1240 <test_palignr_c+0x140>
jmp    125b <test_palignr_c+0x15b>
or     $0x3,%rdx
mov    %rdx,%rcx
mov    %ecx,%edx
neg    %edx
mov    %rcx,%r8
not    %r8
add    %r9,%r8
and    $0x3,%rdx
je     1282 <test_palignr_c+0x182>
xchg   %ax,%ax
movzbl (%rsi,%rcx,1),%eax
mov    %al,-0x3(%rdi,%rcx,1)
add    $0x1,%rcx
add    $0xffffffffffffffff,%rdx
jne    1270 <test_palignr_c+0x170>
cmp    $0x3,%r8
jb     12bb <test_palignr_c+0x1bb>
nopl   0x0(%rax,%rax,1)
movzbl (%rsi,%rcx,1),%eax
mov    %al,-0x3(%rdi,%rcx,1)
movzbl 0x1(%rsi,%rcx,1),%eax
mov    %al,-0x2(%rdi,%rcx,1)
movzbl 0x2(%rsi,%rcx,1),%eax
mov    %al,-0x1(%rdi,%rcx,1)
movzbl 0x3(%rsi,%rcx,1),%eax
mov    %al,(%rdi,%rcx,1)
add    $0x4,%rcx
cmp    %rcx,%r9
jne    1290 <test_palignr_c+0x190>
ret

LLVM IR (-O0):
define void @test_palignr_c(i8* %0, i8* %1, i32 %2) {
%4 = alloca i8*
%5 = alloca i8*
%6 = alloca i32
%7 = alloca i32
store i8* %0, i8** %4
store i8* %1, i8** %5
store i32 %2, i32* %6
store i32 0, i32* %7
br label %8
8: ; preds = %25, %3
%9 = load i32, i32* %7
%10 = icmp slt i32 %9, 3
br i1 %10, label %11, label %28
11: ; preds = %8
%12 = load i8*, i8** %4
%13 = load i32, i32* %7
%14 = sext i32 %13 to i64
%15 = getelementptr inbounds i8, i8* %12, i64 %14
%16 = load i8, i8* %15
%17 = load i8*, i8** %4
%18 = load i32, i32* %7
%19 = load i32, i32* %6
%20 = shl i32 8, %19
%21 = add nsw i32 %18, %20
%22 = sub nsw i32 %21, 3
%23 = sext i32 %22 to i64
%24 = getelementptr inbounds i8, i8* %17, i64 %23
store i8 %16, i8* %24
br label %25
25: ; preds = %11
%26 = load i32, i32* %7
%27 = add nsw i32 %26, 1
store i32 %27, i32* %7
br label %8
28: ; preds = %8
store i32 3, i32* %7
br label %29
29: ; preds = %45, %28
%30 = load i32, i32* %7
%31 = load i32, i32* %6
%32 = shl i32 8, %31
%33 = icmp slt i32 %30, %32
br i1 %33, label %34, label %48
34: ; preds = %29
%35 = load i8*, i8** %5
%36 = load i32, i32* %7
%37 = sext i32 %36 to i64
%38 = getelementptr inbounds i8, i8* %35, i64 %37
%39 = load i8, i8* %38
%40 = load i8*, i8** %4
%41 = load i32, i32* %7
%42 = sub nsw i32 %41, 3
%43 = sext i32 %42 to i64
%44 = getelementptr inbounds i8, i8* %40, i64 %43
store i8 %39, i8* %44
br label %45
45: ; preds = %34
%46 = load i32, i32* %7
%47 = add nsw i32 %46, 1
store i32 %47, i32* %7
br label %29
48: ; preds = %29
ret void
}

LLVM IR (-O2):
define void @test_palignr_c(i8* nocapture %0, i8* nocapture %1, i32 %2) {
%4 = shl i32 8, %2
%5 = add i32 %4, -3
%6 = sext i32 %5 to i64
%7 = load i8, i8* %0
%8 = getelementptr inbounds i8, i8* %0, i64 %6
store i8 %7, i8* %8
%9 = getelementptr inbounds i8, i8* %0, i64 1
%10 = load i8, i8* %9
%11 = add nuw nsw i64 %6, 1
%12 = getelementptr inbounds i8, i8* %0, i64 %11
store i8 %10, i8* %12
%13 = getelementptr inbounds i8, i8* %0, i64 2
%14 = load i8, i8* %13
%15 = or i64 %6, 2
%16 = getelementptr inbounds i8, i8* %0, i64 %15
store i8 %14, i8* %16
%17 = icmp sgt i32 %4, 3
br i1 %17, label %18, label %174
18: ; preds = %3
%19 = zext i32 %4 to i64
%20 = add nsw i64 %19, -3
%21 = icmp ult i64 %20, 8
br i1 %21, label %132, label %22
22: ; preds = %18
%23 = add nsw i64 %19, -3
%24 = getelementptr i8, i8* %0, i64 %23
%25 = getelementptr i8, i8* %1, i64 3
%26 = getelementptr i8, i8* %1, i64 %19
%27 = icmp ugt i8* %26, %0
%28 = icmp ult i8* %25, %24
%29 = and i1 %27, %28
br i1 %29, label %132, label %30
30: ; preds = %22
%31 = icmp ult i64 %20, 32
br i1 %31, label %118, label %32
32: ; preds = %30
%33 = and i64 %20, -32
%34 = add nsw i64 %33, -32
%35 = lshr exact i64 %34, 5
%36 = add nuw nsw i64 %35, 1
%37 = and i64 %36, 3
%38 = icmp ult i64 %34, 96
br i1 %38, label %94, label %39
39: ; preds = %32
%40 = and i64 %36, 1152921504606846972
br label %41
41: ; preds = %41, %39
%42 = phi i64 [ 0, %39 ], [ %91, %41 ]
%43 = phi i64 [ 0, %39 ], [ %92, %41 ]
%44 = or i64 %42, 3
%45 = getelementptr inbounds i8, i8* %1, i64 %44
%46 = bitcast i8* %45 to <16 x i8>*
%47 = load <16 x i8>, <16 x i8>* %46
%48 = getelementptr inbounds i8, i8* %45, i64 16
%49 = bitcast i8* %48 to <16 x i8>*
%50 = load <16 x i8>, <16 x i8>* %49
%51 = getelementptr inbounds i8, i8* %0, i64 %42
%52 = bitcast i8* %51 to <16 x i8>*
store <16 x i8> %47, <16 x i8>* %52
%53 = getelementptr inbounds i8, i8* %51, i64 16
%54 = bitcast i8* %53 to <16 x i8>*
store <16 x i8> %50, <16 x i8>* %54
%55 = or i64 %42, 32
%56 = or i64 %42, 35
%57 = getelementptr inbounds i8, i8* %1, i64 %56
%58 = bitcast i8* %57 to <16 x i8>*
%59 = load <16 x i8>, <16 x i8>* %58
%60 = getelementptr inbounds i8, i8* %57, i64 16
%61 = bitcast i8* %60 to <16 x i8>*
%62 = load <16 x i8>, <16 x i8>* %61
%63 = getelementptr inbounds i8, i8* %0, i64 %55
%64 = bitcast i8* %63 to <16 x i8>*
store <16 x i8> %59, <16 x i8>* %64
%65 = getelementptr inbounds i8, i8* %63, i64 16
%66 = bitcast i8* %65 to <16 x i8>*
store <16 x i8> %62, <16 x i8>* %66
%67 = or i64 %42, 64
%68 = or i64 %42, 67
%69 = getelementptr inbounds i8, i8* %1, i64 %68
%70 = bitcast i8* %69 to <16 x i8>*
%71 = load <16 x i8>, <16 x i8>* %70
%72 = getelementptr inbounds i8, i8* %69, i64 16
%73 = bitcast i8* %72 to <16 x i8>*
%74 = load <16 x i8>, <16 x i8>* %73
%75 = getelementptr inbounds i8, i8* %0, i64 %67
%76 = bitcast i8* %75 to <16 x i8>*
store <16 x i8> %71, <16 x i8>* %76
%77 = getelementptr inbounds i8, i8* %75, i64 16
%78 = bitcast i8* %77 to <16 x i8>*
store <16 x i8> %74, <16 x i8>* %78
%79 = or i64 %42, 96
%80 = or i64 %42, 99
%81 = getelementptr inbounds i8, i8* %1, i64 %80
%82 = bitcast i8* %81 to <16 x i8>*
%83 = load <16 x i8>, <16 x i8>* %82
%84 = getelementptr inbounds i8, i8* %81, i64 16
%85 = bitcast i8* %84 to <16 x i8>*
%86 = load <16 x i8>, <16 x i8>* %85
%87 = getelementptr inbounds i8, i8* %0, i64 %79
%88 = bitcast i8* %87 to <16 x i8>*
store <16 x i8> %83, <16 x i8>* %88
%89 = getelementptr inbounds i8, i8* %87, i64 16
%90 = bitcast i8* %89 to <16 x i8>*
store <16 x i8> %86, <16 x i8>* %90
%91 = add nuw i64 %42, 128
%92 = add i64 %43, 4
%93 = icmp eq i64 %92, %40
br i1 %93, label %94, label %41
94: ; preds = %41, %32
%95 = phi i64 [ 0, %32 ], [ %91, %41 ]
%96 = icmp eq i64 %37, 0
br i1 %96, label %114, label %97
97: ; preds = %94, %97
%98 = phi i64 [ %111, %97 ], [ %95, %94 ]
%99 = phi i64 [ %112, %97 ], [ 0, %94 ]
%100 = or i64 %98, 3
%101 = getelementptr inbounds i8, i8* %1, i64 %100
%102 = bitcast i8* %101 to <16 x i8>*
%103 = load <16 x i8>, <16 x i8>* %102
%104 = getelementptr inbounds i8, i8* %101, i64 16
%105 = bitcast i8* %104 to <16 x i8>*
%106 = load <16 x i8>, <16 x i8>* %105
%107 = getelementptr inbounds i8, i8* %0, i64 %98
%108 = bitcast i8* %107 to <16 x i8>*
store <16 x i8> %103, <16 x i8>* %108
%109 = getelementptr inbounds i8, i8* %107, i64 16
%110 = bitcast i8* %109 to <16 x i8>*
store <16 x i8> %106, <16 x i8>* %110
%111 = add nuw i64 %98, 32
%112 = add i64 %99, 1
%113 = icmp eq i64 %112, %37
br i1 %113, label %114, label %97
114: ; preds = %97, %94
%115 = or i64 %33, 3
%116 = and i64 %20, 24
%117 = icmp eq i64 %116, 0
br i1 %117, label %132, label %118
118: ; preds = %30, %114
%119 = phi i64 [ %33, %114 ], [ 0, %30 ]
%120 = add nsw i64 %19, -8
%121 = add nsw i64 %19, -5
br label %122
122: ; preds = %122, %118
%123 = phi i64 [ %119, %118 ], [ %130, %122 ]
%124 = or i64 %123, 3
%125 = getelementptr inbounds i8, i8* %1, i64 %124
%126 = bitcast i8* %125 to <8 x i8>*
%127 = load <8 x i8>, <8 x i8>* %126
%128 = getelementptr inbounds i8, i8* %0, i64 %123
%129 = bitcast i8* %128 to <8 x i8>*
store <8 x i8> %127, <8 x i8>* %129
%130 = add nuw i64 %123, 8
%131 = icmp eq i64 %130, %120
br i1 %131, label %132, label %122
132: ; preds = %122, %22, %18, %114
%133 = phi i64 [ 3, %18 ], [ 3, %22 ], [ %115, %114 ], [ %121, %122 ]
%134 = sub nsw i64 0, %133
%135 = xor i64 %133, -1
%136 = add nsw i64 %135, %19
%137 = and i64 %134, 3
%138 = icmp eq i64 %137, 0
br i1 %138, label %149, label %139
139: ; preds = %132, %139
%140 = phi i64 [ %146, %139 ], [ %133, %132 ]
%141 = phi i64 [ %147, %139 ], [ 0, %132 ]
%142 = getelementptr inbounds i8, i8* %1, i64 %140
%143 = load i8, i8* %142
%144 = add nsw i64 %140, -3
%145 = getelementptr inbounds i8, i8* %0, i64 %144
store i8 %143, i8* %145
%146 = add nuw nsw i64 %140, 1
%147 = add i64 %141, 1
%148 = icmp eq i64 %147, %137
br i1 %148, label %149, label %139
149: ; preds = %139, %132
%150 = phi i64 [ %133, %132 ], [ %146, %139 ]
%151 = icmp ult i64 %136, 3
br i1 %151, label %174, label %152
152: ; preds = %149, %152
%153 = phi i64 [ %172, %152 ], [ %150, %149 ]
%154 = getelementptr inbounds i8, i8* %1, i64 %153
%155 = load i8, i8* %154
%156 = add nsw i64 %153, -3
%157 = getelementptr inbounds i8, i8* %0, i64 %156
store i8 %155, i8* %157
%158 = add nuw nsw i64 %153, 1
%159 = getelementptr inbounds i8, i8* %1, i64 %158
%160 = load i8, i8* %159
%161 = add nsw i64 %153, -2
%162 = getelementptr inbounds i8, i8* %0, i64 %161
store i8 %160, i8* %162
%163 = add nuw nsw i64 %153, 2
%164 = getelementptr inbounds i8, i8* %1, i64 %163
%165 = load i8, i8* %164
%166 = add nsw i64 %153, -1
%167 = getelementptr inbounds i8, i8* %0, i64 %166
store i8 %165, i8* %167
%168 = add nuw nsw i64 %153, 3
%169 = getelementptr inbounds i8, i8* %1, i64 %168
%170 = load i8, i8* %169
%171 = getelementptr inbounds i8, i8* %0, i64 %153
store i8 %170, i8* %171
%172 = add nuw nsw i64 %153, 4
%173 = icmp eq i64 %172, %19
br i1 %173, label %174, label %152
174: ; preds = %149, %152, %3
ret void
}