[PATCH] D17731: [InstCombine] Optimize (+0.0 - A) + B

[Tim Northover via llvm-commits]

t.p.northover added a subscriber: t.p.northover.
t.p.northover added a comment.

Is this a counter-example, or am I misreading?

  #include <stdio.h>
  
  int main() {
    float a = 0.0;
    float b = -0.0;
    printf("a = %f, b = %f\n", a, b);
    printf("b - a = %f\n", b - a);
    printf("(-0.0f - a) + b = %f\n", (-0.0f - a) + b);
    printf("(+0.0f - a) + b = %f\n", (+0.0f - a) + b);
  }


http://reviews.llvm.org/D17731