| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | i64_dtos.s | 2490 | logstatsplain |
| -rw-r--r-- | i64_dtou.s | 2948 | logstatsplain |
| -rw-r--r-- | i64_sar.s | 2686 | logstatsplain |
| -rw-r--r-- | i64_scmp.s | 2624 | logstatsplain |
| -rw-r--r-- | i64_sdiv.s | 2988 | logstatsplain |
| -rw-r--r-- | i64_shl.s | 2640 | logstatsplain |
| -rw-r--r-- | i64_shr.s | 2647 | logstatsplain |
| -rw-r--r-- | i64_smod.s | 2901 | logstatsplain |
| -rw-r--r-- | i64_stod.s | 2114 | logstatsplain |
| -rw-r--r-- | i64_ucmp.s | 2544 | logstatsplain |
| -rw-r--r-- | i64_udiv.s | 2263 | logstatsplain |
| -rw-r--r-- | i64_udivmod.s | 4748 | logstatsplain |
| -rw-r--r-- | i64_umod.s | 2216 | logstatsplain |
| -rw-r--r-- | i64_utod.s | 2377 | logstatsplain |
 |
index : compcert | |
| CompCert fork with minor modifications for Vericert. |
| aboutsummaryrefslogtreecommitdiffstats |