lli 指令尚未解释答案

【问题标题】：lli Instruction not interpretable yetlli 指令尚未解释
【发布时间】：2015-06-02 23:42:40
【问题描述】：

有人可以向我解释为什么 lli on instruction "%broadcast.splatinsert.i = insertelement undef, i32 %reverse.idx.i, i32 0"
打印“指令还不能解释！？

3.3 版完整源码https://www.sendspace.com/file/e9kgng

代码块：

vector.body.i:                                    ; preds = %vector.body.i, %for.body.lr.ph.i
  %index.i = phi i64 [ %index.next.i, %vector.body.i ], [ 0, %for.body.lr.ph.i ]
  %vec.phi.i = phi <4 x i32> [ %86, %vector.body.i ], [ <i32 1, i32 1, i32 1, i32 1>, %for.body.lr.ph.i ]
  %vec.phi11.i = phi <4 x i32> [ %87, %vector.body.i ], [ <i32 1, i32 1, i32 1, i32 1>, %for.body.lr.ph.i ]
  %resize.norm.idx.i = trunc i64 %index.i to i32
  %reverse.idx.i = sub i32 %.x.i113, %resize.norm.idx.i
  %broadcast.splatinsert.i = insertelement <4 x i32> undef, i32 %reverse.idx.i, i32 0
  %broadcast.splat.i = shufflevector <4 x i32> %broadcast.splatinsert.i, <4 x i32> undef, <4 x i32> zeroinitializer
  %induction.i = add <4 x i32> %broadcast.splat.i, <i32 0, i32 -1, i32 -2, i32 -3>
  %84 = load i64* %main_HideLocalConstant_variable_14
  %main_hide_const_value83 = xor i64 %84, 8
  %induction12.i = add <4 x i32> %broadcast.splat.i, <i32 -4, i32 -5, i32 -6, i32 -7>
  %85 = load i64* %main_HideLocalConstant_variable_4
  %main_hide_const_value21 = xor i64 %85, %main_hide_const_value83
  %86 = mul <4 x i32> %vec.phi.i, %induction.i
  %87 = mul <4 x i32> %vec.phi11.i, %induction12.i
  %index.next.i = add i64 %index.i, %main_hide_const_value21
  %88 = icmp eq i64 %index.next.i, %n.vec.i
  br i1 %88, label %middle.block.i, label %vector.body.i

【问题讨论】：

标签： llvm llvm-ir

【解决方案1】：

如您所见，有一个“undef”操作数，因此无法解释指令。如果此位代码是 llvm 3.3 中 LoopVectorize 传递的输出，那么我会看到它可能是一个错误，可能已在较新版本中修复。

【讨论】：