Changeset 45fde9f for libcfa/src


Ignore:
Timestamp:
Jun 15, 2021, 1:24:41 PM (3 years ago)
Author:
Thierry Delisle <tdelisle@…>
Branches:
ADT, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum
Children:
27c9767, 43784ac
Parents:
64780c1
Message:

Fixed width sum check to actually sum.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • libcfa/src/device/cpu.cfa

    r64780c1 r45fde9f  
    340340                [maps, map_cnt] =  distinct_llcs(cpus, cache_levels - llc, raw);
    341341
    342                 /* paranoid */ verify((map_cnt * raw[0][cache_levels - llc].width) == cpus);
     342                #if defined(__CFA_WITH_VERIFY__)
     343                {
     344                        unsigned width = 0;
     345                        for(i; map_cnt) {
     346                                const char * _;
     347                                width += read_width(maps[i], strlen(maps[i]), &_);
     348                        }
     349                        verify(width == cpus);
     350                }
     351                #endif
    343352
    344353                // Get mappings from cpu to cache instance
Note: See TracChangeset for help on using the changeset viewer.