avr/torture/vals-uk.def

VAL (01, 0x0)
VAL (02, 0x1)
VAL (03, 0x3f)
VAL (04, 0x80)
VAL (07, 0x40000000)
VAL (08, 0xc0000000)
VAL (10, 0x7fffffff)
VAL (12, 0x7f800000)
VAL (14, 0x7f800001)
VAL (16, 0x7f7f7f7f)
VAL (18, 0x7f808000)
VAL (20, 0x3e800000)
VAL (22, 0x3f800000)
VAL (24, 0x40000000)
VAL (26, 0x3f000000)
VAL (28, 0xffff00)
VAL (30, 0x00ff00ff)
VAL (31, 0xff00ff00)
VAL (32, 0x10000000)
VAL (33, 0xff000000)

VAL (99, 0x80000000)