#include <stdio.h>
#include <inttypes.h>
#include "../../drd/drd.h"

volatile float   f;
volatile double  d;
volatile int8_t  i8;
volatile int16_t i16;
volatile int32_t i32;
volatile int64_t i64;

int main(int argc, char** argv)
{
  DRD_TRACE_VAR(f);
  DRD_TRACE_VAR(d);
  DRD_TRACE_VAR(i8);
  DRD_TRACE_VAR(i16);
  DRD_TRACE_VAR(i32);
  DRD_TRACE_VAR(i64);

  fprintf(stderr, "float\n");
  f = 1;
  f += 2;
  fprintf(stderr, "double\n");
  d = 3;
  d += 4;
  fprintf(stderr, "uint8_t\n");
  i8 = 5;
  i8 += 6;
  fprintf(stderr, "uint16_t\n");
  i16 = 7;
  i16++;
  fprintf(stderr, "uint32_t\n");
  i32 = 8;
  __sync_add_and_fetch(&i32, 1);
  fprintf(stderr, "uint64_t\n");
  i64 = 9;
  __sync_add_and_fetch(&i64, 0x12345678ULL);

  DRD_STOP_TRACING_VAR(f);
  DRD_STOP_TRACING_VAR(d);
  DRD_STOP_TRACING_VAR(i8);
  DRD_STOP_TRACING_VAR(i16);
  DRD_STOP_TRACING_VAR(i32);
  DRD_STOP_TRACING_VAR(i64);

  fprintf(stderr, "Done.\n");
  return 0;
}