GitHub - riscv-collab/riscv-gnu-toolchain: GNU toolchain for RISC-V, including GCCYou signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
ã€MLIR】GPU上ã§èµ°ã‚‹è‡ªä½œè¨€èªžã®ã‚³ãƒ³ãƒ‘イラを作ã£ã¦ã„る話
ã“ã®è¨˜äº‹ã¯ã€KCS アドベントカレンダー 23 日目ã®è¨˜äº‹ã§ã™ã€‚ 22 日目・24 日目 GPU 上ã§èµ°ã‚‹è‡ªä½œè¨€èªžã®ã‚³ãƒ³ãƒ‘イラ ã“ã‚“ã«ã¡ã¯ã€lemolatoon ã§ã™ã€‚ 最近ã¯ã€å¤ã«è‡ªä½œ OS ゼミã§ã‚»ã‚ュã‚ャンã«å‚åŠ ã—ãŸã‚Šã—ã¦ã€ã¾ãŸä½Žãƒ¬ã‚¤ãƒ¤ã¸ã®æ°—æŒã¡ã‚’高ã‚ãŸã‚Šã—ã¦ã„ã¾ã—ãŸã€‚ 自作 OS も一段è½ã¤ã„ãŸé ƒã€MLIRã¨ã„ã†ã‚‚ã®ã‚’知りã€ä½•ã‚„らé¢ç™½ãã†ã ãžã¨ã„ã†ã“ã¨ã§è‰²ã€…調ã¹ã¦æ‰‹ã‚’å‹•ã‹ã—ãŸã‚Šã—ã¦ã„ãŸã®ã§ã™ãŒã€ã‚る程度 MLIR ã®åˆ©ç‚¹ã‚’生ã‹ã—ãŸã„ã„æ„Ÿã˜ã®ã‚‚ã®ãŒã§ãã¤ã¤ã‚ã‚‹ã®ã§ç´¹ä»‹ã—ãŸã„ã¨æ€ã„ã¾ã™ã€‚ ã¾ãšæœ€åˆã«è‡ªä½œè¨€èªžã‚’ä½œã‚‹æ‰‹é †ã‚’ã€LLVM IR ã«å¤‰æ›ã™ã‚‹ã¨ã“ã‚ã¾ã§èª¬æ˜Žã—ã¾ã™ã€‚ ãã®å¾Œã€GPU 上ã§èµ°ã‚‰ã›ã‚‹éƒ¨åˆ†ã«ã¤ã„ã¦æ›¸ãã¾ã™ã€‚ 実装ã¯ã€ã™ã¹ã¦ä»¥ä¸‹ã®ãƒªãƒã‚¸ãƒˆãƒªã«ã‚ã‚Šã¾ã™ã€‚LLVM IR ã¸ã®å¤‰æ›ã¯å°‘ãªãã¨ã‚‚ch6ブランãƒã«ã€GPU 上ã§èµ°ã‚‰ã›ã‚‹éƒ¨åˆ†ã®å®Ÿè£…ã¯lower-to-gpuブランãƒã«ã‚ã‚Šã¾
MLIR
Multi-Level Intermediate Representation OverviewThe MLIR project is a novel approach to building reusable and extensible compiler infrastructure. MLIR aims to address software fragmentation, improve compilation for heterogeneous hardware, significantly reduce the cost of building domain specific compilers, and aid in connecting existing compilers together. Weekly Public MeetingWe host a weekly pub
GitHub - gwsystems/aWsm: WebAssembly ahead-of-time compiler and runtime. Focuses on generating fast code, simplicity, and portability.
aWsm is a compiler and runtime for compiling WebAssembly (Wasm) code into llvm bytecode, then into sandboxed binaries you can run on various platforms. It focuses on generating very fast code (best of breed for WebAssembly), having a simple and extensible code-base, and on portability. What is WebAssembly? Wasm is a standard binary format that is platform agnostic, debuggable, fast, and safe. Plea
Meetups
Useful links Official Kernel Docs Issue tracker Wiki Repos Mailing List: llvm@lists.linux.dev Subscribe (send a blank email to the address and follow the instructions you receive) Current mailing list archive Old Archive (Deprecated) - Google Groups - Lore IRC: #clangbuiltlinux on irc.libera.chat (web client) Telegram: @ClangBuiltLinux Discord: #clang-built-linux in the LLVM server Bi-weekly video
Are GCC and Clang parsers really handwritten?
It seems that GCC and LLVM-Clang are using handwritten recursive descent parsers, and not machine generated, Bison-Flex based, bottom up parsing. Could someone here please confirm that this is the case? And if so, why do mainstream compiler frameworks use handwritten parsers? Update : interesting blog on this topic here
TextSynth Server
News 2025-03-08: Added Parler-TTS text-to-speech model. Added real time WebSocket API for audio transcription and voice chat. Added BERT embeddings. 2024-09-30: Added Llama 3.2, phi3, Qwen2 and gte_qwen2 models support. Added embeddings endpoint. Added cpu offloading. 2024-08-03: Added Llama 3.1 model support. 2024-05-21: Added Llama 3 model support. 2024-01-20: Added Mixtral model support. Added
ã‚ãªãŸã®Pythonã‚’100å€é«˜é€Ÿã«ã™ã‚‹æŠ€è¡“ / Codon入門
ã¯ã˜ã‚ã« Pythonã¯ä¸–界的ã«ã‚‚人気ã®ã‚るプãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã§ã™ãŒã€å®Ÿè¡Œé€Ÿåº¦ã«ã¤ã„ã¦ã¯èª²é¡ŒãŒã‚ã‚Šã¾ã™ã€‚Pythonã®å®Ÿè¡Œé€Ÿåº¦ã‚’高速化ã—ãŸã„ã€ã¨ã„ã†è¦æ±‚ã¯æ ¹å¼·ãã€ã“ã‚Œã¾ã§ã«ã‚‚様々ãªãƒ„ールや処ç†ç³»ãŒé–‹ç™ºã•ã‚Œã¦ã„ã¾ã™ã€‚ ã“ã®è¨˜äº‹ã§ã¯MITã®ç ”究者らãŒé–‹ç™ºã—ãŸPythonを高速化ã™ã‚‹ãƒ„ール「Codonã€ã«ã¤ã„ã¦ç´¹ä»‹ã—ã¾ã™ã€‚ ã“ã®è¨˜äº‹ã‚’3è¡Œã§ã¾ã¨ã‚ã‚‹ã¨ï¼š 高性能ã§ç°¡å˜ã«æ‰±ãˆã‚‹Pythonコンパイラ「Codon〠Pythonã¨ã®äº’æ›æ€§ãŒã‚ã‚ŠãªãŒã‚‰ã€Cã‚„C++ã«åŒ¹æ•µã™ã‚‹é«˜é€ŸåŒ–ã‚’å®Ÿç¾ å®Ÿéš›ã«PythonコードãŒ100å€é€Ÿããªã‚‹ã“ã¨ã‚’検証 Codonã¨ã¯ Codonã¯é«˜æ€§èƒ½ãªPythonコンパイラã§ã™ã€‚実行時ã®ã‚ªãƒ¼ãƒãƒ¼ãƒ˜ãƒƒãƒ‰ãªã—ã«Pythonコードをãƒã‚¤ãƒ†ã‚£ãƒ–ãªãƒžã‚·ãƒ³ã‚³ãƒ¼ãƒ‰ã«ã‚³ãƒ³ãƒ‘イルã—ã€ã‚·ãƒ³ã‚°ãƒ«ã‚¹ãƒ¬ãƒƒãƒ‰ã§10-100å€ä»¥ä¸Šã®é«˜é€ŸåŒ–ãŒå®Ÿç¾ã§ãã¾ã™ã€‚Codonã®é–‹ç™ºã¯Github上ã§è¡Œã‚ã‚Œã¦ãŠã‚Šã€2021
GitHub - tomhrr/dale: Lisp-flavoured C
Dale is a system (no GC) programming language that uses S-expressions for syntax and supports syntactic macros. The basic language is similar to C, with the following additional features: local type deduction; overloaded functions; anonymous functions; reference parameters; initialisers and destructors; variants; namespaces; modules; concepts; and compiler introspection. It should be usable on mos
GitHub - GaloisInc/crucible: Crucible is a library for symbolic simulation of imperative programs
Crucible is a language-agnostic library for performing forward symbolic execution of imperative programs. It provides a collection of data-structures and APIs for expressing programs as control-flow graphs. Programs expressed as CFGs in this way can be automatically explored by the symbolic execution engine. In addition, new data types and operations can be added to the symbolic simulator by imple
GitHub - smackers/smack: SMACK Software Verifier and Verification Toolchain
SMACK is both a modular software verification toolchain and a self-contained software verifier. It can be used to verify the assertions in its input programs. In its default mode, assertions are verified up to a given bound on loop iterations and recursion depth; it contains experimental support for unbounded verification as well. SMACK handles complicated feature of the C language, including dyna
Haskell+LLVM構æˆã§ä½œã‚‹è‡ªä½œã‚³ãƒ³ãƒ‘イラ - Qiita
Haskellã®ãƒ‘ーサコンビãƒãƒ¼ã‚¿megaparsecã¨ã€ã‚³ãƒ³ãƒ‘イラ基盤ã§ã‚ã‚‹LLVMを使ã£ã¦ã€ã‚³ãƒ³ãƒ‘イラを作ã£ã¦ã¿ã¾ã™ã€‚モãƒãƒ™ãƒ¼ã‚·ãƒ§ãƒ³ã¨ã—ã¦ã¯ã‚³ãƒ³ãƒ‘イラã¯C/C++を使ã£ã¦ä½œã‚‹ã®ãŒå®šç•ªã§ã™ãŒã€åž‹ã®æ©æµã‚’å—ã‘ãªãŒã‚‰é–‹ç™ºã—ãŸã„ãªã‚ã¨ã„ã†ã“ã¨ã§Haskellã§ã‚‚作れãªã„ã‹èª¿ã¹ã¦ã¿ã¾ã—ãŸã€‚ コンパイラ作æˆã®æµã‚Œ パーサコンビãƒãƒ¼ã‚¿ã®Megaparsecã§å››å‰‡æ¼”ç®—ã®ãƒ‘ーサを作æˆã—ã¾ã™ã€‚ LLVM IR構築ã®ãƒ©ã‚¤ãƒ–ラリã§ã‚ã‚‹llvm-hs-pureã§LLVM IRã®ã‚³ãƒ¼ãƒ‰ã¸å¤‰æ›ã™ã‚‹ã‚³ãƒ³ãƒ‘イラを作æˆã—ã¾ã™ã€‚ ç°¡å˜ãªå¼ã‚’コンパイルã—ã¦LLVMã®ã‚¤ãƒ³ã‚¿ãƒ¼ãƒ—リタlliã§å®Ÿè¡Œã—ã¾ã™ã€‚ LLVMã®ã‚³ãƒ³ãƒ‘イラllcã§ã‚¢ã‚»ãƒ³ãƒ–ラを生æˆã—ã¦gccã§ãƒã‚¤ãƒŠãƒªã¾ã§ç”Ÿæˆã—ã¾ã™ã€‚ 環境 ã‚らã‹ã˜ã‚以下をインストールã—ã¦ãŠã„ã¦ãã ã•ã„。 stack 1.9.3 Haskell 8.6.5 LLVM 9.0.0 コマンドラインã§
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
GitHub - llvm/circt: Circuit IR Compilers and Tools
LLVM IR Undefined Behavior (UB) Manual — LLVM 22.0.0git documentation
GitHub - llvm-pic/llvm-pic: LLVM backend implementation for the PIC architecture. Refer to this repo's wiki for more information ⤵
GitHub - AccelerateHS/accelerate-llvm: LLVM backend for Accelerate
KMC Staff Blog:SoftFloatã®æœªå®šç¾©å‹•ä½œãƒã‚°ï¼ˆ1）signedã®unsignedãªçµ¶å¯¾å€¤ã‚’求ã‚ã‚‹éš›ã«INT_MIN
GitHub - espressif/llvm-project: Fork of LLVM with Xtensa specific patches. To be upstreamed.
GitHub - sdiehl/kaleidoscope: Haskell LLVM JIT Compiler Tutorial
GitHub - uw-unsat/hyperkernel
{{#tags}}- {{label}}
{{/tags}}