Chris Lattner | 95ab268 | 2006-03-17 20:04:40 +0000 | [diff] [blame] | 1 | ; Test that vectors are scalarized/lowered correctly. |
Chris Lattner | 00e2c94 | 2006-03-19 04:45:11 +0000 | [diff] [blame] | 2 | ; RUN: llvm-as < %s | llc && |
| 3 | ; RUN: llvm-as < %s | llc -march=ppc32 -mcpu=g5 && |
| 4 | ; RUN: llvm-as < %s | llc -march=ppc32 -mcpu=g3 |
Chris Lattner | 95ab268 | 2006-03-17 20:04:40 +0000 | [diff] [blame] | 5 | |
| 6 | %f1 = type <1 x float> |
| 7 | %f2 = type <2 x float> |
| 8 | %f4 = type <4 x float> |
Chris Lattner | 4d2182a | 2006-03-21 18:27:27 +0000 | [diff] [blame^] | 9 | %i4 = type <4 x int> |
Chris Lattner | 95ab268 | 2006-03-17 20:04:40 +0000 | [diff] [blame] | 10 | %f8 = type <8 x float> |
| 11 | |
| 12 | implementation |
| 13 | |
Chris Lattner | 1e4af78 | 2006-03-19 00:20:03 +0000 | [diff] [blame] | 14 | ;;; TEST HANDLING OF VARIOUS VECTOR SIZES |
| 15 | |
Chris Lattner | 95ab268 | 2006-03-17 20:04:40 +0000 | [diff] [blame] | 16 | void %test_f1(%f1 *%P, %f1* %Q, %f1 *%S) { |
| 17 | %p = load %f1 *%P |
| 18 | %q = load %f1* %Q |
| 19 | %R = add %f1 %p, %q |
| 20 | store %f1 %R, %f1 *%S |
| 21 | ret void |
| 22 | } |
| 23 | |
| 24 | void %test_f2(%f2 *%P, %f2* %Q, %f2 *%S) { |
| 25 | %p = load %f2* %P |
| 26 | %q = load %f2* %Q |
| 27 | %R = add %f2 %p, %q |
| 28 | store %f2 %R, %f2 *%S |
| 29 | ret void |
| 30 | } |
| 31 | |
| 32 | void %test_f4(%f4 *%P, %f4* %Q, %f4 *%S) { |
| 33 | %p = load %f4* %P |
| 34 | %q = load %f4* %Q |
| 35 | %R = add %f4 %p, %q |
| 36 | store %f4 %R, %f4 *%S |
| 37 | ret void |
| 38 | } |
| 39 | |
| 40 | void %test_f8(%f8 *%P, %f8* %Q, %f8 *%S) { |
| 41 | %p = load %f8* %P |
| 42 | %q = load %f8* %Q |
| 43 | %R = add %f8 %p, %q |
| 44 | store %f8 %R, %f8 *%S |
| 45 | ret void |
| 46 | } |
Chris Lattner | 1e4af78 | 2006-03-19 00:20:03 +0000 | [diff] [blame] | 47 | |
Chris Lattner | 4d2182a | 2006-03-21 18:27:27 +0000 | [diff] [blame^] | 48 | void %test_fmul(%f8 *%P, %f8* %Q, %f8 *%S) { |
| 49 | %p = load %f8* %P |
| 50 | %q = load %f8* %Q |
| 51 | %R = mul %f8 %p, %q |
| 52 | store %f8 %R, %f8 *%S |
| 53 | ret void |
| 54 | } |
Chris Lattner | 1e4af78 | 2006-03-19 00:20:03 +0000 | [diff] [blame] | 55 | ;;; TEST VECTOR CONSTRUCTS |
| 56 | |
| 57 | void %test_cst(%f4 *%P, %f4 *%S) { |
| 58 | %p = load %f4* %P |
| 59 | %R = add %f4 %p, <float 0.1, float 1.0, float 2.0, float 4.5> |
| 60 | store %f4 %R, %f4 *%S |
| 61 | ret void |
| 62 | } |
| 63 | |
| 64 | void %test_zero(%f4 *%P, %f4 *%S) { |
| 65 | %p = load %f4* %P |
| 66 | %R = add %f4 %p, zeroinitializer |
| 67 | store %f4 %R, %f4 *%S |
| 68 | ret void |
| 69 | } |
| 70 | |
| 71 | void %test_undef(%f4 *%P, %f4 *%S) { |
| 72 | %p = load %f4* %P |
| 73 | %R = add %f4 %p, undef |
| 74 | store %f4 %R, %f4 *%S |
| 75 | ret void |
| 76 | } |
Chris Lattner | 152c72d | 2006-03-19 01:27:04 +0000 | [diff] [blame] | 77 | |
| 78 | void %test_constant_insert(%f4 *%S) { |
| 79 | %R = insertelement %f4 zeroinitializer, float 10.0, uint 0 |
| 80 | store %f4 %R, %f4 *%S |
| 81 | ret void |
| 82 | } |
| 83 | |
| 84 | void %test_variable_buildvector(float %F, %f4 *%S) { |
| 85 | %R = insertelement %f4 zeroinitializer, float %F, uint 0 |
| 86 | store %f4 %R, %f4 *%S |
| 87 | ret void |
| 88 | } |
Chris Lattner | 00e2c94 | 2006-03-19 04:45:11 +0000 | [diff] [blame] | 89 | |
Chris Lattner | 7ca9777 | 2006-03-19 05:46:51 +0000 | [diff] [blame] | 90 | void %test_scalar_to_vector(float %F, %f4 *%S) { |
| 91 | %R = insertelement %f4 undef, float %F, uint 0 ;; R = scalar_to_vector F |
| 92 | store %f4 %R, %f4 *%S |
| 93 | ret void |
| 94 | } |
| 95 | |
Chris Lattner | 00e2c94 | 2006-03-19 04:45:11 +0000 | [diff] [blame] | 96 | ;;; TEST IMPORTANT IDIOMS |
| 97 | |
| 98 | void %splat(%f4* %P, %f4* %Q, float %X) { |
| 99 | %tmp = insertelement %f4 undef, float %X, uint 0 |
| 100 | %tmp2 = insertelement %f4 %tmp, float %X, uint 1 |
| 101 | %tmp4 = insertelement %f4 %tmp2, float %X, uint 2 |
| 102 | %tmp6 = insertelement %f4 %tmp4, float %X, uint 3 |
| 103 | %q = load %f4* %Q |
| 104 | %R = add %f4 %q, %tmp6 |
| 105 | store %f4 %R, %f4* %P |
| 106 | ret void |
| 107 | } |
| 108 | |
Chris Lattner | 4d2182a | 2006-03-21 18:27:27 +0000 | [diff] [blame^] | 109 | void %splat_i4(%i4* %P, %i4* %Q, int %X) { |
| 110 | %tmp = insertelement %i4 undef, int %X, uint 0 |
| 111 | %tmp2 = insertelement %i4 %tmp, int %X, uint 1 |
| 112 | %tmp4 = insertelement %i4 %tmp2, int %X, uint 2 |
| 113 | %tmp6 = insertelement %i4 %tmp4, int %X, uint 3 |
| 114 | %q = load %i4* %Q |
| 115 | %R = add %i4 %q, %tmp6 |
| 116 | store %i4 %R, %i4* %P |
| 117 | ret void |
| 118 | } |
| 119 | |