avr/torture/vals-k.def

VAL (01, 0x0)
VAL (02, 0x1)
VAL (03, 0x3f)
VAL (04, 0x80)
VAL (05, -0x1)
VAL (06, -0x3f)
VAL (07, 0x40000000)
VAL (08,-0x40000000)

VAL (10,-0x7fffffff)
VAL (11, 0x7fffffff)
VAL (12, 0x7f800000)
VAL (13,-0x7f800000)
VAL (14, 0x7f800001)
VAL (15,-0x7f800001)
VAL (16, 0x7f7f7f7f)
VAL (17,-0x7f7f7f7f)
VAL (18, 0x7f808080)
VAL (19,-0x7f808080)
VAL (20, 0x3e800000)
VAL (21,-0x3e800000)
VAL (22, 0x3f800000)
VAL (23,-0x3f800000)
VAL (24, 0x400000)
VAL (25,-0x400000)
VAL (26, 0x3f000000)
VAL (27,-0x3f000000)
VAL (28, 0xffff00)
VAL (29,-0xffff00)
VAL (30, 0x00ff00ff)
VAL (31,-0x00ff00ff)