Hello Bill,
I can report that both of my systems are now correctly detected. Thank you for
the fix!
I also noticed that there were a couple of other missing processor models when
compared with GMP mpn/x86_64/fat/fat.c: (the * star values are missing in MPIR)
Broadwell:
0x3d=61
0x47=71 *
0x4
I have issued an alpha3 which supports your particular Broadwell chip,
which was a Family we weren't aware of. Can you verify that it is now
detected correctly.
As for optimising for Broadwell, if you are interested, we'd be happy to
have the help. I've added details to the relevant ticket [1] to