[Bug tree-optimization/126557] [graphite] Different output with -O3 -fgraphite-identity and [[assume]], assumptions verified by assert build

[bouncy12578 at gmail dot com via Gcc-bugs]

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

--- Comment #1 from bouncy12578 at gmail dot com ---
Created attachment 65201
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=65201&action=edit
The driver func.ll file