From 83ee431c60681eb06d414ecf2e2a153afc82184e Mon Sep 17 00:00:00 2001 From: Jie Zhang Date: Tue, 1 Sep 2009 07:21:42 +0000 Subject: [PATCH] * config/bfin-parse.y (asm_1): Only PREG and DREG are allowed in comparison. testsuite/ * gas/bfin/expected_comparison_errors.s: Add more cases. * gas/bfin/expected_comparison_errors.l: Update accordingly. --- gas/ChangeLog | 5 +++ gas/config/bfin-parse.y | 42 +++++++++---------- gas/testsuite/ChangeLog | 5 +++ .../gas/bfin/expected_comparison_errors.l | 17 +++++--- .../gas/bfin/expected_comparison_errors.s | 6 +++ 5 files changed, 48 insertions(+), 27 deletions(-) diff --git a/gas/ChangeLog b/gas/ChangeLog index c4fa8bbd418..de02970404a 100644 --- a/gas/ChangeLog +++ b/gas/ChangeLog @@ -1,3 +1,8 @@ +2009-09-01 Jie Zhang + + * config/bfin-parse.y (asm_1): Only PREG and DREG are allowed + in comparison. + 2009-09-01 Jie Zhang 2007-09-28 Bernd Schmidt diff --git a/gas/config/bfin-parse.y b/gas/config/bfin-parse.y index d22f774b1c8..66978f7d945 100644 --- a/gas/config/bfin-parse.y +++ b/gas/config/bfin-parse.y @@ -1623,16 +1623,20 @@ asm_1: } | CCREG ASSIGN REG LESS_THAN REG iu_or_nothing { - if (REG_CLASS($3) == REG_CLASS($5)) + if ((IS_DREG ($3) && IS_DREG ($5)) + || (IS_PREG ($3) && IS_PREG ($5))) { notethat ("CCflag: CC = dpregs < dpregs\n"); $$ = CCFLAG (&$3, $5.regno & CODE_MASK, $6.r0, 0, IS_PREG ($3) ? 1 : 0); } else - return yyerror ("Compare only of same register class"); + return yyerror ("Bad register in comparison"); } | CCREG ASSIGN REG LESS_THAN expr iu_or_nothing { + if (!IS_DREG ($3) && !IS_PREG ($3)) + return yyerror ("Bad register in comparison"); + if (($6.r0 == 1 && IS_IMM ($5, 3)) || ($6.r0 == 3 && IS_UIMM ($5, 3))) { @@ -1644,16 +1648,20 @@ asm_1: } | CCREG ASSIGN REG _ASSIGN_ASSIGN REG { - if (REG_CLASS($3) == REG_CLASS($5)) + if ((IS_DREG ($3) && IS_DREG($5)) + || (IS_PREG ($3) && IS_PREG ($3))) { notethat ("CCflag: CC = dpregs == dpregs\n"); $$ = CCFLAG (&$3, $5.regno & CODE_MASK, 0, 0, IS_PREG ($3) ? 1 : 0); } else - return yyerror ("Compare only of same register class"); + return yyerror ("Bad register in comparison"); } | CCREG ASSIGN REG _ASSIGN_ASSIGN expr { + if (!IS_DREG ($3) && !IS_PREG ($3)) + return yyerror ("Bad register in comparison"); + if (IS_IMM ($5, 3)) { notethat ("CCflag: CC = dpregs == imm3\n"); @@ -1674,34 +1682,26 @@ asm_1: } | CCREG ASSIGN REG _LESS_THAN_ASSIGN REG iu_or_nothing { - if (REG_CLASS($3) == REG_CLASS($5)) + if ((IS_DREG ($3) && IS_DREG ($5)) + || (IS_PREG ($3) && IS_PREG ($5))) { - notethat ("CCflag: CC = pregs <= pregs (..)\n"); + notethat ("CCflag: CC = dpregs <= dpregs (..)\n"); $$ = CCFLAG (&$3, $5.regno & CODE_MASK, 1 + $6.r0, 0, IS_PREG ($3) ? 1 : 0); } else - return yyerror ("Compare only of same register class"); + return yyerror ("Bad register in comparison"); } | CCREG ASSIGN REG _LESS_THAN_ASSIGN expr iu_or_nothing { + if (!IS_DREG ($3) && !IS_PREG ($3)) + return yyerror ("Bad register in comparison"); + if (($6.r0 == 1 && IS_IMM ($5, 3)) || ($6.r0 == 3 && IS_UIMM ($5, 3))) { - if (IS_DREG ($3)) - { - notethat ("CCflag: CC = dregs <= (u)imm3\n"); - /* x y opc I G */ - $$ = CCFLAG (&$3, imm3 ($5), 1 + $6.r0, 1, 0); - } - else if (IS_PREG ($3)) - { - notethat ("CCflag: CC = pregs <= (u)imm3\n"); - /* x y opc I G */ - $$ = CCFLAG (&$3, imm3 ($5), 1 + $6.r0, 1, 1); - } - else - return yyerror ("Dreg or Preg expected"); + notethat ("CCflag: CC = dpregs <= (u)imm3\n"); + $$ = CCFLAG (&$3, imm3 ($5), 1 + $6.r0, 1, IS_PREG ($3) ? 1 : 0); } else return yyerror ("Bad constant value"); diff --git a/gas/testsuite/ChangeLog b/gas/testsuite/ChangeLog index 708912226e7..051d53c3624 100644 --- a/gas/testsuite/ChangeLog +++ b/gas/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2009-09-01 Jie Zhang + + * gas/bfin/expected_comparison_errors.s: Add more cases. + * gas/bfin/expected_comparison_errors.l: Update accordingly. + 2009-09-01 Jie Zhang * gas/bfin/stack2.s: Add pop multiple instruction with a label diff --git a/gas/testsuite/gas/bfin/expected_comparison_errors.l b/gas/testsuite/gas/bfin/expected_comparison_errors.l index 12569f3c11f..0582ecd2814 100644 --- a/gas/testsuite/gas/bfin/expected_comparison_errors.l +++ b/gas/testsuite/gas/bfin/expected_comparison_errors.l @@ -8,9 +8,14 @@ .*:7: Error: AREGs are in bad order or same. Input text was a0. .*:8: Error: AREGs are in bad order or same. Input text was a1. .*:9: Error: AREGs are in bad order or same. Input text was a0. -.*:10: Error: Compare only of same register class. Input text was P0. -.*:11: Error: Compare only of same register class. -.*:12: Error: Compare only of same register class. -.*:13: Error: Compare only of same register class. Input text was R0. -.*:14: Error: Compare only of same register class. -.*:15: Error: Compare only of same register class. +.*:10: Error: Bad register in comparison. Input text was P0. +.*:11: Error: Bad register in comparison. +.*:12: Error: Bad register in comparison. +.*:14: Error: Bad register in comparison. +.*:15: Error: Bad register in comparison. +.*:16: Error: Bad register in comparison. +.*:17: Error: Bad register in comparison. Input text was I0. +.*:18: Error: Bad register in comparison. +.*:19: Error: Bad register in comparison. +.*:20: Error: Bad register in comparison. +.*:21: Error: Bad register in comparison. diff --git a/gas/testsuite/gas/bfin/expected_comparison_errors.s b/gas/testsuite/gas/bfin/expected_comparison_errors.s index d08967b2cdf..99a93596c13 100644 --- a/gas/testsuite/gas/bfin/expected_comparison_errors.s +++ b/gas/testsuite/gas/bfin/expected_comparison_errors.s @@ -13,3 +13,9 @@ CC = P0 == R0; CC = P0 < R0; CC = P0 <= R0; + CC = I0 == 0; + CC = I0 == I0; + CC = I0 < 0; + CC = I0 < I0; + CC = I0 <= 0; + CC = I0 <= I0; -- 2.30.2