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 - 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 コマンドラインã§
ã”ãã’んよã†ã€Zenã¸ã‚ˆã†ã“ã | Reduce your stress with the C language
ã”ãã’んよã†ã€Zenã¸ã‚ˆã†ã“ã Reduce your stress with the C language. The first step to writing perfect software is Zenâ„¢ 今ã™ãダウンãƒãƒ¼ãƒ‰ï¼ˆç„¡æ–™ï¼‰ Zen を勉強ã—始ã‚ã‚‹ Be, Write and Think in Zen The word Zen has many meanings in the Japanese language. The Zen language focuses on these three meanings.
「LLVM 9.0ã€ãƒªãƒªãƒ¼ã‚¹ã€asm gotoã®ã‚µãƒãƒ¼ãƒˆã§Linuxカーãƒãƒ«ã®ãƒ“ルドãŒå¯èƒ½ã« | OSDN Magazine
The LLVM Projectã¯9月19æ—¥ã€ã‚³ãƒ³ãƒ‘イラãŠã‚ˆã³é–¢é€£ãƒ„ールãƒã‚§ãƒ¼ãƒ³é›†ã€ŒLLVM 9.0ã€ã‚’リリースã—ãŸã“ã¨ã‚’発表ã—ãŸã€‚ライセンスãŒä¾‹å¤–付ãApache License 2ã«å¤‰æ›´ã«ãªã£ãŸã»ã‹ã€æ©Ÿèƒ½é¢ã§ã¯ãƒ¡ã‚¤ãƒ³ãƒ©ã‚¤ãƒ³ã®Linuxカーãƒãƒ«ï¼ˆx86_64）ã®ãƒ“ルドãŒå¯èƒ½ã«ãªã‚Šã€RISC-Vサãƒãƒ¼ãƒˆãŒæ£å¼æ‰±ã„ã¨ãªã‚‹ãªã©ã®å¼·åŒ–ãŒåŠ ã‚ã£ã¦ã„る。 LLVMã¯ãƒ¢ã‚¸ãƒ¥ãƒ©ãƒ¼ãŠã‚ˆã³å†åˆ©ç”¨å¯èƒ½ãªã‚³ãƒ³ãƒ‘イラã¨ãƒ„ールãƒã‚§ãƒ¼ãƒ³ã‚’æä¾›ã™ã‚‹ãƒ—ãƒã‚¸ã‚§ã‚¯ãƒˆã€‚イリノイ大å¦ã§SSAベースã®ã‚³ãƒ³ãƒ‘イラ開発プãƒã‚¸ã‚§ã‚¯ãƒˆã¨ã—ã¦ã‚¹ã‚¿ãƒ¼ãƒˆã—ãŸã€‚ç¾åœ¨ã¯LLVM Coreã«åŠ ãˆã€ãƒ•ãƒãƒ³ãƒˆã‚¨ãƒ³ãƒ‰ã®Clangã€ãƒ‡ãƒãƒƒã‚¬ã®LLDBã€C++11ã¨C++14をサãƒãƒ¼ãƒˆã™ã‚‹C++ Standard Libraryã®å®Ÿè£…ã§ã‚ã‚‹libc++ã¨libc++ ABIãªã©ã€è¤‡æ•°ã®ã‚µãƒ–プãƒã‚¸ã‚§ã‚¯ãƒˆã‚’æ“ã™ã‚‹ã€‚ LLVM 9.0ã¯3月ã«å…¬é–‹ã•ã‚ŒãŸãƒãƒ¼ã‚¸ãƒ§ãƒ³8ã«
ランã‚ング
ランã‚ング
メンテナンス
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
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 - tomhrr/dale: Lisp-flavoured C
GitHub - uw-unsat/hyperkernel
GitHub - jacobly0/llvm-project: This fork of the canonical git mirror of the LLVM subversion repository adds (e)Z80 targets. Please refer to the wiki for important build instructions.
GitHub - bollu/simplexhc-cpp: optimising compiler for Haskell's intermediate representation (STG) to LLVM IR
{{#tags}}- {{label}}
{{/tags}}