compiler: run scalarizer and lower atomics passes

eurecom-s3 / symcc

SymCC: efficient compiler-based symbolic execution

http://www.s3.eurecom.fr/tools/symbolic_execution/symcc.html

GNU General Public License v3.0

771 stars 137 forks source link

compiler: run scalarizer and lower atomics passes #127

Closed sebastianpoeplau closed 1 year ago

sebastianpoeplau commented 1 year ago

The scalarizer pass removes most (currently unsupported) vector instructions. The loweratomic pass replaces atomic instructions with non-atomic operations.

Split from #76.