Ulrich Weigand | 759449c | 2015-03-30 13:49:01 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -triple s390x-linux-gnu -emit-llvm -o - %s | FileCheck %s |
| 2 | |
| 3 | // Vector types |
| 4 | |
| 5 | typedef __attribute__((vector_size(1))) char v1i8; |
| 6 | |
| 7 | typedef __attribute__((vector_size(2))) char v2i8; |
| 8 | typedef __attribute__((vector_size(2))) short v1i16; |
| 9 | |
| 10 | typedef __attribute__((vector_size(4))) char v4i8; |
| 11 | typedef __attribute__((vector_size(4))) short v2i16; |
| 12 | typedef __attribute__((vector_size(4))) int v1i32; |
| 13 | typedef __attribute__((vector_size(4))) float v1f32; |
| 14 | |
| 15 | typedef __attribute__((vector_size(8))) char v8i8; |
| 16 | typedef __attribute__((vector_size(8))) short v4i16; |
| 17 | typedef __attribute__((vector_size(8))) int v2i32; |
| 18 | typedef __attribute__((vector_size(8))) long long v1i64; |
| 19 | typedef __attribute__((vector_size(8))) float v2f32; |
| 20 | typedef __attribute__((vector_size(8))) double v1f64; |
| 21 | |
| 22 | typedef __attribute__((vector_size(16))) char v16i8; |
| 23 | typedef __attribute__((vector_size(16))) short v8i16; |
| 24 | typedef __attribute__((vector_size(16))) int v4i32; |
| 25 | typedef __attribute__((vector_size(16))) long long v2i64; |
| 26 | typedef __attribute__((vector_size(16))) __int128 v1i128; |
| 27 | typedef __attribute__((vector_size(16))) float v4f32; |
| 28 | typedef __attribute__((vector_size(16))) double v2f64; |
| 29 | typedef __attribute__((vector_size(16))) long double v1f128; |
| 30 | |
| 31 | typedef __attribute__((vector_size(32))) char v32i8; |
| 32 | |
| 33 | v1i8 pass_v1i8(v1i8 arg) { return arg; } |
| 34 | // CHECK-LABEL: define void @pass_v1i8(<1 x i8>* noalias sret %{{.*}}, <1 x i8>*) |
| 35 | |
| 36 | v2i8 pass_v2i8(v2i8 arg) { return arg; } |
| 37 | // CHECK-LABEL: define void @pass_v2i8(<2 x i8>* noalias sret %{{.*}}, <2 x i8>*) |
| 38 | |
| 39 | v4i8 pass_v4i8(v4i8 arg) { return arg; } |
| 40 | // CHECK-LABEL: define void @pass_v4i8(<4 x i8>* noalias sret %{{.*}}, <4 x i8>*) |
| 41 | |
| 42 | v8i8 pass_v8i8(v8i8 arg) { return arg; } |
| 43 | // CHECK-LABEL: define void @pass_v8i8(<8 x i8>* noalias sret %{{.*}}, <8 x i8>*) |
| 44 | |
| 45 | v16i8 pass_v16i8(v16i8 arg) { return arg; } |
| 46 | // CHECK-LABEL: define void @pass_v16i8(<16 x i8>* noalias sret %{{.*}}, <16 x i8>*) |
| 47 | |
| 48 | v32i8 pass_v32i8(v32i8 arg) { return arg; } |
| 49 | // CHECK-LABEL: define void @pass_v32i8(<32 x i8>* noalias sret %{{.*}}, <32 x i8>*) |
| 50 | |
| 51 | v1i16 pass_v1i16(v1i16 arg) { return arg; } |
| 52 | // CHECK-LABEL: define void @pass_v1i16(<1 x i16>* noalias sret %{{.*}}, <1 x i16>*) |
| 53 | |
| 54 | v2i16 pass_v2i16(v2i16 arg) { return arg; } |
| 55 | // CHECK-LABEL: define void @pass_v2i16(<2 x i16>* noalias sret %{{.*}}, <2 x i16>*) |
| 56 | |
| 57 | v4i16 pass_v4i16(v4i16 arg) { return arg; } |
| 58 | // CHECK-LABEL: define void @pass_v4i16(<4 x i16>* noalias sret %{{.*}}, <4 x i16>*) |
| 59 | |
| 60 | v8i16 pass_v8i16(v8i16 arg) { return arg; } |
| 61 | // CHECK-LABEL: define void @pass_v8i16(<8 x i16>* noalias sret %{{.*}}, <8 x i16>*) |
| 62 | |
| 63 | v1i32 pass_v1i32(v1i32 arg) { return arg; } |
| 64 | // CHECK-LABEL: define void @pass_v1i32(<1 x i32>* noalias sret %{{.*}}, <1 x i32>*) |
| 65 | |
| 66 | v2i32 pass_v2i32(v2i32 arg) { return arg; } |
| 67 | // CHECK-LABEL: define void @pass_v2i32(<2 x i32>* noalias sret %{{.*}}, <2 x i32>*) |
| 68 | |
| 69 | v4i32 pass_v4i32(v4i32 arg) { return arg; } |
| 70 | // CHECK-LABEL: define void @pass_v4i32(<4 x i32>* noalias sret %{{.*}}, <4 x i32>*) |
| 71 | |
| 72 | v1i64 pass_v1i64(v1i64 arg) { return arg; } |
| 73 | // CHECK-LABEL: define void @pass_v1i64(<1 x i64>* noalias sret %{{.*}}, <1 x i64>*) |
| 74 | |
| 75 | v2i64 pass_v2i64(v2i64 arg) { return arg; } |
| 76 | // CHECK-LABEL: define void @pass_v2i64(<2 x i64>* noalias sret %{{.*}}, <2 x i64>*) |
| 77 | |
| 78 | v1i128 pass_v1i128(v1i128 arg) { return arg; } |
| 79 | // CHECK-LABEL: define void @pass_v1i128(<1 x i128>* noalias sret %{{.*}}, <1 x i128>*) |
| 80 | |
| 81 | v1f32 pass_v1f32(v1f32 arg) { return arg; } |
| 82 | // CHECK-LABEL: define void @pass_v1f32(<1 x float>* noalias sret %{{.*}}, <1 x float>*) |
| 83 | |
| 84 | v2f32 pass_v2f32(v2f32 arg) { return arg; } |
| 85 | // CHECK-LABEL: define void @pass_v2f32(<2 x float>* noalias sret %{{.*}}, <2 x float>*) |
| 86 | |
| 87 | v4f32 pass_v4f32(v4f32 arg) { return arg; } |
| 88 | // CHECK-LABEL: define void @pass_v4f32(<4 x float>* noalias sret %{{.*}}, <4 x float>*) |
| 89 | |
| 90 | v1f64 pass_v1f64(v1f64 arg) { return arg; } |
| 91 | // CHECK-LABEL: define void @pass_v1f64(<1 x double>* noalias sret %{{.*}}, <1 x double>*) |
| 92 | |
| 93 | v2f64 pass_v2f64(v2f64 arg) { return arg; } |
| 94 | // CHECK-LABEL: define void @pass_v2f64(<2 x double>* noalias sret %{{.*}}, <2 x double>*) |
| 95 | |
| 96 | v1f128 pass_v1f128(v1f128 arg) { return arg; } |
| 97 | // CHECK-LABEL: define void @pass_v1f128(<1 x fp128>* noalias sret %{{.*}}, <1 x fp128>*) |
| 98 | |
| 99 | |
| 100 | // Accessing variable argument lists |
| 101 | |
| 102 | v1i8 va_v1i8(__builtin_va_list l) { return __builtin_va_arg(l, v1i8); } |
| 103 | // CHECK-LABEL: define void @va_v1i8(<1 x i8>* noalias sret %{{.*}}, %struct.__va_list_tag* %{{.*}}) |
Ulrich Weigand | 283ad7d | 2015-03-30 18:08:50 +0000 | [diff] [blame^] | 104 | // CHECK: [[REG_COUNT_PTR:%[^ ]+]] = getelementptr inbounds %struct.__va_list_tag, %struct.__va_list_tag* %{{.*}}, i32 0, i32 0 |
| 105 | // CHECK: [[REG_COUNT:%[^ ]+]] = load i64, i64* [[REG_COUNT_PTR]] |
| 106 | // CHECK: [[FITS_IN_REGS:%[^ ]+]] = icmp ult i64 [[REG_COUNT]], 5 |
| 107 | // CHECK: br i1 [[FITS_IN_REGS]], |
| 108 | // CHECK: [[SCALED_REG_COUNT:%[^ ]+]] = mul i64 [[REG_COUNT]], 8 |
| 109 | // CHECK: [[REG_OFFSET:%[^ ]+]] = add i64 [[SCALED_REG_COUNT]], 16 |
| 110 | // CHECK: [[REG_SAVE_AREA_PTR:%[^ ]+]] = getelementptr inbounds %struct.__va_list_tag, %struct.__va_list_tag* %{{.*}}, i32 0, i32 3 |
| 111 | // CHECK: [[REG_SAVE_AREA:%[^ ]+]] = load i8*, i8** [[REG_SAVE_AREA_PTR:[^ ]+]] |
| 112 | // CHECK: [[RAW_REG_ADDR:%[^ ]+]] = getelementptr i8, i8* [[REG_SAVE_AREA]], i64 [[REG_OFFSET]] |
| 113 | // CHECK: [[REG_ADDR:%[^ ]+]] = bitcast i8* [[RAW_REG_ADDR]] to <1 x i8>** |
| 114 | // CHECK: [[REG_COUNT1:%[^ ]+]] = add i64 [[REG_COUNT]], 1 |
| 115 | // CHECK: store i64 [[REG_COUNT1]], i64* [[REG_COUNT_PTR]] |
| 116 | // CHECK: [[OVERFLOW_ARG_AREA_PTR:%[^ ]+]] = getelementptr inbounds %struct.__va_list_tag, %struct.__va_list_tag* %{{.*}}, i32 0, i32 2 |
| 117 | // CHECK: [[OVERFLOW_ARG_AREA:%[^ ]+]] = load i8*, i8** [[OVERFLOW_ARG_AREA_PTR]] |
| 118 | // CHECK: [[RAW_MEM_ADDR:%[^ ]+]] = getelementptr i8, i8* [[OVERFLOW_ARG_AREA]], i64 0 |
| 119 | // CHECK: [[MEM_ADDR:%[^ ]+]] = bitcast i8* [[RAW_MEM_ADDR]] to <1 x i8>** |
| 120 | // CHECK: [[OVERFLOW_ARG_AREA2:%[^ ]+]] = getelementptr i8, i8* [[OVERFLOW_ARG_AREA]], i64 8 |
| 121 | // CHECK: store i8* [[OVERFLOW_ARG_AREA2]], i8** [[OVERFLOW_ARG_AREA_PTR]] |
| 122 | // CHECK: [[VA_ARG_ADDR:%[^ ]+]] = phi <1 x i8>** [ [[REG_ADDR]], %{{.*}} ], [ [[MEM_ADDR]], %{{.*}} ] |
| 123 | // CHECK: [[INDIRECT_ARG:%[^ ]+]] = load <1 x i8>*, <1 x i8>** [[VA_ARG_ADDR]] |
| 124 | // CHECK: ret void |
Ulrich Weigand | 759449c | 2015-03-30 13:49:01 +0000 | [diff] [blame] | 125 | |
| 126 | v2i8 va_v2i8(__builtin_va_list l) { return __builtin_va_arg(l, v2i8); } |
| 127 | // CHECK-LABEL: define void @va_v2i8(<2 x i8>* noalias sret %{{.*}}, %struct.__va_list_tag* %{{.*}}) |
Ulrich Weigand | 283ad7d | 2015-03-30 18:08:50 +0000 | [diff] [blame^] | 128 | // CHECK: [[REG_COUNT_PTR:%[^ ]+]] = getelementptr inbounds %struct.__va_list_tag, %struct.__va_list_tag* %{{.*}}, i32 0, i32 0 |
| 129 | // CHECK: [[REG_COUNT:%[^ ]+]] = load i64, i64* [[REG_COUNT_PTR]] |
| 130 | // CHECK: [[FITS_IN_REGS:%[^ ]+]] = icmp ult i64 [[REG_COUNT]], 5 |
| 131 | // CHECK: br i1 [[FITS_IN_REGS]], |
| 132 | // CHECK: [[SCALED_REG_COUNT:%[^ ]+]] = mul i64 [[REG_COUNT]], 8 |
| 133 | // CHECK: [[REG_OFFSET:%[^ ]+]] = add i64 [[SCALED_REG_COUNT]], 16 |
| 134 | // CHECK: [[REG_SAVE_AREA_PTR:%[^ ]+]] = getelementptr inbounds %struct.__va_list_tag, %struct.__va_list_tag* %{{.*}}, i32 0, i32 3 |
| 135 | // CHECK: [[REG_SAVE_AREA:%[^ ]+]] = load i8*, i8** [[REG_SAVE_AREA_PTR:[^ ]+]] |
| 136 | // CHECK: [[RAW_REG_ADDR:%[^ ]+]] = getelementptr i8, i8* [[REG_SAVE_AREA]], i64 [[REG_OFFSET]] |
| 137 | // CHECK: [[REG_ADDR:%[^ ]+]] = bitcast i8* [[RAW_REG_ADDR]] to <2 x i8>** |
| 138 | // CHECK: [[REG_COUNT1:%[^ ]+]] = add i64 [[REG_COUNT]], 1 |
| 139 | // CHECK: store i64 [[REG_COUNT1]], i64* [[REG_COUNT_PTR]] |
| 140 | // CHECK: [[OVERFLOW_ARG_AREA_PTR:%[^ ]+]] = getelementptr inbounds %struct.__va_list_tag, %struct.__va_list_tag* %{{.*}}, i32 0, i32 2 |
| 141 | // CHECK: [[OVERFLOW_ARG_AREA:%[^ ]+]] = load i8*, i8** [[OVERFLOW_ARG_AREA_PTR]] |
| 142 | // CHECK: [[RAW_MEM_ADDR:%[^ ]+]] = getelementptr i8, i8* [[OVERFLOW_ARG_AREA]], i64 0 |
| 143 | // CHECK: [[MEM_ADDR:%[^ ]+]] = bitcast i8* [[RAW_MEM_ADDR]] to <2 x i8>** |
| 144 | // CHECK: [[OVERFLOW_ARG_AREA2:%[^ ]+]] = getelementptr i8, i8* [[OVERFLOW_ARG_AREA]], i64 8 |
| 145 | // CHECK: store i8* [[OVERFLOW_ARG_AREA2]], i8** [[OVERFLOW_ARG_AREA_PTR]] |
| 146 | // CHECK: [[VA_ARG_ADDR:%[^ ]+]] = phi <2 x i8>** [ [[REG_ADDR]], %{{.*}} ], [ [[MEM_ADDR]], %{{.*}} ] |
| 147 | // CHECK: [[INDIRECT_ARG:%[^ ]+]] = load <2 x i8>*, <2 x i8>** [[VA_ARG_ADDR]] |
| 148 | // CHECK: ret void |
Ulrich Weigand | 759449c | 2015-03-30 13:49:01 +0000 | [diff] [blame] | 149 | |
| 150 | v4i8 va_v4i8(__builtin_va_list l) { return __builtin_va_arg(l, v4i8); } |
| 151 | // CHECK-LABEL: define void @va_v4i8(<4 x i8>* noalias sret %{{.*}}, %struct.__va_list_tag* %{{.*}}) |
Ulrich Weigand | 283ad7d | 2015-03-30 18:08:50 +0000 | [diff] [blame^] | 152 | // CHECK: [[REG_COUNT_PTR:%[^ ]+]] = getelementptr inbounds %struct.__va_list_tag, %struct.__va_list_tag* %{{.*}}, i32 0, i32 0 |
| 153 | // CHECK: [[REG_COUNT:%[^ ]+]] = load i64, i64* [[REG_COUNT_PTR]] |
| 154 | // CHECK: [[FITS_IN_REGS:%[^ ]+]] = icmp ult i64 [[REG_COUNT]], 5 |
| 155 | // CHECK: br i1 [[FITS_IN_REGS]], |
| 156 | // CHECK: [[SCALED_REG_COUNT:%[^ ]+]] = mul i64 [[REG_COUNT]], 8 |
| 157 | // CHECK: [[REG_OFFSET:%[^ ]+]] = add i64 [[SCALED_REG_COUNT]], 16 |
| 158 | // CHECK: [[REG_SAVE_AREA_PTR:%[^ ]+]] = getelementptr inbounds %struct.__va_list_tag, %struct.__va_list_tag* %{{.*}}, i32 0, i32 3 |
| 159 | // CHECK: [[REG_SAVE_AREA:%[^ ]+]] = load i8*, i8** [[REG_SAVE_AREA_PTR:[^ ]+]] |
| 160 | // CHECK: [[RAW_REG_ADDR:%[^ ]+]] = getelementptr i8, i8* [[REG_SAVE_AREA]], i64 [[REG_OFFSET]] |
| 161 | // CHECK: [[REG_ADDR:%[^ ]+]] = bitcast i8* [[RAW_REG_ADDR]] to <4 x i8>** |
| 162 | // CHECK: [[REG_COUNT1:%[^ ]+]] = add i64 [[REG_COUNT]], 1 |
| 163 | // CHECK: store i64 [[REG_COUNT1]], i64* [[REG_COUNT_PTR]] |
| 164 | // CHECK: [[OVERFLOW_ARG_AREA_PTR:%[^ ]+]] = getelementptr inbounds %struct.__va_list_tag, %struct.__va_list_tag* %{{.*}}, i32 0, i32 2 |
| 165 | // CHECK: [[OVERFLOW_ARG_AREA:%[^ ]+]] = load i8*, i8** [[OVERFLOW_ARG_AREA_PTR]] |
| 166 | // CHECK: [[RAW_MEM_ADDR:%[^ ]+]] = getelementptr i8, i8* [[OVERFLOW_ARG_AREA]], i64 0 |
| 167 | // CHECK: [[MEM_ADDR:%[^ ]+]] = bitcast i8* [[RAW_MEM_ADDR]] to <4 x i8>** |
| 168 | // CHECK: [[OVERFLOW_ARG_AREA2:%[^ ]+]] = getelementptr i8, i8* [[OVERFLOW_ARG_AREA]], i64 8 |
| 169 | // CHECK: store i8* [[OVERFLOW_ARG_AREA2]], i8** [[OVERFLOW_ARG_AREA_PTR]] |
| 170 | // CHECK: [[VA_ARG_ADDR:%[^ ]+]] = phi <4 x i8>** [ [[REG_ADDR]], %{{.*}} ], [ [[MEM_ADDR]], %{{.*}} ] |
| 171 | // CHECK: [[INDIRECT_ARG:%[^ ]+]] = load <4 x i8>*, <4 x i8>** [[VA_ARG_ADDR]] |
| 172 | // CHECK: ret void |
Ulrich Weigand | 759449c | 2015-03-30 13:49:01 +0000 | [diff] [blame] | 173 | |
| 174 | v8i8 va_v8i8(__builtin_va_list l) { return __builtin_va_arg(l, v8i8); } |
| 175 | // CHECK-LABEL: define void @va_v8i8(<8 x i8>* noalias sret %{{.*}}, %struct.__va_list_tag* %{{.*}}) |
Ulrich Weigand | 283ad7d | 2015-03-30 18:08:50 +0000 | [diff] [blame^] | 176 | // CHECK: [[REG_COUNT_PTR:%[^ ]+]] = getelementptr inbounds %struct.__va_list_tag, %struct.__va_list_tag* %{{.*}}, i32 0, i32 0 |
| 177 | // CHECK: [[REG_COUNT:%[^ ]+]] = load i64, i64* [[REG_COUNT_PTR]] |
| 178 | // CHECK: [[FITS_IN_REGS:%[^ ]+]] = icmp ult i64 [[REG_COUNT]], 5 |
| 179 | // CHECK: br i1 [[FITS_IN_REGS]], |
| 180 | // CHECK: [[SCALED_REG_COUNT:%[^ ]+]] = mul i64 [[REG_COUNT]], 8 |
| 181 | // CHECK: [[REG_OFFSET:%[^ ]+]] = add i64 [[SCALED_REG_COUNT]], 16 |
| 182 | // CHECK: [[REG_SAVE_AREA_PTR:%[^ ]+]] = getelementptr inbounds %struct.__va_list_tag, %struct.__va_list_tag* %{{.*}}, i32 0, i32 3 |
| 183 | // CHECK: [[REG_SAVE_AREA:%[^ ]+]] = load i8*, i8** [[REG_SAVE_AREA_PTR:[^ ]+]] |
| 184 | // CHECK: [[RAW_REG_ADDR:%[^ ]+]] = getelementptr i8, i8* [[REG_SAVE_AREA]], i64 [[REG_OFFSET]] |
| 185 | // CHECK: [[REG_ADDR:%[^ ]+]] = bitcast i8* [[RAW_REG_ADDR]] to <8 x i8>** |
| 186 | // CHECK: [[REG_COUNT1:%[^ ]+]] = add i64 [[REG_COUNT]], 1 |
| 187 | // CHECK: store i64 [[REG_COUNT1]], i64* [[REG_COUNT_PTR]] |
| 188 | // CHECK: [[OVERFLOW_ARG_AREA_PTR:%[^ ]+]] = getelementptr inbounds %struct.__va_list_tag, %struct.__va_list_tag* %{{.*}}, i32 0, i32 2 |
| 189 | // CHECK: [[OVERFLOW_ARG_AREA:%[^ ]+]] = load i8*, i8** [[OVERFLOW_ARG_AREA_PTR]] |
| 190 | // CHECK: [[RAW_MEM_ADDR:%[^ ]+]] = getelementptr i8, i8* [[OVERFLOW_ARG_AREA]], i64 0 |
| 191 | // CHECK: [[MEM_ADDR:%[^ ]+]] = bitcast i8* [[RAW_MEM_ADDR]] to <8 x i8>** |
| 192 | // CHECK: [[OVERFLOW_ARG_AREA2:%[^ ]+]] = getelementptr i8, i8* [[OVERFLOW_ARG_AREA]], i64 8 |
| 193 | // CHECK: store i8* [[OVERFLOW_ARG_AREA2]], i8** [[OVERFLOW_ARG_AREA_PTR]] |
| 194 | // CHECK: [[VA_ARG_ADDR:%[^ ]+]] = phi <8 x i8>** [ [[REG_ADDR]], %{{.*}} ], [ [[MEM_ADDR]], %{{.*}} ] |
| 195 | // CHECK: [[INDIRECT_ARG:%[^ ]+]] = load <8 x i8>*, <8 x i8>** [[VA_ARG_ADDR]] |
| 196 | // CHECK: ret void |
Ulrich Weigand | 759449c | 2015-03-30 13:49:01 +0000 | [diff] [blame] | 197 | |
| 198 | v16i8 va_v16i8(__builtin_va_list l) { return __builtin_va_arg(l, v16i8); } |
| 199 | // CHECK-LABEL: define void @va_v16i8(<16 x i8>* noalias sret %{{.*}}, %struct.__va_list_tag* %{{.*}}) |
Ulrich Weigand | 283ad7d | 2015-03-30 18:08:50 +0000 | [diff] [blame^] | 200 | // CHECK: [[REG_COUNT_PTR:%[^ ]+]] = getelementptr inbounds %struct.__va_list_tag, %struct.__va_list_tag* %{{.*}}, i32 0, i32 0 |
| 201 | // CHECK: [[REG_COUNT:%[^ ]+]] = load i64, i64* [[REG_COUNT_PTR]] |
| 202 | // CHECK: [[FITS_IN_REGS:%[^ ]+]] = icmp ult i64 [[REG_COUNT]], 5 |
| 203 | // CHECK: br i1 [[FITS_IN_REGS]], |
| 204 | // CHECK: [[SCALED_REG_COUNT:%[^ ]+]] = mul i64 [[REG_COUNT]], 8 |
| 205 | // CHECK: [[REG_OFFSET:%[^ ]+]] = add i64 [[SCALED_REG_COUNT]], 16 |
| 206 | // CHECK: [[REG_SAVE_AREA_PTR:%[^ ]+]] = getelementptr inbounds %struct.__va_list_tag, %struct.__va_list_tag* %{{.*}}, i32 0, i32 3 |
| 207 | // CHECK: [[REG_SAVE_AREA:%[^ ]+]] = load i8*, i8** [[REG_SAVE_AREA_PTR:[^ ]+]] |
| 208 | // CHECK: [[RAW_REG_ADDR:%[^ ]+]] = getelementptr i8, i8* [[REG_SAVE_AREA]], i64 [[REG_OFFSET]] |
| 209 | // CHECK: [[REG_ADDR:%[^ ]+]] = bitcast i8* [[RAW_REG_ADDR]] to <16 x i8>** |
| 210 | // CHECK: [[REG_COUNT1:%[^ ]+]] = add i64 [[REG_COUNT]], 1 |
| 211 | // CHECK: store i64 [[REG_COUNT1]], i64* [[REG_COUNT_PTR]] |
| 212 | // CHECK: [[OVERFLOW_ARG_AREA_PTR:%[^ ]+]] = getelementptr inbounds %struct.__va_list_tag, %struct.__va_list_tag* %{{.*}}, i32 0, i32 2 |
| 213 | // CHECK: [[OVERFLOW_ARG_AREA:%[^ ]+]] = load i8*, i8** [[OVERFLOW_ARG_AREA_PTR]] |
| 214 | // CHECK: [[RAW_MEM_ADDR:%[^ ]+]] = getelementptr i8, i8* [[OVERFLOW_ARG_AREA]], i64 0 |
| 215 | // CHECK: [[MEM_ADDR:%[^ ]+]] = bitcast i8* [[RAW_MEM_ADDR]] to <16 x i8>** |
| 216 | // CHECK: [[OVERFLOW_ARG_AREA2:%[^ ]+]] = getelementptr i8, i8* [[OVERFLOW_ARG_AREA]], i64 8 |
| 217 | // CHECK: store i8* [[OVERFLOW_ARG_AREA2]], i8** [[OVERFLOW_ARG_AREA_PTR]] |
| 218 | // CHECK: [[VA_ARG_ADDR:%[^ ]+]] = phi <16 x i8>** [ [[REG_ADDR]], %{{.*}} ], [ [[MEM_ADDR]], %{{.*}} ] |
| 219 | // CHECK: [[INDIRECT_ARG:%[^ ]+]] = load <16 x i8>*, <16 x i8>** [[VA_ARG_ADDR]] |
| 220 | // CHECK: ret void |
Ulrich Weigand | 759449c | 2015-03-30 13:49:01 +0000 | [diff] [blame] | 221 | |
| 222 | v32i8 va_v32i8(__builtin_va_list l) { return __builtin_va_arg(l, v32i8); } |
| 223 | // CHECK-LABEL: define void @va_v32i8(<32 x i8>* noalias sret %{{.*}}, %struct.__va_list_tag* %{{.*}}) |
Ulrich Weigand | 283ad7d | 2015-03-30 18:08:50 +0000 | [diff] [blame^] | 224 | // CHECK: [[REG_COUNT_PTR:%[^ ]+]] = getelementptr inbounds %struct.__va_list_tag, %struct.__va_list_tag* %{{.*}}, i32 0, i32 0 |
| 225 | // CHECK: [[REG_COUNT:%[^ ]+]] = load i64, i64* [[REG_COUNT_PTR]] |
| 226 | // CHECK: [[FITS_IN_REGS:%[^ ]+]] = icmp ult i64 [[REG_COUNT]], 5 |
| 227 | // CHECK: br i1 [[FITS_IN_REGS]], |
| 228 | // CHECK: [[SCALED_REG_COUNT:%[^ ]+]] = mul i64 [[REG_COUNT]], 8 |
| 229 | // CHECK: [[REG_OFFSET:%[^ ]+]] = add i64 [[SCALED_REG_COUNT]], 16 |
| 230 | // CHECK: [[REG_SAVE_AREA_PTR:%[^ ]+]] = getelementptr inbounds %struct.__va_list_tag, %struct.__va_list_tag* %{{.*}}, i32 0, i32 3 |
| 231 | // CHECK: [[REG_SAVE_AREA:%[^ ]+]] = load i8*, i8** [[REG_SAVE_AREA_PTR:[^ ]+]] |
| 232 | // CHECK: [[RAW_REG_ADDR:%[^ ]+]] = getelementptr i8, i8* [[REG_SAVE_AREA]], i64 [[REG_OFFSET]] |
| 233 | // CHECK: [[REG_ADDR:%[^ ]+]] = bitcast i8* [[RAW_REG_ADDR]] to <32 x i8>** |
| 234 | // CHECK: [[REG_COUNT1:%[^ ]+]] = add i64 [[REG_COUNT]], 1 |
| 235 | // CHECK: store i64 [[REG_COUNT1]], i64* [[REG_COUNT_PTR]] |
| 236 | // CHECK: [[OVERFLOW_ARG_AREA_PTR:%[^ ]+]] = getelementptr inbounds %struct.__va_list_tag, %struct.__va_list_tag* %{{.*}}, i32 0, i32 2 |
| 237 | // CHECK: [[OVERFLOW_ARG_AREA:%[^ ]+]] = load i8*, i8** [[OVERFLOW_ARG_AREA_PTR]] |
| 238 | // CHECK: [[RAW_MEM_ADDR:%[^ ]+]] = getelementptr i8, i8* [[OVERFLOW_ARG_AREA]], i64 0 |
| 239 | // CHECK: [[MEM_ADDR:%[^ ]+]] = bitcast i8* [[RAW_MEM_ADDR]] to <32 x i8>** |
| 240 | // CHECK: [[OVERFLOW_ARG_AREA2:%[^ ]+]] = getelementptr i8, i8* [[OVERFLOW_ARG_AREA]], i64 8 |
| 241 | // CHECK: store i8* [[OVERFLOW_ARG_AREA2]], i8** [[OVERFLOW_ARG_AREA_PTR]] |
| 242 | // CHECK: [[VA_ARG_ADDR:%[^ ]+]] = phi <32 x i8>** [ [[REG_ADDR]], %{{.*}} ], [ [[MEM_ADDR]], %{{.*}} ] |
| 243 | // CHECK: [[INDIRECT_ARG:%[^ ]+]] = load <32 x i8>*, <32 x i8>** [[VA_ARG_ADDR]] |
| 244 | // CHECK: ret void |
Ulrich Weigand | 759449c | 2015-03-30 13:49:01 +0000 | [diff] [blame] | 245 | |