/**
* buffer = value1 / value2
- *
- * @return non-zero if the remainder is null.
*/
-int sc_div(const void *value1, const void *value2, void *buffer);
+void sc_div(const void *value1, const void *value2, void *buffer);
/**
* buffer = value1 % value2
const void *sc_get_buffer(void);
int sc_get_buffer_length(void);
-void sign_extend(char *calc_buffer, ir_mode *mode);
+void sign_extend(void *buffer, ir_mode *mode);
/** create an value form a string representation */
void sc_val_from_str(const char *str, unsigned int len, void *buffer, ir_mode *mode);
int sc_is_zero(const void *value);
int sc_is_negative(const void *value);
int sc_had_carry(void);
+
+/**
+ * Return the bits of a tarval at a given byte-offset.
+ *
+ * @param value the value
+ * @param len number of valid bits in the value
+ * @param byte_ofs the byte offset
+ */
unsigned char sc_sub_bits(const void *value, int len, unsigned byte_ofs);
/**