[mips] Add support for isBranchOffsetInRange and use it for MipsLongBranch

Add support for this target hook, covering MIPS, microMIPS and MIPSR6, along
with some tests. Also add missing getOppositeBranchOpc() cases exposed by the
tests.

Reviewers: atanasyan, abeserminji, smaksimovic

Differential Revision: https://reviews.llvm.org/D46794

llvm-svn: 332446

1 files changed, 1184 insertions, 0 deletions

diff --git a/llvm/test/CodeGen/Mips/longbranch/branch-limits-int-mipsr6.mir b/llvm/test/CodeGen/Mips/longbranch/branch-limits-int-mipsr6.mir
new file mode 100644
index 00000000000..913d0dce458
--- /dev/null
+++ b/llvm/test/CodeGen/Mips/longbranch/branch-limits-int-mipsr6.mir
@@ -0,0 +1,1184 @@
+# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
+# RUN: llc -mtriple=mips-img-linux-gnu -mcpu=mips32r6 -o - %s -start-before mips-delay-slot-filler -stop-after mips-long-branch | FileCheck %s --check-prefix=R6
+# RUN: llc -mtriple=mips-img-linux-gnu -mcpu=mips32r6 -o - %s -start-before mips-delay-slot-filler -stop-after mips-long-branch -relocation-model=pic | FileCheck %s --check-prefix=PIC
+
+# Test the long branch expansion of various branches
+
+--- |
+  define void @expand_BEQC(i1 %a) {
+    br i1 %a, label %iftrue, label %tail
+
+  iftrue:
+    call void asm sideeffect ".space 131068", ""()
+    br label %tail
+
+  tail:
+    ret void
+  }
+
+  define void @expand_BNEC(i1 %a) {
+    br i1 %a, label %iftrue, label %tail
+
+  iftrue:
+    call void asm sideeffect ".space 131068", ""()
+    br label %tail
+
+  tail:
+    ret void
+  }
+
+  define void @expand_BGEC(i1 %a) {
+    br i1 %a, label %iftrue, label %tail
+
+  iftrue:
+    call void asm sideeffect ".space 131068", ""()
+    br label %tail
+
+  tail:
+    ret void
+  }
+
+  define void @expand_BGEUC(i1 %a) {
+    br i1 %a, label %iftrue, label %tail
+
+  iftrue:
+    call void asm sideeffect ".space 131068", ""()
+    br label %tail
+
+  tail:
+    ret void
+  }
+
+  define void @expand_BGEZC(i1 %a) {
+    br i1 %a, label %iftrue, label %tail
+
+  iftrue:
+    call void asm sideeffect ".space 131068", ""()
+    br label %tail
+
+  tail:
+    ret void
+  }
+
+  define void @expand_BGTZC(i1 %a) {
+    br i1 %a, label %iftrue, label %tail
+
+  iftrue:
+    call void asm sideeffect ".space 131068", ""()
+    br label %tail
+
+  tail:
+    ret void
+  }
+
+  define void @expand_BLEZC(i1 %a) {
+    br i1 %a, label %iftrue, label %tail
+
+  iftrue:
+    call void asm sideeffect ".space 131068", ""()
+    br label %tail
+
+  tail:
+    ret void
+  }
+
+  define void @expand_BLTC(i1 %a) {
+    br i1 %a, label %iftrue, label %tail
+
+  iftrue:
+    call void asm sideeffect ".space 131068", ""()
+    br label %tail
+
+  tail:
+    ret void
+  }
+
+  define void @expand_BLTUC(i1 %a) {
+    br i1 %a, label %iftrue, label %tail
+
+  iftrue:
+    call void asm sideeffect ".space 131068", ""()
+    br label %tail
+
+  tail:
+    ret void
+  }
+
+  define void @expand_BLTZC(i1 %a) {
+    br i1 %a, label %iftrue, label %tail
+
+  iftrue:
+    call void asm sideeffect ".space 131068", ""()
+    br label %tail
+
+  tail:
+    ret void
+  }
+
+  define void @expand_BEQZC(i1 %a) {
+    br i1 %a, label %iftrue, label %tail
+
+  iftrue:
+    call void asm sideeffect ".space 8388608", ""()
+    br label %tail
+
+  tail:
+    ret void
+  }
+
+  define void @expand_BNEZC(i1 %a) {
+    br i1 %a, label %iftrue, label %tail
+
+  iftrue:
+    call void asm sideeffect ".space 8388608", ""()
+    br label %tail
+
+  tail:
+    ret void
+  }
+
+...
+---
+
+name:            expand_BEQC
+alignment:       2
+exposesReturnsTwice: false
+legalized:       false
+regBankSelected: false
+selected:        false
+failedISel:      false
+tracksRegLiveness: true
+registers:
+liveins:
+  - { reg: '$a0', virtual-reg: '' }
+frameInfo:
+  isFrameAddressTaken: false
+  isReturnAddressTaken: false
+  hasStackMap:     false
+  hasPatchPoint:   false
+  stackSize:       0
+  offsetAdjustment: 0
+  maxAlignment:    1
+  adjustsStack:    false
+  hasCalls:        false
+  stackProtector:  ''
+  maxCallFrameSize: 0
+  hasOpaqueSPAdjustment: false
+  hasVAStart:      false
+  hasMustTailInVarArgFunc: false
+  localFrameSize:  0
+  savePoint:       ''
+  restorePoint:    ''
+fixedStack:
+stack:
+constants:
+body:             |
+  ; R6-LABEL: name: expand_BEQC
+  ; R6: bb.0 (%ir-block.0):
+  ; R6:   successors: %bb.2(0x40000000), %bb.1(0x40000000)
+  ; R6:   renamable $at = ANDi killed renamable $a0, 1
+  ; R6:   BNEC $at, $zero, %bb.2, implicit-def $at
+  ; R6: bb.1 (%ir-block.0):
+  ; R6:   successors: %bb.3(0x80000000)
+  ; R6:   BC %bb.3
+  ; R6: bb.2.iftrue:
+  ; R6:   successors: %bb.3(0x80000000)
+  ; R6:   INLINEASM &".space 131068", 1
+  ; R6: bb.3.tail:
+  ; R6:   JIC undef $ra, 0, implicit-def $at
+  ; PIC-LABEL: name: expand_BEQC
+  ; PIC: bb.0 (%ir-block.0):
+  ; PIC:   successors: %bb.3(0x40000000), %bb.1(0x40000000)
+  ; PIC:   renamable $at = ANDi killed renamable $a0, 1
+  ; PIC:   BNEC $at, $zero, %bb.3, implicit-def $at
+  ; PIC: bb.1 (%ir-block.0):
+  ; PIC:   successors: %bb.2(0x80000000)
+  ; PIC:   $sp = ADDiu $sp, -8
+  ; PIC:   SW $ra, $sp, 0
+  ; PIC:   $at = LONG_BRANCH_LUi %bb.4, %bb.2
+  ; PIC:   $at = LONG_BRANCH_ADDiu $at, %bb.4, %bb.2
+  ; PIC:   BALC %bb.2, implicit-def $ra
+  ; PIC: bb.2 (%ir-block.0):
+  ; PIC:   successors: %bb.4(0x80000000)
+  ; PIC:   $at = ADDu $ra, $at
+  ; PIC:   $ra = LW $sp, 0
+  ; PIC:   $sp = ADDiu $sp, 8
+  ; PIC:   JIC $at, 0, implicit-def $at
+  ; PIC: bb.3.iftrue:
+  ; PIC:   successors: %bb.4(0x80000000)
+  ; PIC:   INLINEASM &".space 131068", 1
+  ; PIC: bb.4.tail:
+  ; PIC:   JIC undef $ra, 0, implicit-def $at
+  bb.0 (%ir-block.0):
+    successors: %bb.1(0x40000000), %bb.2(0x40000000)
+    liveins: $a0
+
+    renamable $at = ANDi killed renamable $a0, 1
+    BEQC killed renamable $at, $zero, %bb.2, implicit-def $at
+
+  bb.1.iftrue:
+    successors: %bb.2(0x80000000)
+
+    INLINEASM &".space 131068", 1
+
+  bb.2.tail:
+    PseudoReturn undef $ra
+
+...
+---
+
+name:            expand_BNEC
+alignment:       2
+exposesReturnsTwice: false
+legalized:       false
+regBankSelected: false
+selected:        false
+failedISel:      false
+tracksRegLiveness: true
+registers:
+liveins:
+  - { reg: '$a0', virtual-reg: '' }
+frameInfo:
+  isFrameAddressTaken: false
+  isReturnAddressTaken: false
+  hasStackMap:     false
+  hasPatchPoint:   false
+  stackSize:       0
+  offsetAdjustment: 0
+  maxAlignment:    1
+  adjustsStack:    false
+  hasCalls:        false
+  stackProtector:  ''
+  maxCallFrameSize: 0
+  hasOpaqueSPAdjustment: false
+  hasVAStart:      false
+  hasMustTailInVarArgFunc: false
+  localFrameSize:  0
+  savePoint:       ''
+  restorePoint:    ''
+fixedStack:
+stack:
+constants:
+body:             |
+  ; R6-LABEL: name: expand_BNEC
+  ; R6: bb.0 (%ir-block.0):
+  ; R6:   successors: %bb.2(0x40000000), %bb.1(0x40000000)
+  ; R6:   renamable $at = ANDi killed renamable $a0, 1
+  ; R6:   BEQC $at, $zero, %bb.2, implicit-def $at
+  ; R6: bb.1 (%ir-block.0):
+  ; R6:   successors: %bb.3(0x80000000)
+  ; R6:   BC %bb.3
+  ; R6: bb.2.iftrue:
+  ; R6:   successors: %bb.3(0x80000000)
+  ; R6:   INLINEASM &".space 131068", 1
+  ; R6: bb.3.tail:
+  ; R6:   JIC undef $ra, 0, implicit-def $at
+  ; PIC-LABEL: name: expand_BNEC
+  ; PIC: bb.0 (%ir-block.0):
+  ; PIC:   successors: %bb.3(0x40000000), %bb.1(0x40000000)
+  ; PIC:   renamable $at = ANDi killed renamable $a0, 1
+  ; PIC:   BEQC $at, $zero, %bb.3, implicit-def $at
+  ; PIC: bb.1 (%ir-block.0):
+  ; PIC:   successors: %bb.2(0x80000000)
+  ; PIC:   $sp = ADDiu $sp, -8
+  ; PIC:   SW $ra, $sp, 0
+  ; PIC:   $at = LONG_BRANCH_LUi %bb.4, %bb.2
+  ; PIC:   $at = LONG_BRANCH_ADDiu $at, %bb.4, %bb.2
+  ; PIC:   BALC %bb.2, implicit-def $ra
+  ; PIC: bb.2 (%ir-block.0):
+  ; PIC:   successors: %bb.4(0x80000000)
+  ; PIC:   $at = ADDu $ra, $at
+  ; PIC:   $ra = LW $sp, 0
+  ; PIC:   $sp = ADDiu $sp, 8
+  ; PIC:   JIC $at, 0, implicit-def $at
+  ; PIC: bb.3.iftrue:
+  ; PIC:   successors: %bb.4(0x80000000)
+  ; PIC:   INLINEASM &".space 131068", 1
+  ; PIC: bb.4.tail:
+  ; PIC:   JIC undef $ra, 0, implicit-def $at
+  bb.0 (%ir-block.0):
+    successors: %bb.1(0x40000000), %bb.2(0x40000000)
+    liveins: $a0
+
+    renamable $at = ANDi killed renamable $a0, 1
+    BNEC killed renamable $at, $zero, %bb.2, implicit-def $at
+
+  bb.1.iftrue:
+    successors: %bb.2(0x80000000)
+
+    INLINEASM &".space 131068", 1
+
+  bb.2.tail:
+    PseudoReturn undef $ra
+
+...
+---
+
+name:            expand_BGEC
+alignment:       2
+exposesReturnsTwice: false
+legalized:       false
+regBankSelected: false
+selected:        false
+failedISel:      false
+tracksRegLiveness: true
+registers:
+liveins:
+  - { reg: '$a0', virtual-reg: '' }
+frameInfo:
+  isFrameAddressTaken: false
+  isReturnAddressTaken: false
+  hasStackMap:     false
+  hasPatchPoint:   false
+  stackSize:       0
+  offsetAdjustment: 0
+  maxAlignment:    1
+  adjustsStack:    false
+  hasCalls:        false
+  stackProtector:  ''
+  maxCallFrameSize: 0
+  hasOpaqueSPAdjustment: false
+  hasVAStart:      false
+  hasMustTailInVarArgFunc: false
+  localFrameSize:  0
+  savePoint:       ''
+  restorePoint:    ''
+fixedStack:
+stack:
+constants:
+body:             |
+  ; R6-LABEL: name: expand_BGEC
+  ; R6: bb.0 (%ir-block.0):
+  ; R6:   successors: %bb.2(0x40000000), %bb.1(0x40000000)
+  ; R6:   renamable $at = ANDi killed renamable $a0, 1
+  ; R6:   BLTC $at, $zero, %bb.2, implicit-def $at
+  ; R6: bb.1 (%ir-block.0):
+  ; R6:   successors: %bb.3(0x80000000)
+  ; R6:   BC %bb.3
+  ; R6: bb.2.iftrue:
+  ; R6:   successors: %bb.3(0x80000000)
+  ; R6:   INLINEASM &".space 131068", 1
+  ; R6: bb.3.tail:
+  ; R6:   JIC undef $ra, 0, implicit-def $at
+  ; PIC-LABEL: name: expand_BGEC
+  ; PIC: bb.0 (%ir-block.0):
+  ; PIC:   successors: %bb.3(0x40000000), %bb.1(0x40000000)
+  ; PIC:   renamable $at = ANDi killed renamable $a0, 1
+  ; PIC:   BLTC $at, $zero, %bb.3, implicit-def $at
+  ; PIC: bb.1 (%ir-block.0):
+  ; PIC:   successors: %bb.2(0x80000000)
+  ; PIC:   $sp = ADDiu $sp, -8
+  ; PIC:   SW $ra, $sp, 0
+  ; PIC:   $at = LONG_BRANCH_LUi %bb.4, %bb.2
+  ; PIC:   $at = LONG_BRANCH_ADDiu $at, %bb.4, %bb.2
+  ; PIC:   BALC %bb.2, implicit-def $ra
+  ; PIC: bb.2 (%ir-block.0):
+  ; PIC:   successors: %bb.4(0x80000000)
+  ; PIC:   $at = ADDu $ra, $at
+  ; PIC:   $ra = LW $sp, 0
+  ; PIC:   $sp = ADDiu $sp, 8
+  ; PIC:   JIC $at, 0, implicit-def $at
+  ; PIC: bb.3.iftrue:
+  ; PIC:   successors: %bb.4(0x80000000)
+  ; PIC:   INLINEASM &".space 131068", 1
+  ; PIC: bb.4.tail:
+  ; PIC:   JIC undef $ra, 0, implicit-def $at
+  bb.0 (%ir-block.0):
+    successors: %bb.1(0x40000000), %bb.2(0x40000000)
+    liveins: $a0
+
+    renamable $at = ANDi killed renamable $a0, 1
+    BGEC killed renamable $at, $zero, %bb.2, implicit-def $at
+
+  bb.1.iftrue:
+    successors: %bb.2(0x80000000)
+
+    INLINEASM &".space 131068", 1
+
+  bb.2.tail:
+    PseudoReturn undef $ra
+
+...
+---
+
+name:            expand_BGEUC
+alignment:       2
+exposesReturnsTwice: false
+legalized:       false
+regBankSelected: false
+selected:        false
+failedISel:      false
+tracksRegLiveness: true
+registers:
+liveins:
+  - { reg: '$a0', virtual-reg: '' }
+frameInfo:
+  isFrameAddressTaken: false
+  isReturnAddressTaken: false
+  hasStackMap:     false
+  hasPatchPoint:   false
+  stackSize:       0
+  offsetAdjustment: 0
+  maxAlignment:    1
+  adjustsStack:    false
+  hasCalls:        false
+  stackProtector:  ''
+  maxCallFrameSize: 0
+  hasOpaqueSPAdjustment: false
+  hasVAStart:      false
+  hasMustTailInVarArgFunc: false
+  localFrameSize:  0
+  savePoint:       ''
+  restorePoint:    ''
+fixedStack:
+stack:
+constants:
+body:             |
+  ; R6-LABEL: name: expand_BGEUC
+  ; R6: bb.0 (%ir-block.0):
+  ; R6:   successors: %bb.2(0x40000000), %bb.1(0x40000000)
+  ; R6:   renamable $at = ANDi killed renamable $a0, 1
+  ; R6:   BLTUC $at, $zero, %bb.2, implicit-def $at
+  ; R6: bb.1 (%ir-block.0):
+  ; R6:   successors: %bb.3(0x80000000)
+  ; R6:   BC %bb.3
+  ; R6: bb.2.iftrue:
+  ; R6:   successors: %bb.3(0x80000000)
+  ; R6:   INLINEASM &".space 131068", 1
+  ; R6: bb.3.tail:
+  ; R6:   JIC undef $ra, 0, implicit-def $at
+  ; PIC-LABEL: name: expand_BGEUC
+  ; PIC: bb.0 (%ir-block.0):
+  ; PIC:   successors: %bb.3(0x40000000), %bb.1(0x40000000)
+  ; PIC:   renamable $at = ANDi killed renamable $a0, 1
+  ; PIC:   BLTUC $at, $zero, %bb.3, implicit-def $at
+  ; PIC: bb.1 (%ir-block.0):
+  ; PIC:   successors: %bb.2(0x80000000)
+  ; PIC:   $sp = ADDiu $sp, -8
+  ; PIC:   SW $ra, $sp, 0
+  ; PIC:   $at = LONG_BRANCH_LUi %bb.4, %bb.2
+  ; PIC:   $at = LONG_BRANCH_ADDiu $at, %bb.4, %bb.2
+  ; PIC:   BALC %bb.2, implicit-def $ra
+  ; PIC: bb.2 (%ir-block.0):
+  ; PIC:   successors: %bb.4(0x80000000)
+  ; PIC:   $at = ADDu $ra, $at
+  ; PIC:   $ra = LW $sp, 0
+  ; PIC:   $sp = ADDiu $sp, 8
+  ; PIC:   JIC $at, 0, implicit-def $at
+  ; PIC: bb.3.iftrue:
+  ; PIC:   successors: %bb.4(0x80000000)
+  ; PIC:   INLINEASM &".space 131068", 1
+  ; PIC: bb.4.tail:
+  ; PIC:   JIC undef $ra, 0, implicit-def $at
+  bb.0 (%ir-block.0):
+    successors: %bb.1(0x40000000), %bb.2(0x40000000)
+    liveins: $a0
+
+    renamable $at = ANDi killed renamable $a0, 1
+    BGEUC killed renamable $at, $zero, %bb.2, implicit-def $at
+
+  bb.1.iftrue:
+    successors: %bb.2(0x80000000)
+
+    INLINEASM &".space 131068", 1
+
+  bb.2.tail:
+    PseudoReturn undef $ra
+
+...
+---
+
+name:            expand_BGEZC
+alignment:       2
+exposesReturnsTwice: false
+legalized:       false
+regBankSelected: false
+selected:        false
+failedISel:      false
+tracksRegLiveness: true
+registers:
+liveins:
+  - { reg: '$a0', virtual-reg: '' }
+frameInfo:
+  isFrameAddressTaken: false
+  isReturnAddressTaken: false
+  hasStackMap:     false
+  hasPatchPoint:   false
+  stackSize:       0
+  offsetAdjustment: 0
+  maxAlignment:    1
+  adjustsStack:    false
+  hasCalls:        false
+  stackProtector:  ''
+  maxCallFrameSize: 0
+  hasOpaqueSPAdjustment: false
+  hasVAStart:      false
+  hasMustTailInVarArgFunc: false
+  localFrameSize:  0
+  savePoint:       ''
+  restorePoint:    ''
+fixedStack:
+stack:
+constants:
+body:             |
+  ; R6-LABEL: name: expand_BGEZC
+  ; R6: bb.0 (%ir-block.0):
+  ; R6:   successors: %bb.2(0x40000000), %bb.1(0x40000000)
+  ; R6:   renamable $at = ANDi killed renamable $a0, 1
+  ; R6:   BLTZC $at, %bb.2, implicit-def $at
+  ; R6: bb.1 (%ir-block.0):
+  ; R6:   successors: %bb.3(0x80000000)
+  ; R6:   BC %bb.3
+  ; R6: bb.2.iftrue:
+  ; R6:   successors: %bb.3(0x80000000)
+  ; R6:   INLINEASM &".space 131068", 1
+  ; R6: bb.3.tail:
+  ; R6:   JIC undef $ra, 0, implicit-def $at
+  ; PIC-LABEL: name: expand_BGEZC
+  ; PIC: bb.0 (%ir-block.0):
+  ; PIC:   successors: %bb.3(0x40000000), %bb.1(0x40000000)
+  ; PIC:   renamable $at = ANDi killed renamable $a0, 1
+  ; PIC:   BLTZC $at, %bb.3, implicit-def $at
+  ; PIC: bb.1 (%ir-block.0):
+  ; PIC:   successors: %bb.2(0x80000000)
+  ; PIC:   $sp = ADDiu $sp, -8
+  ; PIC:   SW $ra, $sp, 0
+  ; PIC:   $at = LONG_BRANCH_LUi %bb.4, %bb.2
+  ; PIC:   $at = LONG_BRANCH_ADDiu $at, %bb.4, %bb.2
+  ; PIC:   BALC %bb.2, implicit-def $ra
+  ; PIC: bb.2 (%ir-block.0):
+  ; PIC:   successors: %bb.4(0x80000000)
+  ; PIC:   $at = ADDu $ra, $at
+  ; PIC:   $ra = LW $sp, 0
+  ; PIC:   $sp = ADDiu $sp, 8
+  ; PIC:   JIC $at, 0, implicit-def $at
+  ; PIC: bb.3.iftrue:
+  ; PIC:   successors: %bb.4(0x80000000)
+  ; PIC:   INLINEASM &".space 131068", 1
+  ; PIC: bb.4.tail:
+  ; PIC:   JIC undef $ra, 0, implicit-def $at
+  bb.0 (%ir-block.0):
+    successors: %bb.1(0x40000000), %bb.2(0x40000000)
+    liveins: $a0
+
+    renamable $at = ANDi killed renamable $a0, 1
+    BGEZC killed renamable $at, %bb.2, implicit-def $at
+
+  bb.1.iftrue:
+    successors: %bb.2(0x80000000)
+
+    INLINEASM &".space 131068", 1
+
+  bb.2.tail:
+    PseudoReturn undef $ra
+
+...
+---
+
+name:            expand_BGTZC
+alignment:       2
+exposesReturnsTwice: false
+legalized:       false
+regBankSelected: false
+selected:        false
+failedISel:      false
+tracksRegLiveness: true
+registers:
+liveins:
+  - { reg: '$a0', virtual-reg: '' }
+frameInfo:
+  isFrameAddressTaken: false
+  isReturnAddressTaken: false
+  hasStackMap:     false
+  hasPatchPoint:   false
+  stackSize:       0
+  offsetAdjustment: 0
+  maxAlignment:    1
+  adjustsStack:    false
+  hasCalls:        false
+  stackProtector:  ''
+  maxCallFrameSize: 0
+  hasOpaqueSPAdjustment: false
+  hasVAStart:      false
+  hasMustTailInVarArgFunc: false
+  localFrameSize:  0
+  savePoint:       ''
+  restorePoint:    ''
+fixedStack:
+stack:
+constants:
+body:             |
+  ; R6-LABEL: name: expand_BGTZC
+  ; R6: bb.0 (%ir-block.0):
+  ; R6:   successors: %bb.2(0x40000000), %bb.1(0x40000000)
+  ; R6:   renamable $at = ANDi killed renamable $a0, 1
+  ; R6:   BLEZC $at, %bb.2, implicit-def $at
+  ; R6: bb.1 (%ir-block.0):
+  ; R6:   successors: %bb.3(0x80000000)
+  ; R6:   BC %bb.3
+  ; R6: bb.2.iftrue:
+  ; R6:   successors: %bb.3(0x80000000)
+  ; R6:   INLINEASM &".space 131068", 1
+  ; R6: bb.3.tail:
+  ; R6:   JIC undef $ra, 0, implicit-def $at
+  ; PIC-LABEL: name: expand_BGTZC
+  ; PIC: bb.0 (%ir-block.0):
+  ; PIC:   successors: %bb.3(0x40000000), %bb.1(0x40000000)
+  ; PIC:   renamable $at = ANDi killed renamable $a0, 1
+  ; PIC:   BLEZC $at, %bb.3, implicit-def $at
+  ; PIC: bb.1 (%ir-block.0):
+  ; PIC:   successors: %bb.2(0x80000000)
+  ; PIC:   $sp = ADDiu $sp, -8
+  ; PIC:   SW $ra, $sp, 0
+  ; PIC:   $at = LONG_BRANCH_LUi %bb.4, %bb.2
+  ; PIC:   $at = LONG_BRANCH_ADDiu $at, %bb.4, %bb.2
+  ; PIC:   BALC %bb.2, implicit-def $ra
+  ; PIC: bb.2 (%ir-block.0):
+  ; PIC:   successors: %bb.4(0x80000000)
+  ; PIC:   $at = ADDu $ra, $at
+  ; PIC:   $ra = LW $sp, 0
+  ; PIC:   $sp = ADDiu $sp, 8
+  ; PIC:   JIC $at, 0, implicit-def $at
+  ; PIC: bb.3.iftrue:
+  ; PIC:   successors: %bb.4(0x80000000)
+  ; PIC:   INLINEASM &".space 131068", 1
+  ; PIC: bb.4.tail:
+  ; PIC:   JIC undef $ra, 0, implicit-def $at
+  bb.0 (%ir-block.0):
+    successors: %bb.1(0x40000000), %bb.2(0x40000000)
+    liveins: $a0
+
+    renamable $at = ANDi killed renamable $a0, 1
+    BGTZC killed renamable $at, %bb.2, implicit-def $at
+
+  bb.1.iftrue:
+    successors: %bb.2(0x80000000)
+
+    INLINEASM &".space 131068", 1
+
+  bb.2.tail:
+    PseudoReturn undef $ra
+
+...
+---
+
+name:            expand_BLEZC
+alignment:       2
+exposesReturnsTwice: false
+legalized:       false
+regBankSelected: false
+selected:        false
+failedISel:      false
+tracksRegLiveness: true
+registers:
+liveins:
+  - { reg: '$a0', virtual-reg: '' }
+frameInfo:
+  isFrameAddressTaken: false
+  isReturnAddressTaken: false
+  hasStackMap:     false
+  hasPatchPoint:   false
+  stackSize:       0
+  offsetAdjustment: 0
+  maxAlignment:    1
+  adjustsStack:    false
+  hasCalls:        false
+  stackProtector:  ''
+  maxCallFrameSize: 0
+  hasOpaqueSPAdjustment: false
+  hasVAStart:      false
+  hasMustTailInVarArgFunc: false
+  localFrameSize:  0
+  savePoint:       ''
+  restorePoint:    ''
+fixedStack:
+stack:
+constants:
+body:             |
+  ; R6-LABEL: name: expand_BLEZC
+  ; R6: bb.0 (%ir-block.0):
+  ; R6:   successors: %bb.2(0x40000000), %bb.1(0x40000000)
+  ; R6:   renamable $at = ANDi killed renamable $a0, 1
+  ; R6:   BGTZC $at, %bb.2, implicit-def $at
+  ; R6: bb.1 (%ir-block.0):
+  ; R6:   successors: %bb.3(0x80000000)
+  ; R6:   BC %bb.3
+  ; R6: bb.2.iftrue:
+  ; R6:   successors: %bb.3(0x80000000)
+  ; R6:   INLINEASM &".space 131068", 1
+  ; R6: bb.3.tail:
+  ; R6:   JIC undef $ra, 0, implicit-def $at
+  ; PIC-LABEL: name: expand_BLEZC
+  ; PIC: bb.0 (%ir-block.0):
+  ; PIC:   successors: %bb.3(0x40000000), %bb.1(0x40000000)
+  ; PIC:   renamable $at = ANDi killed renamable $a0, 1
+  ; PIC:   BGTZC $at, %bb.3, implicit-def $at
+  ; PIC: bb.1 (%ir-block.0):
+  ; PIC:   successors: %bb.2(0x80000000)
+  ; PIC:   $sp = ADDiu $sp, -8
+  ; PIC:   SW $ra, $sp, 0
+  ; PIC:   $at = LONG_BRANCH_LUi %bb.4, %bb.2
+  ; PIC:   $at = LONG_BRANCH_ADDiu $at, %bb.4, %bb.2
+  ; PIC:   BALC %bb.2, implicit-def $ra
+  ; PIC: bb.2 (%ir-block.0):
+  ; PIC:   successors: %bb.4(0x80000000)
+  ; PIC:   $at = ADDu $ra, $at
+  ; PIC:   $ra = LW $sp, 0
+  ; PIC:   $sp = ADDiu $sp, 8
+  ; PIC:   JIC $at, 0, implicit-def $at
+  ; PIC: bb.3.iftrue:
+  ; PIC:   successors: %bb.4(0x80000000)
+  ; PIC:   INLINEASM &".space 131068", 1
+  ; PIC: bb.4.tail:
+  ; PIC:   JIC undef $ra, 0, implicit-def $at
+  bb.0 (%ir-block.0):
+    successors: %bb.1(0x40000000), %bb.2(0x40000000)
+    liveins: $a0
+
+    renamable $at = ANDi killed renamable $a0, 1
+    BLEZC killed renamable $at, %bb.2, implicit-def $at
+
+  bb.1.iftrue:
+    successors: %bb.2(0x80000000)
+
+    INLINEASM &".space 131068", 1
+
+  bb.2.tail:
+    PseudoReturn undef $ra
+
+...
+---
+
+name:            expand_BLTC
+alignment:       2
+exposesReturnsTwice: false
+legalized:       false
+regBankSelected: false
+selected:        false
+failedISel:      false
+tracksRegLiveness: true
+registers:
+liveins:
+  - { reg: '$a0', virtual-reg: '' }
+frameInfo:
+  isFrameAddressTaken: false
+  isReturnAddressTaken: false
+  hasStackMap:     false
+  hasPatchPoint:   false
+  stackSize:       0
+  offsetAdjustment: 0
+  maxAlignment:    1
+  adjustsStack:    false
+  hasCalls:        false
+  stackProtector:  ''
+  maxCallFrameSize: 0
+  hasOpaqueSPAdjustment: false
+  hasVAStart:      false
+  hasMustTailInVarArgFunc: false
+  localFrameSize:  0
+  savePoint:       ''
+  restorePoint:    ''
+fixedStack:
+stack:
+constants:
+body:             |
+  ; R6-LABEL: name: expand_BLTC
+  ; R6: bb.0 (%ir-block.0):
+  ; R6:   successors: %bb.2(0x40000000), %bb.1(0x40000000)
+  ; R6:   renamable $at = ANDi killed renamable $a0, 1
+  ; R6:   BGEC $at, $zero, %bb.2, implicit-def $at
+  ; R6: bb.1 (%ir-block.0):
+  ; R6:   successors: %bb.3(0x80000000)
+  ; R6:   BC %bb.3
+  ; R6: bb.2.iftrue:
+  ; R6:   successors: %bb.3(0x80000000)
+  ; R6:   INLINEASM &".space 131068", 1
+  ; R6: bb.3.tail:
+  ; R6:   JIC undef $ra, 0, implicit-def $at
+  ; PIC-LABEL: name: expand_BLTC
+  ; PIC: bb.0 (%ir-block.0):
+  ; PIC:   successors: %bb.3(0x40000000), %bb.1(0x40000000)
+  ; PIC:   renamable $at = ANDi killed renamable $a0, 1
+  ; PIC:   BGEC $at, $zero, %bb.3, implicit-def $at
+  ; PIC: bb.1 (%ir-block.0):
+  ; PIC:   successors: %bb.2(0x80000000)
+  ; PIC:   $sp = ADDiu $sp, -8
+  ; PIC:   SW $ra, $sp, 0
+  ; PIC:   $at = LONG_BRANCH_LUi %bb.4, %bb.2
+  ; PIC:   $at = LONG_BRANCH_ADDiu $at, %bb.4, %bb.2
+  ; PIC:   BALC %bb.2, implicit-def $ra
+  ; PIC: bb.2 (%ir-block.0):
+  ; PIC:   successors: %bb.4(0x80000000)
+  ; PIC:   $at = ADDu $ra, $at
+  ; PIC:   $ra = LW $sp, 0
+  ; PIC:   $sp = ADDiu $sp, 8
+  ; PIC:   JIC $at, 0, implicit-def $at
+  ; PIC: bb.3.iftrue:
+  ; PIC:   successors: %bb.4(0x80000000)
+  ; PIC:   INLINEASM &".space 131068", 1
+  ; PIC: bb.4.tail:
+  ; PIC:   JIC undef $ra, 0, implicit-def $at
+  bb.0 (%ir-block.0):
+    successors: %bb.1(0x40000000), %bb.2(0x40000000)
+    liveins: $a0
+
+    renamable $at = ANDi killed renamable $a0, 1
+    BLTC killed renamable $at, $zero, %bb.2, implicit-def $at
+
+  bb.1.iftrue:
+    successors: %bb.2(0x80000000)
+
+    INLINEASM &".space 131068", 1
+
+  bb.2.tail:
+    PseudoReturn undef $ra
+
+...
+---
+
+name:            expand_BLTUC
+alignment:       2
+exposesReturnsTwice: false
+legalized:       false
+regBankSelected: false
+selected:        false
+failedISel:      false
+tracksRegLiveness: true
+registers:
+liveins:
+  - { reg: '$a0', virtual-reg: '' }
+frameInfo:
+  isFrameAddressTaken: false
+  isReturnAddressTaken: false
+  hasStackMap:     false
+  hasPatchPoint:   false
+  stackSize:       0
+  offsetAdjustment: 0
+  maxAlignment:    1
+  adjustsStack:    false
+  hasCalls:        false
+  stackProtector:  ''
+  maxCallFrameSize: 0
+  hasOpaqueSPAdjustment: false
+  hasVAStart:      false
+  hasMustTailInVarArgFunc: false
+  localFrameSize:  0
+  savePoint:       ''
+  restorePoint:    ''
+fixedStack:
+stack:
+constants:
+body:             |
+  ; R6-LABEL: name: expand_BLTUC
+  ; R6: bb.0 (%ir-block.0):
+  ; R6:   successors: %bb.2(0x40000000), %bb.1(0x40000000)
+  ; R6:   renamable $at = ANDi killed renamable $a0, 1
+  ; R6:   BGEUC $at, $zero, %bb.2, implicit-def $at
+  ; R6: bb.1 (%ir-block.0):
+  ; R6:   successors: %bb.3(0x80000000)
+  ; R6:   BC %bb.3
+  ; R6: bb.2.iftrue:
+  ; R6:   successors: %bb.3(0x80000000)
+  ; R6:   INLINEASM &".space 131068", 1
+  ; R6: bb.3.tail:
+  ; R6:   JIC undef $ra, 0, implicit-def $at
+  ; PIC-LABEL: name: expand_BLTUC
+  ; PIC: bb.0 (%ir-block.0):
+  ; PIC:   successors: %bb.3(0x40000000), %bb.1(0x40000000)
+  ; PIC:   renamable $at = ANDi killed renamable $a0, 1
+  ; PIC:   BGEUC $at, $zero, %bb.3, implicit-def $at
+  ; PIC: bb.1 (%ir-block.0):
+  ; PIC:   successors: %bb.2(0x80000000)
+  ; PIC:   $sp = ADDiu $sp, -8
+  ; PIC:   SW $ra, $sp, 0
+  ; PIC:   $at = LONG_BRANCH_LUi %bb.4, %bb.2
+  ; PIC:   $at = LONG_BRANCH_ADDiu $at, %bb.4, %bb.2
+  ; PIC:   BALC %bb.2, implicit-def $ra
+  ; PIC: bb.2 (%ir-block.0):
+  ; PIC:   successors: %bb.4(0x80000000)
+  ; PIC:   $at = ADDu $ra, $at
+  ; PIC:   $ra = LW $sp, 0
+  ; PIC:   $sp = ADDiu $sp, 8
+  ; PIC:   JIC $at, 0, implicit-def $at
+  ; PIC: bb.3.iftrue:
+  ; PIC:   successors: %bb.4(0x80000000)
+  ; PIC:   INLINEASM &".space 131068", 1
+  ; PIC: bb.4.tail:
+  ; PIC:   JIC undef $ra, 0, implicit-def $at
+  bb.0 (%ir-block.0):
+    successors: %bb.1(0x40000000), %bb.2(0x40000000)
+    liveins: $a0
+
+    renamable $at = ANDi killed renamable $a0, 1
+    BLTUC killed renamable $at, $zero, %bb.2, implicit-def $at
+
+  bb.1.iftrue:
+    successors: %bb.2(0x80000000)
+
+    INLINEASM &".space 131068", 1
+
+  bb.2.tail:
+    PseudoReturn undef $ra
+
+...
+---
+
+name:            expand_BLTZC
+alignment:       2
+exposesReturnsTwice: false
+legalized:       false
+regBankSelected: false
+selected:        false
+failedISel:      false
+tracksRegLiveness: true
+registers:
+liveins:
+  - { reg: '$a0', virtual-reg: '' }
+frameInfo:
+  isFrameAddressTaken: false
+  isReturnAddressTaken: false
+  hasStackMap:     false
+  hasPatchPoint:   false
+  stackSize:       0
+  offsetAdjustment: 0
+  maxAlignment:    1
+  adjustsStack:    false
+  hasCalls:        false
+  stackProtector:  ''
+  maxCallFrameSize: 0
+  hasOpaqueSPAdjustment: false
+  hasVAStart:      false
+  hasMustTailInVarArgFunc: false
+  localFrameSize:  0
+  savePoint:       ''
+  restorePoint:    ''
+fixedStack:
+stack:
+constants:
+body:             |
+  ; R6-LABEL: name: expand_BLTZC
+  ; R6: bb.0 (%ir-block.0):
+  ; R6:   successors: %bb.2(0x40000000), %bb.1(0x40000000)
+  ; R6:   renamable $at = ANDi killed renamable $a0, 1
+  ; R6:   BGEZC $at, %bb.2, implicit-def $at
+  ; R6: bb.1 (%ir-block.0):
+  ; R6:   successors: %bb.3(0x80000000)
+  ; R6:   BC %bb.3
+  ; R6: bb.2.iftrue:
+  ; R6:   successors: %bb.3(0x80000000)
+  ; R6:   INLINEASM &".space 131068", 1
+  ; R6: bb.3.tail:
+  ; R6:   JIC undef $ra, 0, implicit-def $at
+  ; PIC-LABEL: name: expand_BLTZC
+  ; PIC: bb.0 (%ir-block.0):
+  ; PIC:   successors: %bb.3(0x40000000), %bb.1(0x40000000)
+  ; PIC:   renamable $at = ANDi killed renamable $a0, 1
+  ; PIC:   BGEZC $at, %bb.3, implicit-def $at
+  ; PIC: bb.1 (%ir-block.0):
+  ; PIC:   successors: %bb.2(0x80000000)
+  ; PIC:   $sp = ADDiu $sp, -8
+  ; PIC:   SW $ra, $sp, 0
+  ; PIC:   $at = LONG_BRANCH_LUi %bb.4, %bb.2
+  ; PIC:   $at = LONG_BRANCH_ADDiu $at, %bb.4, %bb.2
+  ; PIC:   BALC %bb.2, implicit-def $ra
+  ; PIC: bb.2 (%ir-block.0):
+  ; PIC:   successors: %bb.4(0x80000000)
+  ; PIC:   $at = ADDu $ra, $at
+  ; PIC:   $ra = LW $sp, 0
+  ; PIC:   $sp = ADDiu $sp, 8
+  ; PIC:   JIC $at, 0, implicit-def $at
+  ; PIC: bb.3.iftrue:
+  ; PIC:   successors: %bb.4(0x80000000)
+  ; PIC:   INLINEASM &".space 131068", 1
+  ; PIC: bb.4.tail:
+  ; PIC:   JIC undef $ra, 0, implicit-def $at
+  bb.0 (%ir-block.0):
+    successors: %bb.1(0x40000000), %bb.2(0x40000000)
+    liveins: $a0
+
+    renamable $at = ANDi killed renamable $a0, 1
+    BLTZC killed renamable $at, %bb.2, implicit-def $at
+
+  bb.1.iftrue:
+    successors: %bb.2(0x80000000)
+
+    INLINEASM &".space 131068", 1
+
+  bb.2.tail:
+    PseudoReturn undef $ra
+
+...
+---
+
+name:            expand_BEQZC
+alignment:       2
+exposesReturnsTwice: false
+legalized:       false
+regBankSelected: false
+selected:        false
+failedISel:      false
+tracksRegLiveness: true
+registers:
+liveins:
+  - { reg: '$a0', virtual-reg: '' }
+frameInfo:
+  isFrameAddressTaken: false
+  isReturnAddressTaken: false
+  hasStackMap:     false
+  hasPatchPoint:   false
+  stackSize:       0
+  offsetAdjustment: 0
+  maxAlignment:    1
+  adjustsStack:    false
+  hasCalls:        false
+  stackProtector:  ''
+  maxCallFrameSize: 0
+  hasOpaqueSPAdjustment: false
+  hasVAStart:      false
+  hasMustTailInVarArgFunc: false
+  localFrameSize:  0
+  savePoint:       ''
+  restorePoint:    ''
+fixedStack:
+stack:
+constants:
+body:             |
+  ; R6-LABEL: name: expand_BEQZC
+  ; R6: bb.0 (%ir-block.0):
+  ; R6:   successors: %bb.2(0x40000000), %bb.1(0x40000000)
+  ; R6:   renamable $at = ANDi killed renamable $a0, 1
+  ; R6:   BNEZC $at, %bb.2, implicit-def $at
+  ; R6: bb.1 (%ir-block.0):
+  ; R6:   successors: %bb.3(0x80000000)
+  ; R6:   BC %bb.3
+  ; R6: bb.2.iftrue:
+  ; R6:   successors: %bb.3(0x80000000)
+  ; R6:   INLINEASM &".space 8388608", 1
+  ; R6: bb.3.tail:
+  ; R6:   JIC undef $ra, 0, implicit-def $at
+  ; PIC-LABEL: name: expand_BEQZC
+  ; PIC: bb.0 (%ir-block.0):
+  ; PIC:   successors: %bb.3(0x40000000), %bb.1(0x40000000)
+  ; PIC:   renamable $at = ANDi killed renamable $a0, 1
+  ; PIC:   BNEZC $at, %bb.3, implicit-def $at
+  ; PIC: bb.1 (%ir-block.0):
+  ; PIC:   successors: %bb.2(0x80000000)
+  ; PIC:   $sp = ADDiu $sp, -8
+  ; PIC:   SW $ra, $sp, 0
+  ; PIC:   $at = LONG_BRANCH_LUi %bb.4, %bb.2
+  ; PIC:   $at = LONG_BRANCH_ADDiu $at, %bb.4, %bb.2
+  ; PIC:   BALC %bb.2, implicit-def $ra
+  ; PIC: bb.2 (%ir-block.0):
+  ; PIC:   successors: %bb.4(0x80000000)
+  ; PIC:   $at = ADDu $ra, $at
+  ; PIC:   $ra = LW $sp, 0
+  ; PIC:   $sp = ADDiu $sp, 8
+  ; PIC:   JIC $at, 0, implicit-def $at
+  ; PIC: bb.3.iftrue:
+  ; PIC:   successors: %bb.4(0x80000000)
+  ; PIC:   INLINEASM &".space 8388608", 1
+  ; PIC: bb.4.tail:
+  ; PIC:   JIC undef $ra, 0, implicit-def $at
+  bb.0 (%ir-block.0):
+    successors: %bb.1(0x40000000), %bb.2(0x40000000)
+    liveins: $a0
+
+    renamable $at = ANDi killed renamable $a0, 1
+    BEQZC killed renamable $at, %bb.2, implicit-def $at
+
+  bb.1.iftrue:
+    successors: %bb.2(0x80000000)
+
+    INLINEASM &".space 8388608", 1
+
+  bb.2.tail:
+    PseudoReturn undef $ra
+
+...
+---
+
+name:            expand_BNEZC
+alignment:       2
+exposesReturnsTwice: false
+legalized:       false
+regBankSelected: false
+selected:        false
+failedISel:      false
+tracksRegLiveness: true
+registers:
+liveins:
+  - { reg: '$a0', virtual-reg: '' }
+frameInfo:
+  isFrameAddressTaken: false
+  isReturnAddressTaken: false
+  hasStackMap:     false
+  hasPatchPoint:   false
+  stackSize:       0
+  offsetAdjustment: 0
+  maxAlignment:    1
+  adjustsStack:    false
+  hasCalls:        false
+  stackProtector:  ''
+  maxCallFrameSize: 0
+  hasOpaqueSPAdjustment: false
+  hasVAStart:      false
+  hasMustTailInVarArgFunc: false
+  localFrameSize:  0
+  savePoint:       ''
+  restorePoint:    ''
+fixedStack:
+stack:
+constants:
+body:             |
+  ; R6-LABEL: name: expand_BNEZC
+  ; R6: bb.0 (%ir-block.0):
+  ; R6:   successors: %bb.2(0x40000000), %bb.1(0x40000000)
+  ; R6:   renamable $at = ANDi killed renamable $a0, 1
+  ; R6:   BEQZC $at, %bb.2, implicit-def $at
+  ; R6: bb.1 (%ir-block.0):
+  ; R6:   successors: %bb.3(0x80000000)
+  ; R6:   BC %bb.3
+  ; R6: bb.2.iftrue:
+  ; R6:   successors: %bb.3(0x80000000)
+  ; R6:   INLINEASM &".space 8388608", 1
+  ; R6: bb.3.tail:
+  ; R6:   JIC undef $ra, 0, implicit-def $at
+  ; PIC-LABEL: name: expand_BNEZC
+  ; PIC: bb.0 (%ir-block.0):
+  ; PIC:   successors: %bb.3(0x40000000), %bb.1(0x40000000)
+  ; PIC:   renamable $at = ANDi killed renamable $a0, 1
+  ; PIC:   BEQZC $at, %bb.3, implicit-def $at
+  ; PIC: bb.1 (%ir-block.0):
+  ; PIC:   successors: %bb.2(0x80000000)
+  ; PIC:   $sp = ADDiu $sp, -8
+  ; PIC:   SW $ra, $sp, 0
+  ; PIC:   $at = LONG_BRANCH_LUi %bb.4, %bb.2
+  ; PIC:   $at = LONG_BRANCH_ADDiu $at, %bb.4, %bb.2
+  ; PIC:   BALC %bb.2, implicit-def $ra
+  ; PIC: bb.2 (%ir-block.0):
+  ; PIC:   successors: %bb.4(0x80000000)
+  ; PIC:   $at = ADDu $ra, $at
+  ; PIC:   $ra = LW $sp, 0
+  ; PIC:   $sp = ADDiu $sp, 8
+  ; PIC:   JIC $at, 0, implicit-def $at
+  ; PIC: bb.3.iftrue:
+  ; PIC:   successors: %bb.4(0x80000000)
+  ; PIC:   INLINEASM &".space 8388608", 1
+  ; PIC: bb.4.tail:
+  ; PIC:   JIC undef $ra, 0, implicit-def $at
+  bb.0 (%ir-block.0):
+    successors: %bb.1(0x40000000), %bb.2(0x40000000)
+    liveins: $a0
+
+    renamable $at = ANDi killed renamable $a0, 1
+    BNEZC killed renamable $at, %bb.2, implicit-def $at
+
+  bb.1.iftrue:
+    successors: %bb.2(0x80000000)
+
+    INLINEASM &".space 8388608", 1
+
+  bb.2.tail:
+    PseudoReturn undef $ra
+
+...