[llvm-bugs] [Bug 44957] New: Option to randomly shuffle instructions during compilation

via llvm-bugs llvm-bugs at lists.llvm.org
Tue Feb 18 13:07:53 PST 2020


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: unassignedclangbugs at nondot.org
          Reporter: iuri.chaer at gmail.com
                CC: blitzrakete at gmail.com, dgregor at apple.com,
                    erik.pilkington at gmail.com, llvm-bugs at lists.llvm.org,
                    richard-llvm at 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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20200218/33ef7a5d/attachment.html>


More information about the llvm-bugs mailing list