--- /dev/null
+/* ARM DESCRIPTOR TABLE FOR ACK TARGET OPTIMISER */
+
+MAXOP 5;
+MAXLINELEN 50;
+
+%%;
+
+ZERO {strcmp(VAL,"#0") ==0};
+CONST,C1,C2,C3,C4 {VAL[0] == '#'};
+REG,REG1,REG2 {is_register(VAL)};
+LAB {VAL[0] == 'I'};
+LL,X,Y,Z,W,LOG1,LOG2 {TRUE};
+XX {no_side_effects(VAL)};
+YY,ZZ,VV,WW {TRUE};
+RL11 {is_reglist_11(VAL)};
+RL1,RL2,RL3,RL4 {is_reglist1(VAL)};
+RL13 {is_local(VAL)};
+X1,X2,Y1,Y2,Z1,Z2,V1,V2 {TRUE};
+
+%%;
+
+/* save space */
+ADD REG,REG,ZERO -> ;
+MOV REG, REG -> ;
+STMFD R12<,X:LDMFD R12<,X -> ;
+CMP REG,REG:BNE X1 -> ;
+MOV REG,ZERO : ADD REG,REG,CONST -> MOV REG,CONST;
+STR REG,XX,Y : LDR REG,XX,Y -> STR REG,XX,Y;
+LDR REG,XX,Y: STMFD R12<,Z:LDR REG,XX,Y -> LDR REG,XX,Y : STMFD R12<,Z;
+LDR REG,XX,Y: STMFD R12<,Z,W:LDR REG,XX,Y -> LDR REG,XX,Y : STMFD R12<,Z,W;
+STR REG,XX : LDR REG,XX -> STR REG,XX;
+LDR REG,XX : STMFD R12<,Z:LDR REG,XX -> LDR REG,XX : STMFD R12<,Z;
+LDR REG,XX : STMFD R12<,Z,W:LDR REG,XX -> LDR REG,XX : STMFD R12<,Z,W;
+MOV REG, #-2147483648:RSB REG,REG,ZERO -> MOV REG,#-2147483648;
+ADD R12,X,Y : MOV R12,R13 -> MOV R12,R13;
+MOV R11,REG:STMFD R12<,R11 -> STMFD R12<,REG;
+MOV REG,ZERO:MOV REG1,REG,LSR#8:
+SUB REG,REG,REG1,LSL#8 -> MOV REG,ZERO;
+
+/* conditionals */
+SUB.S REG,X,Y : CMP REG,ZERO -> SUB.S REG,X,Y;
+ADD.S REG,X,Y : CMP REG,ZERO -> ADD.S REG,X,Y;
+ORR.S REG,X,Y : CMP REG,ZERO -> ORR.S REG,X,Y;
+AND.S REG,X,Y : CMP REG,ZERO -> AND.S REG,X,Y;
+EOR.S REG,X,Y : CMP REG,ZERO -> EOR.S REG,X,Y;
+
+SUB REG,X,Y : CMP REG,ZERO -> SUB.S REG,X,Y;
+ADD REG,X,Y : CMP REG,ZERO -> ADD.S REG,X,Y;
+ORR REG,X,Y : CMP REG,ZERO -> ORR.S REG,X,Y;
+AND REG,X,Y : CMP REG,ZERO -> AND.S REG,X,Y;
+EOR REG,X,Y : CMP REG,ZERO -> EOR.S REG,X,Y;
+
+/* speed increase */
+STR REG,XX,Y : LDR REG1,XX,Y
+ {is_unequal(REG,REG1)} -> STR REG,XX,Y : MOV REG1,REG;
+LDR REG,XX,Y : LDR REG1,XX,Y
+ {is_unequal(REG,REG1)} -> LDR REG,XX,Y : MOV REG1,REG;
+STR REG,X : LDR REG1,X
+ {is_unequal(REG,REG1)} -> STR REG,X : MOV REG1,REG;
+LDR REG,X : LDR REG1,X
+ {is_unequal(REG,REG1)} -> LDR REG,X : MOV REG1,REG;
+
+LDR REG,XX,Y : STR REG,Z,W : LDR REG,XX,Y -> LDR REG,XX,Y : STR REG,Z,W;
+LDR REG,X : STR REG,Z,W : LDR REG,X -> LDR REG,X : STR REG,Z,W;
+
+MOV REG,C1 :STMFD R12<,X,Y : MOV REG,C1 -> MOV REG,C1 : STMFD R12<,X,Y;
+MOV REG,C1 :STR REG,X,Y : MOV REG,C1 -> MOV REG,C1 : STR REG,X,Y;
+MOV REG,C1 :STR REG,X : MOV REG,C1 -> MOV REG,C1 : STR REG,X;
+
+MOV REG, ZERO: ADD REG1,REG1,REG -> MOV REG,ZERO;
+MOV REG, ZERO: ADD REG,REG,CONST -> MOV REG,CONST;
+
+/* for loops */
+LDR REG,XX,Y:CMP REG,Z:
+BEQ LAB:LDR REG,XX,Y -> LDR REG,XX,Y:CMP REG,Z:BEQ LAB;
+
+/* illegal constant optimisation */
+MOV REG,CONST: RSB REG1,REG,#0
+ {is_byte(CONST,LOG1)} -> MVN REG1,#LOG1;
+
+MOV REG,CONST:ADD REG,REG,#65280:
+ADD REG,REG,#16711680:
+ADD REG,REG,#-16777216
+ {is_byte2(CONST,LOG1,LOG2)} -> MOV REG,#LOG1:
+ MOV REG,REG,ASR#LOG2;
+
+MOV REG,CONST:ADD REG,REG,#65280:
+ADD REG,REG,#16711680:
+ADD REG,REG,#-16777216:
+ADD REG1,REG1,REG
+ {is_byte2(CONST,LOG1,LOG2) && is_unequal(REG1,REG)}
+ -> MOV REG,#LOG1:
+ ADD REG1,REG1,REG,ASR#LOG2;
+
+/* combine ldm's and stm's */
+STMFD R12<, RL1: STMFD R12<, RL2
+ {is_greater(RL1,RL2,W)} -> STMFD R12<,W;
+LDMFD R12<, RL1: LDMFD R12<, RL2
+ {is_greater(RL2,RL1,W)} -> LDMFD R12<,W;
+
+/* unsigned comparisons */
+/*MOV.HI REG, #-1:MOV.LS REG, #1:
+MOV.EQ REG, #0:CMP REG, #0:BGT LAB -> BLS LAB;
+*/
+MOV.HI REG, #-1:MOV.LS REG, #1:
+MOV.EQ REG, #0:CMP REG, #0:BGE LAB -> BLS LAB /*: BEQ LAB */ ;
+MOV.HI REG, #-1:MOV.LS REG, #1:
+MOV.EQ REG, #0:CMP REG, #0:BLE LAB -> BHI LAB: BEQ LAB;
+MOV.HI REG, #-1:MOV.LS REG, #1:
+MOV.EQ REG, #0:CMP REG, #0:BLT LAB -> BHI LAB;
+
+MOV.HI REG, #1:MOV.LS REG, #-1:
+MOV.EQ REG, #0:CMP REG, #0:BGT LAB -> BHI LAB;
+MOV.HI REG, #1:MOV.LS REG, #-1:
+MOV.EQ REG, #0:CMP REG, #0:BGE LAB -> BHI LAB: BEQ LAB;
+MOV.HI REG, #1:MOV.LS REG, #-1:
+MOV.EQ REG, #0:CMP REG, #0:BLE LAB -> BLS LAB /*: BEQ LAB */ ;
+/*
+MOV.HI REG, #1:MOV.LS REG, #-1:
+MOV.EQ REG, #0:CMP REG, #0:BLT LAB -> BLS LAB;
+*/
+
+MOV REG,REG1:RSB REG,REG,ZERO
+ {is_unequal(REG,REG1)} -> RSB REG,REG1,ZERO;
+
+MOV REG,REG1:AND REG,REG,REG2
+ {is_unequal3(REG,REG1,REG2)} -> AND REG,REG1,REG2;
+MOV REG,REG1:ORR REG,REG,REG2
+ {is_unequal3(REG,REG1,REG2)} -> ORR REG,REG1,REG2;
+MOV REG,REG1:EOR REG,REG,REG2
+ {is_unequal3(REG,REG1,REG2)} -> EOR REG,REG1,REG2;
+
+/* combine successive pushes into one single multiple push */
+
+ANY R11,X1,X2 : STMFD R12<,RL11 :
+SUB R11,Y1,Y2 : STMFD R12<,RL11 : BAL.L LL
+ {is_lams(ANY) && list_f_10(WW)} ->
+ANY R11,X1,X2 : SUB R10,Y1,Y2 : STMFD R12<,WW : BAL.L LL ;
+
+ANY R11,X1 : STMFD R12<,RL11 :
+SUB R11,Y1,Y2 : STMFD R12<,RL11 : BAL.L LL
+ {is_lams(ANY) && list_f_10(WW)} ->
+ANY R11,X1 : SUB R10,Y1,Y2 : STMFD R12<,WW : BAL.L LL ;
+
+ANY R11,X1,X2 : STMFD R12<,RL11 :
+ADD R11,Y1,Y2 : STMFD R12<,RL11 : BAL.L LL
+ {is_lams(ANY) && list_f_10(WW)} ->
+ANY R11,X1,X2 : ADD R10,Y1,Y2 : STMFD R12<,WW : BAL.L LL ;
+
+ANY R11,X1 : STMFD R12<,RL11 :
+ADD R11,Y1,Y2 : STMFD R12<,RL11 : BAL.L LL
+ {is_lams(ANY) && list_f_10(WW)} ->
+ANY R11,X1 : ADD R10,Y1,Y2 : STMFD R12<,WW : BAL.L LL ;
+
+ANY R11,X1,X2 : STMFD R12<,RL11 :
+LDR R11,Y1,Y2 : STMFD R12<,RL11 : BAL.L LL
+ {is_lams(ANY) && list_f_10(WW)} ->
+ANY R11,X1,X2 : LDR R10,Y1,Y2 : STMFD R12<,WW : BAL.L LL ;
+
+ANY R11,X1 : STMFD R12<,RL11 :
+LDR R11,Y1,Y2 : STMFD R12<,RL11 : BAL.L LL
+ {is_lams(ANY) && list_f_10(WW)} ->
+ANY R11,X1 : LDR R10,Y1,Y2 : STMFD R12<,WW : BAL.L LL ;
+
+ANY R11,X1,X2 : STMFD R12<,RL11 :
+LDR R11,Y1 : STMFD R12<,RL11 : BAL.L LL
+ {is_lams(ANY) && list_f_10(WW)} ->
+ANY R11,X1,X2 : LDR R10,Y1 : STMFD R12<,WW : BAL.L LL ;
+
+ANY R11,X1 : STMFD R12<,RL11 :
+LDR R11,Y1 : STMFD R12<,RL11 : BAL.L LL
+ {is_lams(ANY) && list_f_10(WW)} ->
+ANY R11,X1 : LDR R10,Y1 : STMFD R12<,WW : BAL.L LL ;
+
+ANY R11,X1,X2 : STMFD R12<,RL11 :
+MOV R11,Y1 : STMFD R12<,RL11 : BAL.L LL
+ {is_lams(ANY) && list_f_10(WW)} ->
+ANY R11,X1,X2 : MOV R10,Y1 : STMFD R12<,WW : BAL.L LL ;
+
+ANY R11,X1 : STMFD R12<,RL11 :
+MOV R11,Y1 : STMFD R12<,RL11 : BAL.L LL
+ {is_lams(ANY) && list_f_10(WW)} ->
+ANY R11,X1 : MOV R10,Y1 : STMFD R12<,WW : BAL.L LL ;
+
+/* three push sequences */
+
+ANY R11,X1 : STMFD R12<,RL11 :
+SUB R11,Y1,Y2 : STMFD R12<,RL11 :
+SUB R11,Z1,Z2 : STMFD R12<,RL11 : BAL.L LL
+{ok_regcheck2(10,Z1,Z2) && list_f_9(WW)} ->
+ANY R11,X1 : SUB R10,Y1,Y2 : SUB R9,Z1,Z2 : STMFD R12<,WW : BAL.L LL ;
+
+ANY R11,X1 : STMFD R12<,RL11 :
+SUB R11,Y1,Y2 : STMFD R12<,RL11 :
+LDR R11,Z1,Z2 : STMFD R12<,RL11 : BAL.L LL
+{ok_regcheck2(10,Z1,Z2) && list_f_9(WW)} ->
+ANY R11,X1 : SUB R10,Y1,Y2 : LDR R9,Z1,Z2 : STMFD R12<,WW : BAL.L LL ;
+
+ANY R11,X1 : STMFD R12<,RL11 :
+SUB R11,Y1,Y2 : STMFD R12<,RL11 :
+MOV R11,Z1 : STMFD R12<,RL11 : BAL.L LL
+{ ok_regcheck1(10,Z1) && list_f_9(WW)} ->
+ANY R11,X1 : SUB R10,Y1,Y2 : MOV R9,Z1 : STMFD R12<,WW : BAL.L LL ;
+
+ANY R11,X1 : STMFD R12<,RL11 :
+LDR R11,Y1,Y2 : STMFD R12<,RL11 :
+SUB R11,Z1,Z2 : STMFD R12<,RL11 : BAL.L LL
+{ ok_regcheck2(10,Z1,Z2) && list_f_9(WW)} ->
+ANY R11,X1 : LDR R10,Y1,Y2 : SUB R9,Z1,Z2 : STMFD R12<,WW : BAL.L LL ;
+
+ANY R11,X1 : STMFD R12<,RL11 :
+LDR R11,Y1,Y2 : STMFD R12<,RL11 :
+LDR R11,Z1,Z2 : STMFD R12<,RL11 : BAL.L LL
+{ ok_regcheck2(10,Z1,Z2) && list_f_9(WW)} ->
+ANY R11,X1 : LDR R10,Y1,Y2 : LDR R9,Z1,Z2 : STMFD R12<,WW : BAL.L LL ;
+
+ANY R11,X1 : STMFD R12<,RL11 :
+LDR R11,Y1,Y2 : STMFD R12<,RL11 :
+MOV R11,Z1 : STMFD R12<,RL11 : BAL.L LL
+{ ok_regcheck1(10,Z1) && list_f_9(WW)} ->
+ANY R11,X1 : LDR R10,Y1,Y2 : MOV R9,Z1 : STMFD R12<,WW : BAL.L LL ;
+
+ANY R11,X1 : STMFD R12<,RL11 :
+MOV R11,Y1 : STMFD R12<,RL11 :
+SUB R11,Z1,Z2 : STMFD R12<,RL11 : BAL.L LL
+{ ok_regcheck2(10,Z1,Z2) && list_f_9(WW)} ->
+ANY R11,X1 : MOV R10,Y1 : SUB R9,Z1,Z2 : STMFD R12<,WW : BAL.L LL ;
+
+ANY R11,X1 : STMFD R12<,RL11 :
+MOV R11,Y1 : STMFD R12<,RL11 :
+LDR R11,Z1,Z2 : STMFD R12<,RL11 : BAL.L LL
+{ ok_regcheck2(10,Z1,Z2) && list_f_9(WW)} ->
+ANY R11,X1 : MOV R10,Y1 : LDR R9,Z1,Z2 : STMFD R12<,WW : BAL.L LL ;
+
+ANY R11,X1 : STMFD R12<,RL11 :
+MOV R11,Y1 : STMFD R12<,RL11 :
+MOV R11,Z1 : STMFD R12<,RL11 : BAL.L LL
+{ ok_regcheck1(10,Z1) && list_f_9(WW)} ->
+ANY R11,X1 : MOV R10,Y1 : MOV R9,Z1 : STMFD R12<,WW : BAL.L LL ;
+
+ANY R11,X1,X2 : STMFD R12<,RL11 :
+SUB R11,Y1,Y2 : STMFD R12<,RL11 :
+SUB R11,Z1,Z2 : STMFD R12<,RL11 : BAL.L LL
+{ ok_regcheck2(10,Z1,Z2) && list_f_9(WW)} ->
+ANY R11,X1,X2 : SUB R10,Y1,Y2 : SUB R9,Z1,Z2 : STMFD R12<,WW : BAL.L LL ;
+
+ANY R11,X1,X2 : STMFD R12<,RL11 :
+SUB R11,Y1,Y2 : STMFD R12<,RL11 :
+LDR R11,Z1,Z2 : STMFD R12<,RL11 : BAL.L LL
+{ ok_regcheck2(10,Z1,Z2) && list_f_9(WW)} ->
+ANY R11,X1,X2 : SUB R10,Y1,Y2 : LDR R9,Z1,Z2 : STMFD R12<,WW : BAL.L LL ;
+
+ANY R11,X1,X2 : STMFD R12<,RL11 :
+SUB R11,Y1,Y2 : STMFD R12<,RL11 :
+MOV R11,Z1 : STMFD R12<,RL11 : BAL.L LL
+{ ok_regcheck1(10,Z1) && list_f_9(WW)} ->
+ANY R11,X1,X2 : SUB R10,Y1,Y2 : MOV R9,Z1 : STMFD R12<,WW : BAL.L LL ;
+
+ANY R11,X1,X2 : STMFD R12<,RL11 :
+LDR R11,Y1,Y2 : STMFD R12<,RL11 :
+SUB R11,Z1,Z2 : STMFD R12<,RL11 : BAL.L LL
+{ ok_regcheck2(10,Z1,Z2) && list_f_9(WW)} ->
+ANY R11,X1,X2 : LDR R10,Y1,Y2 : SUB R9,Z1,Z2 : STMFD R12<,WW : BAL.L LL ;
+
+ANY R11,X1,X2 : STMFD R12<,RL11 :
+LDR R11,Y1,Y2 : STMFD R12<,RL11 :
+LDR R11,Z1,Z2 : STMFD R12<,RL11 : BAL.L LL
+{ ok_regcheck2(10,Z1,Z2) && list_f_9(WW)} ->
+ANY R11,X1,X2 : LDR R10,Y1,Y2 : LDR R9,Z1,Z2 : STMFD R12<,WW : BAL.L LL ;
+
+ANY R11,X1,X2 : STMFD R12<,RL11 :
+LDR R11,Y1,Y2 : STMFD R12<,RL11 :
+MOV R11,Z1 : STMFD R12<,RL11 : BAL.L LL
+{ ok_regcheck1(10,Z1) && list_f_9(WW)} ->
+ANY R11,X1,X2 : LDR R10,Y1,Y2 : MOV R9,Z1 : STMFD R12<,WW : BAL.L LL ;
+
+ANY R11,X1,X2 : STMFD R12<,RL11 :
+MOV R11,Y1 : STMFD R12<,RL11 :
+SUB R11,Z1,Z2 : STMFD R12<,RL11 : BAL.L LL
+{ ok_regcheck2(10,Z1,Z2) && list_f_9(WW)} ->
+ANY R11,X1,X2 : MOV R10,Y1 : SUB R9,Z1,Z2 : STMFD R12<,WW : BAL.L LL ;
+
+ANY R11,X1,X2 : STMFD R12<,RL11 :
+MOV R11,Y1 : STMFD R12<,RL11 :
+LDR R11,Z1,Z2 : STMFD R12<,RL11 : BAL.L LL
+{ ok_regcheck2(10,Z1,Z2) && list_f_9(WW)} ->
+ANY R11,X1,X2 : MOV R10,Y1 : LDR R9,Z1,Z2 : STMFD R12<,WW : BAL.L LL ;
+
+ANY R11,X1,X2 : STMFD R12<,RL11 :
+MOV R11,Y1 : STMFD R12<,RL11 :
+MOV R11,Z1 : STMFD R12<,RL11 : BAL.L LL
+{ ok_regcheck1(10,Z1) && list_f_9(WW)} ->
+ANY R11,X1,X2 : MOV R10,Y1 : MOV R9,Z1 : STMFD R12<,WW : BAL.L LL ;
+
+/* four push sequences */
+
+ANY R11,X1 : STMFD R12<,RL11 :
+SUB R11,Y1,Y2 : STMFD R12<,RL11 :
+SUB R11,Z1,Z2 : STMFD R12<,RL11 :
+SUB R11,V1,V2 : STMFD R12<,RL11 : BAL.L LL
+{ok_regcheck2(9,V1,V2) && ok_regcheck4(10,Z1,Z2,V1,V2) && list_f_8(WW)} ->
+ANY R11,X1 : SUB R10,Y1,Y2 : SUB R9,Z1,Z2 : SUB R8,V1,V2 : STMFD R12<,WW : BAL.L LL ;
+
+ANY R11,X1 : STMFD R12<,RL11 :
+SUB R11,Y1,Y2 : STMFD R12<,RL11 :
+SUB R11,Z1,Z2 : STMFD R12<,RL11 :
+LDR R11,V1,V2 : STMFD R12<,RL11 : BAL.L LL
+{ok_regcheck2(9,V1,V2) && ok_regcheck4(10,Z1,Z2,V1,V2) && list_f_8(WW)} ->
+ANY R11,X1 : SUB R10,Y1,Y2 : SUB R9,Z1,Z2 : LDR R8,V1,V2 : STMFD R12<,WW : BAL.L LL ;
+
+ANY R11,X1 : STMFD R12<,RL11 :
+SUB R11,Y1,Y2 : STMFD R12<,RL11 :
+SUB R11,Z1,Z2 : STMFD R12<,RL11 :
+MOV R11,V1 : STMFD R12<,RL11 : BAL.L LL
+{ok_regcheck1(9,V1) && ok_regcheck3(10,Z1,Z2,V1) && list_f_8(WW)} ->
+ANY R11,X1 : SUB R10,Y1,Y2 : SUB R9,Z1,Z2 : MOV R8,V1 : STMFD R12<,WW : BAL.L LL ;
+
+ANY R11,X1 : STMFD R12<,RL11 :
+SUB R11,Y1,Y2 : STMFD R12<,RL11 :
+LDR R11,Z1,Z2 : STMFD R12<,RL11 :
+SUB R11,V1,V2 : STMFD R12<,RL11 : BAL.L LL
+{ok_regcheck2(9,V1,V2) && ok_regcheck4(10,Z1,Z2,V1,V2) && list_f_8(WW)} ->
+ANY R11,X1 : SUB R10,Y1,Y2 : LDR R9,Z1,Z2 : SUB R8,V1,V2 : STMFD R12<,WW : BAL.L LL ;
+
+ANY R11,X1 : STMFD R12<,RL11 :
+SUB R11,Y1,Y2 : STMFD R12<,RL11 :
+LDR R11,Z1,Z2 : STMFD R12<,RL11 :
+LDR R11,V1,V2 : STMFD R12<,RL11 : BAL.L LL
+{ok_regcheck2(9,V1,V2) && ok_regcheck4(10,Z1,Z2,V1,V2) && list_f_8(WW)} ->
+ANY R11,X1 : SUB R10,Y1,Y2 : LDR R9,Z1,Z2 : LDR R8,V1,V2 : STMFD R12<,WW : BAL.L LL ;
+
+ANY R11,X1 : STMFD R12<,RL11 :
+SUB R11,Y1,Y2 : STMFD R12<,RL11 :
+LDR R11,Z1,Z2 : STMFD R12<,RL11 :
+MOV R11,V1 : STMFD R12<,RL11 : BAL.L LL
+{ok_regcheck1(9,V1) && ok_regcheck3(10,Z1,Z2,V1) && list_f_8(WW)} ->
+ANY R11,X1 : SUB R10,Y1,Y2 : LDR R9,Z1,Z2 : MOV R8,V1 : STMFD R12<,WW : BAL.L LL ;
+
+ANY R11,X1 : STMFD R12<,RL11 :
+SUB R11,Y1,Y2 : STMFD R12<,RL11 :
+MOV R11,Z1 : STMFD R12<,RL11 :
+SUB R11,V1,V2 : STMFD R12<,RL11 : BAL.L LL
+{ok_regcheck2(9,V1,V2) && ok_regcheck3(10,Z1,V1,V2) && list_f_8(WW)} ->
+ANY R11,X1 : SUB R10,Y1,Y2 : MOV R9,Z1 : SUB R8,V1,V2 : STMFD R12<,WW : BAL.L LL ;
+
+ANY R11,X1 : STMFD R12<,RL11 :
+SUB R11,Y1,Y2 : STMFD R12<,RL11 :
+MOV R11,Z1 : STMFD R12<,RL11 :
+LDR R11,V1,V2 : STMFD R12<,RL11 : BAL.L LL
+{ok_regcheck2(9,V1,V2) && ok_regcheck3(10,Z1,V1,V2) && list_f_8(WW)} ->
+ANY R11,X1 : SUB R10,Y1,Y2 : MOV R9,Z1 : LDR R8,V1,V2 : STMFD R12<,WW : BAL.L LL ;
+
+ANY R11,X1 : STMFD R12<,RL11 :
+SUB R11,Y1,Y2 : STMFD R12<,RL11 :
+MOV R11,Z1 : STMFD R12<,RL11 :
+MOV R11,V1 : STMFD R12<,RL11 : BAL.L LL
+{ok_regcheck1(9,V1) && ok_regcheck2(10,Z1,V1) && list_f_8(WW)} ->
+ANY R11,X1 : SUB R10,Y1,Y2 : MOV R9,Z1 : MOV R8,V1 : STMFD R12<,WW : BAL.L LL ;
+
+ANY R11,X1 : STMFD R12<,RL11 :
+LDR R11,Y1,Y2 : STMFD R12<,RL11 :
+SUB R11,Z1,Z2 : STMFD R12<,RL11 :
+SUB R11,V1,V2 : STMFD R12<,RL11 : BAL.L LL
+{ok_regcheck2(9,V1,V2) && ok_regcheck4(10,Z1,Z2,V1,V2) && list_f_8(WW)} ->
+ANY R11,X1 : LDR R10,Y1,Y2 : SUB R9,Z1,Z2 : SUB R8,V1,V2 : STMFD R12<,WW : BAL.L LL ;
+
+ANY R11,X1 : STMFD R12<,RL11 :
+LDR R11,Y1,Y2 : STMFD R12<,RL11 :
+SUB R11,Z1,Z2 : STMFD R12<,RL11 :
+LDR R11,V1,V2 : STMFD R12<,RL11 : BAL.L LL
+{ok_regcheck2(9,V1,V2) && ok_regcheck4(10,Z1,Z2,V1,V2) && list_f_8(WW)} ->
+ANY R11,X1 : LDR R10,Y1,Y2 : SUB R9,Z1,Z2 : LDR R8,V1,V2 : STMFD R12<,WW : BAL.L LL ;
+
+ANY R11,X1 : STMFD R12<,RL11 :
+LDR R11,Y1,Y2 : STMFD R12<,RL11 :
+SUB R11,Z1,Z2 : STMFD R12<,RL11 :
+MOV R11,V1 : STMFD R12<,RL11 : BAL.L LL
+{ok_regcheck1(9,V1) && ok_regcheck3(10,Z1,Z2,V1) && list_f_8(WW)} ->
+ANY R11,X1 : LDR R10,Y1,Y2 : SUB R9,Z1,Z2 : MOV R8,V1 : STMFD R12<,WW : BAL.L LL ;
+
+ANY R11,X1 : STMFD R12<,RL11 :
+LDR R11,Y1,Y2 : STMFD R12<,RL11 :
+LDR R11,Z1,Z2 : STMFD R12<,RL11 :
+SUB R11,V1,V2 : STMFD R12<,RL11 : BAL.L LL
+{ok_regcheck2(9,V1,V2) && ok_regcheck4(10,Z1,Z2,V1,V2) && list_f_8(WW)} ->
+ANY R11,X1 : LDR R10,Y1,Y2 : LDR R9,Z1,Z2 : SUB R8,V1,V2 : STMFD R12<,WW : BAL.L LL ;
+
+ANY R11,X1 : STMFD R12<,RL11 :
+LDR R11,Y1,Y2 : STMFD R12<,RL11 :
+LDR R11,Z1,Z2 : STMFD R12<,RL11 :
+LDR R11,V1,V2 : STMFD R12<,RL11 : BAL.L LL
+{ok_regcheck2(9,V1,V2) && ok_regcheck4(10,Z1,Z2,V1,V2) && list_f_8(WW)} ->
+ANY R11,X1 : LDR R10,Y1,Y2 : LDR R9,Z1,Z2 : LDR R8,V1,V2 : STMFD R12<,WW : BAL.L LL ;
+
+ANY R11,X1 : STMFD R12<,RL11 :
+LDR R11,Y1,Y2 : STMFD R12<,RL11 :
+LDR R11,Z1,Z2 : STMFD R12<,RL11 :
+MOV R11,V1 : STMFD R12<,RL11 : BAL.L LL
+{ok_regcheck1(9,V1) && ok_regcheck3(10,Z1,Z2,V1) && list_f_8(WW)} ->
+ANY R11,X1 : LDR R10,Y1,Y2 : LDR R9,Z1,Z2 : MOV R8,V1 : STMFD R12<,WW : BAL.L LL ;
+
+ANY R11,X1 : STMFD R12<,RL11 :
+LDR R11,Y1,Y2 : STMFD R12<,RL11 :
+MOV R11,Z1 : STMFD R12<,RL11 :
+SUB R11,V1,V2 : STMFD R12<,RL11 : BAL.L LL
+{ok_regcheck2(9,V1,V2) && ok_regcheck3(10,Z1,V1,V2) && list_f_8(WW)} ->
+ANY R11,X1 : LDR R10,Y1,Y2 : MOV R9,Z1 : SUB R8,V1,V2 : STMFD R12<,WW : BAL.L LL ;
+
+ANY R11,X1 : STMFD R12<,RL11 :
+LDR R11,Y1,Y2 : STMFD R12<,RL11 :
+MOV R11,Z1 : STMFD R12<,RL11 :
+LDR R11,V1,V2 : STMFD R12<,RL11 : BAL.L LL
+{ok_regcheck2(9,V1,V2) && ok_regcheck3(10,Z1,V1,V2) && list_f_8(WW)} ->
+ANY R11,X1 : LDR R10,Y1,Y2 : MOV R9,Z1 : LDR R8,V1,V2 : STMFD R12<,WW : BAL.L LL ;
+
+ANY R11,X1 : STMFD R12<,RL11 :
+LDR R11,Y1,Y2 : STMFD R12<,RL11 :
+MOV R11,Z1 : STMFD R12<,RL11 :
+MOV R11,V1 : STMFD R12<,RL11 : BAL.L LL
+{ok_regcheck1(9,V1) && ok_regcheck2(10,Z1,V1) && list_f_8(WW)} ->
+ANY R11,X1 : LDR R10,Y1,Y2 : MOV R9,Z1 : MOV R8,V1 : STMFD R12<,WW : BAL.L LL ;
+
+ANY R11,X1 : STMFD R12<,RL11 :
+MOV R11,Y1 : STMFD R12<,RL11 :
+SUB R11,Z1,Z2 : STMFD R12<,RL11 :
+SUB R11,V1,V2 : STMFD R12<,RL11 : BAL.L LL
+{ok_regcheck2(9,V1,V2) && ok_regcheck4(10,Z1,Z2,V1,V2) && list_f_8(WW)} ->
+ANY R11,X1 : MOV R10,Y1 : SUB R9,Z1,Z2 : SUB R8,V1,V2 : STMFD R12<,WW : BAL.L LL ;
+
+ANY R11,X1 : STMFD R12<,RL11 :
+MOV R11,Y1 : STMFD R12<,RL11 :
+SUB R11,Z1,Z2 : STMFD R12<,RL11 :
+LDR R11,V1,V2 : STMFD R12<,RL11 : BAL.L LL
+{ok_regcheck2(9,V1,V2) && ok_regcheck4(10,Z1,Z2,V1,V2) && list_f_8(WW)} ->
+ANY R11,X1 : MOV R10,Y1 : SUB R9,Z1,Z2 : LDR R8,V1,V2 : STMFD R12<,WW : BAL.L LL ;
+
+ANY R11,X1 : STMFD R12<,RL11 :
+MOV R11,Y1 : STMFD R12<,RL11 :
+SUB R11,Z1,Z2 : STMFD R12<,RL11 :
+MOV R11,V1 : STMFD R12<,RL11 : BAL.L LL
+{ok_regcheck1(9,V1) && ok_regcheck3(10,Z1,Z2,V1) && list_f_8(WW)} ->
+ANY R11,X1 : MOV R10,Y1 : SUB R9,Z1,Z2 : MOV R8,V1 : STMFD R12<,WW : BAL.L LL ;
+
+ANY R11,X1 : STMFD R12<,RL11 :
+MOV R11,Y1 : STMFD R12<,RL11 :
+LDR R11,Z1,Z2 : STMFD R12<,RL11 :
+SUB R11,V1,V2 : STMFD R12<,RL11 : BAL.L LL
+{ok_regcheck2(9,V1,V2) && ok_regcheck4(10,Z1,Z2,V1,V2) && list_f_8(WW)} ->
+ANY R11,X1 : MOV R10,Y1 : LDR R9,Z1,Z2 : SUB R8,V1,V2 : STMFD R12<,WW : BAL.L LL ;
+
+ANY R11,X1 : STMFD R12<,RL11 :
+MOV R11,Y1 : STMFD R12<,RL11 :
+LDR R11,Z1,Z2 : STMFD R12<,RL11 :
+LDR R11,V1,V2 : STMFD R12<,RL11 : BAL.L LL
+{ok_regcheck2(9,V1,V2) && ok_regcheck4(10,Z1,Z2,V1,V2) && list_f_8(WW)} ->
+ANY R11,X1 : MOV R10,Y1 : LDR R9,Z1,Z2 : LDR R8,V1,V2 : STMFD R12<,WW : BAL.L LL ;
+
+ANY R11,X1 : STMFD R12<,RL11 :
+MOV R11,Y1 : STMFD R12<,RL11 :
+LDR R11,Z1,Z2 : STMFD R12<,RL11 :
+MOV R11,V1 : STMFD R12<,RL11 : BAL.L LL
+{ok_regcheck1(9,V1) && ok_regcheck3(10,Z1,Z2,V1) && list_f_8(WW)} ->
+ANY R11,X1 : MOV R10,Y1 : LDR R9,Z1,Z2 : MOV R8,V1 : STMFD R12<,WW : BAL.L LL ;
+
+ANY R11,X1 : STMFD R12<,RL11 :
+MOV R11,Y1 : STMFD R12<,RL11 :
+MOV R11,Z1 : STMFD R12<,RL11 :
+SUB R11,V1,V2 : STMFD R12<,RL11 : BAL.L LL
+{ok_regcheck2(9,V1,V2) && ok_regcheck3(10,Z1,V1,V2) && list_f_8(WW)} ->
+ANY R11,X1 : MOV R10,Y1 : MOV R9,Z1 : SUB R8,V1,V2 : STMFD R12<,WW : BAL.L LL ;
+
+ANY R11,X1 : STMFD R12<,RL11 :
+MOV R11,Y1 : STMFD R12<,RL11 :
+MOV R11,Z1 : STMFD R12<,RL11 :
+LDR R11,V1,V2 : STMFD R12<,RL11 : BAL.L LL
+{ok_regcheck2(9,V1,V2) && ok_regcheck3(10,Z1,V1,V2) && list_f_8(WW)} ->
+ANY R11,X1 : MOV R10,Y1 : MOV R9,Z1 : LDR R8,V1,V2 : STMFD R12<,WW : BAL.L LL ;
+
+ANY R11,X1 : STMFD R12<,RL11 :
+MOV R11,Y1 : STMFD R12<,RL11 :
+MOV R11,Z1 : STMFD R12<,RL11 :
+MOV R11,V1 : STMFD R12<,RL11 : BAL.L LL
+{ok_regcheck1(9,V1) && ok_regcheck2(10,Z1,V1) && list_f_8(WW)} ->
+ANY R11,X1 : MOV R10,Y1 : MOV R9,Z1 : MOV R8,V1 : STMFD R12<,WW : BAL.L LL ;
+
+ANY R11,X1,X2 : STMFD R12<,RL11 :
+SUB R11,Y1,Y2 : STMFD R12<,RL11 :
+SUB R11,Z1,Z2 : STMFD R12<,RL11 :
+SUB R11,V1,V2 : STMFD R12<,RL11 : BAL.L LL
+{ok_regcheck2(9,V1,V2) && ok_regcheck4(10,Z1,Z2,V1,V2) && list_f_8(WW)} ->
+ANY R11,X1,X2 : SUB R10,Y1,Y2 : SUB R9,Z1,Z2 : SUB R8,V1,V2 : STMFD R12<,WW : BAL.L LL ;
+
+ANY R11,X1,X2 : STMFD R12<,RL11 :
+SUB R11,Y1,Y2 : STMFD R12<,RL11 :
+SUB R11,Z1,Z2 : STMFD R12<,RL11 :
+LDR R11,V1,V2 : STMFD R12<,RL11 : BAL.L LL
+{ok_regcheck2(9,V1,V2) && ok_regcheck4(10,Z1,Z2,V1,V2) && list_f_8(WW)} ->
+ANY R11,X1,X2 : SUB R10,Y1,Y2 : SUB R9,Z1,Z2 : LDR R8,V1,V2 : STMFD R12<,WW : BAL.L LL ;
+
+ANY R11,X1,X2 : STMFD R12<,RL11 :
+SUB R11,Y1,Y2 : STMFD R12<,RL11 :
+SUB R11,Z1,Z2 : STMFD R12<,RL11 :
+MOV R11,V1 : STMFD R12<,RL11 : BAL.L LL
+{ok_regcheck1(9,V1) && ok_regcheck3(10,Z1,Z2,V1) && list_f_8(WW)} ->
+ANY R11,X1,X2 : SUB R10,Y1,Y2 : SUB R9,Z1,Z2 : MOV R8,V1 : STMFD R12<,WW : BAL.L LL ;
+
+ANY R11,X1,X2 : STMFD R12<,RL11 :
+SUB R11,Y1,Y2 : STMFD R12<,RL11 :
+LDR R11,Z1,Z2 : STMFD R12<,RL11 :
+SUB R11,V1,V2 : STMFD R12<,RL11 : BAL.L LL
+{ok_regcheck2(9,V1,V2) && ok_regcheck4(10,Z1,Z2,V1,V2) && list_f_8(WW)} ->
+ANY R11,X1,X2 : SUB R10,Y1,Y2 : LDR R9,Z1,Z2 : SUB R8,V1,V2 : STMFD R12<,WW : BAL.L LL ;
+
+ANY R11,X1,X2 : STMFD R12<,RL11 :
+SUB R11,Y1,Y2 : STMFD R12<,RL11 :
+LDR R11,Z1,Z2 : STMFD R12<,RL11 :
+LDR R11,V1,V2 : STMFD R12<,RL11 : BAL.L LL
+{ok_regcheck2(9,V1,V2) && ok_regcheck4(10,Z1,Z2,V1,V2) && list_f_8(WW)} ->
+ANY R11,X1,X2 : SUB R10,Y1,Y2 : LDR R9,Z1,Z2 : LDR R8,V1,V2 : STMFD R12<,WW : BAL.L LL ;
+
+ANY R11,X1,X2 : STMFD R12<,RL11 :
+SUB R11,Y1,Y2 : STMFD R12<,RL11 :
+LDR R11,Z1,Z2 : STMFD R12<,RL11 :
+MOV R11,V1 : STMFD R12<,RL11 : BAL.L LL
+{ok_regcheck1(9,V1) && ok_regcheck3(10,Z1,Z2,V1) && list_f_8(WW)} ->
+ANY R11,X1,X2 : SUB R10,Y1,Y2 : LDR R9,Z1,Z2 : MOV R8,V1 : STMFD R12<,WW : BAL.L LL ;
+
+ANY R11,X1,X2 : STMFD R12<,RL11 :
+SUB R11,Y1,Y2 : STMFD R12<,RL11 :
+MOV R11,Z1 : STMFD R12<,RL11 :
+SUB R11,V1,V2 : STMFD R12<,RL11 : BAL.L LL
+{ok_regcheck2(9,V1,V2) && ok_regcheck3(10,Z1,V1,V2) && list_f_8(WW)} ->
+ANY R11,X1,X2 : SUB R10,Y1,Y2 : MOV R9,Z1 : SUB R8,V1,V2 : STMFD R12<,WW : BAL.L LL ;
+
+ANY R11,X1,X2 : STMFD R12<,RL11 :
+SUB R11,Y1,Y2 : STMFD R12<,RL11 :
+MOV R11,Z1 : STMFD R12<,RL11 :
+LDR R11,V1,V2 : STMFD R12<,RL11 : BAL.L LL
+{ok_regcheck2(9,V1,V2) && ok_regcheck3(10,Z1,V1,V2) && list_f_8(WW)} ->
+ANY R11,X1,X2 : SUB R10,Y1,Y2 : MOV R9,Z1 : LDR R8,V1,V2 : STMFD R12<,WW : BAL.L LL ;
+
+ANY R11,X1,X2 : STMFD R12<,RL11 :
+SUB R11,Y1,Y2 : STMFD R12<,RL11 :
+MOV R11,Z1 : STMFD R12<,RL11 :
+MOV R11,V1 : STMFD R12<,RL11 : BAL.L LL
+{ok_regcheck1(9,V1) && ok_regcheck2(10,Z1,V1) && list_f_8(WW)} ->
+ANY R11,X1,X2 : SUB R10,Y1,Y2 : MOV R9,Z1 : MOV R8,V1 : STMFD R12<,WW : BAL.L LL ;
+
+ANY R11,X1,X2 : STMFD R12<,RL11 :
+LDR R11,Y1,Y2 : STMFD R12<,RL11 :
+SUB R11,Z1,Z2 : STMFD R12<,RL11 :
+SUB R11,V1,V2 : STMFD R12<,RL11 : BAL.L LL
+{ok_regcheck2(9,V1,V2) && ok_regcheck4(10,Z1,Z2,V1,V2) && list_f_8(WW)} ->
+ANY R11,X1,X2 : LDR R10,Y1,Y2 : SUB R9,Z1,Z2 : SUB R8,V1,V2 : STMFD R12<,WW : BAL.L LL ;
+
+ANY R11,X1,X2 : STMFD R12<,RL11 :
+LDR R11,Y1,Y2 : STMFD R12<,RL11 :
+SUB R11,Z1,Z2 : STMFD R12<,RL11 :
+LDR R11,V1,V2 : STMFD R12<,RL11 : BAL.L LL
+{ok_regcheck2(9,V1,V2) && ok_regcheck4(10,Z1,Z2,V1,V2) && list_f_8(WW)} ->
+ANY R11,X1,X2 : LDR R10,Y1,Y2 : SUB R9,Z1,Z2 : LDR R8,V1,V2 : STMFD R12<,WW : BAL.L LL ;
+
+ANY R11,X1,X2 : STMFD R12<,RL11 :
+LDR R11,Y1,Y2 : STMFD R12<,RL11 :
+SUB R11,Z1,Z2 : STMFD R12<,RL11 :
+MOV R11,V1 : STMFD R12<,RL11 : BAL.L LL
+{ok_regcheck1(9,V1) && ok_regcheck3(10,Z1,Z2,V1) && list_f_8(WW)} ->
+ANY R11,X1,X2 : LDR R10,Y1,Y2 : SUB R9,Z1,Z2 : MOV R8,V1 : STMFD R12<,WW : BAL.L LL ;
+
+ANY R11,X1,X2 : STMFD R12<,RL11 :
+LDR R11,Y1,Y2 : STMFD R12<,RL11 :
+LDR R11,Z1,Z2 : STMFD R12<,RL11 :
+SUB R11,V1,V2 : STMFD R12<,RL11 : BAL.L LL
+{ok_regcheck2(9,V1,V2) && ok_regcheck4(10,Z1,Z2,V1,V2) && list_f_8(WW)} ->
+ANY R11,X1,X2 : LDR R10,Y1,Y2 : LDR R9,Z1,Z2 : SUB R8,V1,V2 : STMFD R12<,WW : BAL.L LL ;
+
+ANY R11,X1,X2 : STMFD R12<,RL11 :
+LDR R11,Y1,Y2 : STMFD R12<,RL11 :
+LDR R11,Z1,Z2 : STMFD R12<,RL11 :
+LDR R11,V1,V2 : STMFD R12<,RL11 : BAL.L LL
+{ok_regcheck2(9,V1,V2) && ok_regcheck4(10,Z1,Z2,V1,V2) && list_f_8(WW)} ->
+ANY R11,X1,X2 : LDR R10,Y1,Y2 : LDR R9,Z1,Z2 : LDR R8,V1,V2 : STMFD R12<,WW : BAL.L LL ;
+
+ANY R11,X1,X2 : STMFD R12<,RL11 :
+LDR R11,Y1,Y2 : STMFD R12<,RL11 :
+LDR R11,Z1,Z2 : STMFD R12<,RL11 :
+MOV R11,V1 : STMFD R12<,RL11 : BAL.L LL
+{ok_regcheck1(9,V1) && ok_regcheck3(10,Z1,Z2,V1) && list_f_8(WW)} ->
+ANY R11,X1,X2 : LDR R10,Y1,Y2 : LDR R9,Z1,Z2 : MOV R8,V1 : STMFD R12<,WW : BAL.L LL ;
+
+ANY R11,X1,X2 : STMFD R12<,RL11 :
+LDR R11,Y1,Y2 : STMFD R12<,RL11 :
+MOV R11,Z1 : STMFD R12<,RL11 :
+SUB R11,V1,V2 : STMFD R12<,RL11 : BAL.L LL
+{ok_regcheck2(9,V1,V2) && ok_regcheck3(10,Z1,V1,V2) && list_f_8(WW)} ->
+ANY R11,X1,X2 : LDR R10,Y1,Y2 : MOV R9,Z1 : SUB R8,V1,V2 : STMFD R12<,WW : BAL.L LL ;
+
+ANY R11,X1,X2 : STMFD R12<,RL11 :
+LDR R11,Y1,Y2 : STMFD R12<,RL11 :
+MOV R11,Z1 : STMFD R12<,RL11 :
+LDR R11,V1,V2 : STMFD R12<,RL11 : BAL.L LL
+{ok_regcheck2(9,V1,V2) && ok_regcheck3(10,Z1,V1,V2) && list_f_8(WW)} ->
+ANY R11,X1,X2 : LDR R10,Y1,Y2 : MOV R9,Z1 : LDR R8,V1,V2 : STMFD R12<,WW : BAL.L LL ;
+
+ANY R11,X1,X2 : STMFD R12<,RL11 :
+LDR R11,Y1,Y2 : STMFD R12<,RL11 :
+MOV R11,Z1 : STMFD R12<,RL11 :
+MOV R11,V1 : STMFD R12<,RL11 : BAL.L LL
+{ok_regcheck1(9,V1) && ok_regcheck2(10,Z1,V1) && list_f_8(WW)} ->
+ANY R11,X1,X2 : LDR R10,Y1,Y2 : MOV R9,Z1 : MOV R8,V1 : STMFD R12<,WW : BAL.L LL ;
+
+ANY R11,X1,X2 : STMFD R12<,RL11 :
+MOV R11,Y1 : STMFD R12<,RL11 :
+SUB R11,Z1,Z2 : STMFD R12<,RL11 :
+SUB R11,V1,V2 : STMFD R12<,RL11 : BAL.L LL
+{ok_regcheck2(9,V1,V2) && ok_regcheck4(10,Z1,Z2,V1,V2) && list_f_8(WW)} ->
+ANY R11,X1,X2 : MOV R10,Y1 : SUB R9,Z1,Z2 : SUB R8,V1,V2 : STMFD R12<,WW : BAL.L LL ;
+
+ANY R11,X1,X2 : STMFD R12<,RL11 :
+MOV R11,Y1 : STMFD R12<,RL11 :
+SUB R11,Z1,Z2 : STMFD R12<,RL11 :
+LDR R11,V1,V2 : STMFD R12<,RL11 : BAL.L LL
+{ok_regcheck2(9,V1,V2) && ok_regcheck4(10,Z1,Z2,V1,V2) && list_f_8(WW)} ->
+ANY R11,X1,X2 : MOV R10,Y1 : SUB R9,Z1,Z2 : LDR R8,V1,V2 : STMFD R12<,WW : BAL.L LL ;
+
+ANY R11,X1,X2 : STMFD R12<,RL11 :
+MOV R11,Y1 : STMFD R12<,RL11 :
+SUB R11,Z1,Z2 : STMFD R12<,RL11 :
+MOV R11,V1 : STMFD R12<,RL11 : BAL.L LL
+{ok_regcheck1(9,V1) && ok_regcheck3(10,Z1,Z2,V1) && list_f_8(WW)} ->
+ANY R11,X1,X2 : MOV R10,Y1 : SUB R9,Z1,Z2 : MOV R8,V1 : STMFD R12<,WW : BAL.L LL ;
+
+ANY R11,X1,X2 : STMFD R12<,RL11 :
+MOV R11,Y1 : STMFD R12<,RL11 :
+LDR R11,Z1,Z2 : STMFD R12<,RL11 :
+SUB R11,V1,V2 : STMFD R12<,RL11 : BAL.L LL
+{ok_regcheck2(9,V1,V2) && ok_regcheck4(10,Z1,Z2,V1,V2) && list_f_8(WW)} ->
+ANY R11,X1,X2 : MOV R10,Y1 : LDR R9,Z1,Z2 : SUB R8,V1,V2 : STMFD R12<,WW : BAL.L LL ;
+
+ANY R11,X1,X2 : STMFD R12<,RL11 :
+MOV R11,Y1 : STMFD R12<,RL11 :
+LDR R11,Z1,Z2 : STMFD R12<,RL11 :
+LDR R11,V1,V2 : STMFD R12<,RL11 : BAL.L LL
+{ok_regcheck2(9,V1,V2) && ok_regcheck4(10,Z1,Z2,V1,V2) && list_f_8(WW)} ->
+ANY R11,X1,X2 : MOV R10,Y1 : LDR R9,Z1,Z2 : LDR R8,V1,V2 : STMFD R12<,WW : BAL.L LL ;
+
+ANY R11,X1,X2 : STMFD R12<,RL11 :
+MOV R11,Y1 : STMFD R12<,RL11 :
+LDR R11,Z1,Z2 : STMFD R12<,RL11 :
+MOV R11,V1 : STMFD R12<,RL11 : BAL.L LL
+{ok_regcheck1(9,V1) && ok_regcheck3(10,Z1,Z2,V1) && list_f_8(WW)} ->
+ANY R11,X1,X2 : MOV R10,Y1 : LDR R9,Z1,Z2 : MOV R8,V1 : STMFD R12<,WW : BAL.L LL ;
+
+ANY R11,X1,X2 : STMFD R12<,RL11 :
+MOV R11,Y1 : STMFD R12<,RL11 :
+MOV R11,Z1 : STMFD R12<,RL11 :
+SUB R11,V1,V2 : STMFD R12<,RL11 : BAL.L LL
+{ok_regcheck2(9,V1,V2) && ok_regcheck3(10,Z1,V1,V2) && list_f_8(WW)} ->
+ANY R11,X1,X2 : MOV R10,Y1 : MOV R9,Z1 : SUB R8,V1,V2 : STMFD R12<,WW : BAL.L LL ;
+
+ANY R11,X1,X2 : STMFD R12<,RL11 :
+MOV R11,Y1 : STMFD R12<,RL11 :
+MOV R11,Z1 : STMFD R12<,RL11 :
+LDR R11,V1,V2 : STMFD R12<,RL11 : BAL.L LL
+{ok_regcheck2(9,V1,V2) && ok_regcheck3(10,Z1,V1,V2) && list_f_8(WW)} ->
+ANY R11,X1,X2 : MOV R10,Y1 : MOV R9,Z1 : LDR R8,V1,V2 : STMFD R12<,WW : BAL.L LL ;
+
+ANY R11,X1,X2 : STMFD R12<,RL11 :
+MOV R11,Y1 : STMFD R12<,RL11 :
+MOV R11,Z1 : STMFD R12<,RL11 :
+MOV R11,V1 : STMFD R12<,RL11 : BAL.L LL
+{ok_regcheck1(9,V1) && ok_regcheck2(10,Z1,V1) && list_f_8(WW)} ->
+ANY R11,X1,X2 : MOV R10,Y1 : MOV R9,Z1 : MOV R8,V1 : STMFD R12<,WW : BAL.L LL ;
+
+
+
+%%;
+
+int is_register(s)
+register char *s;
+{ if (*s++ == 'R' && *s >= '0' && *s <= '9') {
+ if (*s++ == '1' && (*s >= '0' && *s <= '5')) s++;
+ return *s == '\0';
+ }
+ return FALSE;
+}
+
+int is_byte(s,t)
+char *s, *t;
+{
+ long arg;
+
+ s++; /* skip # */
+ arg = atol(s);
+ if (arg<1 || arg>256) return(FALSE);
+ sprintf(t,"%d",arg-1);
+ return(TRUE);
+}
+
+int is_byte2(s,t1,t2)
+char *s,*t1,*t2;
+{
+ long arg, shift;
+
+ s++;
+ arg = atol(s);
+ if (arg<1 || arg>255) return(FALSE);
+ if (arg & 0x80) {
+ shift = arg << 24;
+ sprintf(t1,"%ld",shift);
+ sprintf(t2,"%d", 24);
+ return(TRUE);
+ }
+ return(FALSE);
+}
+
+int no_side_effects(s)
+register char *s;
+{
+ for (;;) {
+ switch(*s++) {
+ case '\0': return(TRUE);
+ case ']' : return(FALSE);
+ case '<' : return(FALSE);
+ }
+ }
+}
+
+int is_greater(s1, s2, rl)
+register char *s1, *s2, *rl;
+{
+ long a1, a2;
+
+ s1++; s1++; /* skip '{R' */
+ s2++; s2++;
+ a1 = atol(s1);
+ a2 = atol(s2);
+ if (a1 > a2) {
+ sprintf(rl, "{R%d,R%d}", a2, a1);
+ return(TRUE);
+ }
+ return(FALSE);
+}
+
+int is_local(s)
+register char *s;
+{
+ if (strcmp(s, "[R13") == 0) return(TRUE);
+ return(FALSE);
+}
+
+int is_reglist_11(s)
+register char *s;
+{
+ if (strcmp(s, "{R11}") == 0){
+ return(TRUE);
+ }
+ return(FALSE);
+}
+
+int is_reglist(s)
+register char *s;
+{
+ if (*s == '{') return(TRUE);
+ return(FALSE);
+}
+
+int is_reglist1(s)
+register char *s;
+{
+ if (*s != '{') return(FALSE);
+ for (;;) {
+ switch(*s++) {
+ case '\0': return(TRUE);
+ case ',' : return(FALSE);
+ }
+ }
+}
+
+int is_lams(s)
+register char *s;
+{
+/* if (strcmp(s,"LDR") == 0) return(TRUE);
+ if (strcmp(s,"ADD") == 0) return(TRUE);
+ if (strcmp(s,"ADR") == 0) return(TRUE);
+ if (strcmp(s,"MOV") == 0) return(TRUE);
+ if (strcmp(s,"SUB") == 0) return(TRUE);
+ return(FALSE);
+*/
+return(TRUE);
+}
+
+int is_unequal(s1, s2)
+register char *s1, *s2;
+{
+ long a1, a2;
+
+ s1++; s2++;
+ a1 = atol(s1);
+ a2 = atol(s2);
+ if (a1 == a2) return(FALSE);
+ return(TRUE);
+}
+
+int is_unequal3(s1, s2, s3)
+register char *s1, *s2, *s3;
+{
+ long a1, a2, a3;
+
+ s1++; s2++; s3++;
+ a1 = atol(s1);
+ a2 = atol(s2);
+ a3 = atol(s3);
+ if (a1 == a2) return(FALSE);
+ if (a3 == a2) return(FALSE);
+ if (a1 == a3) return(FALSE);
+ return(TRUE);
+}
+
+int list_f_10(s)
+register char *s;
+{
+ sprintf(s,"{R10,R11}");
+ return(TRUE);
+}
+
+int list_f_9(s)
+register char *s;
+{
+ sprintf(s,"{R9,R10,R11}");
+ return(TRUE);
+}
+
+int list_f_8(s)
+register char *s;
+{
+ sprintf(s,"{R8,R9,R10,R11}");
+ return(TRUE);
+}
+
+int ok_regcheck1(r, s1)
+register char *s1;
+int r;
+{
+ int a1;
+
+ if (*s1 == '[') s1++;
+ if (*s1 != 'R') return(TRUE);
+ s1++; /* skip R */
+ a1 = atoi(s1);
+ if (a1 >= r && a1 <= 11) return(FALSE);
+ return(TRUE);
+}
+
+int ok_regcheck2(r, s1, s2)
+register char *s1, *s2;
+int r;
+{
+ if (ok_regcheck1(r,s1))
+ if (ok_regcheck1(r,s2))
+ return(TRUE);
+ return(FALSE);
+}
+
+int ok_regcheck3(r, s1, s2, s3)
+register char *s1, *s2, *s3;
+int r;
+{
+ if (ok_regcheck1(r,s1))
+ if (ok_regcheck2(r,s2,s3))
+ return(TRUE);
+ return(FALSE);
+}
+
+int ok_regcheck4(r, s1, s2, s3, s4)
+register char *s1, *s2, *s3, *s4;
+int r;
+{
+ if (ok_regcheck2(r,s1,s2))
+ if (ok_regcheck2(r,s3,s4))
+ return(TRUE);
+ return(FALSE);
+}
+
+int ok_regcheck5(r, s1, s2, s3, s4, s5)
+register char *s1, *s2, *s3, *s4, *s5;
+int r;
+{
+ if (ok_regcheck2(r,s1,s2))
+ if (ok_regcheck3(r,s3,s4,s5))
+ return(TRUE);
+ return(FALSE);
+}
+
+int ok_regcheck6(r, s1, s2, s3, s4, s5, s6)
+register char *s1, *s2, *s3, *s4, *s5, *s6;
+int r;
+{
+ if (ok_regcheck2(r,s1,s2))
+ if (ok_regcheck4(r,s3,s4,s5,s6))
+ return(TRUE);
+ return(FALSE);
+}
+
+int ok_regcheck7(r, s1, s2, s3, s4, s5, s6, s7)
+register char *s1, *s2, *s3, *s4, *s5, *s6, *s7;
+int r;
+{
+ if (ok_regcheck4(r,s1,s2,s3,s4))
+ if (ok_regcheck3(r,s5,s6,s7))
+ return(TRUE);
+ return(FALSE);
+}
+
+int ok_regcheck8(r, s1, s2, s3, s4, s5, s6, s7, s8)
+register char *s1, *s2, *s3, *s4, *s5, *s6, *s7, *s8;
+int r;
+{
+ if (ok_regcheck4(r,s1,s2,s3,s4))
+ if (ok_regcheck4(r,s5,s6,s7,s8))
+ return(TRUE);
+ return(FALSE);
+}
+
+