|
| 1 | +//@ revisions: z10 z10_vector z13 z13_no_vector |
| 2 | +// ignore-tidy-linelength |
| 3 | +//@ assembly-output: emit-asm |
| 4 | +//@ compile-flags: -O -Z merge-functions=disabled |
| 5 | +//@[z10] compile-flags: --target s390x-unknown-linux-gnu --cfg no_vector |
| 6 | +//@[z10] needs-llvm-components: systemz |
| 7 | +//@[z10_vector] compile-flags: --target s390x-unknown-linux-gnu -C target-feature=+vector |
| 8 | +//@[z10_vector] needs-llvm-components: systemz |
| 9 | +//@[z13] compile-flags: --target s390x-unknown-linux-gnu -C target-cpu=z13 |
| 10 | +//@[z13] needs-llvm-components: systemz |
| 11 | +//@[z13_no_vector] compile-flags: --target s390x-unknown-linux-gnu -C target-cpu=z13 -C target-feature=-vector --cfg no_vector |
| 12 | +//@[z13_no_vector] needs-llvm-components: systemz |
| 13 | + |
| 14 | +#![feature(no_core, lang_items, repr_simd, s390x_target_feature)] |
| 15 | +#![no_core] |
| 16 | +#![crate_type = "lib"] |
| 17 | +#![allow(non_camel_case_types)] |
| 18 | + |
| 19 | +// Cases where vector feature is disabled are rejected. |
| 20 | +// See tests/ui/simd-abi-checks-s390x.rs for test for them. |
| 21 | + |
| 22 | +#[lang = "sized"] |
| 23 | +pub trait Sized {} |
| 24 | +#[lang = "copy"] |
| 25 | +pub trait Copy {} |
| 26 | +#[lang = "freeze"] |
| 27 | +pub trait Freeze {} |
| 28 | + |
| 29 | +impl<T: Copy, const N: usize> Copy for [T; N] {} |
| 30 | + |
| 31 | +#[lang = "phantom_data"] |
| 32 | +pub struct PhantomData<T: ?Sized>; |
| 33 | +impl<T: ?Sized> Copy for PhantomData<T> {} |
| 34 | + |
| 35 | +#[repr(simd)] |
| 36 | +pub struct i8x8([i8; 8]); |
| 37 | +#[repr(simd)] |
| 38 | +pub struct i8x16([i8; 16]); |
| 39 | +#[repr(simd)] |
| 40 | +pub struct i8x32([i8; 32]); |
| 41 | +#[repr(C)] |
| 42 | +pub struct Wrapper<T>(T); |
| 43 | +#[repr(C)] |
| 44 | +pub struct WrapperWithZst<T>(T, PhantomData<()>); |
| 45 | +#[repr(transparent)] |
| 46 | +pub struct TransparentWrapper<T>(T); |
| 47 | + |
| 48 | +impl Copy for i8 {} |
| 49 | +impl Copy for i64 {} |
| 50 | +impl Copy for i8x8 {} |
| 51 | +impl Copy for i8x16 {} |
| 52 | +impl Copy for i8x32 {} |
| 53 | +impl<T: Copy> Copy for Wrapper<T> {} |
| 54 | +impl<T: Copy> Copy for WrapperWithZst<T> {} |
| 55 | +impl<T: Copy> Copy for TransparentWrapper<T> {} |
| 56 | + |
| 57 | +// CHECK-LABEL: vector_ret_small: |
| 58 | +// CHECK: vlrepg %v24, 0(%r2) |
| 59 | +// CHECK-NEXT: br %r14 |
| 60 | +#[cfg_attr(no_vector, target_feature(enable = "vector"))] |
| 61 | +#[no_mangle] |
| 62 | +unsafe extern "C" fn vector_ret_small(x: &i8x8) -> i8x8 { |
| 63 | + *x |
| 64 | +} |
| 65 | +// CHECK-LABEL: vector_ret: |
| 66 | +// CHECK: vl %v24, 0(%r2), 3 |
| 67 | +// CHECK-NEXT: br %r14 |
| 68 | +#[cfg_attr(no_vector, target_feature(enable = "vector"))] |
| 69 | +#[no_mangle] |
| 70 | +unsafe extern "C" fn vector_ret(x: &i8x16) -> i8x16 { |
| 71 | + *x |
| 72 | +} |
| 73 | +// CHECK-LABEL: vector_ret_large: |
| 74 | +// z10: vl %v0, 16(%r3), 4 |
| 75 | +// z10-NEXT: vl %v1, 0(%r3), 4 |
| 76 | +// z10-NEXT: vst %v0, 16(%r2), 4 |
| 77 | +// z10-NEXT: vst %v1, 0(%r2), 4 |
| 78 | +// z10-NEXT: br %r14 |
| 79 | +// z13: vl %v0, 0(%r3), 4 |
| 80 | +// z13-NEXT: vl %v1, 16(%r3), 4 |
| 81 | +// z13-NEXT: vst %v1, 16(%r2), 4 |
| 82 | +// z13-NEXT: vst %v0, 0(%r2), 4 |
| 83 | +// z13-NEXT: br %r14 |
| 84 | +#[cfg_attr(no_vector, target_feature(enable = "vector"))] |
| 85 | +#[no_mangle] |
| 86 | +unsafe extern "C" fn vector_ret_large(x: &i8x32) -> i8x32 { |
| 87 | + *x |
| 88 | +} |
| 89 | + |
| 90 | +// CHECK-LABEL: vector_wrapper_ret_small: |
| 91 | +// CHECK: mvc 0(8,%r2), 0(%r3) |
| 92 | +// CHECK-NEXT: br %r14 |
| 93 | +#[cfg_attr(no_vector, target_feature(enable = "vector"))] |
| 94 | +#[no_mangle] |
| 95 | +unsafe extern "C" fn vector_wrapper_ret_small(x: &Wrapper<i8x8>) -> Wrapper<i8x8> { |
| 96 | + *x |
| 97 | +} |
| 98 | +// CHECK-LABEL: vector_wrapper_ret: |
| 99 | +// CHECK: mvc 0(16,%r2), 0(%r3) |
| 100 | +// CHECK-NEXT: br %r14 |
| 101 | +#[cfg_attr(no_vector, target_feature(enable = "vector"))] |
| 102 | +#[no_mangle] |
| 103 | +unsafe extern "C" fn vector_wrapper_ret(x: &Wrapper<i8x16>) -> Wrapper<i8x16> { |
| 104 | + *x |
| 105 | +} |
| 106 | +// CHECK-LABEL: vector_wrapper_ret_large: |
| 107 | +// z10: vl %v0, 16(%r3), 4 |
| 108 | +// z10-NEXT: vl %v1, 0(%r3), 4 |
| 109 | +// z10-NEXT: vst %v0, 16(%r2), 4 |
| 110 | +// z10-NEXT: vst %v1, 0(%r2), 4 |
| 111 | +// z10-NEXT: br %r14 |
| 112 | +// z13: vl %v0, 16(%r3), 4 |
| 113 | +// z13-NEXT: vst %v0, 16(%r2), 4 |
| 114 | +// z13-NEXT: vl %v0, 0(%r3), 4 |
| 115 | +// z13-NEXT: vst %v0, 0(%r2), 4 |
| 116 | +// z13-NEXT: br %r14 |
| 117 | +#[cfg_attr(no_vector, target_feature(enable = "vector"))] |
| 118 | +#[no_mangle] |
| 119 | +unsafe extern "C" fn vector_wrapper_ret_large(x: &Wrapper<i8x32>) -> Wrapper<i8x32> { |
| 120 | + *x |
| 121 | +} |
| 122 | + |
| 123 | +// CHECK-LABEL: vector_wrapper_with_zst_ret_small: |
| 124 | +// CHECK: mvc 0(8,%r2), 0(%r3) |
| 125 | +// CHECK-NEXT: br %r14 |
| 126 | +#[cfg_attr(no_vector, target_feature(enable = "vector"))] |
| 127 | +#[no_mangle] |
| 128 | +unsafe extern "C" fn vector_wrapper_with_zst_ret_small(x: &WrapperWithZst<i8x8>) -> WrapperWithZst<i8x8> { |
| 129 | + *x |
| 130 | +} |
| 131 | +// CHECK-LABEL: vector_wrapper_with_zst_ret: |
| 132 | +// CHECK: mvc 0(16,%r2), 0(%r3) |
| 133 | +// CHECK-NEXT: br %r14 |
| 134 | +#[cfg_attr(no_vector, target_feature(enable = "vector"))] |
| 135 | +#[no_mangle] |
| 136 | +unsafe extern "C" fn vector_wrapper_with_zst_ret(x: &WrapperWithZst<i8x16>) -> WrapperWithZst<i8x16> { |
| 137 | + *x |
| 138 | +} |
| 139 | +// CHECK-LABEL: vector_wrapper_with_zst_ret_large: |
| 140 | +// z10: vl %v0, 16(%r3), 4 |
| 141 | +// z10-NEXT: vl %v1, 0(%r3), 4 |
| 142 | +// z10-NEXT: vst %v0, 16(%r2), 4 |
| 143 | +// z10-NEXT: vst %v1, 0(%r2), 4 |
| 144 | +// z10-NEXT: br %r14 |
| 145 | +// z13: vl %v0, 16(%r3), 4 |
| 146 | +// z13-NEXT: vst %v0, 16(%r2), 4 |
| 147 | +// z13-NEXT: vl %v0, 0(%r3), 4 |
| 148 | +// z13-NEXT: vst %v0, 0(%r2), 4 |
| 149 | +// z13-NEXT: br %r14 |
| 150 | +#[cfg_attr(no_vector, target_feature(enable = "vector"))] |
| 151 | +#[no_mangle] |
| 152 | +unsafe extern "C" fn vector_wrapper_with_zst_ret_large(x: &WrapperWithZst<i8x32>) -> WrapperWithZst<i8x32> { |
| 153 | + *x |
| 154 | +} |
| 155 | + |
| 156 | +// CHECK-LABEL: vector_transparent_wrapper_ret_small: |
| 157 | +// CHECK: vlrepg %v24, 0(%r2) |
| 158 | +// CHECK-NEXT: br %r14 |
| 159 | +#[cfg_attr(no_vector, target_feature(enable = "vector"))] |
| 160 | +#[no_mangle] |
| 161 | +unsafe extern "C" fn vector_transparent_wrapper_ret_small( |
| 162 | + x: &TransparentWrapper<i8x8>, |
| 163 | +) -> TransparentWrapper<i8x8> { |
| 164 | + *x |
| 165 | +} |
| 166 | +// CHECK-LABEL: vector_transparent_wrapper_ret: |
| 167 | +// CHECK: vl %v24, 0(%r2), 3 |
| 168 | +// CHECK-NEXT: br %r14 |
| 169 | +#[cfg_attr(no_vector, target_feature(enable = "vector"))] |
| 170 | +#[no_mangle] |
| 171 | +unsafe extern "C" fn vector_transparent_wrapper_ret( |
| 172 | + x: &TransparentWrapper<i8x16>, |
| 173 | +) -> TransparentWrapper<i8x16> { |
| 174 | + *x |
| 175 | +} |
| 176 | +// CHECK-LABEL: vector_transparent_wrapper_ret_large: |
| 177 | +// z10: vl %v0, 16(%r3), 4 |
| 178 | +// z10-NEXT: vl %v1, 0(%r3), 4 |
| 179 | +// z10-NEXT: vst %v0, 16(%r2), 4 |
| 180 | +// z10-NEXT: vst %v1, 0(%r2), 4 |
| 181 | +// z10-NEXT: br %r14 |
| 182 | +// z13: vl %v0, 0(%r3), 4 |
| 183 | +// z13-NEXT: vl %v1, 16(%r3), 4 |
| 184 | +// z13-NEXT: vst %v1, 16(%r2), 4 |
| 185 | +// z13-NEXT: vst %v0, 0(%r2), 4 |
| 186 | +// z13-NEXT: br %r14 |
| 187 | +#[cfg_attr(no_vector, target_feature(enable = "vector"))] |
| 188 | +#[no_mangle] |
| 189 | +unsafe extern "C" fn vector_transparent_wrapper_ret_large( |
| 190 | + x: &TransparentWrapper<i8x32>, |
| 191 | +) -> TransparentWrapper<i8x32> { |
| 192 | + *x |
| 193 | +} |
| 194 | + |
| 195 | +// CHECK-LABEL: vector_arg_small: |
| 196 | +// CHECK: vlgvg %r2, %v24, 0 |
| 197 | +// CHECK-NEXT: br %r14 |
| 198 | +#[cfg_attr(no_vector, target_feature(enable = "vector"))] |
| 199 | +#[no_mangle] |
| 200 | +unsafe extern "C" fn vector_arg_small(x: i8x8) -> i64 { |
| 201 | + unsafe { *(&x as *const i8x8 as *const i64) } |
| 202 | +} |
| 203 | +// CHECK-LABEL: vector_arg: |
| 204 | +// CHECK: vlgvg %r2, %v24, 0 |
| 205 | +// CHECK-NEXT: br %r14 |
| 206 | +#[cfg_attr(no_vector, target_feature(enable = "vector"))] |
| 207 | +#[no_mangle] |
| 208 | +unsafe extern "C" fn vector_arg(x: i8x16) -> i64 { |
| 209 | + unsafe { *(&x as *const i8x16 as *const i64) } |
| 210 | +} |
| 211 | +// CHECK-LABEL: vector_arg_large: |
| 212 | +// CHECK: lg %r2, 0(%r2) |
| 213 | +// CHECK-NEXT: br %r14 |
| 214 | +#[cfg_attr(no_vector, target_feature(enable = "vector"))] |
| 215 | +#[no_mangle] |
| 216 | +unsafe extern "C" fn vector_arg_large(x: i8x32) -> i64 { |
| 217 | + unsafe { *(&x as *const i8x32 as *const i64) } |
| 218 | +} |
| 219 | + |
| 220 | +// CHECK-LABEL: vector_wrapper_arg_small: |
| 221 | +// CHECK: vlgvg %r2, %v24, 0 |
| 222 | +// CHECK-NEXT: br %r14 |
| 223 | +#[cfg_attr(no_vector, target_feature(enable = "vector"))] |
| 224 | +#[no_mangle] |
| 225 | +unsafe extern "C" fn vector_wrapper_arg_small(x: Wrapper<i8x8>) -> i64 { |
| 226 | + unsafe { *(&x as *const Wrapper<i8x8> as *const i64) } |
| 227 | +} |
| 228 | +// CHECK-LABEL: vector_wrapper_arg: |
| 229 | +// CHECK: vlgvg %r2, %v24, 0 |
| 230 | +// CHECK-NEXT: br %r14 |
| 231 | +#[cfg_attr(no_vector, target_feature(enable = "vector"))] |
| 232 | +#[no_mangle] |
| 233 | +unsafe extern "C" fn vector_wrapper_arg(x: Wrapper<i8x16>) -> i64 { |
| 234 | + unsafe { *(&x as *const Wrapper<i8x16> as *const i64) } |
| 235 | +} |
| 236 | +// CHECK-LABEL: vector_wrapper_arg_large: |
| 237 | +// CHECK: lg %r2, 0(%r2) |
| 238 | +// CHECK-NEXT: br %r14 |
| 239 | +#[cfg_attr(no_vector, target_feature(enable = "vector"))] |
| 240 | +#[no_mangle] |
| 241 | +unsafe extern "C" fn vector_wrapper_arg_large(x: Wrapper<i8x32>) -> i64 { |
| 242 | + unsafe { *(&x as *const Wrapper<i8x32> as *const i64) } |
| 243 | +} |
| 244 | + |
| 245 | +// CHECK-LABEL: vector_wrapper_with_zst_arg_small: |
| 246 | +// CHECK: vlgvg %r2, %v24, 0 |
| 247 | +// CHECK-NEXT: br %r14 |
| 248 | +#[cfg_attr(no_vector, target_feature(enable = "vector"))] |
| 249 | +#[no_mangle] |
| 250 | +unsafe extern "C" fn vector_wrapper_with_zst_arg_small(x: WrapperWithZst<i8x8>) -> i64 { |
| 251 | + unsafe { *(&x as *const WrapperWithZst<i8x8> as *const i64) } |
| 252 | +} |
| 253 | +// CHECK-LABEL: vector_wrapper_with_zst_arg: |
| 254 | +// CHECK: vlgvg %r2, %v24, 0 |
| 255 | +// CHECK-NEXT: br %r14 |
| 256 | +#[cfg_attr(no_vector, target_feature(enable = "vector"))] |
| 257 | +#[no_mangle] |
| 258 | +unsafe extern "C" fn vector_wrapper_with_zst_arg(x: WrapperWithZst<i8x16>) -> i64 { |
| 259 | + unsafe { *(&x as *const WrapperWithZst<i8x16> as *const i64) } |
| 260 | +} |
| 261 | +// CHECK-LABEL: vector_wrapper_with_zst_arg_large: |
| 262 | +// CHECK: lg %r2, 0(%r2) |
| 263 | +// CHECK-NEXT: br %r14 |
| 264 | +#[cfg_attr(no_vector, target_feature(enable = "vector"))] |
| 265 | +#[no_mangle] |
| 266 | +unsafe extern "C" fn vector_wrapper_with_zst_arg_large(x: WrapperWithZst<i8x32>) -> i64 { |
| 267 | + unsafe { *(&x as *const WrapperWithZst<i8x32> as *const i64) } |
| 268 | +} |
| 269 | + |
| 270 | +// CHECK-LABEL: vector_transparent_wrapper_arg_small: |
| 271 | +// CHECK: vlgvg %r2, %v24, 0 |
| 272 | +// CHECK-NEXT: br %r14 |
| 273 | +#[cfg_attr(no_vector, target_feature(enable = "vector"))] |
| 274 | +#[no_mangle] |
| 275 | +unsafe extern "C" fn vector_transparent_wrapper_arg_small(x: TransparentWrapper<i8x8>) -> i64 { |
| 276 | + unsafe { *(&x as *const TransparentWrapper<i8x8> as *const i64) } |
| 277 | +} |
| 278 | +// CHECK-LABEL: vector_transparent_wrapper_arg: |
| 279 | +// CHECK: vlgvg %r2, %v24, 0 |
| 280 | +// CHECK-NEXT: br %r14 |
| 281 | +#[cfg_attr(no_vector, target_feature(enable = "vector"))] |
| 282 | +#[no_mangle] |
| 283 | +unsafe extern "C" fn vector_transparent_wrapper_arg(x: TransparentWrapper<i8x16>) -> i64 { |
| 284 | + unsafe { *(&x as *const TransparentWrapper<i8x16> as *const i64) } |
| 285 | +} |
| 286 | +// CHECK-LABEL: vector_transparent_wrapper_arg_large: |
| 287 | +// CHECK: lg %r2, 0(%r2) |
| 288 | +// CHECK-NEXT: br %r14 |
| 289 | +#[cfg_attr(no_vector, target_feature(enable = "vector"))] |
| 290 | +#[no_mangle] |
| 291 | +unsafe extern "C" fn vector_transparent_wrapper_arg_large(x: TransparentWrapper<i8x32>) -> i64 { |
| 292 | + unsafe { *(&x as *const TransparentWrapper<i8x32> as *const i64) } |
| 293 | +} |
0 commit comments