No matches were found for subject:"\[Bug target\/53639\] x86_64\: redundant 64\-bit operations on 32\-bit integers"