search

PRUNERS / archer

Archer, a data race detection tool for large OpenMP applications
https://pruners.github.io/archer
Apache License 2.0
62 stars 13 forks source link

AVX Intrinsic SegF #40

Open rolandschulz opened 7 years ago

rolandschulz commented 7 years ago

Given:

#include <x86intrin.h>
int main() {
    __m256 x = _mm256_set1_ps(1);
    return 0;
}

And Archer (dc4e3632485) build with out of source with LLVM 4.0 and OMP-TR4 I get:

1.      <eof> parser at end of file
2.      Per-function optimization
3.      Running pass 'InstrumentParallel' on function '@_mm256_set1_ps'
clang-4.0: error: unable to execute command: Segmentation fault (core dumped)
jprotze commented 7 years ago

This code seems to work with upstream TSan. I think the error reffers to the versioning code for parallel regions. @simoatze do you think this can behandled with a general approach?