From: Alex Richardson <Alexander.Richardson@cl.cam.ac.uk>
Date: Sat, 1 Feb 2020 15:49:35 +0000 (+0000)
Subject: Don't mark MIPS TRAP as isTerminator
X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=24ee9c84962ec33689d0415b4e0600554d501f75;p=platform%2Fupstream%2Fllvm.git

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
---

diff --git a/llvm/lib/Target/Mips/MipsInstrInfo.td b/llvm/lib/Target/Mips/MipsInstrInfo.td
index d9a3ff8..c9dd8bb 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 0000000..51bdf42
--- /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 }