This is an archive of the discontinued LLVM Phabricator instance.

LLVM does not distinguish Cortex-M4 from Cortex-M4F neither Cortex-R5 from R5F
ClosedPublic

Authored by labrinea on Sep 8 2015, 7:17 AM.

Details

Summary

LLVM currently treats Cortex-M4 and Cortex-R5 as having an FPU. However it distinguishes other arm processors that come optionally with an FPU. These are: cortex-r4, arm1136j-s, arm1176jz-s, mpcore, and arm1156t2-s. Apparently Target Parser and ARM.td are not synchronized.

Diff Detail

Event Timeline

labrinea updated this revision to Diff 34212.Sep 8 2015, 7:17 AM
labrinea retitled this revision from to LLVM does not distinguish Cortex-M4 from Cortex-M4F neither Cortex-R5 from R5F.
labrinea updated this object.
labrinea added a reviewer: rengolin.
labrinea added a subscriber: llvm-commits.
meadori added a subscriber: meadori.Sep 8 2015, 9:54 AM
meadori added inline comments.
lib/Target/ARM/ARM.td
470 ↗(On Diff #34212)

Do our processor names always correspond to real processor names? It was my understanding that there is no such thing as a "Cortex-M4F" processor: http://sourceware.org/ml/binutils/2010-09/msg00184.html So, GCC & binutils definitely don't have "cortex-m4f".

FWIW, if we don't, then I think we should strive to always use actual processor names.

Adding Tim as a reviewer, as he was working on M-class Darwin. I'm not sure this change is welcome, or even valid, there.

I'm not particularly bothered by having the F variants per se, but this may create a conflict when using the GNU linker (which we do), so I wouldn't want to have to fix that, given that it was already refused once by Matt.

Alexandros, any special reason why you're adding this?

cheers,
--renato

test/CodeGen/ARM/darwin-eabi.ll
4 ↗(On Diff #34212)

Not to mention that this is changing Darwin CPU names, which are normally a lot more strict than the rest...

One reason I proposed this is that tools/clang/test/CodeGen/arm-target-features.c currently tests cortex-r5f and cortex-m4f but llvm does not recognize these processor names since they are missing from lib/Target/ARM/ARM.td. The tests are passing and that is the reason I did not notice this issue before, when I was writing these tests (http://reviews.llvm.org/D11299). Another way to solve this is changing the tests and also removing the corresponding entries of cortex-r5f and cortex-m4f from Target Parser.

I am not sure what we want though, since I noticed that the processors which I listed above (cortex-r4, arm1136j-s, arm1176jz-s, mpcore, and arm1156t2-s) have "f" versions. That's why I asked for feedback about this patch in llvm-dev.

Hi Alexandros

My understanding is that clang wants to match gcc for -mcpu and similar options which means supporting the inconsistency as Renato says. From checking with my 4.9.3 arm-none-eabi toolchain I think this means not supporting Cortex-M4F and Cortex-R5F, but supporting Cortex-R4F unfortunately.

Ta
Rich

labrinea updated this revision to Diff 34305.Sep 9 2015, 3:04 AM
labrinea edited edge metadata.

Previous approach was not very welcome to llvm-dev. Since we want to mimic gcc behaviour I am removing r5f and m4f entries from Target Parser. Updating r5 and m4 FPUs accordingly. A clang patch is required for these changes otherwise there will be regressions.

rengolin accepted this revision.Sep 9 2015, 3:47 AM
rengolin edited edge metadata.

Hi Alexandros, Richard,

It's not that we want to mimic GCC, but we also don't want to create new names that will never be used by binutils (which we still rely on).

Moreover, this change is more in sync to the LLVM philosophy that we should map the most common representation of a core, not the bare minimum. If the default configuration of R5s and M4s is to have VFP, then we shall represent it that way and let the minority of users disable them via flags.

LGTM, thanks!

This revision is now accepted and ready to land.Sep 9 2015, 3:47 AM
labrinea closed this revision.Oct 9 2015, 3:41 AM

committed as r247136