ArmArchitecture: set ARM register names (textual ddescription) as well.

git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1977 8c4709b5-6ec9-48aa-a5cd-a96041d1645a

src/core/sal/arm/Architecture.cc

@@ -1,5 +1,6 @@
 #include "Architecture.hpp"
 #include "../Register.hpp"
+#include <sstream>
 
 namespace fail {
 
@@ -14,6 +15,10 @@ void ArmArchitecture::fillRegisterList()
 	// 16x 32-Bit GP Registers
 	for (int i = 0; i < 16; i++) {
 		Register *reg = new Register(i, RT_GP, 32);
+		// Build and set the register name:
+		std::stringstream sstr;
+		sstr << "R" << i+1;
+		reg->setName(str.str());
 		addRegister(reg);
 	}
 }