Class: AArch64::Parser

Inherits:
Racc::Parser
  • Object
show all
Defined in:
lib/aarch64/parser.rb,
lib/aarch64/parser.tab.rb

Defined Under Namespace

Classes: FourArg, RegRegShift, RegsWithShift, ThreeArg, ThreeWithExtend, ThreeWithLsl, TwoArg, TwoWithExtend, TwoWithLsl, TwoWithShift

Constant Summary collapse

SYS_REG_SCAN = 
Regexp.new(AArch64::SystemRegisters.constants.join("|"), true)
SYS_REG_MAP = 


Racc_arg =



[
racc_action_table,
racc_action_check,
racc_action_default,
racc_action_pointer,
racc_goto_table,
racc_goto_check,
racc_goto_default,
racc_goto_pointer,
racc_nt_base,
racc_reduce_table,
racc_token_table,
racc_shift_n,
racc_reduce_n,
racc_use_result_var ]


Racc_token_to_s_table =



[
"$end",
"error",
"EOL",
"ADD",
"ADDS",
"ADR",
"Xd",
"COMMA",
"ADRP",
"AND",
"ANDS",
"BRK",
"CBNZ",
"CBZ",
"CLS",
"CLZ",
"DCPS1",
"DCPS2",
"DCPS3",
"DRPS",
"ERET",
"HINT",
"HLT",
"HVC",
"MADD",
"MNEG",
"MOVN",
"MOVK",
"MOVZ",
"MSUB",
"MUL",
"NGC",
"NGCS",
"NOP",
"PSSBB",
"RBIT",
"REV",
"REV16",
"REV32",
"SBC",
"SBCS",
"SBFIZ",
"SBFX",
"SDIV",
"SEV",
"SEVL",
"SMADDL",
"SMC",
"SMNEGL",
"SMSUBL",
"SMULH",
"SMULL",
"SSBB",
"STLXP",
"STLXR",
"STLXRB",
"STLXRH",
"SUB",
"SUBS",
"SVC",
"SXTB",
"SXTH",
"SXTW",
"TBZ",
"TBNZ",
"UBFIZ",
"UBFX",
"UDIV",
"UMADDL",
"UMNEGL",
"UMSUBL",
"UMULH",
"UMULL",
"UXTB",
"UXTH",
"WFE",
"WFI",
"YIELD",
"ADC",
"ADCS",
"WSP",
"Wd",
"LSL",
"SP",
"ASR",
"AT",
"B",
"DOT",
"BFI",
"BFXIL",
"BIC",
"BICS",
"AUTDA",
"BL",
"BLR",
"BR",
"CINC",
"CINV",
"CLREX",
"CMN",
"CMP",
"CNEG",
"CRC32B",
"CRC32H",
"CRC32W",
"CRC32X",
"CRC32CB",
"CRC32CH",
"CRC32CW",
"CRC32CX",
"CSINV",
"CSINC",
"CSEL",
"CCMN",
"CCMP",
"CSNEG",
"CSET",
"CSETM",
"DC",
"DMB",
"DSB",
"EOR",
"EON",
"EXTR",
"IC",
"ISB",
"RSQ",
"LDARB",
"LDARH",
"LDAR",
"LDAXR",
"LDAXRB",
"LDAXRH",
"LSQ",
"LDAXP",
"LDNP",
"LDP",
"LDPSW",
"BANG",
"LDR",
"LDRSB",
"LDRSH",
"LDRSW",
"LDRB",
"LDRH",
"LDTR",
"LDTRB",
"LDTRH",
"LDTRSB",
"LDTRSH",
"LDUR",
"LDURB",
"LDURSB",
"LDURSH",
"LDURH",
"LDTRSW",
"LDURSW",
"LDXP",
"LDXR",
"LDXRB",
"LDXRH",
"LSR",
"MOV",
"MSR",
"SYSTEMREG",
"MRS",
"MVN",
"NEG",
"NEGS",
"ORN",
"ORR",
"PRFOP",
"PRFM",
"PRFUM",
"RET",
"ROR",
"STLR",
"STLRB",
"STLRH",
"STNP",
"STP",
"STR",
"STRB",
"STRH",
"STTR",
"STTRB",
"STTRH",
"STUR",
"STURH",
"STURB",
"STXP",
"STXR",
"STXRB",
"STXRH",
"SYS",
"Cd",
"SYSL",
"TLBI",
"TST",
"\"#\"",
"NUMBER",
"XZR",
"EQ",
"LO",
"LT",
"HS",
"GT",
"LE",
"NE",
"MI",
"GE",
"PL",
"LS",
"HI",
"VC",
"VS",
"UXTW",
"UXTX",
"SXTX",
"IVAC",
"ISW",
"IGVAC",
"IGSW",
"IGDVAC",
"IGDSW",
"CSW",
"CGSW",
"CGDSW",
"CISW",
"CIGSW",
"CIGDSW",
"ZVA",
"GVA",
"GZVA",
"CVAC",
"CGVAC",
"CGDVAC",
"CVAU",
"CVAP",
"CGVAP",
"CGDVAP",
"CVADP",
"CGVADP",
"CGDVADP",
"CIVAC",
"CIGVAC",
"CIGDVAC",
"IALLUIS",
"IALLU",
"IVAU",
"S1E1R",
"S1E1W",
"S1E0R",
"S1E0W",
"S1E1RP",
"S1E1WP",
"S1E2R",
"S1E2W",
"S12E1R",
"S12E1W",
"S12E0R",
"S12E0W",
"S1E3R",
"S1E3W",
"OSHLD",
"OSHST",
"OSH",
"NSHLD",
"NSHST",
"NSH",
"ISHLD",
"ISHST",
"ISH",
"LD",
"ST",
"SY",
"VMALLE1OS",
"VAE1OS",
"ASIDE1OS",
"VAAE1OS",
"VALE1OS",
"VAALE1OS",
"RVAE1IS",
"RVAAE1IS",
"RVALE1IS",
"RVAALE1IS",
"VMALLE1IS",
"VAE1IS",
"ASIDE1IS",
"VAAE1IS",
"VALE1IS",
"VAALE1IS",
"RVAE1OS",
"RVAAE1OS",
"RVALE1OS",
"RVAALE1OS",
"RVAE1",
"RVAAE1",
"RVALE1",
"RVAALE1",
"VMALLE1",
"VAE1",
"ASIDE1",
"VAAE1",
"VALE1",
"VAALE1",
"IPAS2E1IS",
"RIPAS2E1IS",
"IPAS2LE1IS",
"RIPAS2LE1IS",
"ALLE2OS",
"VAE2OS",
"ALLE1OS",
"VALE2OS",
"VMALLS12E1OS",
"RVAE2IS",
"RVALE2IS",
"ALLE2IS",
"VAE2IS",
"ALLE1IS",
"VALE2IS",
"VMALLS12E1IS",
"IPAS2E1OS",
"IPAS2E1",
"RIPAS2E1",
"RIPAS2E1OS",
"IPAS2LE1OS",
"IPAS2LE1",
"RIPAS2LE1",
"RIPAS2LE1OS",
"RVAE2OS",
"RVALE2OS",
"RVAE2",
"RVALE2",
"ALLE2",
"VAE2",
"ALLE1",
"VALE2",
"VMALLS12E1",
"ALLE3OS",
"VAE3OS",
"VALE3OS",
"RVAE3IS",
"RVALE3IS",
"ALLE3IS",
"VAE3IS",
"VALE3IS",
"RVAE3OS",
"RVALE3OS",
"RVAE3",
"RVALE3",
"ALLE3",
"VAE3",
"VALE3",
"$start",
"instructions",
"instruction",
"insn",
"adc",
"adcs",
"add_body",
"imm",
"and_body",
"asr",
"at",
"autda",
"b",
"bfi",
"bfxil",
"bic",
"bics",
"bl",
"blr",
"br",
"reg_imm",
"cinc",
"cinv",
"clrex",
"reg_reg",
"cmn",
"cmp",
"cneg",
"crc32",
"crc32c",
"cset",
"csetm",
"dc",
"dmb",
"dsb",
"eor",
"eon",
"extr",
"ic",
"isb",
"cond_fours",
"loads",
"lsl",
"lsr",
"reg_reg_reg_reg",
"reg_reg_reg",
"mov",
"movz_body",
"mrs",
"msr",
"mvn",
"neg",
"negs",
"orn",
"orr",
"prfm",
"prfum",
"ret",
"xd_xd",
"ror",
"reg_reg_imm_imm",
"smaddl_params",
"xd_wd_wd",
"xd_xd_xd",
"stlr",
"stlrb",
"stlrh",
"stlxp_body",
"stlxr_body",
"wd_wd_read_reg",
"stnp",
"stp",
"str",
"strb",
"strh",
"sttr",
"sttrb",
"sttrh",
"stur",
"stxp",
"stxr",
"stxrb",
"stxrh",
"sxtb_body",
"xd_wd",
"sys",
"sysl",
"reg_imm_imm",
"tlbi",
"tst",
"ubfiz_body",
"xd_wd_wd_xd",
"wd_wd",
"add_immediate",
"add_extended",
"add_extend",
"extend",
"add_extend_with_sp",
"add_extend_without_sp",
"shifted",
"reg_reg_imm",
"reg_reg_shift",
"shift",
"reg_reg_reg_shift",
"at_op",
"cond",
"cond_four",
"cond_three",
"cond_two",
"cmn_immediate",
"cmn_extend_with_sp",
"cmn_extend_without_sp",
"cmn_extended",
"cmn_shift",
"cmn_body",
"crc32w_insns",
"wd_wd_wd",
"wd_wd_xd",
"crc32c_insns",
"cond_four_instructions",
"dc_op",
"xt",
"dmb_option",
"reg_reg_reg_imm",
"ic_op",
"ldaxp",
"ldnp",
"ldp",
"ldpsw",
"ldr",
"ldtr",
"ldxp",
"ldxr",
"ldxrb",
"ldxrh",
"w_loads",
"x_loads",
"load_to_w",
"read_reg",
"load_to_x",
"w_load_insns",
"x_load_insns",
"read_reg_imm",
"w_w_load",
"x_x_load",
"reg_reg_load",
"reg_reg_load_offset",
"ldp_body",
"ldp_signed_offset",
"read_reg_reg",
"read_reg_reg_extend_amount",
"ldr_extend",
"ldr_32",
"ldr_64",
"ldr_64s",
"ldr_32s",
"ldtr_32",
"ldtr_64",
"ldtr_32s",
"ldtr_64s",
"mov_sp",
"register",
"prfm_register",
"prfm_imm",
"reg_reg_read_reg_imm",
"reg_reg_read_reg",
"str_body",
"strb_body",
"strr_32",
"strr_64",
"wd_xd_xd",
"wd_xd",
"tlbi_op",
"wd_wd_read_reg_imm",
"xd_xd_read_reg_imm" ]


