Some questions about avx and threads

Hi.

First Question my target is “llvm -mcpu=cascadelake”
In this situation, do tvm runtime(compile?) use avx 512 unit?? (not use autotvm, scheduler.)

Second Question

  1. 2 core(16threads) 2.3ghz
  2. 4 core(16threads) 2.8ghz

set TVM_NUM_THREADS=16, and run benchmarks.
2. is little slower than 1.

do 2. enviroment use threads from 4 core ?? ((1 core 4 threads) * 4)

Thanks.