return List<BB> instead, two passes for jump map
introduce OperandType
add more emitting cases