Fix type2index. It did not handle decimal floating point types.
nameOfTypeIndex likewise.


git-svn-id: svn://svn.valgrind.org/valgrind/trunk@14546 a5019735-40e9-0310-863c-91ae7b9d1cf9
diff --git a/lackey/lk_main.c b/lackey/lk_main.c
index 9af280d..bfa2fd8 100644
--- a/lackey/lk_main.c
+++ b/lackey/lk_main.c
@@ -305,7 +305,7 @@
 
 /* --- Types --- */
 
-#define N_TYPES 11
+#define N_TYPES 14
 
 static Int type2index ( IRType ty )
 {
@@ -321,6 +321,9 @@
       case Ity_F128:    return 8;
       case Ity_V128:    return 9;
       case Ity_V256:    return 10;
+      case Ity_D32:     return 11;
+      case Ity_D64:     return 12;
+      case Ity_D128:    return 13;
       default: tl_assert(0);
    }
 }
@@ -337,8 +340,11 @@
       case 6: return "F32";  break;
       case 7: return "F64";  break;
       case 8: return "F128";  break;
-      case 9: return "V128"; break;
+      case 9: return "V128";  break;
       case 10: return "V256"; break;
+      case 11: return "D32";  break;
+      case 12: return "D64";  break;
+      case 13: return "D128"; break;
       default: tl_assert(0);
    }
 }