|
From: <sv...@va...> - 2014-09-17 19:48:48
|
Author: florian
Date: Wed Sep 17 19:48:36 2014
New Revision: 14546
Log:
Fix type2index. It did not handle decimal floating point types.
nameOfTypeIndex likewise.
Modified:
trunk/lackey/lk_main.c
Modified: trunk/lackey/lk_main.c
==============================================================================
--- trunk/lackey/lk_main.c (original)
+++ trunk/lackey/lk_main.c Wed Sep 17 19:48:36 2014
@@ -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);
}
}
|