tree 3d3d9f432aa7c336c2f7d3e8740d5496938ddae8
parent 67439d8939077c0597cb09dc1ba85192c3a8fed7
author Matthias Boehm <mboehm7@gmail.com> 1592941292 +0200
committer Matthias Boehm <mboehm7@gmail.com> 1592941787 +0200

[SYSTEMDS-421] Fix IPA scalar propagation (inconsistent literals/vars)

This patch fixes the logic of IPA scalar propagation into functions with
multiple function calls. Similar to sizes, we check if literal function
arguments have consistent values and propagate valid ones. However, this
check had a logic problem of only checking if the first call was a
literal. This missed cases where the first call had a scalar variable
but the second call a valid scalar literal that could had been
propagated individually.