Compilers are hard

Re:Compilers are hard by Cthulhu_ on Thursday January 21, 2021 @05:10AM (#25857329)

I do; low level, OS and library code should be both. It's not an either or; you start with the correct code (and code to verify), then if needs be you optimize.

[ Parent | on HN ]

Re:Compilers are hard by wongarsu on Thursday January 21, 2021 @07:42AM (#25858258)

So you're saying maximum priority is correctness, and performance second place? Because if you don't have correctness you can't "start with correct code"

[ Parent | on HN ]

Re:Compilers are hard by 0xTJ on Thursday January 21, 2021 @08:20AM (#25858508)

If you have a broken compiler, you can have broken generated code, and not even know it. This isn't about whether or not your C code is correct, this is about whether the assembly that's generated matches the behavior in your code.

[ Parent | on HN ]

Re:Compilers are hard by ndr on Thursday January 21, 2021 @06:15AM (#25857718)

How is this not confirming the point you're replying to?

[ Parent | on HN ]