[Users] 128 bit integers

[Erik Schnetter]

The following works with modern versions of gcc on 64 bit systems:

#include <stdint.h>
#include <stdlib.h>

typedef unsigned int uint128_t __attribute__((mode(TI)));

int main (int argc, char** argv)
{
  uint8_t   i8   = -1;
  uint16_t  i16  = -1;
  uint32_t  i32  = -1;
  uint64_t  i64  = -1;
  uint128_t i128 = -1;
  return 0;
}

-erik

-- 
Erik Schnetter <schnetter at cct.lsu.edu>   http://www.cct.lsu.edu/~eschnett/