{"ast_node_type":"other","tokens":[{"end":22,"kind":"keyword","start":0,"text":"if"}]}
    if !is_unchecked {
    let mask = common::shift_mask_val(bx, lhs_llty, rhs_llty, false);
        rhs = bx.and(rhs, mask);