AutoTVM and CPU vectorization: should I split?

@kevinthesun @vinx13 Can you help me with this question?