Changeset 521


Ignore:
Timestamp:
Jul 21, 2010, 11:08:59 AM (9 years ago)
Author:
ksherdy
Message:

Update print register type from uint32_t to uint64_t to correctly display 64 bit register values.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/lib/lib_simd.h

    r414 r521  
    225225
    226226/* Prints the register representation of a 64 bit value. */
    227 static void print_general_register_64(const char * var_name, uint32_t v) {
     227static void print_general_register_64(const char * var_name, uint64_t v) {
    228228        unsigned char c;
    229229        int i;
    230230        printf("%30s = ", var_name);
    231         for(int i=sizeof(uint32_t)-1; i>=0; i--) {
     231        for(int i=sizeof(uint64_t)-1; i>=0; i--) {
    232232                c = *(((unsigned char *)&v)+i);
    233233                printf("%02X ", c);
Note: See TracChangeset for help on using the changeset viewer.