Re: [PATCH] aarch64: Tighten up checks for ubfix [PR98681]

2021-01-26 Thread Richard Sandiford via Gcc-patches
Jakub Jelinek via Gcc-patches writes: > Hi! > > The testcase in the patch doesn't assemble, because the instruction requires > that the penultimate operand (lsb) range is [0, 32] (or [0, 64]) and the last > operand's range is [1, 32 - lsb] (or [1, 64 - lsb]). > The INTVAL (shft_amnt) < GET_MODE_BI

[PATCH] aarch64: Tighten up checks for ubfix [PR98681]

2021-01-23 Thread Jakub Jelinek via Gcc-patches
Hi! The testcase in the patch doesn't assemble, because the instruction requires that the penultimate operand (lsb) range is [0, 32] (or [0, 64]) and the last operand's range is [1, 32 - lsb] (or [1, 64 - lsb]). The INTVAL (shft_amnt) < GET_MODE_BITSIZE (mode) will accept the lsb operand to be in