tests/func-summary4.lst.exp.bb

   1 // Graph props:
   2 //  addr: 11
   3 //  estimated_params: {$a2}
   4 //  modifieds: {$a3}
   5 //  name: func
   6 //  preserveds: {$a2, $sp}
   7 //  reach_exit: {$a2, $a3, $sp}
   8 //  trailing_jumps: True
   9
  10 // Predecessors: []
  11 // Node props:
  12 //  live_gen: set()
  13 //  live_in: {$a2_0}
  14 //  live_kill: set()
  15 //  live_out: {$a2_0}
  16 //  reachdef_gen: {($a2, '.ENTRY'), ($sp, '.ENTRY')}
  17 //  reachdef_in: {($a2, None), ($a3, None), ($loc_16_u32, None), ($sp, None)}
  18 //  reachdef_kill: {($a2, '11'), ($a2, '.ENTRY'), ($a2, None), ($sp, '11'), ($sp, '.ENTRY'), ($sp, None)}
  19 //  reachdef_out: {($a2, '.ENTRY'), ($a3, None), ($loc_16_u32, None), ($sp, '.ENTRY')}
  20 // BBlock props:
  21 //  state_out: {$a2=$a2_0, $sp=$sp_0}
  22 .ENTRY:
  23 // $a2 = $a2_0 (dead)
  24 // $sp = $sp_0 (dead)
  25 Exits: [(None, '11')]
  26
  27 // Predecessors: ['.ENTRY']
  28 // Node props:
  29 //  live_gen: {$a2_0}
  30 //  live_in: {$a2_0}
  31 //  live_kill: {$a3}
  32 //  live_out: {$a3}
  33 //  reachdef_gen: {($a2, '11'), ($a3, '11'), ($loc_16_u32, '11'), ($sp, '11')}
  34 //  reachdef_in: {($a2, '.ENTRY'), ($a3, None), ($loc_16_u32, None), ($sp, '.ENTRY')}
  35 //  reachdef_kill: {($a2, '11'), ($a2, '.ENTRY'), ($a2, None), ($a3, '11'), ($a3, None), ($loc_16_u32, '11'), ($loc_16_u32, None), ($sp, '11'), ($sp, '.ENTRY'), ($sp, None)}
  36 //  reachdef_out: {($a2, '11'), ($a3, '11'), ($loc_16_u32, '11'), ($sp, '11')}
  37 // BBlock props:
  38 //  state_in: {$a2=$a2_0, $sp=$sp_0}
  39 //  state_out: {$a2=$a2_0, $a3=$a2_0 + 1, $loc_16_u32=$a2_0, $sp=$sp_0}
  40 11:
  41 // $sp = $sp_0 - 0x10 (dead)
  42 // $loc_16_u32 = $a2_0 (dead)
  43 $a3 = $a2_0 + 1
  44 // $a2 = 10 (dead)
  45 // $a2 = $a2_0 (dead)
  46 // $sp = $sp_0 (dead)
  47 return
  48 Exits: [(None, '_EXIT_')]
  49
  50 // Predecessors: ['11']
  51 // Node props:
  52 //  live_gen: set()
  53 //  live_in: {$a3}
  54 //  live_kill: set()
  55 //  live_out: {$a3}
  56 //  reachdef_gen: set()
  57 //  reachdef_in: {($a2, '11'), ($a3, '11'), ($loc_16_u32, '11'), ($sp, '11')}
  58 //  reachdef_kill: set()
  59 //  reachdef_out: {($a2, '11'), ($a3, '11'), ($loc_16_u32, '11'), ($sp, '11')}
  60 // BBlock props:
  61 //  state_in: {$a2=$a2_0, $a3=$a2_0 + 1, $loc_16_u32=$a2_0, $sp=$sp_0}
  62 //  state_out: {$a2=$a2_0, $a3=$a2_0 + 1, $loc_16_u32=$a2_0, $sp=$sp_0}
  63 _EXIT_:
  64 return
  65 Exits: []