Siddharth Priya
Siddharth Priya
We currently turn `slp-vectorize` off during `seaopt` slp-vectorization turns the following pattern (from [here](https://sourcegraph.com/github.com/awslabs/aws-c-common/-/blob/source/hash_table.c?L644&subtree=true)) ``` while(1) { if(...) break; state->slots[index] = state->slots[next_index]; } ``` to ``` while(1) { if(...) break;...
other changes are format only
Details: 1. Process intrinsics for ownership using ownsem.h for high level semantics and set_fatptr_slot and get_fatptr_slot for low-level semantics. 1.1 Repurpose fatmemmgr for this. Specifically, allow user to set number...
`Kani` exposes alloc size through an API call. This is used in https://github.com/seahorn/verify-rust/blob/1d997625f4da3dce1d42cb1277885fb8f9cc0e22/src/rust-jobs/smallvec-allocation/lib.rs#L2286 to report that `__rust_dealloc` is called on a ptr with different size than expected. `seabmc` should expose...
A program flow like ``` %x: bool = ... verifier.assert(%x) br %x, continue_bb, verifier_error_bb ``` is simplified by opt by reasoning that `%x` is always true ``` verifier.assert(true) br continue_bb...
The build tool in `CMake` build is hardcoded to `make`: https://github.com/reframe-hpc/reframe/blob/cb4a2ac751c0f19637d735e4009dd20518d3a2af/reframe/core/buildsystems.py#L603 Can this be made user configurable?