For those of you tracking the svn version of CIL: I just checked in some changes to correctly handle large 64-bit constants, which CIL previously choked on. I've made the changes more extensive than they strictly needed to be, to pave the way for future (*) changes to support larger constants (e.g. 128 bit ints, as supported by newer versions of gcc).
In a nutshell: there's a new cilint type that should be used to handle integer C values - cilint is essentially a big_int so will be able to handle future expansion ;-) To get the value represented by a CInt64(n, ik, _) constant, call "mkCilint ik n" (this will give you the correct value for unsigned 64-bit C constants stored in a signed OCaml int64). The Cilint module should contain all the necessary functions for manipulating cilints. Please post bug reports on sourceforge, or email me directly... David Gay *: This is not a promise ;-) ------------------------------------------------------------------------------ Register Now for Creativity and Technology (CaT), June 3rd, NYC. CaT is a gathering of tech-side developers & brand creativity professionals. Meet the minds behind Google Creative Lab, Visual Complexity, Processing, & iPhoneDevCamp as they present alongside digital heavyweights like Barbarian Group, R/GA, & Big Spaceship. http://p.sf.net/sfu/creativitycat-com _______________________________________________ CIL-users mailing list CIL-users@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/cil-users
