specrtl is a programming language created in 2011. specRTL (Spec Register Transfer Language) is a language designed to replace the existing RTL form machine descriptions which along with C Code forms the backend of GCC.

9Years Old ?Users ?Jobs
  • specrtl first appeared in 2011
  • Have a question about specrtl not answered here? Email me and let me know how I can help.

Example code from the web:

concrete *cmp_ccno_1.insn instantiates set_compare
{
  root(reg(NULL:FLAGS_REG),0=nonimmediate_operand:SWI:",?m",
1=const0_operand:SWI:"");
}
{:
  "ix86_match_ccmode (insn, CCNOmode)"
  "@
  test{}\t%0, %0
  cmp{}\t{%1, %0|%0,%1}"
  [(set_attr "type" "test,icmp")
  (set_attr "length_immediate" "0,1")
  (set_attr "mode" "")]
:}

Last updated August 9th, 2020

Edit specrtl on GitHub