Stefan Lemme

Fixed size arrays broken with -O3

1

The following code leads to correct results with -O2 but wrong with -O3 ```rust fn main() -> () { let N = 4; let mut A = [N:i32]; let mut...

```rust //minified repro sample fn rec_func_wrapper(n: i32) -> i32 { // an @ for rec_func() does not trigger the assertion, but causes full unrolling of the recursion fn rec_func(x: i32)...

Improve handling of dependency to Half

5

there are currently some shortcomings of the dependency management for Half * when not found the required find_package() in thorin just fails with an error message * when using AnyDSL_PKG_Half_AUTOBUILD=ON...