[PoisonChecking] Add validation rules for "exact" on sdiv/udiv
authorPhilip Reames <listmail@philipreames.com>
Tue, 9 Jul 2019 18:56:41 +0000 (18:56 +0000)
committerPhilip Reames <listmail@philipreames.com>
Tue, 9 Jul 2019 18:56:41 +0000 (18:56 +0000)
commit3b38b92541d78f4afba2d0bea737e53d2fae4511
tree61b2b689e4576d076d9ad1699dd6ce7f9a17a764
parent6a4c2e4f0a933f24b9f089e3804072f7733e38eb
[PoisonChecking] Add validation rules for "exact" on sdiv/udiv

As directly stated in the LangRef, no ambiguity here...

llvm-svn: 365538
llvm/lib/Transforms/Instrumentation/PoisonChecking.cpp
llvm/test/Instrumentation/PoisonChecking/basic-flag-validation.ll