| ... | ... | @@ -9220,8 +9220,8 @@ test "@setRuntimeSafety" { |
| 9220 | 9220 | any bits that disagree with the resultant sign bit are shifted out. |
| 9221 | 9221 | </p> |
| 9222 | 9222 | <p> |
| 9223 | | The type of {#syntax#}shift_amt{#endsyntax#} is an unsigned integer with {#syntax#}log2(T.bit_count){#endsyntax#} bits. |
| 9224 | | This is because {#syntax#}shift_amt >= T.bit_count{#endsyntax#} is undefined behavior. |
| 9223 | The type of {#syntax#}shift_amt{#endsyntax#} is an unsigned integer with {#syntax#}log2(@typeInfo(T).Int.bits){#endsyntax#} bits. |
| 9224 | This is because {#syntax#}shift_amt >= @typeInfo(T).Int.bits{#endsyntax#} is undefined behavior. |
| 9225 | 9225 | </p> |
| 9226 | 9226 | {#see_also|@shrExact|@shlWithOverflow#} |
| 9227 | 9227 | {#header_close#} |
| ... | ... | @@ -9234,8 +9234,8 @@ test "@setRuntimeSafety" { |
| 9234 | 9234 | If no overflow or underflow occurs, returns {#syntax#}false{#endsyntax#}. |
| 9235 | 9235 | </p> |
| 9236 | 9236 | <p> |
| 9237 | | The type of {#syntax#}shift_amt{#endsyntax#} is an unsigned integer with {#syntax#}log2(T.bit_count){#endsyntax#} bits. |
| 9238 | | This is because {#syntax#}shift_amt >= T.bit_count{#endsyntax#} is undefined behavior. |
| 9237 | The type of {#syntax#}shift_amt{#endsyntax#} is an unsigned integer with {#syntax#}log2(@typeInfo(T).Int.bits){#endsyntax#} bits. |
| 9238 | This is because {#syntax#}shift_amt >= @typeInfo(T).Int.bits{#endsyntax#} is undefined behavior. |
| 9239 | 9239 | </p> |
| 9240 | 9240 | {#see_also|@shlExact|@shrExact#} |
| 9241 | 9241 | {#header_close#} |
| ... | ... | @@ -9247,8 +9247,8 @@ test "@setRuntimeSafety" { |
| 9247 | 9247 | that the shift will not shift any 1 bits out. |
| 9248 | 9248 | </p> |
| 9249 | 9249 | <p> |
| 9250 | | The type of {#syntax#}shift_amt{#endsyntax#} is an unsigned integer with {#syntax#}log2(T.bit_count){#endsyntax#} bits. |
| 9251 | | This is because {#syntax#}shift_amt >= T.bit_count{#endsyntax#} is undefined behavior. |
| 9250 | The type of {#syntax#}shift_amt{#endsyntax#} is an unsigned integer with {#syntax#}log2(@typeInfo(T).Int.bits){#endsyntax#} bits. |
| 9251 | This is because {#syntax#}shift_amt >= @typeInfo(T).Int.bits{#endsyntax#} is undefined behavior. |
| 9252 | 9252 | </p> |
| 9253 | 9253 | {#see_also|@shlExact|@shlWithOverflow#} |
| 9254 | 9254 | {#header_close#} |