Kyrylo Tkachov <kyrylo.tkac...@arm.com> writes: >> -----Original Message----- >> From: Andrea Corallo <andrea.cora...@arm.com> >> Sent: 01 December 2020 13:52 >> To: gcc-patches@gcc.gnu.org >> Cc: Kyrylo Tkachov <kyrylo.tkac...@arm.com>; Richard Earnshaw >> <richard.earns...@arm.com>; nd <n...@arm.com> >> Subject: [PATCH] arm: Improve documentation for effective target >> 'arm_softfloat' >> >> Hi all, >> >> I'd like to submit the following patch to better specify the meaning >> of the 'arm_softfloat' effective target. >> >> As I've recently discovered we can have cases where '-mfloat-abi=hard' >> is used and the compiler correctly defines '__SOFTFP__'. >> >> Effectively 'arm_softfloat' is checking if the target requires floating >> point emulation but not what ABI is used, so I think would be nice to >> specify that in the documentation. >> >> Okay for trunk? > > Ok. > Thanks, > Kyrill
And also this is into trunk as 33314b11ca2. Thanks! Andrea