Skip to main content

ferray_core_macros/
lib.rs

1// ferray-core-macros: Procedural macros for ferray-core
2//
3// Implements:
4// - #[derive(FerrayRecord)] — generates FerrayRecord trait impl for #[repr(C)] structs
5// - s![] — NumPy-style slice indexing macro
6// - promoted_type!() — compile-time type promotion macro
7
8extern crate proc_macro;
9
10use proc_macro::TokenStream;
11use quote::quote;
12use syn::{Data, DeriveInput, Fields, parse_macro_input};
13
14// ---------------------------------------------------------------------------
15// #[derive(FerrayRecord)]
16// ---------------------------------------------------------------------------
17
18/// Derive macro that generates an `unsafe impl FerrayRecord` for a `#[repr(C)]` struct.
19///
20/// # Requirements
21/// - The struct must have `#[repr(C)]`.
22/// - All fields must implement `ferray_core::dtype::Element`.
23///
24/// # Generated code
25/// - `field_descriptors()` returns a static slice of `FieldDescriptor` with correct
26///   name, dtype, offset, and size for each field.
27/// - `record_size()` returns `std::mem::size_of::<Self>()`.
28#[proc_macro_derive(FerrayRecord)]
29pub fn derive_ferray_record(input: TokenStream) -> TokenStream {
30    let input = parse_macro_input!(input as DeriveInput);
31    match impl_ferray_record(&input) {
32        Ok(ts) => ts.into(),
33        Err(e) => e.to_compile_error().into(),
34    }
35}
36
37fn impl_ferray_record(input: &DeriveInput) -> syn::Result<proc_macro2::TokenStream> {
38    let name = &input.ident;
39
40    // Check for #[repr(C)]
41    let has_repr_c = input.attrs.iter().any(|attr| {
42        if !attr.path().is_ident("repr") {
43            return false;
44        }
45        let mut found = false;
46        let _ = attr.parse_nested_meta(|meta| {
47            if meta.path.is_ident("C") {
48                found = true;
49            }
50            Ok(())
51        });
52        found
53    });
54
55    if !has_repr_c {
56        return Err(syn::Error::new_spanned(
57            &input.ident,
58            "FerrayRecord requires #[repr(C)] on the struct",
59        ));
60    }
61
62    // Only works on structs with named fields
63    let fields = match &input.data {
64        Data::Struct(data_struct) => match &data_struct.fields {
65            Fields::Named(named) => &named.named,
66            _ => {
67                return Err(syn::Error::new_spanned(
68                    &input.ident,
69                    "FerrayRecord only supports structs with named fields",
70                ));
71            }
72        },
73        _ => {
74            return Err(syn::Error::new_spanned(
75                &input.ident,
76                "FerrayRecord can only be derived for structs",
77            ));
78        }
79    };
80
81    let field_count = fields.len();
82    let mut field_descriptors = Vec::with_capacity(field_count);
83
84    for field in fields.iter() {
85        let field_name = field.ident.as_ref().unwrap();
86        let field_name_str = field_name.to_string();
87        let field_ty = &field.ty;
88
89        field_descriptors.push(quote! {
90            ferray_core::record::FieldDescriptor {
91                name: #field_name_str,
92                dtype: <#field_ty as ferray_core::dtype::Element>::dtype(),
93                offset: std::mem::offset_of!(#name, #field_name),
94                size: std::mem::size_of::<#field_ty>(),
95            }
96        });
97    }
98
99    let (impl_generics, ty_generics, where_clause) = input.generics.split_for_impl();
100
101    let expanded = quote! {
102        unsafe impl #impl_generics ferray_core::record::FerrayRecord for #name #ty_generics #where_clause {
103            fn field_descriptors() -> &'static [ferray_core::record::FieldDescriptor] {
104                static FIELDS: std::sync::LazyLock<Vec<ferray_core::record::FieldDescriptor>> =
105                    std::sync::LazyLock::new(|| {
106                        vec![
107                            #(#field_descriptors),*
108                        ]
109                    });
110                &FIELDS
111            }
112
113            fn record_size() -> usize {
114                std::mem::size_of::<#name>()
115            }
116        }
117    };
118
119    Ok(expanded)
120}
121
122// ---------------------------------------------------------------------------
123// s![] macro — NumPy-style slice indexing
124// ---------------------------------------------------------------------------
125
126/// NumPy-style slice indexing macro.
127///
128/// Produces a `Vec<ferray_core::dtype::SliceInfoElem>` that can be passed
129/// to array slicing methods.
130///
131/// # Syntax
132/// - `s![0..3, 2]` — rows 0..3, column 2
133/// - `s![.., 0..;2]` — all rows, every-other column starting from 0
134/// - `s![1..5;2, ..]` — rows 1..5 step 2, all columns
135/// - `s![3]` — single integer index
136/// - `s![..]` — all elements along this axis
137/// - `s![2..]` — from index 2 to end
138/// - `s![..5]` — from start to index 5
139/// - `s![1..5]` — from index 1 to 5
140/// - `s![1..5;2]` — from index 1 to 5, step 2
141///
142/// Each component in the comma-separated list becomes one `SliceInfoElem`.
143#[proc_macro]
144pub fn s(input: TokenStream) -> TokenStream {
145    let input2: proc_macro2::TokenStream = input.into();
146    let expanded = impl_s_macro(input2);
147    match expanded {
148        Ok(ts) => ts.into(),
149        Err(e) => e.to_compile_error().into(),
150    }
151}
152
153fn impl_s_macro(input: proc_macro2::TokenStream) -> syn::Result<proc_macro2::TokenStream> {
154    // We parse the input as a sequence of comma-separated slice expressions.
155    // Each expression can be:
156    //   - An integer literal or expression: `2` -> Index(2)
157    //   - A full range `..` -> Slice { start: 0, end: None, step: 1 }
158    //   - A range `a..b` -> Slice { start: a, end: Some(b), step: 1 }
159    //   - A range from `a..` -> Slice { start: a, end: None, step: 1 }
160    //   - A range to `..b` -> Slice { start: 0, end: Some(b), step: 1 }
161    //   - Any of the above with `;step` suffix
162    //
163    // We'll output code that constructs a Vec<SliceInfoElem>.
164    //
165    // Since proc macros can't easily parse arbitrary Rust expressions with range syntax
166    // mixed with custom `;step` syntax, we'll use a simpler token-based approach.
167
168    let input_str = input.to_string();
169
170    // Handle empty input
171    if input_str.trim().is_empty() {
172        return Ok(quote! {
173            ::std::vec::Vec::<ferray_core::dtype::SliceInfoElem>::new()
174        });
175    }
176
177    // Split by commas (respecting parentheses/brackets nesting)
178    let components = split_top_level_commas(&input_str);
179    let mut elems = Vec::new();
180
181    for component in &components {
182        let trimmed = component.trim();
183        if trimmed.is_empty() {
184            continue;
185        }
186        elems.push(parse_slice_component(trimmed)?);
187    }
188
189    Ok(quote! {
190        vec![#(#elems),*]
191    })
192}
193
194fn split_top_level_commas(s: &str) -> Vec<String> {
195    let mut result = Vec::new();
196    let mut current = String::new();
197    let mut depth = 0i32;
198
199    for ch in s.chars() {
200        match ch {
201            '(' | '[' | '{' => {
202                depth += 1;
203                current.push(ch);
204            }
205            ')' | ']' | '}' => {
206                depth -= 1;
207                current.push(ch);
208            }
209            ',' if depth == 0 => {
210                result.push(current.clone());
211                current.clear();
212            }
213            _ => {
214                current.push(ch);
215            }
216        }
217    }
218    if !current.is_empty() {
219        result.push(current);
220    }
221    result
222}
223
224fn parse_slice_component(s: &str) -> syn::Result<proc_macro2::TokenStream> {
225    let trimmed = s.trim();
226
227    // Check for step suffix: `expr;step`
228    let (range_part, step_part) = if let Some(idx) = trimmed.rfind(';') {
229        let (rp, sp) = trimmed.split_at(idx);
230        (rp.trim(), Some(sp[1..].trim()))
231    } else {
232        (trimmed, None)
233    };
234
235    let step_expr = if let Some(step_str) = step_part {
236        let step_tokens: proc_macro2::TokenStream = step_str.parse().map_err(|_| {
237            syn::Error::new(
238                proc_macro2::Span::call_site(),
239                format!("invalid step expression: {step_str}"),
240            )
241        })?;
242        quote! { #step_tokens }
243    } else {
244        quote! { 1isize }
245    };
246
247    // Now parse range_part
248    if range_part == ".." {
249        // Full range: all elements
250        return Ok(quote! {
251            ferray_core::dtype::SliceInfoElem::Slice {
252                start: 0,
253                end: ::core::option::Option::None,
254                step: #step_expr,
255            }
256        });
257    }
258
259    if let Some(rest) = range_part.strip_prefix("..") {
260        // RangeTo: ..end
261        let end_tokens: proc_macro2::TokenStream = rest.parse().map_err(|_| {
262            syn::Error::new(
263                proc_macro2::Span::call_site(),
264                format!("invalid end expression: {rest}"),
265            )
266        })?;
267        return Ok(quote! {
268            ferray_core::dtype::SliceInfoElem::Slice {
269                start: 0,
270                end: ::core::option::Option::Some(#end_tokens),
271                step: #step_expr,
272            }
273        });
274    }
275
276    if let Some(idx) = range_part.find("..") {
277        let start_str = range_part[..idx].trim();
278        let end_str = range_part[idx + 2..].trim();
279
280        let start_tokens: proc_macro2::TokenStream = start_str.parse().map_err(|_| {
281            syn::Error::new(
282                proc_macro2::Span::call_site(),
283                format!("invalid start expression: {start_str}"),
284            )
285        })?;
286
287        if end_str.is_empty() {
288            // RangeFrom: start..
289            return Ok(quote! {
290                ferray_core::dtype::SliceInfoElem::Slice {
291                    start: #start_tokens,
292                    end: ::core::option::Option::None,
293                    step: #step_expr,
294                }
295            });
296        }
297
298        let end_tokens: proc_macro2::TokenStream = end_str.parse().map_err(|_| {
299            syn::Error::new(
300                proc_macro2::Span::call_site(),
301                format!("invalid end expression: {end_str}"),
302            )
303        })?;
304
305        return Ok(quote! {
306            ferray_core::dtype::SliceInfoElem::Slice {
307                start: #start_tokens,
308                end: ::core::option::Option::Some(#end_tokens),
309                step: #step_expr,
310            }
311        });
312    }
313
314    // No `..` found — this is a single index (integer expression)
315    if step_part.is_some() {
316        return Err(syn::Error::new(
317            proc_macro2::Span::call_site(),
318            format!("step ';' is not valid for integer indices: {trimmed}"),
319        ));
320    }
321
322    let idx_tokens: proc_macro2::TokenStream = range_part.parse().map_err(|_| {
323        syn::Error::new(
324            proc_macro2::Span::call_site(),
325            format!("invalid index expression: {range_part}"),
326        )
327    })?;
328
329    Ok(quote! {
330        ferray_core::dtype::SliceInfoElem::Index(#idx_tokens)
331    })
332}
333
334// ---------------------------------------------------------------------------
335// promoted_type!() — compile-time type promotion
336// ---------------------------------------------------------------------------
337
338/// Compile-time type promotion macro.
339///
340/// Given two numeric types, resolves to the smallest type that can represent
341/// both without precision loss, following NumPy's promotion rules.
342///
343/// # Examples
344/// ```ignore
345/// type R = promoted_type!(f32, f64); // R = f64
346/// type R = promoted_type!(i32, f32); // R = f64
347/// type R = promoted_type!(u8, i8);   // R = i16
348/// ```
349#[proc_macro]
350pub fn promoted_type(input: TokenStream) -> TokenStream {
351    let input2: proc_macro2::TokenStream = input.into();
352    match impl_promoted_type(input2) {
353        Ok(ts) => ts.into(),
354        Err(e) => e.to_compile_error().into(),
355    }
356}
357
358fn impl_promoted_type(input: proc_macro2::TokenStream) -> syn::Result<proc_macro2::TokenStream> {
359    let input_str = input.to_string();
360    let parts: Vec<&str> = input_str.split(',').map(|s| s.trim()).collect();
361
362    if parts.len() != 2 {
363        return Err(syn::Error::new(
364            proc_macro2::Span::call_site(),
365            "promoted_type! expects exactly two type arguments: promoted_type!(T1, T2)",
366        ));
367    }
368
369    let t1 = normalize_type(parts[0]);
370    let t2 = normalize_type(parts[1]);
371
372    let result = promote_types_static(&t1, &t2).ok_or_else(|| {
373        syn::Error::new(
374            proc_macro2::Span::call_site(),
375            format!("cannot promote types: {t1} and {t2}"),
376        )
377    })?;
378
379    let result_tokens: proc_macro2::TokenStream = result.parse().map_err(|_| {
380        syn::Error::new(
381            proc_macro2::Span::call_site(),
382            format!("internal error: could not parse result type: {result}"),
383        )
384    })?;
385
386    Ok(result_tokens)
387}
388
389fn normalize_type(s: &str) -> String {
390    // Normalize Complex<f32> / Complex<f64> / num_complex::Complex<f32> etc.
391    s.trim().replace(' ', "")
392}
393
394/// Static type promotion following NumPy rules.
395///
396/// Returns the promoted type as a string, or None if unknown.
397fn promote_types_static(a: &str, b: &str) -> Option<&'static str> {
398    // Assign a numeric "kind + rank" to each type, then pick the larger.
399    //
400    // NumPy promotion hierarchy (simplified):
401    //   bool < u8 < u16 < u32 < u64 < u128
402    //   bool < i8 < i16 < i32 < i64 < i128
403    //   f32 < f64
404    //   Complex<f32> < Complex<f64>
405    //
406    // Cross-kind rules:
407    //   unsigned + signed -> next-size signed (e.g. u8 + i8 -> i16)
408    //   any int + float -> float (ensure enough precision)
409    //   any real + complex -> complex with appropriate float size
410
411    let ra = type_rank(a)?;
412    let rb = type_rank(b)?;
413
414    Some(promote_ranks(ra, rb))
415}
416
417#[derive(Clone, Copy, PartialEq, Eq)]
418enum TypeKind {
419    Bool,
420    Unsigned,
421    Signed,
422    Float,
423    Complex,
424}
425
426#[derive(Clone, Copy)]
427struct TypeRank {
428    kind: TypeKind,
429    /// Bit width within the kind (e.g., 8 for u8, 32 for f32, etc.)
430    bits: u32,
431}
432
433fn type_rank(s: &str) -> Option<TypeRank> {
434    let result = match s {
435        "bool" => TypeRank {
436            kind: TypeKind::Bool,
437            bits: 1,
438        },
439        "u8" => TypeRank {
440            kind: TypeKind::Unsigned,
441            bits: 8,
442        },
443        "u16" => TypeRank {
444            kind: TypeKind::Unsigned,
445            bits: 16,
446        },
447        "u32" => TypeRank {
448            kind: TypeKind::Unsigned,
449            bits: 32,
450        },
451        "u64" => TypeRank {
452            kind: TypeKind::Unsigned,
453            bits: 64,
454        },
455        "u128" => TypeRank {
456            kind: TypeKind::Unsigned,
457            bits: 128,
458        },
459        "i8" => TypeRank {
460            kind: TypeKind::Signed,
461            bits: 8,
462        },
463        "i16" => TypeRank {
464            kind: TypeKind::Signed,
465            bits: 16,
466        },
467        "i32" => TypeRank {
468            kind: TypeKind::Signed,
469            bits: 32,
470        },
471        "i64" => TypeRank {
472            kind: TypeKind::Signed,
473            bits: 64,
474        },
475        "i128" => TypeRank {
476            kind: TypeKind::Signed,
477            bits: 128,
478        },
479        "f32" => TypeRank {
480            kind: TypeKind::Float,
481            bits: 32,
482        },
483        "f64" => TypeRank {
484            kind: TypeKind::Float,
485            bits: 64,
486        },
487        "Complex<f32>" | "num_complex::Complex<f32>" => TypeRank {
488            kind: TypeKind::Complex,
489            bits: 32,
490        },
491        "Complex<f64>" | "num_complex::Complex<f64>" => TypeRank {
492            kind: TypeKind::Complex,
493            bits: 64,
494        },
495        _ => return None,
496    };
497    Some(result)
498}
499
500fn promote_ranks(a: TypeRank, b: TypeRank) -> &'static str {
501    use TypeKind::*;
502
503    // Same type
504    if a.kind == b.kind && a.bits == b.bits {
505        return rank_to_type(a);
506    }
507
508    // Handle Bool: bool promotes to anything
509    if a.kind == Bool {
510        return rank_to_type(b);
511    }
512    if b.kind == Bool {
513        return rank_to_type(a);
514    }
515
516    // Complex + anything -> Complex with max float precision
517    if a.kind == Complex || b.kind == Complex {
518        let float_bits_a = to_float_bits(a);
519        let float_bits_b = to_float_bits(b);
520        let bits = float_bits_a.max(float_bits_b);
521        return if bits <= 32 {
522            "num_complex::Complex<f32>"
523        } else {
524            "num_complex::Complex<f64>"
525        };
526    }
527
528    // Float + anything -> Float with enough precision
529    if a.kind == Float || b.kind == Float {
530        let float_bits_a = to_float_bits(a);
531        let float_bits_b = to_float_bits(b);
532        let bits = float_bits_a.max(float_bits_b);
533        return if bits <= 32 { "f32" } else { "f64" };
534    }
535
536    // Now both are integer types (Unsigned or Signed)
537    match (a.kind, b.kind) {
538        (Unsigned, Unsigned) => {
539            let bits = a.bits.max(b.bits);
540            uint_type(bits)
541        }
542        (Signed, Signed) => {
543            let bits = a.bits.max(b.bits);
544            int_type(bits)
545        }
546        (Unsigned, Signed) | (Signed, Unsigned) => {
547            let (u, s) = if a.kind == Unsigned { (a, b) } else { (b, a) };
548            // unsigned + signed: need a signed type that holds both ranges
549            // u8 + i8 -> i16, u16 + i16 -> i32, etc.
550            if u.bits < s.bits {
551                // Signed type is strictly larger, it can hold the unsigned range
552                int_type(s.bits)
553            } else {
554                // Need the next larger signed type
555                let needed = u.bits.max(s.bits) * 2;
556                if needed <= 128 {
557                    int_type(needed)
558                } else {
559                    // Fall back to f64 when we exceed i128
560                    "f64"
561                }
562            }
563        }
564        _ => "f64", // fallback
565    }
566}
567
568/// Convert any type rank to the float bit width it requires.
569fn to_float_bits(r: TypeRank) -> u32 {
570    match r.kind {
571        TypeKind::Bool => 32,
572        TypeKind::Unsigned | TypeKind::Signed => {
573            // Integers up to 24-bit mantissa fit in f32 (i.e., i8, i16, u8, u16).
574            // Larger integers need f64 (53-bit mantissa).
575            if r.bits <= 16 { 32 } else { 64 }
576        }
577        TypeKind::Float => r.bits,
578        TypeKind::Complex => r.bits,
579    }
580}
581
582fn uint_type(bits: u32) -> &'static str {
583    match bits {
584        8 => "u8",
585        16 => "u16",
586        32 => "u32",
587        64 => "u64",
588        128 => "u128",
589        _ => "u64",
590    }
591}
592
593fn int_type(bits: u32) -> &'static str {
594    match bits {
595        8 => "i8",
596        16 => "i16",
597        32 => "i32",
598        64 => "i64",
599        128 => "i128",
600        _ => "i64",
601    }
602}
603
604fn rank_to_type(r: TypeRank) -> &'static str {
605    match r.kind {
606        TypeKind::Bool => "bool",
607        TypeKind::Unsigned => uint_type(r.bits),
608        TypeKind::Signed => int_type(r.bits),
609        TypeKind::Float => {
610            if r.bits <= 32 {
611                "f32"
612            } else {
613                "f64"
614            }
615        }
616        TypeKind::Complex => {
617            if r.bits <= 32 {
618                "num_complex::Complex<f32>"
619            } else {
620                "num_complex::Complex<f64>"
621            }
622        }
623    }
624}