[Bug tree-optimization/92283] [10 Regression] 454.calculix miscomparison since r276645 with -O2 -march=znver2

[marxin at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92283

--- Comment #6 from Martin Liška <marxin at gcc dot gnu.org> ---
Created attachment 47132
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=47132&action=edit
Debugging patch

With the attached patch (and r276645) run succeeds.
If you change s/counter < 2/counter < 1/ then it fails.
Can you please Richi reproduce that locally?