Skip to content
Unverified Commit 43a59be4 authored by Roman Lebedev's avatar Roman Lebedev
Browse files

[CVP] Expand bound `udiv`'s, symmetrically with `urem`'s 

Symmetrical with the `urem` case, added in 66efb986.

Simple case: https://alive2.llvm.org/ce/z/gRumLd / https://alive2.llvm.org/ce/z/rxEeC5
Second variant of precondition: https://alive2.llvm.org/ce/z/cAm9TD
parent 51da0dc2
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please to comment