OR in Generic or Gimple

[charfi asma]

Hello,
In my front end I would like to translate to generic the OR operation (if ( y 
=a) || (y=b)) ...
I tried to look at the gimple generated from this C++ program

int main()
{
int x=6;
int y = x+10;
if ((y == 1) || (y==0))
  return 10;
else
  return 0;
}


I found this:


int main() ()
{
  unsigned int y.0;
  unsigned int D.2070;
  int D.2073;

  {
    int x;
    int y;

    x = 6;
    y = x + 10;
    y.0 = (unsigned int) y;
    D.2070 = y.0 + 4294967295;
    if (D.2070 <= 1) goto <D.2071>; else goto <D.2072>;
    <D.2071>:
    D.2073 = 10;
    return D.2073;
    <D.2072>:
    D.2073 = 0;
    return D.2073;
  }
  D.2073 = 0;
  return D.2073;
}





I do not really understand how gimple is generated for the OR test.

I will be very thankful if so clarify this transformation from C++ OR to GIMPLE 
(which GENERIC tree code or GIMPLE statment should I use in this case and what 
does this strange number  4294967295 means ??

thank you very much

Asma