| //===-- RISCVFeatures.td - RISCV Features and Extensions ---*- tablegen -*-===// |
| // |
| // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. |
| // See https://llvm.org/LICENSE.txt for license information. |
| // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception |
| // |
| //===----------------------------------------------------------------------===// |
| |
| //===----------------------------------------------------------------------===// |
| // RISC-V subtarget features and instruction predicates. |
| //===----------------------------------------------------------------------===// |
| |
| def FeatureStdExtM |
| : SubtargetFeature<"m", "HasStdExtM", "true", |
| "'M' (Integer Multiplication and Division)">; |
| def HasStdExtM : Predicate<"Subtarget->hasStdExtM()">, |
| AssemblerPredicate<(all_of FeatureStdExtM), |
| "'M' (Integer Multiplication and Division)">; |
| |
| def FeatureStdExtZmmul |
| : SubtargetFeature<"zmmul", "HasStdExtZmmul", "true", |
| "'Zmmul' (Integer Multiplication)">; |
| |
| def HasStdExtMOrZmmul |
| : Predicate<"Subtarget->hasStdExtM() || Subtarget->hasStdExtZmmul()">, |
| AssemblerPredicate<(any_of FeatureStdExtM, FeatureStdExtZmmul), |
| "'M' (Integer Multiplication and Division) or " |
| "'Zmmul' (Integer Multiplication)">; |
| |
| def FeatureStdExtA |
| : SubtargetFeature<"a", "HasStdExtA", "true", |
| "'A' (Atomic Instructions)">; |
| def HasStdExtA : Predicate<"Subtarget->hasStdExtA()">, |
| AssemblerPredicate<(all_of FeatureStdExtA), |
| "'A' (Atomic Instructions)">; |
| |
| def FeatureStdExtF |
| : SubtargetFeature<"f", "HasStdExtF", "true", |
| "'F' (Single-Precision Floating-Point)">; |
| def HasStdExtF : Predicate<"Subtarget->hasStdExtF()">, |
| AssemblerPredicate<(all_of FeatureStdExtF), |
| "'F' (Single-Precision Floating-Point)">; |
| |
| def FeatureStdExtD |
| : SubtargetFeature<"d", "HasStdExtD", "true", |
| "'D' (Double-Precision Floating-Point)", |
| [FeatureStdExtF]>; |
| def HasStdExtD : Predicate<"Subtarget->hasStdExtD()">, |
| AssemblerPredicate<(all_of FeatureStdExtD), |
| "'D' (Double-Precision Floating-Point)">; |
| |
| def FeatureStdExtH |
| : SubtargetFeature<"h", "HasStdExtH", "true", |
| "'H' (Hypervisor)">; |
| |
| def HasStdExtH : Predicate<"Subtarget->hasStdExtH()">, |
| AssemblerPredicate<(all_of FeatureStdExtH), |
| "'H' (Hypervisor)">; |
| |
| def FeatureStdExtZihintpause |
| : SubtargetFeature<"zihintpause", "HasStdExtZihintpause", "true", |
| "'zihintpause' (Pause Hint)">; |
| def HasStdExtZihintpause : Predicate<"Subtarget->hasStdExtZihintpause()">, |
| AssemblerPredicate<(all_of FeatureStdExtZihintpause), |
| "'Zihintpause' (Pause Hint)">; |
| |
| def FeatureStdExtZihintntl |
| : SubtargetFeature<"experimental-zihintntl", "HasStdExtZihintntl", "true", |
| "'zihintntl' (Non-Temporal Locality Hints)">; |
| def HasStdExtZihintntl : Predicate<"Subtarget->hasStdExtZihintntl()">, |
| AssemblerPredicate<(all_of FeatureStdExtZihintntl), |
| "'Zihintntl' (Non-Temporal Locality Hints)">; |
| |
| def FeatureStdExtZfhmin |
| : SubtargetFeature<"zfhmin", "HasStdExtZfhmin", "true", |
| "'Zfhmin' (Half-Precision Floating-Point Minimal)", |
| [FeatureStdExtF]>; |
| def HasStdExtZfhmin : Predicate<"Subtarget->hasStdExtZfhmin()">, |
| AssemblerPredicate<(all_of FeatureStdExtZfhmin), |
| "'Zfhmin' (Half-Precision Floating-Point Minimal)">; |
| |
| def FeatureStdExtZfh |
| : SubtargetFeature<"zfh", "HasStdExtZfh", "true", |
| "'Zfh' (Half-Precision Floating-Point)", |
| [FeatureStdExtF]>; |
| def HasStdExtZfh : Predicate<"Subtarget->hasStdExtZfh()">, |
| AssemblerPredicate<(all_of FeatureStdExtZfh), |
| "'Zfh' (Half-Precision Floating-Point)">; |
| def NoStdExtZfh : Predicate<"!Subtarget->hasStdExtZfh()">; |
| |
| def HasStdExtZfhOrZfhmin |
| : Predicate<"Subtarget->hasStdExtZfh() || Subtarget->hasStdExtZfhmin()">, |
| AssemblerPredicate<(any_of FeatureStdExtZfh, FeatureStdExtZfhmin), |
| "'Zfh' (Half-Precision Floating-Point) or " |
| "'Zfhmin' (Half-Precision Floating-Point Minimal)">; |
| |
| def FeatureStdExtZfinx |
| : SubtargetFeature<"zfinx", "HasStdExtZfinx", "true", |
| "'Zfinx' (Float in Integer)">; |
| def HasStdExtZfinx : Predicate<"Subtarget->hasStdExtZfinx()">, |
| AssemblerPredicate<(all_of FeatureStdExtZfinx), |
| "'Zfinx' (Float in Integer)">; |
| |
| def FeatureStdExtZdinx |
| : SubtargetFeature<"zdinx", "HasStdExtZdinx", "true", |
| "'Zdinx' (Double in Integer)", |
| [FeatureStdExtZfinx]>; |
| def HasStdExtZdinx : Predicate<"Subtarget->hasStdExtZdinx()">, |
| AssemblerPredicate<(all_of FeatureStdExtZdinx), |
| "'Zdinx' (Double in Integer)">; |
| |
| def FeatureStdExtZhinxmin |
| : SubtargetFeature<"zhinxmin", "HasStdExtZhinxmin", "true", |
| "'Zhinxmin' (Half Float in Integer Minimal)", |
| [FeatureStdExtZfinx]>; |
| def HasStdExtZhinxmin : Predicate<"Subtarget->hasStdExtZhinxmin()">, |
| AssemblerPredicate<(all_of FeatureStdExtZhinxmin), |
| "'Zhinxmin' (Half Float in Integer Minimal)">; |
| |
| def FeatureStdExtZhinx |
| : SubtargetFeature<"zhinx", "HasStdExtZhinx", "true", |
| "'Zhinx' (Half Float in Integer)", |
| [FeatureStdExtZfinx]>; |
| def HasStdExtZhinx : Predicate<"Subtarget->hasStdExtZhinx()">, |
| AssemblerPredicate<(all_of FeatureStdExtZhinx), |
| "'Zhinx' (Half Float in Integer)">; |
| |
| def HasStdExtZhinxOrZhinxmin |
| : Predicate<"Subtarget->hasStdExtZhinx() || Subtarget->hasStdExtZhinxmin()">, |
| AssemblerPredicate<(any_of FeatureStdExtZhinx, FeatureStdExtZhinxmin), |
| "'Zhinx' (Half Float in Integer) or " |
| "'Zhinxmin' (Half Float in Integer Minimal)">; |
| |
| def FeatureStdExtC |
| : SubtargetFeature<"c", "HasStdExtC", "true", |
| "'C' (Compressed Instructions)">; |
| def HasStdExtC : Predicate<"Subtarget->hasStdExtC()">, |
| AssemblerPredicate<(all_of FeatureStdExtC), |
| "'C' (Compressed Instructions)">; |
| |
| def FeatureStdExtZba |
| : SubtargetFeature<"zba", "HasStdExtZba", "true", |
| "'Zba' (Address Generation Instructions)">; |
| def HasStdExtZba : Predicate<"Subtarget->hasStdExtZba()">, |
| AssemblerPredicate<(all_of FeatureStdExtZba), |
| "'Zba' (Address Generation Instructions)">; |
| def NotHasStdExtZba : Predicate<"!Subtarget->hasStdExtZba()">; |
| |
| def FeatureStdExtZbb |
| : SubtargetFeature<"zbb", "HasStdExtZbb", "true", |
| "'Zbb' (Basic Bit-Manipulation)">; |
| def HasStdExtZbb : Predicate<"Subtarget->hasStdExtZbb()">, |
| AssemblerPredicate<(all_of FeatureStdExtZbb), |
| "'Zbb' (Basic Bit-Manipulation)">; |
| |
| def FeatureStdExtZbc |
| : SubtargetFeature<"zbc", "HasStdExtZbc", "true", |
| "'Zbc' (Carry-Less Multiplication)">; |
| def HasStdExtZbc : Predicate<"Subtarget->hasStdExtZbc()">, |
| AssemblerPredicate<(all_of FeatureStdExtZbc), |
| "'Zbc' (Carry-Less Multiplication)">; |
| |
| def FeatureStdExtZbs |
| : SubtargetFeature<"zbs", "HasStdExtZbs", "true", |
| "'Zbs' (Single-Bit Instructions)">; |
| def HasStdExtZbs : Predicate<"Subtarget->hasStdExtZbs()">, |
| AssemblerPredicate<(all_of FeatureStdExtZbs), |
| "'Zbs' (Single-Bit Instructions)">; |
| |
| def FeatureStdExtZbkb |
| : SubtargetFeature<"zbkb", "HasStdExtZbkb", "true", |
| "'Zbkb' (Bitmanip instructions for Cryptography)">; |
| def HasStdExtZbkb : Predicate<"Subtarget->hasStdExtZbkb()">, |
| AssemblerPredicate<(all_of FeatureStdExtZbkb), |
| "'Zbkb' (Bitmanip instructions for Cryptography)">; |
| |
| def FeatureStdExtZbkx |
| : SubtargetFeature<"zbkx", "HasStdExtZbkx", "true", |
| "'Zbkx' (Crossbar permutation instructions)">; |
| def HasStdExtZbkx : Predicate<"Subtarget->hasStdExtZbkx()">, |
| AssemblerPredicate<(all_of FeatureStdExtZbkx), |
| "'Zbkx' (Crossbar permutation instructions)">; |
| |
| def HasStdExtZbbOrZbkb |
| : Predicate<"Subtarget->hasStdExtZbb() || Subtarget->hasStdExtZbkb()">, |
| AssemblerPredicate<(any_of FeatureStdExtZbb, FeatureStdExtZbkb), |
| "'Zbb' (Basic Bit-Manipulation) or " |
| "'Zbkb' (Bitmanip instructions for Cryptography)">; |
| |
| // The Carry-less multiply subextension for cryptography is a subset of basic |
| // carry-less multiply subextension. The former should be enabled if the latter |
| // is enabled. |
| def FeatureStdExtZbkc |
| : SubtargetFeature<"zbkc", "HasStdExtZbkc", "true", |
| "'Zbkc' (Carry-less multiply instructions for " |
| "Cryptography)">; |
| def HasStdExtZbkc |
| : Predicate<"Subtarget->hasStdExtZbkc()">, |
| AssemblerPredicate<(all_of FeatureStdExtZbkc), |
| "'Zbkc' (Carry-less multiply instructions for Cryptography)">; |
| |
| def HasStdExtZbcOrZbkc |
| : Predicate<"Subtarget->hasStdExtZbc() || Subtarget->hasStdExtZbkc()">, |
| AssemblerPredicate<(any_of FeatureStdExtZbc, FeatureStdExtZbkc), |
| "'Zbc' (Carry-Less Multiplication) or " |
| "'Zbkc' (Carry-less multiply instructions " |
| "for Cryptography)">; |
| |
| def FeatureStdExtZknd |
| : SubtargetFeature<"zknd", "HasStdExtZknd", "true", |
| "'Zknd' (NIST Suite: AES Decryption)">; |
| def HasStdExtZknd : Predicate<"Subtarget->hasStdExtZknd()">, |
| AssemblerPredicate<(all_of FeatureStdExtZknd), |
| "'Zknd' (NIST Suite: AES Decryption)">; |
| |
| def FeatureStdExtZkne |
| : SubtargetFeature<"zkne", "HasStdExtZkne", "true", |
| "'Zkne' (NIST Suite: AES Encryption)">; |
| def HasStdExtZkne : Predicate<"Subtarget->hasStdExtZkne()">, |
| AssemblerPredicate<(all_of FeatureStdExtZkne), |
| "'Zkne' (NIST Suite: AES Encryption)">; |
| |
| // Some instructions belong to both Zknd and Zkne subextensions. |
| // They should be enabled if either has been specified. |
| def HasStdExtZkndOrZkne |
| : Predicate<"Subtarget->hasStdExtZknd() || Subtarget->hasStdExtZkne()">, |
| AssemblerPredicate<(any_of FeatureStdExtZknd, FeatureStdExtZkne), |
| "'Zknd' (NIST Suite: AES Decryption) or " |
| "'Zkne' (NIST Suite: AES Encryption)">; |
| |
| def FeatureStdExtZknh |
| : SubtargetFeature<"zknh", "HasStdExtZknh", "true", |
| "'Zknh' (NIST Suite: Hash Function Instructions)">; |
| def HasStdExtZknh : Predicate<"Subtarget->hasStdExtZknh()">, |
| AssemblerPredicate<(all_of FeatureStdExtZknh), |
| "'Zknh' (NIST Suite: Hash Function Instructions)">; |
| |
| def FeatureStdExtZksed |
| : SubtargetFeature<"zksed", "HasStdExtZksed", "true", |
| "'Zksed' (ShangMi Suite: SM4 Block Cipher Instructions)">; |
| def HasStdExtZksed : Predicate<"Subtarget->hasStdExtZksed()">, |
| AssemblerPredicate<(all_of FeatureStdExtZksed), |
| "'Zksed' (ShangMi Suite: SM4 Block Cipher Instructions)">; |
| |
| def FeatureStdExtZksh |
| : SubtargetFeature<"zksh", "HasStdExtZksh", "true", |
| "'Zksh' (ShangMi Suite: SM3 Hash Function Instructions)">; |
| def HasStdExtZksh : Predicate<"Subtarget->hasStdExtZksh()">, |
| AssemblerPredicate<(all_of FeatureStdExtZksh), |
| "'Zksh' (ShangMi Suite: SM3 Hash Function " |
| "Instructions)">; |
| |
| def FeatureStdExtZkr |
| : SubtargetFeature<"zkr", "HasStdExtZkr", "true", |
| "'Zkr' (Entropy Source Extension)">; |
| def HasStdExtZkr : Predicate<"Subtarget->hasStdExtZkr()">, |
| AssemblerPredicate<(all_of FeatureStdExtZkr), |
| "'Zkr' (Entropy Source Extension)">; |
| |
| def FeatureStdExtZkn |
| : SubtargetFeature<"zkn", "HasStdExtZkn", "true", |
| "'Zkn' (NIST Algorithm Suite)", |
| [FeatureStdExtZbkb, |
| FeatureStdExtZbkc, |
| FeatureStdExtZbkx, |
| FeatureStdExtZkne, |
| FeatureStdExtZknd, |
| FeatureStdExtZknh]>; |
| |
| def FeatureStdExtZks |
| : SubtargetFeature<"zks", "HasStdExtZks", "true", |
| "'Zks' (ShangMi Algorithm Suite)", |
| [FeatureStdExtZbkb, |
| FeatureStdExtZbkc, |
| FeatureStdExtZbkx, |
| FeatureStdExtZksed, |
| FeatureStdExtZksh]>; |
| |
| def FeatureStdExtZkt |
| : SubtargetFeature<"zkt", "HasStdExtZkt", "true", |
| "'Zkt' (Data Independent Execution Latency)">; |
| |
| def FeatureStdExtZk |
| : SubtargetFeature<"zk", "HasStdExtZk", "true", |
| "'Zk' (Standard scalar cryptography extension)", |
| [FeatureStdExtZkn, |
| FeatureStdExtZkr, |
| FeatureStdExtZkt]>; |
| |
| def FeatureExtZca |
| : SubtargetFeature<"experimental-zca", "HasStdExtZca", "true", |
| "'Zca' (part of the C extension, excluding compressed " |
| "floating point loads/stores)">; |
| |
| def HasStdExtCOrZca |
| : Predicate<"Subtarget->hasStdExtC() || Subtarget->hasStdExtZca()">, |
| AssemblerPredicate<(any_of FeatureStdExtC, FeatureExtZca), |
| "'C' (Compressed Instructions) or " |
| "'Zca' (part of the C extension, excluding " |
| "compressed floating point loads/stores)">; |
| |
| def FeatureExtZcd |
| : SubtargetFeature<"experimental-zcd", "HasStdExtZcd", "true", |
| "'Zcd' (Compressed Double-Precision Floating-Point Instructions)">; |
| |
| def HasStdExtCOrZcd |
| : Predicate<"Subtarget->hasStdExtC() || Subtarget->hasStdExtZcd()">, |
| AssemblerPredicate<(any_of FeatureStdExtC, FeatureExtZcd), |
| "'C' (Compressed Instructions) or " |
| "'Zcd' (Compressed Double-Precision Floating-Point Instructions)">; |
| |
| def FeatureExtZcf |
| : SubtargetFeature<"experimental-zcf", "HasStdExtZcf", "true", |
| "'Zcf' (Compressed Single-Precision Floating-Point Instructions)">; |
| |
| def HasStdExtCOrZcf |
| : Predicate<"Subtarget->hasStdExtC() || Subtarget->hasStdExtZcf()">, |
| AssemblerPredicate<(any_of FeatureStdExtC, FeatureExtZcf), |
| "'C' (Compressed Instructions) or " |
| "'Zcf' (Compressed Single-Precision Floating-Point Instructions)">; |
| |
| def FeatureNoRVCHints |
| : SubtargetFeature<"no-rvc-hints", "EnableRVCHintInstrs", "false", |
| "Disable RVC Hint Instructions.">; |
| def HasRVCHints : Predicate<"Subtarget->enableRVCHintInstrs()">, |
| AssemblerPredicate<(all_of(not FeatureNoRVCHints)), |
| "RVC Hint Instructions">; |
| |
| def FeatureStdExtZvl32b : SubtargetFeature<"zvl32b", "ZvlLen", "32", |
| "'Zvl' (Minimum Vector Length) 32">; |
| |
| foreach i = { 6-16 } in { |
| defvar I = !shl(1, i); |
| def FeatureStdExtZvl#I#b : |
| SubtargetFeature<"zvl"#I#"b", "ZvlLen", !cast<string>(I), |
| "'Zvl' (Minimum Vector Length) "#I, |
| [!cast<SubtargetFeature>("FeatureStdExtZvl"#!srl(I, 1)#"b")]>; |
| } |
| |
| def FeatureStdExtZve32x |
| : SubtargetFeature<"zve32x", "HasStdExtZve32x", "true", |
| "'Zve32x' (Vector Extensions for Embedded Processors " |
| "with maximal 32 EEW)", |
| [FeatureStdExtZvl32b]>; |
| |
| def FeatureStdExtZve32f |
| : SubtargetFeature<"zve32f", "HasStdExtZve32f", "true", |
| "'Zve32f' (Vector Extensions for Embedded Processors " |
| "with maximal 32 EEW and F extension)", |
| [FeatureStdExtZve32x]>; |
| |
| def FeatureStdExtZve64x |
| : SubtargetFeature<"zve64x", "HasStdExtZve64x", "true", |
| "'Zve64x' (Vector Extensions for Embedded Processors " |
| "with maximal 64 EEW)", |
| [FeatureStdExtZve32x, FeatureStdExtZvl64b]>; |
| |
| def FeatureStdExtZve64f |
| : SubtargetFeature<"zve64f", "HasStdExtZve64f", "true", |
| "'Zve64f' (Vector Extensions for Embedded Processors " |
| "with maximal 64 EEW and F extension)", |
| [FeatureStdExtZve32f, FeatureStdExtZve64x]>; |
| |
| def FeatureStdExtZve64d |
| : SubtargetFeature<"zve64d", "HasStdExtZve64d", "true", |
| "'Zve64d' (Vector Extensions for Embedded Processors " |
| "with maximal 64 EEW, F and D extension)", |
| [FeatureStdExtZve64f]>; |
| |
| def FeatureStdExtV |
| : SubtargetFeature<"v", "HasStdExtV", "true", |
| "'V' (Vector Extension for Application Processors)", |
| [FeatureStdExtZvl128b, FeatureStdExtZve64d, |
| FeatureStdExtF, FeatureStdExtD]>; |
| |
| def HasVInstructions : Predicate<"Subtarget->hasVInstructions()">, |
| AssemblerPredicate< |
| (any_of FeatureStdExtZve32x), |
| "'V' (Vector Extension for Application Processors), 'Zve32x' or " |
| "'Zve64x' (Vector Extensions for Embedded Processors)">; |
| def HasVInstructionsI64 : Predicate<"Subtarget->hasVInstructionsI64()">, |
| AssemblerPredicate< |
| (any_of FeatureStdExtZve64x), |
| "'V' (Vector Extension for Application Processors) or 'Zve64x' " |
| "(Vector Extensions for Embedded Processors)">; |
| def HasVInstructionsAnyF : Predicate<"Subtarget->hasVInstructionsAnyF()">, |
| AssemblerPredicate< |
| (any_of FeatureStdExtZve32f), |
| "'V' (Vector Extension for Application Processors), 'Zve32f', " |
| "'Zve64f' or 'Zve64d' (Vector Extensions for Embedded Processors)">; |
| |
| def FeatureStdExtZvfh |
| : SubtargetFeature<"experimental-zvfh", "HasStdExtZvfh", "true", |
| "'Zvfh' (Vector Half-Precision Floating-Point)", |
| [FeatureStdExtZve32f]>; |
| |
| def FeatureStdExtZicbom |
| : SubtargetFeature<"zicbom", "HasStdExtZicbom", "true", |
| "'Zicbom' (Cache-Block Management Instructions)">; |
| def HasStdExtZicbom : Predicate<"Subtarget->hasStdExtZicbom()">, |
| AssemblerPredicate<(all_of FeatureStdExtZicbom), |
| "'Zicbom' (Cache-Block Management Instructions)">; |
| |
| def FeatureStdExtZicboz |
| : SubtargetFeature<"zicboz", "HasStdExtZicboz", "true", |
| "'Zicboz' (Cache-Block Zero Instructions)">; |
| def HasStdExtZicboz : Predicate<"Subtarget->hasStdExtZicboz()">, |
| AssemblerPredicate<(all_of FeatureStdExtZicboz), |
| "'Zicboz' (Cache-Block Zero Instructions)">; |
| |
| def FeatureStdExtZicbop |
| : SubtargetFeature<"zicbop", "HasStdExtZicbop", "true", |
| "'Zicbop' (Cache-Block Prefetch Instructions)">; |
| def HasStdExtZicbop : Predicate<"Subtarget->hasStdExtZicbop()">, |
| AssemblerPredicate<(all_of FeatureStdExtZicbop), |
| "'Zicbop' (Cache-Block Prefetch Instructions)">; |
| |
| def FeatureStdExtSvnapot |
| : SubtargetFeature<"svnapot", "HasStdExtSvnapot", "true", |
| "'Svnapot' (NAPOT Translation Contiguity)">; |
| |
| def FeatureStdExtSvpbmt |
| : SubtargetFeature<"svpbmt", "HasStdExtSvpbmt", "true", |
| "'Svpbmt' (Page-Based Memory Types)">; |
| |
| def FeatureStdExtSvinval |
| : SubtargetFeature<"svinval", "HasStdExtSvinval", "true", |
| "'Svinval' (Fine-Grained Address-Translation Cache Invalidation)">; |
| def HasStdExtSvinval : Predicate<"Subtarget->hasStdExtSvinval()">, |
| AssemblerPredicate<(all_of FeatureStdExtSvinval), |
| "'Svinval' (Fine-Grained Address-Translation Cache Invalidation)">; |
| |
| def FeatureStdExtZtso |
| : SubtargetFeature<"experimental-ztso", "HasStdExtZtso", "true", |
| "'Ztso' (Memory Model - Total Store Order)">; |
| def HasStdExtZtso : Predicate<"Subtarget->hasStdExtZTso()">, |
| AssemblerPredicate<(all_of FeatureStdExtZtso), |
| "'Ztso' (Memory Model - Total Store Order)">; |
| |
| def FeatureStdExtZawrs |
| : SubtargetFeature<"experimental-zawrs", "HasStdExtZawrs", "true", |
| "'Zawrs' (Wait on Reservation Set)">; |
| def HasStdExtZawrs : Predicate<"Subtarget->hasStdExtZawrs()">, |
| AssemblerPredicate<(all_of FeatureStdExtZawrs), |
| "'Zawrs' (Wait on Reservation Set)">; |
| |
| //===----------------------------------------------------------------------===// |
| // Vendor extensions |
| //===----------------------------------------------------------------------===// |
| |
| def FeatureVendorXVentanaCondOps |
| : SubtargetFeature<"xventanacondops", "HasVendorXVentanaCondOps", "true", |
| "'XVentanaCondOps' (Ventana Conditional Ops)">; |
| def HasVendorXVentanaCondOps : Predicate<"Subtarget->hasVendorXVentanaCondOps()">, |
| AssemblerPredicate<(all_of FeatureVendorXVentanaCondOps), |
| "'XVentanaCondOps' (Ventana Conditional Ops)">; |
| |
| def FeatureVendorXTHeadVdot |
| : SubtargetFeature<"xtheadvdot", "HasVendorXTHeadVdot", "true", |
| "'xtheadvdot' (T-Head Vector Extensions for Dot)", |
| [FeatureStdExtV]>; |
| def HasVendorXTHeadVdot : Predicate<"Subtarget->hasVendorXTHeadVdot()">, |
| AssemblerPredicate<(all_of FeatureVendorXTHeadVdot), |
| "'xtheadvdot' (T-Head Vector Extensions for Dot)">; |
| |
| //===----------------------------------------------------------------------===// |
| // LLVM specific features and extensions |
| //===----------------------------------------------------------------------===// |
| |
| // Feature32Bit exists to mark CPUs that support RV32 to distinquish them from |
| // tuning CPU names. |
| def Feature32Bit |
| : SubtargetFeature<"32bit", "HasRV32", "true", "Implements RV32">; |
| def Feature64Bit |
| : SubtargetFeature<"64bit", "HasRV64", "true", "Implements RV64">; |
| def IsRV64 : Predicate<"Subtarget->is64Bit()">, |
| AssemblerPredicate<(all_of Feature64Bit), |
| "RV64I Base Instruction Set">; |
| def IsRV32 : Predicate<"!Subtarget->is64Bit()">, |
| AssemblerPredicate<(all_of (not Feature64Bit)), |
| "RV32I Base Instruction Set">; |
| |
| defvar RV32 = DefaultMode; |
| def RV64 : HwMode<"+64bit">; |
| |
| def FeatureRV32E |
| : SubtargetFeature<"e", "IsRV32E", "true", |
| "Implements RV32E (provides 16 rather than 32 GPRs)">; |
| def IsRV32E : Predicate<"Subtarget->isRV32E()">, |
| AssemblerPredicate<(all_of FeatureRV32E)>; |
| |
| def FeatureRelax |
| : SubtargetFeature<"relax", "EnableLinkerRelax", "true", |
| "Enable Linker relaxation.">; |
| |
| foreach i = {1-31} in |
| def FeatureReserveX#i : |
| SubtargetFeature<"reserve-x"#i, "UserReservedRegister[RISCV::X"#i#"]", |
| "true", "Reserve X"#i>; |
| |
| def FeatureSaveRestore : SubtargetFeature<"save-restore", "EnableSaveRestore", |
| "true", "Enable save/restore.">; |
| |
| def FeatureUnalignedScalarMem |
| : SubtargetFeature<"unaligned-scalar-mem", "EnableUnalignedScalarMem", |
| "true", "Has reasonably performant unaligned scalar " |
| "loads and stores">; |
| |
| def TuneNoOptimizedZeroStrideLoad |
| : SubtargetFeature<"no-optimized-zero-stride-load", "HasOptimizedZeroStrideLoad", |
| "false", "Hasn't optimized (perform fewer memory operations)" |
| "zero-stride vector load">; |
| |
| def TuneLUIADDIFusion |
| : SubtargetFeature<"lui-addi-fusion", "HasLUIADDIFusion", |
| "true", "Enable LUI+ADDI macrofusion">; |
| |
| def TuneNoDefaultUnroll |
| : SubtargetFeature<"no-default-unroll", "EnableDefaultUnroll", "false", |
| "Disable default unroll preference.">; |
| |
| // SiFive 7 is able to fuse integer ALU operations with a preceding branch |
| // instruction. |
| def TuneShortForwardBranchOpt |
| : SubtargetFeature<"short-forward-branch-opt", "HasShortForwardBranchOpt", |
| "true", "Enable short forward branch optimization">; |
| def HasShortForwardBranchOpt : Predicate<"Subtarget->hasShortForwardBranchOpt()">; |
| def NoShortForwardBranchOpt : Predicate<"!Subtarget->hasShortForwardBranchOpt()">; |
| |
| def TuneSiFive7 : SubtargetFeature<"sifive7", "RISCVProcFamily", "SiFive7", |
| "SiFive 7-Series processors", |
| [TuneNoDefaultUnroll, |
| TuneShortForwardBranchOpt]>; |
| |
| // Assume that lock-free native-width atomics are available, even if the target |
| // and operating system combination would not usually provide them. The user |
| // is responsible for providing any necessary __sync implementations. Code |
| // built with this feature is not ABI-compatible with code built without this |
| // feature, if atomic variables are exposed across the ABI boundary. |
| def FeatureForcedAtomics : SubtargetFeature< |
| "forced-atomics", "HasForcedAtomics", "true", |
| "Assume that lock-free native-width atomics are available">; |
| def HasAtomicLdSt |
| : Predicate<"Subtarget->hasStdExtA() || Subtarget->hasForcedAtomics()">; |
| |
| def FeatureTaggedGlobals : SubtargetFeature<"tagged-globals", |
| "AllowTaggedGlobals", |
| "true", "Use an instruction sequence for taking the address of a global " |
| "that allows a memory tag in the upper address bits">; |
