[quote user="AartiG"]These registers are currently visible when working with XDS emulators, but not with ICDI. We are working to get this addressed for ICDI. Thank you for bringing this to our attention.[/quote]Thanks for the update. I realise I didn't specifically mention which emulator I was using, but as you guessed the problem was seen when using CCS 5.5 with a ICDI emulator on either a EK-LM4F120XL or EK-TM4C123GXL.
I did try and modify the CCS 5.5 device XML files to add floating point registers for a TM4C123GH6PM but when attempted to view the floating point registers in the CCS 5.5 debugger got errors of the following form:
[quote]CORTEX_M4_0: Trouble Reading Register Vfp_FPU_S0: Unsupported Register ID.[/quote]I traced the "Unsupported Register ID" errors to the GTI_READREG function in ccsv5\ccs_base\DebugServer\drivers\stellaris_emu.dvr v5.5.0.400 not accepting the floating point register IDs in ccs_base\common\targetdb\drivers\TI_reg_ids\TMS470REX_regids.xml
As you are aware of the limitation with the ICDI emulators I won't investigate further.