diff options
author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2019-04-13 10:11:05 +0200 |
---|---|---|
committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2019-05-20 18:00:46 +0200 |
commit | d002919334e83904447957f666f0d48704c5e55b (patch) | |
tree | aec12f1218490c75f3592c3443e98df706409577 /arm/AsmToJSON.ml | |
parent | 43e7b6702a76306f20687bc9aba93ae465d6e4be (diff) | |
download | compcert-d002919334e83904447957f666f0d48704c5e55b.tar.gz compcert-d002919334e83904447957f666f0d48704c5e55b.zip |
Emulate the "isel" instruction on non-EREF PPC processors
On non-EREF processors it expands to instructions that destroy GPR0.
Reflect this in the Asm semantics for Pisel.
Diffstat (limited to 'arm/AsmToJSON.ml')
0 files changed, 0 insertions, 0 deletions