platin: deal with different basic blocks mapping to the same address
patmos: move getInstrSize() from function splitter to PatmosInstrInfo, and use it for PatmosExport