Lines Matching refs:Check

32 ; Check the next value up, which can again use RISBG.
41 ; Check 0xfffffffe, which can also use RISBG.
50 ; Check the next value up, which is a 32-bit zero extension.
59 ; Check the lowest useful NIHF value (0x00000001_ffffffff).
77 ; Check the lowest NIHH value outside the RISBG range (0x0002ffff_ffffffff).
86 ; Check the highest NIHH value outside the RISBG range (0xfffaffff_ffffffff).
95 ; Check the highest useful NIHF value (0xfffefffe_ffffffff).
104 ; Check the lowest NIHL value outside the RISBG range (0xffff0002_ffffffff).
113 ; Check the highest NIHL value outside the RISBG range (0xfffffffa_ffffffff).
122 ; Check the lowest NILF value outside the RISBG range (0xffffffff_00000002).
131 ; Check the lowest NILH value outside the RISBG range (0xffffffff_0002ffff).
140 ; Check the next value up, which must use NILF.
149 ; Check the highest NILH value outside the RISBG range (0xffffffff_fffaffff).
158 ; Check the maximum useful NILF value (0xffffffff_fffefffe).
167 ; Check the lowest NILL value outside the RISBG range (0xffffffff_ffff0002).
176 ; Check the highest NILL value outside the RISBG range.