CodeXL > Tools > system information, OpenCL devices tab
The table has a column for each device in 32 bit mode and in 64 bit mode.
A bit confusing at first, but very accurate information.
However, saving to file only exports two devices for me and I don't even know if those are the 32 or 64 bits enumerations.