search

EnzymeAD / rust

A rust fork to work towards Enzyme integration
https://www.rust-lang.org
Other
72 stars 8 forks source link

Write more testcases for the fnc_tree parser #105

Open ZuseZ4 opened 8 months ago

ZuseZ4 commented 8 months ago

Those get handled incorrectly rn:


#[no_mangle]
fn mygn(a: (f64, f64, f64)) { unimplemented!() }

#[no_mangle]
fn myFn(a: [f64; 1]) { unimplemented!() }

#[no_mangle]
fn myDn(a: [f64; 2]) { unimplemented!() }

#[no_mangle]
fn myBn(a: (f64, i32)) { unimplemented!() }
ZuseZ4 commented 8 months ago

Also it would be lovely to just fuzz-test this parser, it should be easy enough to get it somewhat standalone (and it's probably the most correctness critical piece of Rust-Enzyme).