1 ; RUN: opt < %s -S | FileCheck %s
2 ; CHECK-NOT: {@llvm\\.palign}
4 define <4 x i32> @align1(<4 x i32> %a, <4 x i32> %b) nounwind readnone ssp {
6 %0 = bitcast <4 x i32> %b to <2 x i64> ; <<2 x i64>> [#uses=1]
7 %1 = bitcast <4 x i32> %a to <2 x i64> ; <<2 x i64>> [#uses=1]
8 %2 = tail call <2 x i64> @llvm.x86.ssse3.palign.r.128(<2 x i64> %1, <2 x i64> %0, i8 15) ; <<2 x i64>> [#uses=1]
9 %3 = bitcast <2 x i64> %2 to <4 x i32> ; <<4 x i32>> [#uses=1]
13 define double @align8(<2 x i32> %a, <2 x i32> %b) nounwind readnone ssp {
15 %0 = bitcast <2 x i32> %b to <1 x i64> ; <<1 x i64>> [#uses=1]
16 %1 = bitcast <2 x i32> %a to <1 x i64> ; <<1 x i64>> [#uses=1]
17 %2 = tail call <1 x i64> @llvm.x86.ssse3.palign.r(<1 x i64> %1, <1 x i64> %0, i8 7) ; <<1 x i64>> [#uses=1]
18 %3 = extractelement <1 x i64> %2, i32 0 ; <i64> [#uses=1]
19 %retval12 = bitcast i64 %3 to double ; <double> [#uses=1]
23 declare <1 x i64> @llvm.x86.ssse3.palign.r(<1 x i64>, <1 x i64>, i8) nounwind readnone
25 define double @align7(<2 x i32> %a, <2 x i32> %b) nounwind readnone ssp {
27 %0 = bitcast <2 x i32> %b to <1 x i64> ; <<1 x i64>> [#uses=1]
28 %1 = bitcast <2 x i32> %a to <1 x i64> ; <<1 x i64>> [#uses=1]
29 %2 = tail call <1 x i64> @llvm.x86.ssse3.palign.r(<1 x i64> %1, <1 x i64> %0, i8 16) ; <<1 x i64>> [#uses=1]
30 %3 = extractelement <1 x i64> %2, i32 0 ; <i64> [#uses=1]
31 %retval12 = bitcast i64 %3 to double ; <double> [#uses=1]
35 define double @align6(<2 x i32> %a, <2 x i32> %b) nounwind readnone ssp {
37 %0 = bitcast <2 x i32> %b to <1 x i64> ; <<1 x i64>> [#uses=1]
38 %1 = bitcast <2 x i32> %a to <1 x i64> ; <<1 x i64>> [#uses=1]
39 %2 = tail call <1 x i64> @llvm.x86.ssse3.palign.r(<1 x i64> %1, <1 x i64> %0, i8 9) ; <<1 x i64>> [#uses=1]
40 %3 = extractelement <1 x i64> %2, i32 0 ; <i64> [#uses=1]
41 %retval12 = bitcast i64 %3 to double ; <double> [#uses=1]
45 define double @align5(<2 x i32> %a, <2 x i32> %b) nounwind readnone ssp {
47 %0 = bitcast <2 x i32> %b to <1 x i64> ; <<1 x i64>> [#uses=1]
48 %1 = bitcast <2 x i32> %a to <1 x i64> ; <<1 x i64>> [#uses=1]
49 %2 = tail call <1 x i64> @llvm.x86.ssse3.palign.r(<1 x i64> %1, <1 x i64> %0, i8 8) ; <<1 x i64>> [#uses=1]
50 %3 = extractelement <1 x i64> %2, i32 0 ; <i64> [#uses=1]
51 %retval12 = bitcast i64 %3 to double ; <double> [#uses=1]
55 define <4 x i32> @align4(<4 x i32> %a, <4 x i32> %b) nounwind readnone ssp {
57 %0 = bitcast <4 x i32> %b to <2 x i64> ; <<2 x i64>> [#uses=1]
58 %1 = bitcast <4 x i32> %a to <2 x i64> ; <<2 x i64>> [#uses=1]
59 %2 = tail call <2 x i64> @llvm.x86.ssse3.palign.r.128(<2 x i64> %1, <2 x i64> %0, i8 32) ; <<2 x i64>> [#uses=1]
60 %3 = bitcast <2 x i64> %2 to <4 x i32> ; <<4 x i32>> [#uses=1]
64 declare <2 x i64> @llvm.x86.ssse3.palign.r.128(<2 x i64>, <2 x i64>, i8) nounwind readnone
66 define <4 x i32> @align3(<4 x i32> %a, <4 x i32> %b) nounwind readnone ssp {
68 %0 = bitcast <4 x i32> %b to <2 x i64> ; <<2 x i64>> [#uses=1]
69 %1 = bitcast <4 x i32> %a to <2 x i64> ; <<2 x i64>> [#uses=1]
70 %2 = tail call <2 x i64> @llvm.x86.ssse3.palign.r.128(<2 x i64> %1, <2 x i64> %0, i8 17) ; <<2 x i64>> [#uses=1]
71 %3 = bitcast <2 x i64> %2 to <4 x i32> ; <<4 x i32>> [#uses=1]
75 define <4 x i32> @align2(<4 x i32> %a, <4 x i32> %b) nounwind readnone ssp {
77 %0 = bitcast <4 x i32> %b to <2 x i64> ; <<2 x i64>> [#uses=1]
78 %1 = bitcast <4 x i32> %a to <2 x i64> ; <<2 x i64>> [#uses=1]
79 %2 = tail call <2 x i64> @llvm.x86.ssse3.palign.r.128(<2 x i64> %1, <2 x i64> %0, i8 16) ; <<2 x i64>> [#uses=1]
80 %3 = bitcast <2 x i64> %2 to <4 x i32> ; <<4 x i32>> [#uses=1]