[Issue 5227] X ^^ FP at compile-time

[d-bugmail--- via Digitalmars-d-bugs]

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

--- Comment #18 from Manu  ---
Yay! 8 years in the making. This must be a very fine brew! :P

--

[Issue 5227] X ^^ FP at compile-time

[d-bugmail--- via Digitalmars-d-bugs]

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

github-bugzi...@puremagic.com changed:

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |FIXED

--

[Issue 5227] X ^^ FP at compile-time

[d-bugmail--- via Digitalmars-d-bugs]

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

--- Comment #17 from github-bugzi...@puremagic.com ---
Commits pushed to master at https://github.com/dlang/dmd

https://github.com/dlang/dmd/commit/6767a32f6988c6794815405e01f07250177d6098
fix Issue 5227 - X ^^ FP at compile-time

https://github.com/dlang/dmd/commit/a4fbc9829da9e4b3e6d73859a42dc6e624e9b790
Merge pull request #8071 from WalterBright/fix5227

fix Issue 5227 - X ^^ FP at compile-time
merged-on-behalf-of: Walter Bright <walterbri...@users.noreply.github.com>

--

[Issue 5227] X ^^ FP at compile-time

[d-bugmail--- via Digitalmars-d-bugs]

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

Walter Bright  changed:

   What|Removed |Added

  Component|phobos  |dmd
 OS|Windows |All

--

[Issue 5227] X ^^ FP at compile-time

[d-bugmail--- via Digitalmars-d-bugs]

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

Walter Bright  changed:

   What|Removed |Added

 CC||bugzi...@digitalmars.com

--- Comment #16 from Walter Bright  ---
https://github.com/dlang/dmd/pull/8071

--

[Issue 5227] X ^^ FP at compile-time

[d-bugmail--- via Digitalmars-d-bugs]

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

--- Comment #15 from Walter Bright  ---
*** Issue 16474 has been marked as a duplicate of this issue. ***

--

[Issue 5227] X ^^ FP at compile-time

[d-bugmail--- via Digitalmars-d-bugs]

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

Iain Buclaw  changed:

   What|Removed |Added

 CC||n8sh.second...@hotmail.com

--- Comment #14 from Iain Buclaw  ---
*** Issue 18069 has been marked as a duplicate of this issue. ***

--

[Issue 5227] X ^^ FP at compile-time

[via Digitalmars-d-bugs]

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

Clement Courbet c...@somebod.com changed:

   What|Removed |Added

 CC||c...@somebod.com

--- Comment #13 from Clement Courbet c...@somebod.com ---
These address the (smaller) issue in comment #10:

https://github.com/D-Programming-Language/dmd/pull/4674
https://github.com/D-Programming-Language/phobos/pull/3307

--

[Issue 5227] X ^^ FP at compile-time

[via Digitalmars-d-bugs]

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

