[mips] MIPS BEQZL and BNEZL instructions

[atanasyan]

Summary

This patch adds support for the BEQZL and BNEZL MIPS instruction aliases. Besides the support, corresponding assembler and dissasembler tests are also added.

[atanasyan]

Implemented at the rL234401.

[mstojanovic]

Maybe we should add the tests that this patch had since they were not added in rL234401.
rL234401 also disabled printing of the alias instruction while it's enabled in here. Not sure which one is preferable.

[atanasyan]

In D6016#1585878, @mstojanovic wrote:

Maybe we should add the tests that this patch had since they were not added in rL234401.
rL234401 also disabled printing of the alias instruction while it's enabled in here. Not sure which one is preferable.

Good point. Fixed at rL366133.

[mstojanovic]

Should we also add the (dis)assembler tests or are these case covered in other tests?

[atanasyan]

In D6016#1602741, @mstojanovic wrote:

Should we also add the (dis)assembler tests or are these case covered in other tests?

Thanks. Fixed at rL367168.

lib/Target/Mips/MipsInstrInfo.td

 def : MipsInstAlias<"nop", (SLL ZERO, ZERO, 0), 1>;
 def : MipsInstAlias<"mfc0 $rt, $rd", (MFC0 GPR32Opnd:$rt, GPR32Opnd:$rd, 0), 0>;
 def : MipsInstAlias<"mtc0 $rt, $rd", (MTC0 GPR32Opnd:$rt, GPR32Opnd:$rd, 0), 0>;
 def : MipsInstAlias<"mfc2 $rt, $rd", (MFC2 GPR32Opnd:$rt, GPR32Opnd:$rd, 0), 0>;
 def : MipsInstAlias<"mtc2 $rt, $rd", (MTC2 GPR32Opnd:$rt, GPR32Opnd:$rd, 0), 0>;
 def : MipsInstAlias<"b $offset", (BEQ ZERO, ZERO, brtarget:$offset), 0>;
 def : MipsInstAlias<"bnez $rs,$offset",
                     (BNE GPR32Opnd:$rs, ZERO, brtarget:$offset), 0>;
+def : MipsInstAlias<"bnezl $rs, $offset",
+                    (BNEL GPR32Opnd:$rs, ZERO, brtarget:$offset), 1>;
 def : MipsInstAlias<"beqz $rs,$offset",
                     (BEQ GPR32Opnd:$rs, ZERO, brtarget:$offset), 0>;
+def : MipsInstAlias<"beqzl $rs, $offset",
+                    (BEQL GPR32Opnd:$rs, ZERO, brtarget:$offset), 1>;
 def : MipsInstAlias<"syscall", (SYSCALL 0), 1>;
     
 def : MipsInstAlias<"break", (BREAK 0, 0), 1>;
 def : MipsInstAlias<"break $imm", (BREAK uimm10:$imm, 0), 1>;
 def : MipsInstAlias<"ei", (EI ZERO), 1>, ISA_MIPS32R2;
 def : MipsInstAlias<"di", (DI ZERO), 1>, ISA_MIPS32R2;
 
 def : MipsInstAlias<"teq $rs, $rt",

test/MC/Disassembler/Mips/mips32.txt

 0x45 0x1d 0x01 0x4d
 
 # CHECK: beq $9, $6, 1332
 0x11 0x26 0x01 0x4d
 
 # CHECK: beql $9, $6, 1332
 0x51 0x26 0x01 0x4d
 
+# CHECK: beqzl $9, 1332
+0x51 0x20 0x01 0x4d
+
 # CHECK: bgez  $6, 1332
 0x04 0xc1 0x01 0x4d
 
 # CHECK: bgezl  $6, 1332
 0x04 0xc3 0x01 0x4d
 
 # CHECK: bgezal  $6, 1332
 0x04 0xd1 0x01 0x4d

 0x04 0xd2 0x01 0x4d
 
 # CHECK: bne $9, $6, 1332
 0x15 0x26 0x01 0x4d
 
 # CHECK: bnel $9, $6, 1332
 0x55 0x26 0x01 0x4d
 
+# CHECK: bnezl $9, 1332
+0x55 0x20 0x01 0x4d
+
 # CHECK: c.eq.d $f12, $f14
 0x46 0x2e 0x60 0x32
 
 # CHECK: c.eq.s $f6, $f7
 0x46 0x07 0x30 0x32
 
 # CHECK: c.f.d $f12, $f14
 0x46 0x2e 0x60 0x30

test/MC/Mips/mips2/valid.s

# RUN: llvm-mc %s -triple=mips-unknown-linux -show-encoding -mcpu=mips2 | FileCheck %s
         bc1t      4                    # CHECK: bc1t 4        # encoding: [0x45,0x01,0x00,0x01]
         bc1tl     $fcc0,-8239          # CHECK: bc1tl -8239   # encoding: [0x45,0x03,0xf7,0xf4]
         bc1tl     -8239                # CHECK: bc1tl -8239   # encoding: [0x45,0x03,0xf7,0xf4]
         bal       21100                # CHECK: bal 21100     # encoding: [0x04,0x11,0x14,0x9b]
         bgezal    $0, 21100            # CHECK: bal 21100     # encoding: [0x04,0x11,0x14,0x9b]
         bgezal    $6, 21100            # CHECK: bgezal $6, 21100 # encoding: [0x04,0xd1,0x14,0x9b]
         bltzal    $6, 21100            # CHECK: bltzal $6, 21100 # encoding: [0x04,0xd0,0x14,0x9b]
         beql      $14,$s3,12544        # CHECK: beql $14, $19, 12544 # encoding: [0x51,0xd3,0x0c,0x40]
+        beqzl     $14,12544            # CHECK: beqzl $14, 12544 # encoding: [0x51,0xc0,0x0c,0x40]
         bgezall   $12,7293             # CHECK: bgezall $12, 7293    # encoding: [0x05,0x93,0x07,0x1f]
         bgezl     $4,-6858             # CHECK: bgezl $4, -6858      # encoding: [0x04,0x83,0xf9,0x4d]
         bgtzl     $10,-3738            # CHECK: bgtzl $10, -3738     # encoding: [0x5d,0x40,0xfc,0x59]
         blezl     $6,2974              # CHECK: blezl $6, 2974       # encoding: [0x58,0xc0,0x02,0xe7]
         bltzall   $6,488               # CHECK: bltzall $6, 488      # encoding: [0x04,0xd2,0x00,0x7a]
         bltzl     $s1,-9964            # CHECK: bltzl $17, -9964     # encoding: [0x06,0x22,0xf6,0x45]
         bnel      $gp,$s4,5107         # CHECK: bnel $gp, $20, 5107  # encoding: [0x57,0x94,0x04,0xfc]
+        bnezl     $gp,5107             # CHECK: bnezl $gp, 5107      # encoding: [0x57,0x80,0x04,0xfc]
         c.ngl.d   $f29,$f29
         c.ngle.d  $f0,$f16
         c.sf.d    $f30,$f0
         c.sf.s    $f14,$f22
         ceil.w.d  $f11,$f25
         ceil.w.s  $f6,$f20
         cfc1      $s1,$21
         ctc1      $a2,$26