Compcert IR of sqrt.c