__ashrdi3 (s64 u, int b) 
s64 __ashrdi3(s64 u, int b) 
__ashrdi3 (s64 u, int b){  DIunion w;  int bm;  DIunion uu;  if (b == 0)    return u;  uu.ll = u;  bm = (sizeof (s32) * BITS_PER_UNIT) - b;  if (bm <= 0)    {      /* w.s.high = 1..1 or 0..0 */      w.s.high = uu.s.high >> (sizeof (s32) * BITS_PER_UNIT - 1);      w.s.low = uu.s.high >> -bm;    }  else    {      u32 carries = (u32)uu.s.high << bm;      w.s.high = uu.s.high >> b;      w.s.low = ((u32)uu.s.low >> b) | carries;    }  return w.ll;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/3ade2fe0fd0238d68938b8f5f73ebd0561d2d2e5/ashrdi3.c/buggy/arch/arm/lib/ashrdi3.c