--- /dev/null
+\r
+#include <stdint.h>\r
+#include "platform.h"\r
+#include "primitives.h"\r
+\r
+struct uint64_extra\r
+ softfloat_shift64ExtraRightJam(\r
+ uint64_t a, uint64_t extra, unsigned int count )\r
+{\r
+ struct uint64_extra z;\r
+\r
+ if ( count < 64 ) {\r
+ z.v = a>>count;\r
+ z.extra = a<<( ( - count ) & 63 );\r
+ } else {\r
+ z.v = 0;\r
+ z.extra = ( count == 64 ) ? a : ( a != 0 );\r
+ }\r
+ z.extra |= ( extra != 0 );\r
+ return z;\r
+\r
+}\r
+\r