Add async_work_group_strided_copy translation

I've overridden the libclc implementation, as that inserts a barrier, but as a translation missing errors originating from async_work_group_strided_copy are currently missed.

Id #34 | Release: None | Updated: Oct 7, 2014 at 2:15 PM by jketema | Created: Oct 7, 2014 at 2:15 PM by jketema

Start using the axioms that carry array information

For each global array Bugle generates an axiom, e.g. axiom {:array_info "$$in"} {:global} {:elem_width 8} {:source_name "in"} {:source_elem_width 32} {:source_dimensions "*"} true; These are curre...

Id #33 | Release: None | Updated: Sep 26, 2014 at 4:12 PM by jketema | Created: Sep 26, 2014 at 4:12 PM by jketema

Strided candidate invariants are not being generated in 64-bit mode

A number of kernels from the testsuite do not verify in 64-bit mode, because strided candidate invariants are not being generated.

Id #10 | Release: None | Updated: Aug 28, 2014 at 10:43 PM by jketema | Created: Dec 21, 2013 at 5:43 PM by jketema

  • 1-3 of 3 Work Items
    • Previous
    • 1
    • Next
    • Showing
    • All
    • Work Items