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 /powerpc/Asmgenproof1.v | |
| 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 'powerpc/Asmgenproof1.v')
0 files changed, 0 insertions, 0 deletions