[Bug tree-optimization/124460] `f = max<f, invariant>` (and min) not pulled out of a loop

[pinskia at gcc dot gnu.org]

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

--- Comment #6 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
(In reply to Hongtao Liu from comment #5)
> (In reply to Hongtao Liu from comment #4)
> > (In reply to Andrew Pinski from comment #3)
> > > Comment on attachment 63903 [details]
> > > A untested patch
> > > 
> > > AND_EXPR and IOR_EXPR should be handled in the same way; I think.
> > 
> > Yes.
> 
> I think there're some other bugzilla related to AND/IOR, and can be solved
> together

There is one for xor/~/- (NEG_EXPR: PR 114502, BIT_XOR: PR 112104,
BIT_NOT_EXPR: PR 98909) but I didn't see one for BIT_AND and BIT_IOR.

There is one for `!= 0` which is related to this one: PR 114230.