fix crash with fptrunc/fpext

nunoplopes · nunoplopes · commit a1e8a6ae2d33 · 2022-02-13T18:25:57.000Z
diff --git a/ir/instr.cpp b/ir/instr.cpp
@@ -1561,12 +1561,13 @@ StateValue FpConversionOp::toSMT(State &s) const {
 
   if (getType().isVectorType()) {
     vector<StateValue> vals;
-    auto ty = getType().getAsAggregateType();
+    auto ty = val->getType().getAsAggregateType();
+    auto retty = getType().getAsAggregateType();
 
     for (unsigned i = 0, e = ty->numElementsConst(); i != e; ++i) {
-      vals.emplace_back(scalar(ty->extract(v, i), ty->getChild(i)));
+      vals.emplace_back(scalar(ty->extract(v, i), retty->getChild(i)));
     }
-    return ty->aggregateVals(vals);
+    return retty->aggregateVals(vals);
   }
   return scalar(v, getType());
 }

Original file line number	Diff line number	Diff line change
`@@ -1561,12 +1561,13 @@ StateValue FpConversionOp::toSMT(State &s) const {`
`1561`	`1561`
`1562`	`1562`	`if (getType().isVectorType()) {`
`1563`	`1563`	`vector<StateValue> vals;`
`1564`		`- auto ty = getType().getAsAggregateType();`
	`1564`	`+ auto ty = val->getType().getAsAggregateType();`
	`1565`	`+ auto retty = getType().getAsAggregateType();`
`1565`	`1566`
`1566`	`1567`	`for (unsigned i = 0, e = ty->numElementsConst(); i != e; ++i) {`
`1567`		`- vals.emplace_back(scalar(ty->extract(v, i), ty->getChild(i)));`
	`1568`	`+ vals.emplace_back(scalar(ty->extract(v, i), retty->getChild(i)));`
`1568`	`1569`	`}`
`1569`		`- return ty->aggregateVals(vals);`
	`1570`	`+ return retty->aggregateVals(vals);`
`1570`	`1571`	`}`
`1571`	`1572`	`return scalar(v, getType());`
`1572`	`1573`	`}`