if ((u32) au.s.high < (u32) bu.s.high) return 0; else if ((u32) au.s.high > (u32) bu.s.high) return 2; if ((u32) au.s.low < (u32) bu.s.low) return 0; else if ((u32) au.s.low > (u32) bu.s.low) return 2; return 1; 
if ((u32) au.s.high < (u32) bu.s.high) return 0; else if ((u32) au.s.high > (u32) bu.s.high) return 2; if ((u32) au.s.low < (u32) bu.s.low) return 0; else if ((u32) au.s.low > (u32) bu.s.low) return 2; return 1; 
__ucmpdi2 (s64 a, s64 b){  DIunion au, bu;  au.ll = a, bu.ll = b;  if ((u32) au.s.high < (u32) bu.s.high)    return 0;  else if ((u32) au.s.high > (u32) bu.s.high)    return 2;  if ((u32) au.s.low < (u32) bu.s.low)    return 0;  else if ((u32) au.s.low > (u32) bu.s.low)    return 2;  return 1;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/3ade2fe0fd0238d68938b8f5f73ebd0561d2d2e5/ucmpdi2.c/buggy/arch/arm/lib/ucmpdi2.c