https://bugs.llvm.org/show_bug.cgi?id=44957
Bug ID: 44957
Summary: Option to randomly shuffle instructions during
compilation
Product: clang
Version: unspecified
Hardware: All
OS: All
Status: NEW
Severity: enhancement
Priority: P
Component: C++
Assignee: unassignedclangb...@nondot.org
Reporter: iuri.ch...@gmail.com
CC: blitzrak...@gmail.com, dgre...@apple.com,
erik.pilking...@gmail.com, llvm-bugs@lists.llvm.org,
richard-l...@metafoo.co.uk
I would like to fuzz my lock-free code to improve my confidence in its
correctness. For that, it would be truly awesome if the compiler offered an
option like:
-shuffle-instruction-order=<seed>
The idea is akin to fuzzing: instructions would be randomly shuffled in legal
ways during the optimization phase. The idea is to bruteforce hidden undefined
behavior out of lock-free code, it could help answer questions like "do I have
all the barriers I need?", and "are my transactions well-defined?".
--
You are receiving this mail because:
You are on the CC list for the bug._______________________________________________
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
