cokernel_hacker

8 ms·

61.
by cokernel_hacker 8y ago
Citation needed. Google makes it pretty clear that they do not sell any personal information to advertisers: https://safety.google/privacy/ads-and-data/
62.
by cokernel_hacker 10y ago
That's really only a fraction of it. The only definitive documentation that I know of is clang's implementation of its mangling scheme: https://github.com/llvm-mirror/clang/blob/master/lib&#x2F
63.
by cokernel_hacker 10y ago
I use Google Express quite often for grabbing house hold essentials that I don't have the time to make a dedicated trip. I wonder if my habits will change now that I just need to speak up to place an order. I also wonder if this will b
64.
by cokernel_hacker 10y ago
It is the low-level assembler-related machinery in LLVM. For more details, see http://blog.llvm.org/2010/04/intro-to-llvm-mc-project.html
65.
Initial patches to add an MC layer for RISC-V(llvm.org)
31 points by cokernel_hacker 10y ago|14 comments
66.
by cokernel_hacker 10y ago
Clang/C2 doesn't use LLVM, it will use Microsoft's C2 backend.
67.
Inter-Procedural Optimization and Derefinement(playingwithpointers.com)
2 points by cokernel_hacker 10y ago|0 comments
68.
by cokernel_hacker 10y ago
Wow, the other team members aren't slouches either, Arch D. Robison and Steven Skiena are pretty neat! Steve's book, The Algorithm Design Manual, was pretty inspirational to me in high school. Arch did a compiler, KAI C++, and des
69.
by cokernel_hacker 10y ago
I recently reimplemented machinery in our compiler which implements C++ exceptions. I figure it might be useful to share a few interesting issues. The way C++ exceptions are used creates very interesting interactions in the design of their
70.
by cokernel_hacker 10y ago
Professional compiler engineer here, C is a mediocre intermediate language. Let's start with an excellent quote from Wittgenstein. "The limits of my language mean the limits of my world." Using C as your intermediate language
71.
by cokernel_hacker 10y ago
"SSA-based Compiler Design" [1] is awesome, heaps of interesting algorithms. [1] http://ssabook.gforge.inria.fr/latest/book.pdf
72.
by cokernel_hacker 10y ago
It is the job of the language to ensure that language primitives are reusable and composable. I think this would apply to whatever mechanism is designed to describe a loop's iteration space.
73.
by cokernel_hacker 10y ago
Speaking as a professional compiler engineer, this is the biggest reason why signed overflow is treated as UB. It is incredibly useful to talk about a loop's trip count or the values an induction variable can have. It turns out that ta
74.
by cokernel_hacker 10y ago
Spinning in locks are always tricky business. The sharpest thorn, to me, is: what happens when you are running inside the critical section and your thread gets preempted? Well, now the next thread which tries to acquire the lock is stuck wa
75.
by cokernel_hacker 10y ago
This is not something you should think about writing code. Unless that code comprises a compiler :) SSA is a program representation which is easy for compilers to analyze and optimize. See https://en.wikipedia.org/wiki&#x2
76.
by cokernel_hacker 10y ago
Cool, good to know! Another interesting example is: bool f(bool b) { int x; try { if (b) { x = 2; throw 0; } x = 4; throw 0.0; } catch (...) { } return x & 1; } Here,
77.
by cokernel_hacker 10y ago
For reference, clang targeting MSVC mode can do this: $ clang t.cpp -target x86_64-pc-win32 -S -emit-llvm -o - | opt -S -sroa -instcombine | grep 'ret i1' ret i1 false
78.
by cokernel_hacker 10y ago
So they finally got SSA? Neat, right up there with LLVM and GCC. It also sounds like they have something like LLVM's InstCombine pass, it'll be interesting to compare which cases they handle. Despite it being a peephole pass, Inst
79.
by cokernel_hacker 10y ago
Clang provides both GCC and MSVC style inline assembly.
80.
by cokernel_hacker 10y ago
Doesn't the CLR work the same with the call and callvirt opcodes?
81.
by cokernel_hacker 11y ago
I don't think Rob meant stability. Rob was probably referring to the reality that modern Linux hasn't innovated itself past SVR4 by any appreciable amount. We are still using X, still using terminals powered by control codes, etc
82.
by cokernel_hacker 11y ago
SQLOS is a relatively new component, it was introduced for SQL Server 2005. http://blogs.msdn.com/b/slavao/archive/2005/02/05/367816.asp...
83.
by cokernel_hacker 11y ago
It's actually quite messy for C as well. I guess I should qualify that: it's messy for C as used in practice as well. #pragma weak, asm labels, always_inline, debug information, attribute regparm, inline assembly, etc... All of
84.
2016 European LLVM Developers' Meeting(llvm.org)
2 points by cokernel_hacker 11y ago|0 comments
85.
David Patterson is Retiring(amplab.cs.berkeley.edu)
4 points by cokernel_hacker 11y ago|0 comments
86.
WebAssembly: Here Be Dragons [video](youtube.com)
36 points by cokernel_hacker 11y ago|3 comments
87.
Compiling large, real-world codebases with clang on Windows(docs.google.com)
1 points by cokernel_hacker 11y ago|0 comments
88.
by cokernel_hacker 11y ago
A high-level IR implements the semantics that the programming language provides. You can only share it if the semantics are reasonably compatible. This would be akin to asking why do we need a C++-specific AST and a Swift-specific AST.
89.
Exception handling in LLVM, from Itanium to MSVC: LLVM conference slides [pdf](llvm.org)
1 points by cokernel_hacker 11y ago|0 comments
90.
Microsoft Promises Clang for Windows in November Visual C++ Update(theregister.co.uk)
14 points by cokernel_hacker 11y ago|0 comments

More ›