// Test: cost_model = "cycles" with a small loop under budget
use redline::redline;

#[redline(latency = "< 500cycles", cost_model = "cycles", allocs = 0)]
fn sum_array(data: &[f32]) -> f32 {
    let mut s: f32 = 0.0;
    for i in 0..10 {
        s += data[i];
    }
    s
}

fn main() {}
