1  /* Two of these types will, on current gcc targets, have the same
       2     mode but have different alias sets.  DOIT tries to get gcse to
       3     invalidly hoist one of the values out of the loop.  */
       4  
       5  typedef int T0;
       6  typedef long T1;
       7  typedef long long T2;
       8  
       9  int
      10  doit(int sel, int n, void *p)
      11  {
      12    T0 * const p0 = p;
      13    T1 * const p1 = p;
      14    T2 * const p2 = p;
      15  
      16    switch (sel)
      17      {
      18      case 0:
      19        do 
      20  	*p0 += *p0;
      21        while (--n);
      22        return *p0 == 0;
      23  
      24      case 1:
      25        do 
      26  	*p1 += *p1;
      27        while (--n);
      28        return *p1 == 0;
      29  
      30      case 2:
      31        do 
      32  	*p2 += *p2;
      33        while (--n);
      34        return *p2 == 0;
      35  
      36      default:
      37        abort ();
      38      }
      39  }
      40  
      41  int
      42  main()
      43  {
      44    T0 v0; T1 v1; T2 v2;
      45  
      46    v0 = 1; doit(0, 5, &v0);
      47    v1 = 1; doit(1, 5, &v1);
      48    v2 = 1; doit(2, 5, &v2);
      49  
      50    if (v0 != 32) abort ();
      51    if (v1 != 32) abort ();
      52    if (v2 != 32) abort ();
      53  
      54    exit (0);
      55  }