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  
       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  }