dg does not finish on madplay bitcode

[anahitH]

dg runs very long on attached bitcode and does not finish work. I had to terminate it after about an hour. The only log is following, then it just hangs

Warning: Empty PHI
PSNodeType::PHI with ID 3125
  - operands: []
Warning: Empty PHI
PSNodeType::PHI with ID 3126
  - operands: []
Warning: PHI Node contains duplicated operand
PSNodeType::PHI with ID 5089
  - operands: [0 PSNodeType::UNKNOWN_MEM, 0 PSNodeType::UNKNOWN_MEM]
Warning: PHI Node contains duplicated operand
PSNodeType::PHI with ID 6511
  - operands: [0 PSNodeType::UNKNOWN_MEM, 0 PSNodeType::UNKNOWN_MEM]
Warning: PHI Node contains duplicated operand
PSNodeType::PHI with ID 12893
  - operands: [0 PSNodeType::UNKNOWN_MEM, 0 PSNodeType::UNKNOWN_MEM]

madplay.x.bc.zip

[mchalupa]

So it must be hanging in the pointer analysis. I'll check where's the problem once I have a bit more time but I guess this will be the problem of the complexity of the pointer analysis -- so the only solution may be to incorporate a faster pointer analysis.