Big update

src/int/big.rs

@@ -194,7 +194,6 @@ macro_rules! impl_common {
 impl_common!(i256);
 impl_common!(u256);
 
-
 macro_rules! word {
     (1, $val:expr) => {
         (($val >> (32 * 3)) & Self::from(WORD_LO_MASK)) as u64

src/int/mod.rs

@@ -10,7 +10,8 @@ pub mod sdiv;
 pub mod shift;
 pub mod udiv;
 
-pub use self::leading_zeros::__clzsi2;
+pub use leading_zeros::__clzsi2;
+pub use big::{i256, u256};
 
 public_test_dep! {
 /// Minimal integer implementations needed on all integer types, including wide integers.

testcrate/tests/big.rs

@@ -0,0 +1,10 @@
+use compiler_builtins::int::{i256, u256, HInt};
+
+#[test]
+fn widen() {
+    assert_eq!(u128::MAX.widen(), u256([u64::MAX, u64::MAX, 0, 0]));
+    assert_eq!(
+        0xaaaaaaaaaaaaaaaaffffffffffffffff_u128.widen(),
+        u256([u64::MAX, 0xaaaaaaaaaaaaaaaa, 0, 0])
+    );
+}