Hi Paul, I have the impression that you are trying to open open doors :-) : If IIUC what Denis aims to do is to segment the re-organization of the back-end into several independent small steps. One step will be the cc0 -> CC_mode issue he is addressing now. The splitting issue would be one of the following steps. One will have to verify this point, but it seems that only the splitting issue requires accurate tracking of all the clobbers/settings of the condition code.
In my opinion segmenting the rework of the back-end would indeed be the best approach, also because I expect that the instruction patterns *with* splitting will be fairly different. E.g. I do not think that the "addsi3" will be present any more. So it would be probably a lot of useless work to add all of the clobbers for instruction patterns that are likely to vanish in the near future. Yours, Björn