[Bug tree-optimization/126567] [17 Regression] Wrong code with factor_out_conditional_load and inline-asm with infinite loop

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

--- Comment #3 from Drea Pinski <pinskia at gcc dot gnu.org> ---
Though I think there is a missing ICE check here as the vuse of MEM_3 in the
load does not dominiate the vdef of MEM_8 but we don't notice that because
there was no phi:
```
  <bb 2> [local count: 10631108]:
  if (c_2(D) !=3D 0)
    goto <bb 3>; [50.00%]
  else
    goto <bb 4>; [50.00%]

  <bb 3> [local count: 5315554]:
  # .MEM_8 =3D VDEF <.MEM_3(D)>
  *p_6(D) =3D 7;

  <bb 4> [local count: 10631108]:
  # _11 =3D PHI <p_6(D)(3), r_4(D)(2)>
  # VUSE <.MEM_3(D)>
  v_10 =3D *_11;
  _1 =3D want_9(D) !=3D v_10;
```

Let me first add that checking=