Ralender

simple changes to operation order causes XRT to return incorrect result

7

The provided test case is mostly automatically generated from an issue found in our runtime build on top of XRT. depending on when the xrt::bo is created XRT will either...

XRT stay stuck while destroying an xrt::bo

3

The provided test case is mostly automatically generated from an issue found in our runtime build on top of XRT. steps to reproduce: ``` > export XCL_EMULATION_MODE=hw_emu > unzip reprod.zip...

[SYCL] hls's libspir contains unoptimized IR and some buggy IR

4

This is an HLS bug not a trisycl bug the library is located at $XILINX_ROOT/Vitis/2020.1/lnx64/lib/libspir64-39-hls.bc and is shipped as part of Vitis it isn't optimized, which increases build time and...

also fix a few compiler crashes with annotations.

Failing to assume invariants on field when unfolding a struct

4

Why is the following program considered not safe ? ```rust struct A { val: u32, } impl A { fn f(&mut self) -> () { if self.val == 0 {...