Okay we'll process outputs as all u32

This commit is contained in:
Lokathor 2018-12-21 18:55:01 -07:00
parent d27966f52c
commit 828c5c6d5f

View File

@ -778,10 +778,10 @@ fn main() {
// count leading zeros // count leading zeros
gen(|a: MyU64| { gen(|a: MyU64| {
Some((a.0 as usize).leading_zeros() as usize) Some((a.0 as usize).leading_zeros())
}, },
"{ "{
builtins::int::__clzsi2(a as usize) builtins::int::__clzsi2(a as usize) as u32
}"); }");
} }