Racc_debug_parser =



false





Instance Method Summary
collapse






Instance Method Details





#_next_token ⇒ Object










170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225




# File 'lib/aarch64/parser.rb', line 170

def _next_token
  return _next_token if @scan.scan(/[\t ]+/) # skip whitespace

  if str = @scan.scan(/\n/)
    return [:EOL, :EOL]
  elsif str = @scan.scan(/x\d+/i)
    [:Xd, AArch64::Registers.const_get(str.upcase)]
  elsif str = @scan.scan(/w\d+/i)
    [:Wd, AArch64::Registers.const_get(str.upcase)]
  elsif str = @scan.scan(/c\d+/i)
    [:Cd, AArch64::Names.const_get(str.upcase)]
  elsif str = @scan.scan(/sp/i)
    [:SP, AArch64::Registers.const_get(str.upcase)]
  elsif str = @scan.scan(/xzr/i)
    [:Xd, AArch64::Registers.const_get(str.upcase)]
  elsif str = @scan.scan(/wzr/i)
    [:Wd, AArch64::Registers.const_get(str.upcase)]
  elsif str = @scan.scan(/wsp/i)
    [:WSP, AArch64::Registers.const_get(str.upcase)]
  elsif @scan.scan(/,/)
    [:COMMA, ","]
  elsif @scan.scan(/\./)
    [:DOT, "."]
  elsif @scan.scan(/\[/)
    [:LSQ, "["]
  elsif @scan.scan(/\]/)
    [:RSQ, "]"]
  elsif @scan.scan(/!/)
    [:BANG, "!"]
  elsif str = @scan.scan(/(?:pld|pli|pst)(?:l1|l2|l3)(?:keep|strm)/)
    [:PRFOP, str]
  elsif str = @scan.scan(/-?0x[0-9A-F]+/i)
    [:NUMBER, Integer(str)]
  elsif str = @scan.scan(/-?(?:0|[1-9][0-9]*)/i)
    [:NUMBER, Integer(str)]
  elsif str = @scan.scan(/LSL/i)
    [:LSL, str]
  elsif str = @scan.scan(/#/)
    ["#", "#"]
  elsif str = @scan.scan(/s\d_\d_c\d+_c\d+_\d/i)
    if str =~ /s(\d)_(\d)_(c\d+)_(c\d+)_(\d)/i
      [:SYSTEMREG, SystemRegisters::MRS_MSR_64.new($1.to_i,
                                                   $2.to_i,
                                                   Names.const_get($3.upcase),
                                                   Names.const_get($4.upcase),
                                                   $5.to_i)]
    else
      raise
    end
  elsif str = @scan.scan(SYS_REG_SCAN)
    [:SYSTEMREG, SYS_REG_MAP[str.downcase]]
  elsif str = @scan.scan(/\w+/)
    [str.upcase.to_sym, str]
  else
  end
end












#_reduce_none(val, _values, result) ⇒ Object







reduce 682 omitted















6537
6538
6539




# File 'lib/aarch64/parser.tab.rb', line 6537

def _reduce_none(val, _values, result)
  val[0]
end












#next_token ⇒ Object










161
162
163




# File 'lib/aarch64/parser.rb', line 161

def next_token
  _next_token
end












#parse(str) ⇒ Object










153
154
155
156
157
158
159




# File 'lib/aarch64/parser.rb', line 153

def parse str
  str += "\n" unless str.end_with?("\n")
  @scan = StringScanner.new str
  @asm  = AArch64::Assembler.new
  do_parse
  @asm
end