diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-04-05 15:26:00 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-04-05 15:26:00 +0200 |
commit | b57f2582b5d2e05c2e4f7fcb0742a079d85b5407 (patch) | |
tree | 934cb74fa373d9ba649968460442f5a81b906fbe /x86/Asmgen.v | |
parent | 98383707438a3e31ffd86a82b57fbe439945f777 (diff) | |
download | compcert-kvx-b57f2582b5d2e05c2e4f7fcb0742a079d85b5407.tar.gz compcert-kvx-b57f2582b5d2e05c2e4f7fcb0742a079d85b5407.zip |
use cmove in bitsliced AES
Diffstat (limited to 'x86/Asmgen.v')
0 files changed, 0 insertions, 0 deletions