Markos Horro
Results
1
issues of
Markos Horro
Having the following snippet: ```python from sat.x86_sat.parse import * regex = "|".join( [ r"_mm256_set_epi32", r"_mm256_permutevar8x32_epi32", ] ) index = Var("index", "__m256i") intrinsics = parse_whitelist("sat/data-latest.xml", regex=regex) globals().update(intrinsics) print( check( _mm256_set_epi32(1, 1,...