diff options
| author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2020-12-06 16:47:19 +0100 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2020-12-06 16:47:19 +0100 |
| commit | 5e3898945c063801d4a93f44182d160ccfe4badc (patch) | |
| tree | ba0b2d7ebba9e98e067e24ad8708dccb3441b20b /driver | |
| parent | a4cfb9c2ffdef07fa0d478e66f279687c9823d42 (diff) | |
| download | compcert-kvx-5e3898945c063801d4a93f44182d160ccfe4badc.tar.gz compcert-kvx-5e3898945c063801d4a93f44182d160ccfe4badc.zip | |
PowerPC modeling of registers destroyed by pseudo-instructions
Inlined built-in functions destroy GPR0
Diffstat (limited to 'driver')
0 files changed, 0 insertions, 0 deletions