Lines Matching defs:right_sc_biguint32
42 right_sc_biguint32 = 1 << OFFSET; \
43 VALUE.concat_get_data( right_sc_biguint32.get_raw(), OFFSET); \
44 if ( right_sc_biguint32 != ((EXPECTED)<<OFFSET) ) \
47 << ((EXPECTED)<<OFFSET) << " got " << right_sc_biguint32 << endl; \
130 right_sc_biguint32 = VALUE; \
131 SET(left_sc_bigint12,right_sc_biguint32,VALUE,OFFSET,EXPECTED); \
132 SET(left_sc_biguint12,right_sc_biguint32,VALUE,OFFSET,EXPECTED); \
133 SET(left_sc_int12,right_sc_biguint32,VALUE,OFFSET,EXPECTED); \
134 SET(left_sc_uint12,right_sc_biguint32,VALUE,OFFSET,EXPECTED); \
179 sc_biguint<32> right_sc_biguint32;