HomePhabricator

[Tests] Add a test demonstrating a miscompile in the off-by-default loop-pred…

Description

[Tests] Add a test demonstrating a miscompile in the off-by-default loop-pred transform

Credit goes to Evgeny Brevnov for figuring out the problematic case.

Fuzzing probably also found it (lots of failures), but due to some silly infrastructure problems I hadn't gotten to the results before Evgeny hand reduced it from a benchmark.

Details

Committed
reamesMon, Oct 14, 12:49 PM
Parents
rL374811: [LoopIdiom] BCmp: loop exit count must not be wider than size_t that `bcmp`…
Branches
Unknown
Tags
Unknown