diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2018-09-19 09:47:30 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2018-09-19 09:47:30 +0200 |
commit | 020be062488d755236f296fff760c7491e11997b (patch) | |
tree | 3175d0e87dd8972813f595b686ce00f389bd9403 /driver/Interp.ml | |
parent | e891a43f00680d1d99063c3b8231fb862738e0e3 (diff) | |
download | compcert-020be062488d755236f296fff760c7491e11997b.tar.gz compcert-020be062488d755236f296fff760c7491e11997b.zip |
Switch conditions for eref plattforms.
Otherwise an isel is generated if no isel is needed at all.
Bug 24516
Diffstat (limited to 'driver/Interp.ml')
0 files changed, 0 insertions, 0 deletions