Languages Features Creators CSV Resources Challenges Add Language
GitHub icon


specrtl - Programming language

< >

specrtl is a programming language created in 2011.

#2087on PLDB 12Years Old 0Books

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.

Example 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" "")] :}
sora.html 路 specrtl.html 路 subx.html

View source

- Build the next great programming language Search Day 215 About Blog Acknowledgements Traffic Traffic Today GitHub