lib/Target/PowerPC/PPCInstrHTM.td

   1 //===-- PPCInstrHTM.td - The PowerPC Hardware Transactional Memory  -*-===//
   2 //
   3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
   4 // See https://llvm.org/LICENSE.txt for license information.
   5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
   6 //
   7 //===----------------------------------------------------------------------===//
   8 //
   9 // This file describes the Hardware Transactional Memory extension to the
  10 // PowerPC instruction set.
  11 //
  12 //===----------------------------------------------------------------------===//
  13
  14
  15
  16 def HasHTM : Predicate<"PPCSubTarget->hasHTM()">;
  17
  18 def HTM_get_imm : SDNodeXForm<imm, [{
  19   return getI32Imm (N->getZExtValue(), SDLoc(N));
  20 }]>;
  21
  22 let hasSideEffects = 1 in {
  23 def TCHECK_RET : PPCCustomInserterPseudo<(outs gprc:$out), (ins), "#TCHECK_RET", []>;
  24 def TBEGIN_RET : PPCCustomInserterPseudo<(outs gprc:$out), (ins u1imm:$R), "#TBEGIN_RET", []>;
  25 }
  26
  27
  28 let Predicates = [HasHTM] in {
  29
  30 let Defs = [CR0] in {
  31 def TBEGIN : XForm_htm0 <31, 654,
  32                          (outs), (ins u1imm:$R), "tbegin. $R", IIC_SprMTSPR, []>;
  33
  34 def TEND : XForm_htm1 <31, 686,
  35                        (outs), (ins u1imm:$A), "tend. $A", IIC_SprMTSPR, []>;
  36
  37 def TABORT : XForm_base_r3xo <31, 910,
  38                               (outs), (ins gprc:$A), "tabort. $A", IIC_SprMTSPR,
  39                               []>, isDOT {
  40   let RST = 0;
  41   let B = 0;
  42 }
  43
  44 def TABORTWC : XForm_base_r3xo <31, 782,
  45                                 (outs), (ins u5imm:$RTS, gprc:$A, gprc:$B),
  46                                 "tabortwc. $RTS, $A, $B", IIC_SprMTSPR, []>,
  47                                 isDOT;
  48
  49 def TABORTWCI : XForm_base_r3xo <31, 846,
  50                                  (outs), (ins u5imm:$RTS, gprc:$A, u5imm:$B),
  51                                  "tabortwci. $RTS, $A, $B", IIC_SprMTSPR, []>,
  52                                  isDOT;
  53
  54 def TABORTDC : XForm_base_r3xo <31, 814,
  55                                 (outs), (ins u5imm:$RTS, gprc:$A, gprc:$B),
  56                                 "tabortdc. $RTS, $A, $B", IIC_SprMTSPR, []>,
  57                                 isDOT;
  58
  59 def TABORTDCI : XForm_base_r3xo <31, 878,
  60                                  (outs), (ins u5imm:$RTS, gprc:$A, u5imm:$B),
  61                                  "tabortdci. $RTS, $A, $B", IIC_SprMTSPR, []>,
  62                                  isDOT;
  63
  64 def TSR : XForm_htm2 <31, 750,
  65                       (outs), (ins u1imm:$L), "tsr. $L", IIC_SprMTSPR, []>,
  66                       isDOT;
  67
  68 def TRECLAIM : XForm_base_r3xo <31, 942,
  69                                 (outs), (ins gprc:$A), "treclaim. $A",
  70                                 IIC_SprMTSPR, []>,
  71                                 isDOT {
  72   let RST = 0;
  73   let B = 0;
  74 }
  75
  76 def TRECHKPT : XForm_base_r3xo <31, 1006,
  77                                 (outs), (ins), "trechkpt.", IIC_SprMTSPR, []>,
  78                                 isDOT {
  79   let RST = 0;
  80   let A = 0;
  81   let B = 0;
  82 }
  83
  84 }
  85
  86 def TCHECK : XForm_htm3 <31, 718,
  87                         (outs crrc:$BF), (ins), "tcheck $BF", IIC_SprMTSPR, []>;
  88 // Builtins
  89
  90 // All HTM instructions, with the exception of tcheck, set CR0 with the
  91 // value of the MSR Transaction State (TS) bits that exist before the
  92 // instruction is executed.  For tbegin., the EQ bit in CR0 can be used
  93 // to determine whether the transaction was successfully started (0) or
  94 // failed (1).  We use an XORI pattern to 'flip' the bit to match the
  95 // tbegin builtin API which defines a return value of 1 as success.
  96
  97 def : Pat<(int_ppc_tbegin i32:$R),
  98            (XORI (TBEGIN_RET(HTM_get_imm imm:$R)), 1)>;
  99
 100 def : Pat<(int_ppc_tend i32:$R),
 101           (TEND (HTM_get_imm imm:$R))>;
 102
 103 def : Pat<(int_ppc_tabort i32:$R),
 104           (TABORT $R)>;
 105
 106 def : Pat<(int_ppc_tabortwc i32:$TO, i32:$RA, i32:$RB),
 107           (TABORTWC (HTM_get_imm imm:$TO), $RA, $RB)>;
 108
 109 def : Pat<(int_ppc_tabortwci i32:$TO, i32:$RA, i32:$SI),
 110           (TABORTWCI (HTM_get_imm imm:$TO), $RA, (HTM_get_imm imm:$SI))>;
 111
 112 def : Pat<(int_ppc_tabortdc i32:$TO, i32:$RA, i32:$RB),
 113           (TABORTDC (HTM_get_imm imm:$TO), $RA, $RB)>;
 114
 115 def : Pat<(int_ppc_tabortdci i32:$TO, i32:$RA, i32:$SI),
 116           (TABORTDCI (HTM_get_imm imm:$TO), $RA, (HTM_get_imm imm:$SI))>;
 117
 118 def : Pat<(int_ppc_tcheck),
 119           (TCHECK_RET)>;
 120
 121 def : Pat<(int_ppc_treclaim i32:$RA),
 122           (TRECLAIM $RA)>;
 123
 124 def : Pat<(int_ppc_trechkpt),
 125           (TRECHKPT)>;
 126
 127 def : Pat<(int_ppc_tsr i32:$L),
 128           (TSR (HTM_get_imm imm:$L))>;
 129
 130 def : Pat<(int_ppc_get_texasr),
 131           (MFSPR8 130)>;
 132
 133 def : Pat<(int_ppc_get_texasru),
 134           (MFSPR8 131)>;
 135
 136 def : Pat<(int_ppc_get_tfhar),
 137           (MFSPR8 128)>;
 138
 139 def : Pat<(int_ppc_get_tfiar),
 140           (MFSPR8 129)>;
 141
 142
 143 def : Pat<(int_ppc_set_texasr i64:$V),
 144           (MTSPR8 130, $V)>;
 145
 146 def : Pat<(int_ppc_set_texasru i64:$V),
 147           (MTSPR8 131, $V)>;
 148
 149 def : Pat<(int_ppc_set_tfhar i64:$V),
 150           (MTSPR8 128, $V)>;
 151
 152 def : Pat<(int_ppc_set_tfiar i64:$V),
 153           (MTSPR8 129, $V)>;
 154
 155
 156 // Extended mnemonics
 157 def : Pat<(int_ppc_tendall),
 158           (TEND 1)>;
 159
 160 def : Pat<(int_ppc_tresume),
 161           (TSR 1)>;
 162
 163 def : Pat<(int_ppc_tsuspend),
 164           (TSR 0)>;
 165
 166 def : Pat<(i64 (int_ppc_ttest)),
 167           (RLDICL (i64 (INSERT_SUBREG (i64 (IMPLICIT_DEF)),
 168                                       (TABORTWCI 0, (LI 0), 0), sub_32)),
 169                    36, 28)>;
 170
 171 } // [HasHTM]