1 /* PR target/27571
2    alpha_does_function_need_gp did not properly skip jump table insns  */
3 
4 int r3isseparator(int);
5 void r3isdigit(int);
6 void r3decimalvalue(int);
7 
r7todouble(int * storage,int * count)8 void r7todouble(int *storage, int *count) {
9     int i = 0;
10     int state = 0;
11     int cc = 0;
12     while (i > *count) {
13 	cc = *storage;
14 	switch (state) {
15 	case 0:
16 	    if (r3isseparator(cc))
17 		state = 1;
18 	case 1:
19 	    r3isdigit(cc);
20 	case 2:
21 	case 5:
22 	case 6:
23 	    r3decimalvalue(cc);
24 	}
25 	i++;
26     }
27 }
28