https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109088
--- Comment #21 from JuzheZhong <juzhe.zhong at rivai dot ai> --- Thanks Richi. Does re-associating (with eliminating exceptions) in if-convert is a reasonable approach ? If yes, I am gonna to revisit this PR on GCC-15 and refine the codes.