Eine aufbereitete Darstellung der Quelle

 
     
 
 
Anforderungen  |   Konzepte  |   Entwurf  |   Entwicklung  |   Qualitätssicherung  |   Lebenszyklus  |   Steuerung
 
 
 
 

Benutzer

Quelle  extension-riscv-c.cc

  Sprache: C
 

// Copyright 2022 the V8 project authors. All rights reserved.
// Use of this source code is governed by a BSD-style license that can be
// found in the LICENSE file.

#include "jit/riscv64/extension/extension-riscv-c.h"
#include "jit/riscv64/Assembler-riscv64.h"
#include "jit/riscv64/base/Integer.h"
#include "jit/riscv64/constant/Constant-riscv64.h"
#include "jit/riscv64/Architecture-riscv64.h"

namespace js {
namespace jit {
// RV64C Standard Extension
void AssemblerRISCVC::c_nop() { GenInstrCI(0b000, C1, zero_reg, 0); }

void AssemblerRISCVC::c_addi(Register rd, int8_t imm6) {
  MOZ_ASSERT(rd != zero_reg && imm6 != 0);
  GenInstrCI(0b000, C1, rd, imm6);
}

void AssemblerRISCVC::c_addiw(Register rd, int8_t imm6) {
  MOZ_ASSERT(rd != zero_reg);
  GenInstrCI(0b001, C1, rd, imm6);
}

void AssemblerRISCVC::c_addi16sp(int16_t imm10) {
  MOZ_ASSERT(is_int10(imm10) && (imm10 & 0xf) == 0);
  uint8_t uimm6 = ((imm10 & 0x200) >> 4) | (imm10 & 0x10) |
                  ((imm10 & 0x40) >> 3) | ((imm10 & 0x180) >> 6) |
                  ((imm10 & 0x20) >> 5);
  GenInstrCIU(0b011, C1, sp, uimm6);
}

void AssemblerRISCVC::c_addi4spn(Register rd, int16_t uimm10) {
  MOZ_ASSERT(is_uint10(uimm10) && (uimm10 != 0));
  uint8_t uimm8 = ((uimm10 & 0x4) >> 1) | ((uimm10 & 0x8) >> 3) |
                  ((uimm10 & 0x30) << 2) | ((uimm10 & 0x3c0) >> 4);
  GenInstrCIW(0b000, C0, rd, uimm8);
}

void AssemblerRISCVC::c_li(Register rd, int8_t imm6) {
  MOZ_ASSERT(rd != zero_reg);
  GenInstrCI(0b010, C1, rd, imm6);
}

void AssemblerRISCVC::c_lui(Register rd, int8_t imm6) {
  MOZ_ASSERT(rd != zero_reg && rd != sp && imm6 != 0);
  GenInstrCI(0b011, C1, rd, imm6);
}

void AssemblerRISCVC::c_slli(Register rd, uint8_t shamt6) {
  MOZ_ASSERT(rd != zero_reg && shamt6 != 0);
  GenInstrCIU(0b000, C2, rd, shamt6);
}

void AssemblerRISCVC::c_fldsp(FPURegister rd, uint16_t uimm9) {
  MOZ_ASSERT(is_uint9(uimm9) && (uimm9 & 0x7) == 0);
  uint8_t uimm6 = (uimm9 & 0x38) | ((uimm9 & 0x1c0) >> 6);
  GenInstrCIU(0b001, C2, rd, uimm6);
}

void AssemblerRISCVC::c_ldsp(Register rd, uint16_t uimm9) {
  MOZ_ASSERT(rd != zero_reg && is_uint9(uimm9) && (uimm9 & 0x7) == 0);
  uint8_t uimm6 = (uimm9 & 0x38) | ((uimm9 & 0x1c0) >> 6);
  GenInstrCIU(0b011, C2, rd, uimm6);
}

void AssemblerRISCVC::c_lwsp(Register rd, uint16_t uimm8) {
  MOZ_ASSERT(rd != zero_reg && is_uint8(uimm8) && (uimm8 & 0x3) == 0);
  uint8_t uimm6 = (uimm8 & 0x3c) | ((uimm8 & 0xc0) >> 6);
  GenInstrCIU(0b010, C2, rd, uimm6);
}

void AssemblerRISCVC::c_jr(Register rs1) {
  MOZ_ASSERT(rs1 != zero_reg);
  GenInstrCR(0b1000, C2, rs1, zero_reg);
}

void AssemblerRISCVC::c_mv(Register rd, Register rs2) {
  MOZ_ASSERT(rd != zero_reg && rs2 != zero_reg);
  GenInstrCR(0b1000, C2, rd, rs2);
}

void AssemblerRISCVC::c_ebreak() { GenInstrCR(0b1001, C2, zero_reg, zero_reg); }

void AssemblerRISCVC::c_jalr(Register rs1) {
  MOZ_ASSERT(rs1 != zero_reg);
  GenInstrCR(0b1001, C2, rs1, zero_reg);
}

void AssemblerRISCVC::c_add(Register rd, Register rs2) {
  MOZ_ASSERT(rd != zero_reg && rs2 != zero_reg);
  GenInstrCR(0b1001, C2, rd, rs2);
}

// CA Instructions
void AssemblerRISCVC::c_sub(Register rd, Register rs2) {
  MOZ_ASSERT(((rd.code() & 0b11000) == 0b01000) &&
             ((rs2.code() & 0b11000) == 0b01000));
  GenInstrCA(0b100011, C1, rd, 0b00, rs2);
}

void AssemblerRISCVC::c_xor(Register rd, Register rs2) {
  MOZ_ASSERT(((rd.code() & 0b11000) == 0b01000) &&
             ((rs2.code() & 0b11000) == 0b01000));
  GenInstrCA(0b100011, C1, rd, 0b01, rs2);
}

void AssemblerRISCVC::c_or(Register rd, Register rs2) {
  MOZ_ASSERT(((rd.code() & 0b11000) == 0b01000) &&
             ((rs2.code() & 0b11000) == 0b01000));
  GenInstrCA(0b100011, C1, rd, 0b10, rs2);
}

void AssemblerRISCVC::c_and(Register rd, Register rs2) {
  MOZ_ASSERT(((rd.code() & 0b11000) == 0b01000) &&
             ((rs2.code() & 0b11000) == 0b01000));
  GenInstrCA(0b100011, C1, rd, 0b11, rs2);
}

void AssemblerRISCVC::c_subw(Register rd, Register rs2) {
  MOZ_ASSERT(((rd.code() & 0b11000) == 0b01000) &&
             ((rs2.code() & 0b11000) == 0b01000));
  GenInstrCA(0b100111, C1, rd, 0b00, rs2);
}

void AssemblerRISCVC::c_addw(Register rd, Register rs2) {
  MOZ_ASSERT(((rd.code() & 0b11000) == 0b01000) &&
             ((rs2.code() & 0b11000) == 0b01000));
  GenInstrCA(0b100111, C1, rd, 0b01, rs2);
}

void AssemblerRISCVC::c_swsp(Register rs2, uint16_t uimm8) {
  MOZ_ASSERT(is_uint8(uimm8) && (uimm8 & 0x3) == 0);
  uint8_t uimm6 = (uimm8 & 0x3c) | ((uimm8 & 0xc0) >> 6);
  GenInstrCSS(0b110, C2, rs2, uimm6);
}

void AssemblerRISCVC::c_sdsp(Register rs2, uint16_t uimm9) {
  MOZ_ASSERT(is_uint9(uimm9) && (uimm9 & 0x7) == 0);
  uint8_t uimm6 = (uimm9 & 0x38) | ((uimm9 & 0x1c0) >> 6);
  GenInstrCSS(0b111, C2, rs2, uimm6);
}

void AssemblerRISCVC::c_fsdsp(FPURegister rs2, uint16_t uimm9) {
  MOZ_ASSERT(is_uint9(uimm9) && (uimm9 & 0x7) == 0);
  uint8_t uimm6 = (uimm9 & 0x38) | ((uimm9 & 0x1c0) >> 6);
  GenInstrCSS(0b101, C2, rs2, uimm6);
}

// CL Instructions

void AssemblerRISCVC::c_lw(Register rd, Register rs1, uint16_t uimm7) {
  MOZ_ASSERT(((rd.code() & 0b11000) == 0b01000) &&
             ((rs1.code() & 0b11000) == 0b01000) && is_uint7(uimm7) &&
             ((uimm7 & 0x3) == 0));
  uint8_t uimm5 =
      ((uimm7 & 0x4) >> 1) | ((uimm7 & 0x40) >> 6) | ((uimm7 & 0x38) >> 1);
  GenInstrCL(0b010, C0, rd, rs1, uimm5);
}

void AssemblerRISCVC::c_ld(Register rd, Register rs1, uint16_t uimm8) {
  MOZ_ASSERT(((rd.code() & 0b11000) == 0b01000) &&
             ((rs1.code() & 0b11000) == 0b01000) && is_uint8(uimm8) &&
             ((uimm8 & 0x7) == 0));
  uint8_t uimm5 = ((uimm8 & 0x38) >> 1) | ((uimm8 & 0xc0) >> 6);
  GenInstrCL(0b011, C0, rd, rs1, uimm5);
}

void AssemblerRISCVC::c_fld(FPURegister rd, Register rs1, uint16_t uimm8) {
  MOZ_ASSERT(((rd.encoding() & 0b11000) == 0b01000) &&
             ((rs1.code() & 0b11000) == 0b01000) && is_uint8(uimm8) &&
             ((uimm8 & 0x7) == 0));
  uint8_t uimm5 = ((uimm8 & 0x38) >> 1) | ((uimm8 & 0xc0) >> 6);
  GenInstrCL(0b001, C0, rd, rs1, uimm5);
}

// CS Instructions

void AssemblerRISCVC::c_sw(Register rs2, Register rs1, uint16_t uimm7) {
  MOZ_ASSERT(((rs2.code() & 0b11000) == 0b01000) &&
             ((rs1.code() & 0b11000) == 0b01000) && is_uint7(uimm7) &&
             ((uimm7 & 0x3) == 0));
  uint8_t uimm5 =
      ((uimm7 & 0x4) >> 1) | ((uimm7 & 0x40) >> 6) | ((uimm7 & 0x38) >> 1);
  GenInstrCS(0b110, C0, rs2, rs1, uimm5);
}

void AssemblerRISCVC::c_sd(Register rs2, Register rs1, uint16_t uimm8) {
  MOZ_ASSERT(((rs2.code() & 0b11000) == 0b01000) &&
             ((rs1.code() & 0b11000) == 0b01000) && is_uint8(uimm8) &&
             ((uimm8 & 0x7) == 0));
  uint8_t uimm5 = ((uimm8 & 0x38) >> 1) | ((uimm8 & 0xc0) >> 6);
  GenInstrCS(0b111, C0, rs2, rs1, uimm5);
}

void AssemblerRISCVC::c_fsd(FPURegister rs2, Register rs1, uint16_t uimm8) {
  MOZ_ASSERT(((rs2.encoding() & 0b11000) == 0b01000) &&
             ((rs1.code() & 0b11000) == 0b01000) && is_uint8(uimm8) &&
             ((uimm8 & 0x7) == 0));
  uint8_t uimm5 = ((uimm8 & 0x38) >> 1) | ((uimm8 & 0xc0) >> 6);
  GenInstrCS(0b101, C0, rs2, rs1, uimm5);
}

// CJ Instructions

void AssemblerRISCVC::c_j(int16_t imm12) {
  MOZ_ASSERT(is_int12(imm12));
  int16_t uimm11 = ((imm12 & 0x800) >> 1) | ((imm12 & 0x400) >> 4) |
                   ((imm12 & 0x300) >> 1) | ((imm12 & 0x80) >> 3) |
                   ((imm12 & 0x40) >> 1) | ((imm12 & 0x20) >> 5) |
                   ((imm12 & 0x10) << 5) | (imm12 & 0xe);
  GenInstrCJ(0b101, C1, uimm11);
}

// CB Instructions

void AssemblerRISCVC::c_bnez(Register rs1, int16_t imm9) {
  MOZ_ASSERT(((rs1.code() & 0b11000) == 0b01000) && is_int9(imm9));
  uint8_t uimm8 = ((imm9 & 0x20) >> 5) | ((imm9 & 0x6)) | ((imm9 & 0xc0) >> 3) |
                  ((imm9 & 0x18) << 2) | ((imm9 & 0x100) >> 1);
  GenInstrCB(0b111, C1, rs1, uimm8);
}

void AssemblerRISCVC::c_beqz(Register rs1, int16_t imm9) {
  MOZ_ASSERT(((rs1.code() & 0b11000) == 0b01000) && is_int9(imm9));
  uint8_t uimm8 = ((imm9 & 0x20) >> 5) | ((imm9 & 0x6)) | ((imm9 & 0xc0) >> 3) |
                  ((imm9 & 0x18) << 2) | ((imm9 & 0x100) >> 1);
  GenInstrCB(0b110, C1, rs1, uimm8);
}

void AssemblerRISCVC::c_srli(Register rs1, int8_t shamt6) {
  MOZ_ASSERT(((rs1.code() & 0b11000) == 0b01000) && is_int6(shamt6));
  GenInstrCBA(0b100, 0b00, C1, rs1, shamt6);
}

void AssemblerRISCVC::c_srai(Register rs1, int8_t shamt6) {
  MOZ_ASSERT(((rs1.code() & 0b11000) == 0b01000) && is_int6(shamt6));
  GenInstrCBA(0b100, 0b01, C1, rs1, shamt6);
}

void AssemblerRISCVC::c_andi(Register rs1, int8_t imm6) {
  MOZ_ASSERT(((rs1.code() & 0b11000) == 0b01000) && is_int6(imm6));
  GenInstrCBA(0b100, 0b10, C1, rs1, imm6);
}

}  // namespace jit
}  // namespace js

Messung V0.5 in Prozent
C=96 H=100 G=97

¤ Dauer der Verarbeitung: 0.4 Sekunden  ¤

*© Formatika GbR, Deutschland






Wurzel

Suchen

PVS Prover

Isabelle Prover

NIST Cobol Testsuite

Cephes Mathematical Library

Vienna Development Method

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.






                                                                                                                                                                                                                                                                                                                                                                                                     


Neuigkeiten

     Aktuelles
     Motto des Tages

Open Source Software

     Quellcodebibliothek
     Eigene Quellcodes
     Fremde Quellcodes
     Suchen

Jenseits des Üblichen ....

Besucherstatistik

Besucherstatistik

Statistik
#Sources=277311
#Domains=752002