l4/pkg/valgrind/src/valgrind-3.6.0-svn/memcheck/tests/sh-mem-random.c

   1 // This program is a thorough test of the LOADVn/STOREVn shadow memory
   2 // operations.
   3
   4 #include <assert.h>
   5 #include <stdlib.h>
   6 #include <stdio.h>
   7 #include <string.h>
   8 #include "tests/sys_mman.h"
   9 #include "memcheck/memcheck.h"
  10
  11 // All the sizes here are in *bytes*, not bits.
  12
  13 typedef unsigned char        U1;
  14 typedef unsigned short       U2;
  15 typedef unsigned int         U4;
  16 typedef unsigned long long   U8;
  17
  18 typedef float                F4;
  19 typedef double               F8;
  20
  21 typedef unsigned long        UWord;
  22
  23 #define PAGE_SIZE 4096ULL
  24
  25
  26 // XXX: should check the error cases for SET/GET_VBITS also
  27
  28 // For the byte 'x', build a value of 'size' bytes from that byte, eg:
  29 //   size 1 --> x
  30 //   size 2 --> xx
  31 //   size 4 --> xxxx
  32 //   size 8 --> xxxxxxxx
  33 // where the 0 bits are seen by Memcheck as defined, and the 1 bits are
  34 // seen as undefined (ie. the value of each bit matches its V bit, ie. the
  35 // resulting value is the same as its metavalue).
  36 //
  37 U8 build(int size, U1 byte)
  38 {
  39    int i;
  40    U8 mask = 0;
  41    U8 shres;
  42    U8 res = 0xffffffffffffffffULL, res2;
  43    VALGRIND_MAKE_MEM_UNDEFINED(&res, 8);
  44    assert(1 == size || 2 == size || 4 == size || 8 == size);
  45
  46    for (i = 0; i < size; i++) {
  47       mask <<= 8;
  48       mask |= (U8)byte;
  49    }
  50
  51    res &= mask;
  52
  53    // res is now considered partially defined, but we know exactly what its
  54    // value is (it happens to be the same as its metavalue).
  55
  56    VALGRIND_GET_VBITS(&res, &shres, 8);
  57    res2 = res;
  58    VALGRIND_MAKE_MEM_DEFINED(&res2, 8);      // avoid the 'undefined' warning
  59    assert(res2 == shres);
  60    return res;
  61 }
  62
  63 U1 make_defined ( U1 x )
  64 {
  65    volatile U1 xx = x;
  66    VALGRIND_MAKE_MEM_DEFINED(&xx, 1);
  67    return xx;
  68 }
  69
  70 void check(U1* arr, int n, char* who)
  71 {
  72    int i;
  73    U1* shadow = malloc(n);
  74    U1 arr_i;
  75    U8 sum = 0;
  76    VALGRIND_GET_VBITS(arr, shadow, n);
  77    for (i = 0; i < n; i++) {
  78       arr_i = make_defined(arr[i]);
  79       if (arr_i != shadow[i]) {
  80           fprintf(stderr, "\n\nFAILURE: %s, byte %d -- "
  81                           "is 0x%x, should be 0x%x\n\n",
  82                           who, i, shadow[i], arr[i]);
  83           exit(1);
  84       }
  85       sum += (U8)arr_i;
  86    }
  87    free(shadow);
  88    printf("test passed, sum = %llu (%9.5f per byte)\n",
  89           sum, (F8)sum / (F8)n);
  90 }
  91
  92 static inline U4 randomU4 ( void )
  93 {
  94    static U4 n = 0;
  95    /* From "Numerical Recipes in C" 2nd Edition */
  96    n = 1664525UL * n + 1013904223UL;
  97    return n;
  98 }
  99
 100 static inline U1 randomU1 ( void )
 101 {
 102    return 0xFF & (randomU4() >> 13);
 103 }
 104
 105 #define N_BYTES  300000
 106 #define N_EVENTS (5 * N_BYTES)
 107
 108
 109 void do_test_at ( U1* arr )
 110 {
 111    int i;
 112
 113    U4 mv1 = 0, mv2 = 0, mv4 = 0, mv8 = 0, mv4f = 0, mv8f = 0;
 114
 115    /* Fill arr with random bytes whose shadows match them. */
 116    if (0) printf("-------- arr = %p\n", arr);
 117
 118    printf("initialising\n");
 119    for (i = 0; i < N_BYTES; i++)
 120       arr[i] = (U1)build(1, randomU1());
 121
 122    printf("post-initialisation check\n");
 123    check(arr, N_BYTES, "after initialisation");
 124
 125    /* Now do huge numbers of memory copies. */
 126    printf("doing copies\n");
 127    for (i = 0; i < N_EVENTS; i++) {
 128       U4 ty, src, dst;
 129       ty  = (randomU4() >> 13) % 5;
 130      tryagain:
 131       src = (randomU4() >>  1) % N_BYTES;
 132       dst = (randomU4() >>  3) % N_BYTES;
 133       switch (ty) {
 134          case 0: { // U1
 135             *(U1*)(arr+dst) = *(U1*)(arr+src);
 136             mv1++;
 137             break;
 138          }
 139          case 1: { // U2
 140             if (src+2 >= N_BYTES || dst+2 >= N_BYTES)
 141                goto tryagain;
 142             *(U2*)(arr+dst) = *(U2*)(arr+src);
 143             mv2++;
 144             break;
 145          }
 146          case 2: { // U4
 147             if (src+4 >= N_BYTES || dst+4 >= N_BYTES)
 148                goto tryagain;
 149             *(U4*)(arr+dst) = *(U4*)(arr+src);
 150             mv4++;
 151             break;
 152          }
 153          case 3: { // U8
 154             if (src+8 >= N_BYTES || dst+8 >= N_BYTES)
 155                goto tryagain;
 156             *(U8*)(arr+dst) = *(U8*)(arr+src);
 157             mv8++;
 158             break;
 159          }
 160          /* Don't bother with 32-bit floats.  These cause
 161             horrible complications, as discussed in sh-mem.c. */
 162          /*
 163          case 4: { // F4
 164             if (src+4 >= N_BYTES || dst+4 >= N_BYTES)
 165                goto tryagain;
 166             *(F4*)(arr+dst) = *(F4*)(arr+src);
 167             mv4f++;
 168             break;
 169          }
 170          */
 171          case 4: { // F8
 172             if (src+8 >= N_BYTES || dst+8 >= N_BYTES)
 173                goto tryagain;
 174 #if defined(__i386__)
 175             /* Copying via an x87 register causes the test to fail,
 176                because (I think) some obscure values that are FP
 177                denormals get changed during the copy due to the FPU
 178                normalising, or rounding, or whatever, them.  This
 179                causes them to no longer bit-for-bit match the
 180                accompanying metadata.  Yet we still need to do a
 181                genuine 8-byte load/store to test the relevant memcheck
 182                {LOADV8,STOREV8} routines.  Hence use the MMX registers
 183                instead, as copying through them should be
 184                straightforward.. */
 185             __asm__ __volatile__(
 186                "movq (%1), %%mm2\n\t"
 187                "movq %%mm2, (%0)\n\t"
 188                "emms"
 189                : : "r"(arr+dst), "r"(arr+src) : "memory"
 190             );
 191 #else
 192             /* Straightforward.  On amd64, this gives a load/store of
 193                the bottom half of an xmm register.  On ppc32/64 this
 194                is a straighforward load/store of an FP register. */
 195             *(F8*)(arr+dst) = *(F8*)(arr+src);
 196 #endif
 197             mv8f++;
 198             break;
 199          }
 200          default:
 201            fprintf(stderr, "sh-mem-random: bad size\n");
 202            exit(0);
 203       }
 204    }
 205
 206    printf("final check\n");
 207    check(arr, N_BYTES, "final check");
 208
 209    printf("counts 1/2/4/8/F4/F8: %d %d %d %d %d %d\n",
 210           mv1, mv2, mv4, mv8, mv4f, mv8f);
 211 }
 212
 213
 214
 215 int main(void)
 216 {
 217    U1* arr;
 218
 219    if (0 == RUNNING_ON_VALGRIND) {
 220       fprintf(stderr, "error: this program only works when run under Valgrind\n");
 221       exit(1);
 222    }
 223
 224    printf("-------- testing non-auxmap range --------\n");
 225
 226    arr = malloc(N_BYTES);
 227    assert(arr);
 228    do_test_at(arr);
 229    free(arr);
 230
 231    if (sizeof(void*) == 8) {
 232       // 64-bit platform.
 233       int tries;
 234       int nbytes_p;
 235       // (U1*)(UWord)constULL funny casting to keep gcc quiet on
 236       // 32-bit platforms
 237       U1* huge_addr = (U1*)(UWord)0x6600000000ULL;  // 408GB
 238       // Note, kernel 2.6.? on Athlon64 refuses fixed mmap requests
 239       // at above 512GB.
 240
 241       printf("-------- testing auxmap range --------\n");
 242
 243       nbytes_p = (N_BYTES + PAGE_SIZE) & ~(PAGE_SIZE-1);
 244
 245       for (tries = 0; tries < 10; tries++) {
 246          arr = mmap(huge_addr, nbytes_p, PROT_READ|PROT_WRITE,
 247                     MAP_FIXED|MAP_PRIVATE|MAP_ANONYMOUS, -1,0);
 248          if (arr != MAP_FAILED)
 249             break;
 250          // hmm. fudge the address and try again.
 251          huge_addr += (randomU4() & ~(PAGE_SIZE-1));
 252       }
 253
 254       if (tries >= 10) {
 255            fprintf(stderr, "sh-mem-random: can't mmap hi-mem\n");
 256            exit(0);
 257       }
 258       assert(arr != MAP_FAILED);
 259
 260       do_test_at(arr);
 261    }
 262
 263    return 0;
 264
 265 }