Rekisteri siirto kieli (RTL) on välituote esitys on arkkitehtuuri riippuu lähellä konekielellä pääasiassa käytetään nykyaikaisia kerääjiä. Se on myös hyvin toteutettu kääntäjissä, kuten gcc, tai sertifioiduissa kääntäjissä CompCert ja CerCo .
RTL-kieli on tietyn kielen kääntäjän kääntöpassi. Sen syntaksin ja ohjauksen vuokaavion esitys (CFG) kuitenkin menettää kielen abstraktin rakenteen. Sen graafinen esitys mahdollistaa ennen kaikkea selittää ohjausvuo ohjelman (käyttäen reunat on kaavio), mikä tyyppi-informaatio ja muuttujien katoavat hyväksi edustus pseudo- rekistereihin tietyn koko bitteinä.
RTL-lausekkeiden kielen voidaan nähdä olevan pienin joukko pseudorekistereitä, jotka on suljettu sekvensseillä ja mielivaltaisilla ariteettitoiminnoilla ja määritelty kohdekokoelukielellä.
Mikro-operaatiot
RTL-kieli on kuin kokoonpanokieli, jota kuvaavat perustoiminnot, joita kutsutaan mikro-operaatioiksi. Mikrooperaatio on perusoperaatio, joka toimii samalla tavalla kaikilla rekisterin biteillä ja kestää enintään yhden kellojakson. Toimintoja on neljää tyyppiä: