> But the problem is that if the mode of the register is larger than the mode > of the register when last set then we can't know anything about > nonzero_bits.
Right, this case is handled for nonzero_sign_valid a few lines below. > Fixed the problem. Any comments? Why not duplicate the treatment applied for nonzero_sign_valid? -- Eric Botcazou
