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 /powerpc/ConstpropOp.vp | |
parent | a4cfb9c2ffdef07fa0d478e66f279687c9823d42 (diff) | |
download | compcert-5e3898945c063801d4a93f44182d160ccfe4badc.tar.gz compcert-5e3898945c063801d4a93f44182d160ccfe4badc.zip |
PowerPC modeling of registers destroyed by pseudo-instructions
Inlined built-in functions destroy GPR0
Diffstat (limited to 'powerpc/ConstpropOp.vp')
0 files changed, 0 insertions, 0 deletions