[Sparc] Do not depend on icc for ta 1
authorDaniel Cederman <cederman@gaisler.com>
Tue, 17 Jul 2018 05:49:33 +0000 (05:49 +0000)
committerDaniel Cederman <cederman@gaisler.com>
Tue, 17 Jul 2018 05:49:33 +0000 (05:49 +0000)
The ta instruction will always trap, regardless of the value
of the integer condition codes. TRAPri is marked as using icc,
so we cannot use a pattern for TRAPri to implement ta 1, as
verify-machineinstrs can complain that icc is not defined.
Instead we implement ta 1 the same way as ta 5.

llvm-svn: 337236

llvm/lib/Target/Sparc/SparcInstrInfo.td
llvm/test/CodeGen/SPARC/trap.ll

index 9dee18f..5b7fb3c 100644 (file)
@@ -1009,8 +1009,8 @@ let DecoderNamespace = "SparcV9", DecoderMethod = "DecodeTRAP", Predicates = [Ha
 let isBarrier = 1, isTerminator = 1, rd = 0b01000, rs1 = 0, simm13 = 5 in
   def TA5 : F3_2<0b10, 0b111010, (outs), (ins), "ta 5", [(trap)]>;
 
-def : Pat<(debugtrap),
-  (TRAPri (i32 G0), (i32 1), (i32 8))>;
+let hasSideEffects = 1, rd = 0b01000, rs1 = 0, simm13 = 1 in
+  def TA1 : F3_2<0b10, 0b111010, (outs), (ins), "ta 1", [(debugtrap)]>;
 
 // Section B.28 - Read State Register Instructions
 let rs2 = 0 in
index c2f66ca..12ce848 100644 (file)
@@ -1,4 +1,4 @@
-; RUN: llc -mtriple=sparc-linux-gnu < %s -show-mc-encoding | FileCheck %s
+; RUN: llc -mtriple=sparc-linux-gnu < %s -show-mc-encoding -verify-machineinstrs | FileCheck %s
 
 define void @test1() {
   tail call void @llvm.trap()