Skip to content
Commit 4d97a914 authored by Nikita Popov's avatar Nikita Popov
Browse files

[SCEV] Use umin_seq for symbolic max BE count 

We were using umin_seq when computing the exact BE count, but not
when computing the symbolic max BE count.
parent d41b3bf7
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