u32_bit_shift_right function
Implementation
dc.int u32_bit_shift_right(dc.dynamic x$1, dc.dynamic n$1, ){
return ((x$1 as dc.int)>>(31&(n$1 as dc.int)));
}
dc.int u32_bit_shift_right(dc.dynamic x$1, dc.dynamic n$1, ){
return ((x$1 as dc.int)>>(31&(n$1 as dc.int)));
}