Skip to content
GitLab
Explore
Sign in
CertiCompil
CompCert-IntrinSec
Repository
compcert-intrinsec
aarch64
Asm.v
Find file
Blame
History
Permalink
Added implementation for fmin/fmax for aarch64.
· acaabc6c
Bernhard Schommer
authored
Oct 29, 2020
The two built-in function map to the fmax and fmin instruction. Bug 30035
acaabc6c