不是没有,比如 Atom Z25x0 。但这种设计现在基本不面向手机市场。手机 SoC 的 CPU 流行大小核。
HT 之类的 SMT 实现主要就是利用片上冗余资源换取性能,冗余的部分主要是执行单元,共享前端导致支持 SMT 下单线程性能会被献祭。手机 SoC 这种本来就为了节约能耗提升能效并且极端节约面积,不会考虑刻意允许物理冗余来照顾增加并行计算能力(特定计算密集型的任务会上专用 ASIC,后台服务直接用小核跑),SMT 增加复杂度还缺少场景用得上,得不偿失,基本就不会这样设计。
要是以后规模能耗能 hold 住上 SMT 也不在乎这些副作用了,再考虑文艺复兴。