[HN Gopher] MDL: A Micro-Architecture Description Language for LLVM
       ___________________________________________________________________
        
       MDL: A Micro-Architecture Description Language for LLVM
        
       Author : ingve
       Score  : 87 points
       Date   : 2022-11-07 17:14 UTC (5 hours ago)
        
 (HTM) web link (discourse.llvm.org)
 (TXT) w3m dump (discourse.llvm.org)
        
       | xiphias2 wrote:
       | The documentation referenced from the mail is here:
       | 
       | https://github.com/MPACT-ORG/llvm-project/blob/work/llvm/doc...
        
       | snvzz wrote:
       | LoCs of aarch64 vs risc-v is comical.
       | 
       | I wonder what's going on there.
        
         | ghotli wrote:
         | I'm no expert (but I do work with this stuff regularly) and I
         | realize this is gcc documentation vs llvm docs. Regardless,
         | arm32/64 has a lot of optional instruction sets that may or may
         | not be supported on a given processor as improvements have been
         | made over time.
         | 
         | For example, check out the feature modifiers at the bottom of
         | the page here for aarch64:
         | https://gcc.gnu.org/onlinedocs/gcc-12.2.0/gcc/AArch64-Option...
         | 
         | Versus RISC-V:
         | https://gcc.gnu.org/onlinedocs/gcc-12.2.0/gcc/RISC-V-Options...
         | 
         | Arm32 is even more complex:
         | https://gcc.gnu.org/onlinedocs/gcc-12.2.0/gcc/ARM-Options.ht...
        
       | sixstringtheory wrote:
       | What kinds of optimizations could be available to a system that
       | can integrate a semantic and systematic understanding of a chip,
       | microarchitecture and high-level compiled languages on top of
       | that?
       | 
       | I know we have e.g. VHDL but to marry that to a high level
       | language compiler seems like it would open some new doors (maybe
       | this has already been done and I'm just not aware).
        
       ___________________________________________________________________
       (page generated 2022-11-07 23:00 UTC)