
void main()
main: scope:[main]  from
  [0] phi()
  [1] call memcpy
  to:main::@return
main::@return: scope:[main]  from main
  [2] return 
  to:@return

void * memcpy(void *destination , void *source , unsigned int num)
memcpy: scope:[memcpy]  from main
  [3] phi()
  to:memcpy::@1
memcpy::@1: scope:[memcpy]  from memcpy memcpy::@2
  [4] memcpy::dst#2 = phi( memcpy/(char *)memcpy::destination#0, memcpy::@2/memcpy::dst#1 )
  [4] memcpy::src#2 = phi( memcpy/(char *)memcpy::source#0, memcpy::@2/memcpy::src#1 )
  [5] if(memcpy::src#2!=memcpy::src_end#0) goto memcpy::@2
  to:memcpy::@return
memcpy::@return: scope:[memcpy]  from memcpy::@1
  [6] return 
  to:@return
memcpy::@2: scope:[memcpy]  from memcpy::@1
  [7] *memcpy::dst#2 = *memcpy::src#2
  [8] memcpy::dst#1 = ++ memcpy::dst#2
  [9] memcpy::src#1 = ++ memcpy::src#2
  to:memcpy::@1
