KWillets

#include <inttypes.h>
#include <stdio.h>
#include <stdlib.h>
#include <random>

typedef uint32_t (*randfnc32)(void);

/*
  To generate a random integer within a range, we start
  with a random fractional number (in [0,1)) and multiply it

KWillets

#include <stdio.h>
#include <x86intrin.h>
#include <inttypes.h>

#include "streamvbyte_shuffle_tables_decode.h"

void dump(const __m128i x, char * tag) {
  printf( "%6s: ", tag);
  char * xc = (char *) &x;
  for( int i =0; i < 16; i++)

KWillets

#include <stdlib.h>
#include <stdio.h>
#include <x86intrin.h>
#include <inttypes.h>
#include "benchmark.h"


// multiple of 4:
#define N (2048)