dynamoRIO client, ilp and flop instr. counting