--- Comment #12 from Manu turkey...@gmail.com ---
(In reply to Iain Buclaw from comment #11)
 (In reply to Manu from comment #10)
  (In reply to Iain Buclaw from comment #8)
   (In reply to Manu from comment #7)
log() works!
   
   I doubt that, CTFE isn't powerful enough yet.
  
  
  pragma(msg, log(101.2));
  
   4.6171L
  
 
 Ah, DMD cheats here - I didn't see neither the INLINE_Y2LX path, nor the
 fact that DMD apparently executes the fy2lx instruction at compile time for
 you.
 
 I wouldn't rely on this behaviour if I were you.

That's worrying.
Either way, this is the most basic non-linear maths. We really really do need
this accessible in CTFE. Especially considering x^^y is an operator!

--

[Issue 5227] X ^^ FP at compile-time

[via Digitalmars-d-bugs]

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

--- Comment #11 from Iain Buclaw ibuc...@gdcproject.org ---
(In reply to Manu from comment #10)
 (In reply to Iain Buclaw from comment #8)
  (In reply to Manu from comment #7)
   log() works!
  
  I doubt that, CTFE isn't powerful enough yet.
 
 
 pragma(msg, log(101.2));
 
  4.6171L
 

Ah, DMD cheats here - I didn't see neither the INLINE_Y2LX path, nor the fact
that DMD apparently executes the fy2lx instruction at compile time for you.

I wouldn't rely on this behaviour if I were you.

--

[Issue 5227] X ^^ FP at compile-time

[via Digitalmars-d-bugs]

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

Iain Buclaw ibuc...@gdcproject.org changed:

   What|Removed |Added

 CC||ibuc...@gdcproject.org

--- Comment #8 from Iain Buclaw ibuc...@gdcproject.org ---
(In reply to Manu from comment #7)
 log() works!

I doubt that, CTFE isn't powerful enough yet.

--

[Issue 5227] X ^^ FP at compile-time

[via Digitalmars-d-bugs]

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

Simen Kjaeraas simen.kja...@gmail.com changed:

   What|Removed |Added

 CC||simen.kja...@gmail.com

--- Comment #9 from Simen Kjaeraas simen.kja...@gmail.com ---
(In reply to Iain Buclaw from comment #8)
 (In reply to Manu from comment #7)
  log() works!
 
 I doubt that, CTFE isn't powerful enough yet.

Disbelieve it all you want, it does work.

--

[Issue 5227] X ^^ FP at compile-time

[via Digitalmars-d-bugs]

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

Manu turkey...@gmail.com changed:

   What|Removed |Added

   Severity|major   |blocker

--- Comment #7 from Manu turkey...@gmail.com ---
I'm changing this to blocker.
Seriously, it's gone on long enough. 5 years apparently according to this bug
report.

It is actually blocking a whole bunch of projects. They are literally sitting
waiting for this bugfix. We can't generate compile-time data/tables without
this super-important function. There's no substitute or workaround. We need to
be able to evaluate non-linear functions in CTFE.

log() works! pow() is the rather more frequently occurring compliment.

--

[Issue 5227] X ^^ FP at compile-time

[via Digitalmars-d-bugs]

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

--- Comment #10 from Manu turkey...@gmail.com ---
(In reply to Iain Buclaw from comment #8)
 (In reply to Manu from comment #7)
  log() works!
 
 I doubt that, CTFE isn't powerful enough yet.


pragma(msg, log(101.2));

 4.6171L



pragma(msg, 2^^1.2);

C:\dev\D\dmd2\windows\bin\..\..\src\phobos\std\math.d(4463): Error: cannot
convert real to ushort* at compile time
C:\dev\D\dmd2\windows\bin\..\..\src\phobos\std\math.d(5688):called from
here: isNaN(y)
C:\dev\D\dmd2\windows\bin\..\..\src\phobos\std\math.d(5860):called from
here: impl(cast(real)x, cast(real)y)

--

[Issue 5227] X ^^ FP at compile-time

[via Digitalmars-d-bugs]

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

safety0ff.bugz safety0ff.b...@gmail.com changed:

   What|Removed |Added

 CC||safety0ff.b...@gmail.com
   See Also||https://issues.dlang.org/sh
   ||ow_bug.cgi?id=3749

--

[Issue 5227] X ^^ FP at compile-time

[via Digitalmars-d-bugs]

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

safety0ff.bugz safety0ff.b...@gmail.com changed:

   What|Removed |Added

 CC||thecybersha...@gmail.com

--- Comment #4 from safety0ff.bugz safety0ff.b...@gmail.com ---
*** Issue 12412 has been marked as a duplicate of this issue. ***

--

[Issue 5227] X ^^ FP at compile-time

[via Digitalmars-d-bugs]

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

safety0ff.bugz safety0ff.b...@gmail.com changed:

   What|Removed |Added

 CC||turkey...@gmail.com

--- Comment #2 from safety0ff.bugz safety0ff.b...@gmail.com ---
*** Issue 13917 has been marked as a duplicate of this issue. ***

--

[Issue 5227] X ^^ FP at compile-time

[via Digitalmars-d-bugs]

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

--- Comment #3 from safety0ff.bugz safety0ff.b...@gmail.com ---
*** Issue 12946 has been marked as a duplicate of this issue. ***

--

[Issue 5227] X ^^ FP at compile-time

[via Digitalmars-d-bugs]

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

safety0ff.bugz safety0ff.b...@gmail.com changed:

   What|Removed |Added

 CC||iteronve...@gmail.com

--- Comment #5 from safety0ff.bugz safety0ff.b...@gmail.com ---
*** Issue 8562 has been marked as a duplicate of this issue. ***

--

[Issue 5227] X ^^ FP at compile-time

[via Digitalmars-d-bugs]

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

Manu turkey...@gmail.com changed:

   What|Removed |Added

   Severity|enhancement |major

--- Comment #6 from Manu turkey...@gmail.com ---
Okay, so this has obviously come up a lot.
It's a real problem not being able to express any non-linear function in CTFE.

I'm changing this to a high-priority bug, rather than an enhancement request. I
don't think pow() was deliberately designed not to support CTFE(?).

It's an operator (^^), and users should surely expect that all basic operators
work in CTFE.

--

[Issue 5227] X ^^ FP at compile-time

[d-bugmail]

http://d.puremagic.com/issues/show_bug.cgi?id=5227


d...@dawgfoto.de changed:

   What|Removed |Added

 CC||d...@dawgfoto.de


--- Comment #1 from d...@dawgfoto.de 2012-02-05 18:03:41 PST ---
There is missing CTFE support for some intrinsics.
Without exp and log family functions this can't be implemented.

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
--- You are receiving this mail because: ---