51         snprintf(str, sizeof(str), "%s",  in Dump()
55         snprintf(str, sizeof(str), "0x%2.2x", value.uint8);  in Dump()
58         snprintf(str, sizeof(str), "0x%4.4x", value.uint16);  in Dump()
61         snprintf(str, sizeof(str), "0x%8.8x", value.uint32);  in Dump()
64         snprintf(str, sizeof(str), "0x%16.16llx", value.uint64);  in Dump()
67         snprintf(str, sizeof(str), "0x%16.16llx%16.16llx", value.v_uint64[0],  in Dump()
76                 snprintf(pos, end - pos, "%2.2x", (uint32_t)value.v_uint8[i]);  in Dump()
85           snprintf(str, sizeof(str), "%u", value.uint8);  in Dump()
88           snprintf(str, sizeof(str), "%u", value.uint16);  in Dump()
91           snprintf(str, sizeof(str), "%u", value.uint32);  in Dump()
94           snprintf(str, sizeof(str), "%llu", value.uint64);  in Dump()
97           snprintf(str, sizeof(str), "error: unsupported uint byte size %d.",  in Dump()
106           snprintf(str, sizeof(str), "%d", value.sint8);  in Dump()
109           snprintf(str, sizeof(str), "%d", value.sint16);  in Dump()
112           snprintf(str, sizeof(str), "%d", value.sint32);  in Dump()
115           snprintf(str, sizeof(str), "%lld", value.sint64);  in Dump()
118           snprintf(str, sizeof(str), "error: unsupported sint byte size %d.",  in Dump()
127           snprintf(str, sizeof(str), "%f", value.float32);  in Dump()
130           snprintf(str, sizeof(str), "%g", value.float64);  in Dump()
133           snprintf(str, sizeof(str), "error: unsupported float byte size %d.",  in Dump()
143             snprintf(str, sizeof(str), "%s", "sint8   { ");  in Dump()
149                     snprintf(pos, end - pos, "%d", (int32_t)value.v_sint8[i]);  in Dump()
160             snprintf(str, sizeof(str), "%s", "uint8   { ");  in Dump()
166                     snprintf(pos, end - pos, "%u", (uint32_t)value.v_uint8[i]);  in Dump()
171             snprintf(str, sizeof(str), "%s", "sint16  { ");  in Dump()
177                     snprintf(pos, end - pos, "%d", (int32_t)value.v_sint16[i]);  in Dump()
182             snprintf(str, sizeof(str), "%s", "uint16  { ");  in Dump()
188                     snprintf(pos, end - pos, "%u", (uint32_t)value.v_uint16[i]);  in Dump()
193             snprintf(str, sizeof(str), "%s", "sint32  { ");  in Dump()
199                     snprintf(pos, end - pos, "%d", (int32_t)value.v_sint32[i]);  in Dump()
204             snprintf(str, sizeof(str), "%s", "uint32  { ");  in Dump()
210                     snprintf(pos, end - pos, "%u", (uint32_t)value.v_uint32[i]);  in Dump()
215             snprintf(str, sizeof(str), "%s", "float32 { ");  in Dump()
220                 pos += snprintf(pos, end - pos, "%f", value.v_float32[i]);  in Dump()
225             snprintf(str, sizeof(str), "%s", "uint128 { ");  in Dump()
230                 pos += snprintf(pos, end - pos, "0x%16.16llx%16.16llx",  in Dump()
237           snprintf(str, sizeof(str), "error: unsupported vector size %d.",  in Dump()
243         snprintf(str, sizeof(str), "error: unsupported register type %d.",  in Dump()