OLD | NEW |
(Empty) | |
| 1 ; Tests vector inserts/extracts. |
| 2 |
| 3 ; RUN: llvm-as < %s | pnacl-freeze | pnacl-bccompress --remove-abbreviations \ |
| 4 ; RUN: | not pnacl-bcdis | FileCheck %s |
| 5 |
| 6 define void @GoodVectorOps() { |
| 7 |
| 8 ; CHECK: {{.*}}| 1: <65535, 11, 2> | constants { // BlockI
D = 11 |
| 9 ; CHECK-NEXT: {{.*}}| 3: <1, 0> | i32: |
| 10 ; CHECK-NEXT: {{.*}}| 3: <4, 2> | %c0 = i32 1; |
| 11 ; CHECK-NEXT: {{.*}}| 3: <4, 0> | %c1 = i32 0; |
| 12 ; CHECK-NEXT: {{.*}}| 3: <4, 20> | %c2 = i32 10; |
| 13 ; CHECK-NEXT: {{.*}}| 3: <1, 1> | i1: |
| 14 ; CHECK-NEXT: {{.*}}| 3: <4, 3> | %c3 = i1 1; |
| 15 ; CHECK-NEXT: {{.*}}| 3: <4, 0> | %c4 = i1 0; |
| 16 ; CHECK-NEXT: {{.*}}| 3: <1, 11> | <4 x i32>: |
| 17 ; CHECK-NEXT: {{.*}}| 3: <3> | %c5 = <4 x i32> un
def; |
| 18 ; CHECK-NEXT: {{.*}}| 3: <1, 3> | i8: |
| 19 ; CHECK-NEXT: {{.*}}| 3: <4, 0> | %c6 = i8 0; |
| 20 ; CHECK-NEXT: {{.*}}| 3: <4, 20> | %c7 = i8 10; |
| 21 ; CHECK-NEXT: {{.*}}| 3: <1, 4> | i16: |
| 22 ; CHECK-NEXT: {{.*}}| 3: <4, 2> | %c8 = i16 1; |
| 23 ; CHECK-NEXT: {{.*}}| 3: <4, 0> | %c9 = i16 0; |
| 24 ; CHECK-NEXT: {{.*}}| 3: <1, 10> | <8 x i16>: |
| 25 ; CHECK-NEXT: {{.*}}| 3: <3> | %c10 = <8 x i16> u
ndef; |
| 26 ; CHECK-NEXT: {{.*}}| 3: <1, 6> | <4 x i1>: |
| 27 ; CHECK-NEXT: {{.*}}| 3: <3> | %c11 = <4 x i1> un
def; |
| 28 ; CHECK-NEXT: {{.*}}| 3: <1, 7> | <8 x i1>: |
| 29 ; CHECK-NEXT: {{.*}}| 3: <3> | %c12 = <8 x i1> un
def; |
| 30 ; CHECK-NEXT: {{.*}}| 3: <1, 8> | <16 x i1>: |
| 31 ; CHECK-NEXT: {{.*}}| 3: <3> | %c13 = <16 x i1> u
ndef; |
| 32 ; CHECK-NEXT: {{.*}}| 3: <1, 9> | <16 x i8>: |
| 33 ; CHECK-NEXT: {{.*}}| 3: <3> | %c14 = <16 x i8> u
ndef; |
| 34 ; CHECK-NEXT: {{.*}}| 3: <1, 5> | <4 x float>: |
| 35 ; CHECK-NEXT: {{.*}}| 3: <3> | %c15 = <4 x float>
undef; |
| 36 ; CHECK-NEXT: {{.*}}| 3: <1, 2> | float: |
| 37 ; CHECK-NEXT: {{.*}}| 3: <6, 1065353216> | %c16 = float 1; |
| 38 ; CHECK-NEXT: {{.*}}| 0: <65534> | } |
| 39 ; CHECK-NEXT: | | %b0: |
| 40 |
| 41 %v0 = insertelement <4 x i1> undef, i1 1, i32 0 |
| 42 %v1 = insertelement <4 x i1> %v0, i1 0, i32 1 |
| 43 %v2 = extractelement <4 x i1> %v1, i32 0 |
| 44 %v3 = and i1 %v2, 1 |
| 45 |
| 46 ; CHECK-NEXT: {{.*}}| 3: <7, 6, 14, 16> | %v0 = |
| 47 ; CHECK-NEXT: | | insertelement <4 x
i1> %c11, |
| 48 ; CHECK-NEXT: | | i1 %c3, i32 %c1; |
| 49 ; CHECK-NEXT: {{.*}}| 3: <7, 1, 14, 18> | %v1 = insertelement
<4 x i1> %v0, |
| 50 ; CHECK-NEXT: | | i1 %c4, i32 %c0; |
| 51 ; CHECK-NEXT: {{.*}}| 3: <6, 1, 18> | %v2 = |
| 52 ; CHECK-NEXT: | | extractelement <4
x i1> %v1, |
| 53 ; CHECK-NEXT: | | i32 %c1; |
| 54 ; CHECK-NEXT: {{.*}}| 3: <2, 1, 17, 10> | %v3 = and i1 %v2, %c3; |
| 55 |
| 56 %v4 = insertelement <8 x i1> undef, i1 1, i32 1 |
| 57 %v5 = insertelement <8 x i1> %v4, i1 0, i32 0 |
| 58 %v6 = extractelement <8 x i1> %v5, i32 1 |
| 59 %v7 = and i1 %v6, 1 |
| 60 |
| 61 ; CHECK-NEXT: {{.*}}| 3: <7, 9, 18, 21> | %v4 = |
| 62 ; CHECK-NEXT: | | insertelement <8 x
i1> %c12, |
| 63 ; CHECK-NEXT: | | i1 %c3, i32 %c0; |
| 64 ; CHECK-NEXT: {{.*}}| 3: <7, 1, 18, 21> | %v5 = insertelement
<8 x i1> %v4, |
| 65 ; CHECK-NEXT: | | i1 %c4, i32 %c1; |
| 66 ; CHECK-NEXT: {{.*}}| 3: <6, 1, 23> | %v6 = |
| 67 ; CHECK-NEXT: | | extractelement <8
x i1> %v5, |
| 68 ; CHECK-NEXT: | | i32 %c0; |
| 69 ; CHECK-NEXT: {{.*}}| 3: <2, 1, 21, 10> | %v7 = and i1 %v6, %c3; |
| 70 |
| 71 %v8 = insertelement <16 x i1> undef, i1 1, i32 0 |
| 72 %v9 = insertelement <16 x i1> %v8, i1 0, i32 1 |
| 73 %v10 = extractelement <16 x i1> %v9, i32 1 |
| 74 %v11 = and i1 %v10, 1 |
| 75 |
| 76 ; CHECK-NEXT: {{.*}}| 3: <7, 12, 22, 24> | %v8 = |
| 77 ; CHECK-NEXT: | | insertelement <16
x i1> %c13, |
| 78 ; CHECK-NEXT: | | i1 %c3, i32 %c1; |
| 79 ; CHECK-NEXT: {{.*}}| 3: <7, 1, 22, 26> | %v9 = |
| 80 ; CHECK-NEXT: | | insertelement <16
x i1> %v8, |
| 81 ; CHECK-NEXT: | | i1 %c4, i32 %c0; |
| 82 ; CHECK-NEXT: {{.*}}| 3: <6, 1, 27> | %v10 = |
| 83 ; CHECK-NEXT: | | extractelement <16
x i1> %v9, |
| 84 ; CHECK-NEXT: | | i32 %c0; |
| 85 ; CHECK-NEXT: {{.*}}| 3: <2, 1, 25, 10> | %v11 = and i1 %v10, %c
3; |
| 86 |
| 87 %v12 = insertelement <16 x i8> undef, i8 0, i32 1 |
| 88 %v13 = insertelement <16 x i8> %v12, i8 10, i32 10 |
| 89 %v14 = extractelement <16 x i8> %v13, i32 1 |
| 90 %v15 = add i8 %v14, 0 |
| 91 |
| 92 ; CHECK-NEXT: {{.*}}| 3: <7, 15, 23, 29> | %v12 = |
| 93 ; CHECK-NEXT: | | insertelement <16
x i8> %c14, |
| 94 ; CHECK-NEXT: | | i8 %c6, i32 %c0; |
| 95 ; CHECK-NEXT: {{.*}}| 3: <7, 1, 23, 28> | %v13 = |
| 96 ; CHECK-NEXT: | | insertelement <16
x i8> %v12, |
| 97 ; CHECK-NEXT: | | i8 %c7, i32 %c2; |
| 98 ; CHECK-NEXT: {{.*}}| 3: <6, 1, 31> | %v14 = |
| 99 ; CHECK-NEXT: | | extractelement <16
x i8> %v13, |
| 100 ; CHECK-NEXT: | | i32 %c0; |
| 101 ; CHECK-NEXT: {{.*}}| 3: <2, 1, 26, 0> | %v15 = add i8 %v14, %c
6; |
| 102 |
| 103 %v16 = insertelement <8 x i16> undef, i16 1, i32 1 |
| 104 %v17 = insertelement <8 x i16> %v16, i16 0, i32 0 |
| 105 %v18 = extractelement <8 x i16> %v17, i32 1 |
| 106 %v19 = add i16 %v18, 1 |
| 107 |
| 108 ; CHECK-NEXT: {{.*}}| 3: <7, 23, 25, 33> | %v16 = |
| 109 ; CHECK-NEXT: | | insertelement <8 x
i16> %c10, |
| 110 ; CHECK-NEXT: | | i16 %c8, i32 %c0; |
| 111 ; CHECK-NEXT: {{.*}}| 3: <7, 1, 25, 33> | %v17 = |
| 112 ; CHECK-NEXT: | | insertelement <8 x
i16> %v16, |
| 113 ; CHECK-NEXT: | | i16 %c9, i32 %c1; |
| 114 ; CHECK-NEXT: {{.*}}| 3: <6, 1, 35> | %v18 = |
| 115 ; CHECK-NEXT: | | extractelement <8
x i16> %v17, |
| 116 ; CHECK-NEXT: | | i32 %c0; |
| 117 ; CHECK-NEXT: {{.*}}| 3: <2, 1, 28, 0> | %v19 = add i16 %v18, %
c8; |
| 118 |
| 119 %v20 = insertelement <4 x i32> undef, i32 1, i32 0 |
| 120 %v21 = insertelement <4 x i32> %v20, i32 0, i32 1 |
| 121 %v22 = extractelement <4 x i32> %v21, i32 0 |
| 122 %v23 = add i32 %v22, 1 |
| 123 |
| 124 ; CHECK-NEXT: {{.*}}| 3: <7, 32, 37, 36> | %v20 = |
| 125 ; CHECK-NEXT: | | insertelement <4 x
i32> %c5, |
| 126 ; CHECK-NEXT: | | i32 %c0, i32 %c1; |
| 127 ; CHECK-NEXT: {{.*}}| 3: <7, 1, 37, 38> | %v21 = |
| 128 ; CHECK-NEXT: | | insertelement <4 x
i32> %v20, |
| 129 ; CHECK-NEXT: | | i32 %c1, i32 %c0; |
| 130 ; CHECK-NEXT: {{.*}}| 3: <6, 1, 38> | %v22 = |
| 131 ; CHECK-NEXT: | | extractelement <4
x i32> %v21, |
| 132 ; CHECK-NEXT: | | i32 %c1; |
| 133 ; CHECK-NEXT: {{.*}}| 3: <2, 1, 40, 0> | %v23 = add i32 %v22, %
c0; |
| 134 |
| 135 %v24 = insertelement <4 x float> undef, float 1.0, i32 0 |
| 136 %v25 = insertelement <4 x float> %v24, float 1.0, i32 1 |
| 137 %v26 = extractelement <4 x float> %v25, i32 0 |
| 138 %v27 = fadd float %v26, 1.0 |
| 139 |
| 140 ; CHECK-NEXT: {{.*}}| 3: <7, 26, 25, 40> | %v24 = |
| 141 ; CHECK-NEXT: | | insertelement <4 x
float> %c15, |
| 142 ; CHECK-NEXT: | | float %c16, i32 %c
1; |
| 143 ; CHECK-NEXT: {{.*}}| 3: <7, 1, 26, 42> | %v25 = |
| 144 ; CHECK-NEXT: | | insertelement <4 x
float> %v24, |
| 145 ; CHECK-NEXT: | | float %c16, i32 %c
0; |
| 146 ; CHECK-NEXT: {{.*}}| 3: <6, 1, 42> | %v26 = |
| 147 ; CHECK-NEXT: | | extractelement <4
x float> %v25 |
| 148 ; CHECK-NEXT: | | , i32 %c1; |
| 149 ; CHECK-NEXT: {{.*}}| 3: <2, 1, 28, 0> | %v27 = fadd float %v26
, %c16; |
| 150 |
| 151 ret void |
| 152 ; CHECK-NEXT: {{.*}}| 3: <10> | ret void; |
| 153 |
| 154 } |
| 155 |
| 156 define void @BadVectorOps(i32 %p0) { |
| 157 ; CHECK: | | %b0: |
| 158 |
| 159 %v0 = insertelement <4 x float> undef, float 1.0, i32 %p0 |
| 160 |
| 161 ; CHECK-NEXT: {{.*}}| 3: <7, 1, 2, 3> | %v0 = |
| 162 ; CHECK-NEXT: | | insertelement <4 x
float> %c1, |
| 163 ; CHECK-NEXT: | | float %c0, i32 %p0
; |
| 164 ; CHECK-NEXT:Error({{.*}}): insertelement: Vector index not constant: %p0 |
| 165 |
| 166 ret void |
| 167 ; CHECK-NEXT: {{.*}}| 3: <10> | ret void; |
| 168 } |
| 169 |
OLD | NEW |