https://bugs.kde.org/show_bug.cgi?id=404076
--- Comment #6 from Andreas Arnez <ar...@linux.ibm.com> --- (In reply to Julian Seward from comment #5) > Can you use simply IRExpr_Get(offset, Ity_F128) ? If you can, it would give > better performance than doing the two F64 Gets and then joining the results > together. Sorry for the late answer. The current implementation always stores F128 values in floating-point register pairs, even if they originate from vector registers. Thus a GET would have to be split into two operations anyhow. Theoretically this could be improved, e.g., by preferring vector registers for F128 values when the right hardware capabilities are available. I consider this a potential future improvement. -- You are receiving this mail because: You are watching all bug changes.