Searched defs:Val_long (Results 1 – 5 of 5) sorted by relevance
63 #define Val_long(x) (((long)(x) << 1) + 1) macro
128 fun Val_long x = add(shl(x, litInt 1), litInt 1) function
69 #define Val_long(x) (((long)(x) << 1) + 1) macro
73 #define Val_long(x) ((intnat) (((uintnat)(x) << 1)) + 1) macro