On October 9, 2021 5:26:17 AM GMT+02:00, Alexandre Oliva <ol...@adacore.com> wrote: >Hello, Jakub, > >On Oct 4, 2021, Jakub Jelinek <ja...@redhat.com> wrote: > >> Finally, patch2, the shortest patch, uses MO_VAL_SET whenever destination >> is not sp and otherwise drops the micro-operation on the floor. > >That sounds quite reasonable to me, and it is indeed my favorite of the >3 proposed patches, because the mapping of locations to values is kept >most accurate.
What I thought as well. Thus, OK. Richard. >Thanks! >