[llvm] 24ee9c8 - Don't mark MIPS TRAP as isTerminator

[Alex Richardson via llvm-commits]

Author: Alex Richardson
Date: 2020-02-01T15:50:22Z
New Revision: 24ee9c84962ec33689d0415b4e0600554d501f75

URL: https://github.com/llvm/llvm-project/commit/24ee9c84962ec33689d0415b4e0600554d501f75
DIFF: https://github.com/llvm/llvm-project/commit/24ee9c84962ec33689d0415b4e0600554d501f75.diff

LOG: Don't mark MIPS TRAP as isTerminator

This was causing machine verifier errors when compiling libunwind.

Reviewed By: atanasyan
Differential Revision: https://reviews.llvm.org/D73648

Added: 
    llvm/test/CodeGen/Mips/call-after-trap.ll

Modified: 
    llvm/lib/Target/Mips/MipsInstrInfo.td

Removed: 
    


################################################################################
diff  --git a/llvm/lib/Target/Mips/MipsInstrInfo.td b/llvm/lib/Target/Mips/MipsInstrInfo.td
index d9a3ff802708..c9dd8bbfd869 100644
--- a/llvm/lib/Target/Mips/MipsInstrInfo.td
+++ b/llvm/lib/Target/Mips/MipsInstrInfo.td
@@ -1871,10 +1871,11 @@ class MTC3OP<string asmstr, RegisterOperand RO, RegisterOperand RD,
 class TrapBase<Instruction RealInst>
   : PseudoSE<(outs), (ins), [(trap)], II_TRAP>,
     PseudoInstExpansion<(RealInst 0, 0)> {
-  let isBarrier = 1;
-  let isTerminator = 1;
+  let mayStore = 0;
+  let mayLoad = 0;
+  let hasSideEffects = 1;
+  let isTrap = 1;
   let isCodeGenOnly = 1;
-  let isCTI = 1;
 }
 
 //===----------------------------------------------------------------------===//

diff  --git a/llvm/test/CodeGen/Mips/call-after-trap.ll b/llvm/test/CodeGen/Mips/call-after-trap.ll
new file mode 100644
index 000000000000..51bdf4254402
--- /dev/null
+++ b/llvm/test/CodeGen/Mips/call-after-trap.ll
@@ -0,0 +1,33 @@
+; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
+; Previously a call to @llvm.trap() with following code would cause machine
+; verifier issues on MIPS (as TRAP was marked as being a terminator).
+; This compiles fine on other architectures, so check we do the same for MIPS.
+; RUN: llc -mtriple=mips64-unknown-freebsd -relocation-model=pic -verify-machineinstrs %s -o - | FileCheck %s
+
+
+declare void @llvm.trap() #0
+declare void @widget() #1
+define hidden void @eggs() #1 {
+; CHECK-LABEL: eggs:
+; CHECK:       # %bb.0: # %entry
+; CHECK-NEXT:    daddiu $sp, $sp, -16
+; CHECK-NEXT:    sd $ra, 8($sp) # 8-byte Folded Spill
+; CHECK-NEXT:    sd $gp, 0($sp) # 8-byte Folded Spill
+; CHECK-NEXT:    lui $1, %hi(%neg(%gp_rel(eggs)))
+; CHECK-NEXT:    daddu $1, $1, $25
+; CHECK-NEXT:    daddiu $gp, $1, %lo(%neg(%gp_rel(eggs)))
+; CHECK-NEXT:    break
+; CHECK-NEXT:    ld $25, %call16(widget)($gp)
+; CHECK-NEXT:    .reloc .Ltmp0, R_MIPS_JALR, widget
+; CHECK-NEXT:  .Ltmp0:
+; CHECK-NEXT:    jalr $25
+; CHECK-NEXT:    nop
+entry:
+  call void @llvm.trap()
+  call void @widget() #2
+  unreachable
+}
+
+attributes #0 = { cold noreturn nounwind }
+attributes #1 = { nounwind "use-soft-float"="true" }
+attributes #2 = { noreturn }