| //@ revisions: pass fail |
| //@ no-prefer-dynamic |
| //@ needs-enzyme |
| //@[pass] build-pass |
| //@[fail] build-fail |
| //@[pass] compile-flags: -Zunstable-options -Zoffload=Enable -Clto=fat --emit=metadata |
| //@[fail] compile-flags: -Clto=thin |
| |
| //[fail]~? ERROR: using the offload feature requires -Z offload=Enable |
| //[fail]~? ERROR: using the offload feature requires -C lto=fat |
| |
| #![feature(core_intrinsics)] |
| |
| fn main() { |
| let mut x = [3.0; 256]; |
| kernel_1(&mut x); |
| } |
| |
| fn kernel_1(x: &mut [f32; 256]) { |
| core::intrinsics::offload(_kernel_1, (x,)) |
| } |
| |
| fn _kernel_1(x: &mut [f32; 256]) {} |
