On Sun, Oct 1, 2017 at 6:13 PM, Richard Sandiford
wrote:
> The tree wi:: decompose routine wasn't asserting that the requested
> precision matched the tree's precision. This could make a difference
> for unsigned trees that are exactly N HWIs wide and that have the upper
> bit set, since we then
The tree wi:: decompose routine wasn't asserting that the requested
precision matched the tree's precision. This could make a difference
for unsigned trees that are exactly N HWIs wide and that have the upper
bit set, since we then need an extra zero HWI when extending it to wider
precisions (as f