diff options
author | David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> | 2022-01-10 13:56:50 +0100 |
---|---|---|
committer | David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> | 2022-01-10 13:56:50 +0100 |
commit | 071d3fdf1f864c0395e95a8134f319cc9ac0372e (patch) | |
tree | bcb115fb8ada38f05b7e6a8420949b0fb986c99d /configure | |
parent | 41838c656dbbf817446af24b01eac8c071bafda7 (diff) | |
download | compcert-kvx-071d3fdf1f864c0395e95a8134f319cc9ac0372e.tar.gz compcert-kvx-071d3fdf1f864c0395e95a8134f319cc9ac0372e.zip |
add FPDivision64
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -823,7 +823,7 @@ BACKENDLIB=Machblock.v Machblockgen.v Machblockgenproof.v\\ Asmblock.v Asmblockgen.v Asmblockgenproof0.v Asmblockgenproof1.v Asmblockgenproof.v Asmvliw.v Asmblockprops.v\\ ForwardSimulationBlock.v PostpassScheduling.v PostpassSchedulingproof.v\\ Asmblockdeps.v DecBoolOps.v Chunks.v Peephole.v\\ - FPDivision32.v ExtValues.v ExtFloats.v\\ + FPDivision32.v FPDivision64.v ExtValues.v ExtFloats.v\\ AbstractBasicBlocksDef.v SeqSimuTheory.v ImpSimuTest.v Parallelizability.v EOF fi |