[Issue 13485] FP wrong-code with -O

[via Digitalmars-d-bugs]

https://issues.dlang.org/show_bug.cgi?id=13485

Iain Buclaw <ibuclaw at gdcproject.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |ibuclaw at gdcproject.org

--- Comment #1 from Iain Buclaw <ibuclaw at gdcproject.org> ---
Pasting in code here:

---
//Optimization check
F foo(F)(F c, F d) {
    c += d;
    c += d;
    return c;
}

void test0() {
    alias F = float;
    enum F d = (cast(F)(2)) ^^ (F.max_exp - 1);
    assert(foo(-d, d) == d);
}

void test1() {
    alias F = double;
    enum F d = (cast(F)(2)) ^^ (F.max_exp - 1);
    assert(foo(-d, d) == d);
}

void test2() {
    alias F = real;
    enum F d = (cast(F)(2)) ^^ (F.max_exp - 1);
    assert(foo(-d, d) == d); 
}

void main() {
    test0();
    test1();
    test2();
    import core.stdc.stdio;
    printf("Success\n");
}
---

--