On Sat, Nov 02, 2013 at 03:15:44PM +0000, Richard Sandiford wrote: > What should integer_onep mean if we have a signed 1-bit bitfield in > which the bit is set? Seen as a 1-bit value it's "obviously" 1, > but seen as a value extended to infinite precision it's -1. > > Current mainline returns false while wide-int returns true.
Then current mainline is correct. signed 1-bit bitfield has values 0 and -1, not 0 and 1. And, signed 1-bit -1 should be just integer_minus_onep and integer_all_onesp. Jakub