diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2021-04-02 11:44:42 +0200 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2021-04-02 11:44:42 +0200 |
| commit | b042bca17696a9cb6e2be7bbdac9f08953fff527 (patch) | |
| tree | bc3e2c08de99ae355cee613041a7f17f6ad57acc /common | |
| parent | 6ee3ecb0edc17d61a515054952827c495cc03979 (diff) | |
| download | compcert-kvx-b042bca17696a9cb6e2be7bbdac9f08953fff527.tar.gz compcert-kvx-b042bca17696a9cb6e2be7bbdac9f08953fff527.zip | |
get_loop_headers simplification (using the new get_loop_backedges)
Diffstat (limited to 'common')
0 files changed, 0 insertions, 0 deletions