SIL for First Time Leaners LT

•

1 like•2,465 views

The document discusses Swift Intermediate Language (SIL), which is an intermediate representation used by the Swift compiler. SIL allows understanding how the Swift compiler works and enables optimizations. Examples show how a simple Swift function is represented in SIL and how optimizations remove unnecessary intermediate variables. Learning SIL provides insights into the Swift type system and compiler optimizations.

Technology

SIL for First Time
Learners
SIL for First Time Learners, Yusuke Kita (@kitasuke), try! Swift Tokyo 2018

Hi, I'm Yusuke
@kitasuke
SIL for First Time Learners, Yusuke Kita (@kitasuke), try! Swift Tokyo 2018

Why SIL?
SIL for First Time Learners, Yusuke Kita (@kitasuke), try! Swift Tokyo 2018

Why SIL?
• Better idea of Swift type system
SIL for First Time Learners, Yusuke Kita (@kitasuke), try! Swift Tokyo 2018

Why SIL?
• Better idea of Swift type system
• Optimizations magic !✨
SIL for First Time Learners, Yusuke Kita (@kitasuke), try! Swift Tokyo 2018

Why SIL?
• Better idea of Swift type system
• Optimizations magic !✨
• Just for fun!
SIL for First Time Learners, Yusuke Kita (@kitasuke), try! Swift Tokyo 2018

SIL
SIL for First Time Learners, Yusuke Kita (@kitasuke), try! Swift Tokyo 2018

Swift
Intermediate
Language
SIL for First Time Learners, Yusuke Kita (@kitasuke), try! Swift Tokyo 2018

SIL is a language
speciﬁc Intermediate
Representation
SIL for First Time Learners, Yusuke Kita (@kitasuke), try! Swift Tokyo 2018

Swift Compiler
SIL for First Time Learners, Yusuke Kita (@kitasuke), try! Swift Tokyo 2018

What SIL looks like?
SIL for First Time Learners, Yusuke Kita (@kitasuke), try! Swift Tokyo 2018

sample.swift
func number() -> Int {
let x: Int
x = 1
return x
}
SIL for First Time Learners, Yusuke Kita (@kitasuke), try! Swift Tokyo 2018

Emit SIL
$swiftc -emit-sil sample.swift -o sample.sil
SIL for First Time Learners, Yusuke Kita (@kitasuke), try! Swift Tokyo 2018

$sample.sil sil hidden @_T06sample6numberSiyF : $@convention(thin) () -> Int { bb0: %0 = alloc_stack $Int, let, name "x" %1 = integer_literal $Builtin.Int64, 1 %2 = struct $Int (%1 : $Builtin.Int64) store %2 to %0 : $*Int dealloc_stack %0 : $*Int return %2 : $Int } SIL for First Time Learners, Yusuke Kita (@kitasuke), try! Swift Tokyo 2018$

Emit SIL with -O
$swiftc -emit-sil -O sample.swift -o sample.sil
SIL for First Time Learners, Yusuke Kita (@kitasuke), try! Swift Tokyo 2018

$sample.sil with -O sil hidden @_T06sample6numberSiyF : $@convention(thin) () -> Int { bb0: %0 = integer_literal $Builtin.Int64, 1 %1 = struct $Int (%0 : $Builtin.Int64) return %1 : $Int } SIL for First Time Learners, Yusuke Kita (@kitasuke), try! Swift Tokyo 2018$

sample.swift
func number() -> Int {
return 1
}
SIL for First Time Learners, Yusuke Kita (@kitasuke), try! Swift Tokyo 2018

$Diff sil hidden @_T06sample6numberSiyF : $@convention(thin) () -> Int { bb0: %0 = alloc_stack $Int, let, name "x" %1 = integer_literal $Builtin.Int64, 1 %2 = struct $Int (%1 : $Builtin.Int64) store %2 to %0 : $*Int dealloc_stack %0 : $*Int return %2 : $Int } SIL for First Time Learners, Yusuke Kita (@kitasuke), try! Swift Tokyo 2018$

Optimizations !✨
SIL for First Time Learners, Yusuke Kita (@kitasuke), try! Swift Tokyo 2018

Optimization ﬂag
• -Onone
• -O
• -Ounchecked
• -Osize New!
SIL for First Time Learners, Yusuke Kita (@kitasuke), try! Swift Tokyo 2018

Summary
SIL for First Time Learners, Yusuke Kita (@kitasuke), try! Swift Tokyo 2018

Summary
• Somehow understandable
SIL for First Time Learners, Yusuke Kita (@kitasuke), try! Swift Tokyo 2018

Summary
• Somehow understandable
• Better idea of how Swift Compiler works
SIL for First Time Learners, Yusuke Kita (@kitasuke), try! Swift Tokyo 2018

Summary
• Somehow understandable
• Better idea of how Swift Compiler works
• Deﬁnitely worth learning!
SIL for First Time Learners, Yusuke Kita (@kitasuke), try! Swift Tokyo 2018

References
• swift/docs/SIL.rst
• Swift's High-Level IR: A Case Study of Complementing LLVM
IR with Language-Speciﬁc Optimization
SIL for First Time Learners, Yusuke Kita (@kitasuke), try! Swift Tokyo 2018

Thank you!
SIL for First Time Learners, Yusuke Kita (@kitasuke), try! Swift Tokyo 2018

The document discusses the SIL optimization pass called AllocBoxToStack. It begins by providing context on SIL and why it is used. It then explains the difference between allocating values on the stack vs the heap. The main part of the document describes how the AllocBoxToStack pass works to promote alloc_box instructions to alloc_stack by analyzing variable lifetimes and use patterns. Code examples are provided to demonstrate the optimization.

SIL for First Time Learners

Yusuke Kita

The document discusses SIL (Swift Intermediate Language), which is the intermediate representation used by the Swift compiler. It provides an overview of SIL and how the Swift compiler uses it, demonstrates converting Swift code to SIL, and shows how optimizations are performed from raw SIL to canonical SIL. Examples are given of memory optimizations and how flag settings can control optimizations. In summary, learning SIL provides insights into how the Swift compiler works and is worthwhile for optimization.

Open Source Swift Workshop

Yusuke Kita

This document summarizes Yusuke Kita's open source Swift workshop presented at try! Swift Tokyo 2019. The workshop covered getting started with contributing to the Swift compiler, building Swift and SwiftSyntax from source, debugging and testing Swift, building your own tools with SwiftSyntax, writing your own compilers, and tips for working with the open source Swift project. Attendees were encouraged to ask questions during the workshop presentation.

Contributing to Swift Compiler

Yusuke Kita

Yusuke Kita presented on his experience contributing to the Swift compiler. He contributed improvements and fixes to the compiler's libSyntax, AST, and SIL components. He encourages others to get involved by taking ideas from and giving ideas to the open source Swift community. Contributions can start small and it's never too late to start. The try! Swift events provide workshops for contributing to Open Source Swift.

Big Data Baseball with Python - Ichiro Suzuki hacks! #kwsk01

Shinichi Nakagawa

Ichiro Suzuki reached his 3,000th MLB hit on August 7, 2016. The author analyzes Ichiro's journey to 3,000 hits using Python and MLB play-by-play and pitch tracking data from 2015-2016. He extracts Ichiro's at-bat and pitch-level data to analyze trends in Ichiro's pitch selection and performance over the two seasons leading up to the milestone. The author plans to present further analysis and visualizations of Ichiro's path to 3,000 hits at an upcoming Python conference.

Contributing swift

Yuki Kuroda

This document discusses contributing to open source Swift projects. It provides links to Apple's open source Swift page on GitHub and details an event called Try Swift 2018 in Tokyo from March 1-3 for learning how to contribute to Swift. It encourages giving contributing a try, noting that the Swift community is great and that no one is an expert in every aspect. Links are included for Swift forums and bug reporting sites to get involved.

Integrating libSyntax into the compiler pipeline

Yusuke Kita

The document discusses integrating the libSyntax library into the Swift compiler pipeline. Currently, the Swift parser emits both a libSyntax syntax tree and a semantic AST, but libSyntax ignores the AST. The goal is for the parser to fully embrace libSyntax and stop emitting the AST. It describes the existing parsing process, which builds the AST at each step, and explores options for modifying it to also build the libSyntax tree at each step instead of just the AST.

Making your own tool using SwiftSyntax

Yusuke Kita

This document discusses writing a compiler in Go. It provides an overview of the different modules needed for a compiler, including tokenization, lexing, parsing, AST generation, code generation, and a virtual machine. It also demonstrates these concepts by summarizing the development of a Monkey compiler, with modules for tokens, lexer, parser, AST, objects, evaluation, and code generation. Key takeaways are gaining an understanding of how compilers work, learning more about Go, and laying foundations for static analysis tools.

Writing an interpreter in swift

Yusuke Kita

The document discusses writing an interpreter for a programming language in Swift. It summarizes the key modules of the interpreter including the syntax, lexer, semantic analyzer (Sema), abstract syntax tree (AST), and read-evaluate-print loop (REPL). Code examples are provided for defining token types in the syntax, lexing source code into tokens, parsing tokens into an AST using the semantic analyzer, and evaluating nodes in the AST.

var, let in SIL

Yusuke Kita

The document compares the differences between var and let in Swift's SIL (Swift Intermediate Language). Var uses alloc_box to allocate memory on the heap while let uses alloc_stack to allocate on the stack. Var requires begin_access/end_access instructions to access memory, while let uses direct load/store. Var needs destroy_value to release memory, while let uses dealloc_stack. The key difference is that var uses reference counting for a box on the heap, while let uses stack allocation with direct lifetime management.

How to try! Swift

Yusuke Kita

SIL for the first time

Yusuke Kita

Introducing protobuf in Swift

Yusuke Kita

The document discusses introducing Protocol Buffers (protobuf) in Swift. It begins with an overview of protobuf and how it provides a compact and efficient way of serializing structured data. It then covers how to use protobuf in Swift projects - defining message types in .proto files, generating Swift code from the .proto files, and serializing/deserializing data to and from the defined message types. Key advantages of using protobuf like type safety, shared data models across platforms, and high performance are also highlighted.

Type-safe Web APIs with Protocol Buffers in Swift at AltConf

Yusuke Kita

The document discusses using Protocol Buffers for building type-safe web APIs in Swift. It describes Protocol Buffers as a serialization format that is smaller, faster and safer than JSON. It explains that Protocol Buffers involve defining message types in .proto files, generating code from those files, and then serializing and deserializing data to and from the defined types. The speaker will cover what Protocol Buffers are, their pros and cons, and how to get started with them.

Type-safe Web APIs with Protocol Buffers in Swift at iOSCon

Yusuke Kita

Swift core

Yusuke Kita

The document provides information about Swift Core, which includes the core libraries and functionality of the Swift programming language. It lists some of the key Swift libraries like swiftAST and swiftLLVMParses. It also describes the documentation build process and lists important files that define the language like Attr.def, Builtin.def, and MappedTypes.def. The document outlines how to install and develop Swift in Xcode and highlights some core language functions.

SwiftCoreとFoundationを読んでみた

Yusuke Kita

Search APIs & Universal Links

Yusuke Kita

The document discusses Apple's search APIs and how they enable apps to provide rich content to Spotlight, Siri and Safari search results. It covers three APIs - NSUserActivity, App Search and CoreSpotlight - that allow indexing app content and activities to make them discoverable in searches. The document also discusses how to index web content to drive traffic to mobile apps and optimize search results through techniques like keywords, structured data and fast deep linking to improve an app's relevance ranking.

Introducing Cardio

Yusuke Kita

This document introduces CardioMerkari Inc. and their Cardio health kit wrapper library. Cardio is an open source Swift library that provides a simple interface for accessing HealthKit functionality related to workouts. It handles authorization, reading workout data from sensors, and saving workout data to HealthKit. The document provides information on using Cardio such as initializing it with a context, setting up authorization, starting and ending workout sessions, handling sensor updates, and saving workout data.

Command Line Tool in swift

Yusuke Kita

This document discusses developing a command line tool in Swift. It covers using the Commandant framework to parse command line arguments, setting up the project structure with Xcode workspaces, adding dependencies with Carthage, configuring build settings, and implementing commands using the Commandant protocol. The goal is to provide a guide for creating a CLI tool in Swift, from setting up the initial project to deploying and debugging the finished application.

WWDCのチケット外れてもSFに行った方が良い理由

Yusuke Kita

Search APIs in Spotlight and Safari

Yusuke Kita

The document discusses three APIs - NSUserActivity, CoreSpotlight, and web markup - that app developers can use to make their app content searchable on iOS devices. It provides details on how to index app data, activities, and web content to improve discovery and bring users into the app via search and Siri suggestions. Best practices are covered such as supporting deep links, using descriptive attributes, and optimizing the app launch experience from search results. Known issues with some search integration features are also mentioned.

Protocol in Swift

Yusuke Kita

This document discusses protocols in Swift. It defines a protocol as a blueprint of methods, properties, and requirements that can be adopted by classes, structures, and enumerations. Protocols like Equatable, Comparable, and CollectionType are built-in to Swift and provide common functionality. The document provides examples of built-in protocols and how protocol extensions allow adding functionality to existing protocols.

Connector Corner: Seamlessly power UiPath Apps, GenAI with prebuilt connectors

DianaGray10

Join us to learn how UiPath Apps can directly and easily interact with prebuilt connectors via Integration Service--including Salesforce, ServiceNow, Open GenAI, and more. The best part is you can achieve this without building a custom workflow! Say goodbye to the hassle of using separate automations to call APIs. By seamlessly integrating within App Studio, you can now easily streamline your workflow, while gaining direct access to our Connector Catalog of popular applications. We’ll discuss and demo the benefits of UiPath Apps and connectors including: Creating a compelling user experience for any software, without the limitations of APIs. Accelerating the app creation process, saving time and effort Enjoying high-performance CRUD (create, read, update, delete) operations, for seamless data management. Speakers: Russell Alfeche, Technology Leader, RPA at qBotic and UiPath MVP Charlie Greenberg, host

Y-Combinator seed pitch deck template PP

c5vrf27qcz

Recently uploaded

Connector Corner: Seamlessly power UiPath Apps, GenAI with prebuilt connectors

DianaGray10

Y-Combinator seed pitch deck template PP

c5vrf27qcz

Must Know Postgres Extension for DBA and Developer during Migration

Mydbops

Mydbops Opensource Database Meetup 16 Topic: Must-Know PostgreSQL Extensions for Developers and DBAs During Migration Speaker: Deepak Mahto, Founder of DataCloudGaze Consulting Date & Time: 8th June | 10 AM - 1 PM IST Venue: Bangalore International Centre, Bangalore Abstract: Discover how PostgreSQL extensions can be your secret weapon! This talk explores how key extensions enhance database capabilities and streamline the migration process for users moving from other relational databases like Oracle. Key Takeaways: * Learn about crucial extensions like oracle_fdw, pgtt, and pg_audit that ease migration complexities. * Gain valuable strategies for implementing these extensions in PostgreSQL to achieve license freedom. * Discover how these key extensions can empower both developers and DBAs during the migration process. * Don't miss this chance to gain practical knowledge from an industry expert and stay updated on the latest open-source database trends. Mydbops Managed Services specializes in taking the pain out of database management while optimizing performance. Since 2015, we have been providing top-notch support and assistance for the top three open-source databases: MySQL, MongoDB, and PostgreSQL. Our team offers a wide range of services, including assistance, support, consulting, 24/7 operations, and expertise in all relevant technologies. We help organizations improve their database's performance, scalability, efficiency, and availability. Contact us: info@mydbops.com Visit: https://www.mydbops.com/ Follow us on LinkedIn: https://in.linkedin.com/company/mydbops For more details and updates, please follow up the below links. Meetup Page : https://www.meetup.com/mydbops-databa... Twitter: https://twitter.com/mydbopsofficial Blogs: https://www.mydbops.com/blog/ Facebook(Meta): https://www.facebook.com/mydbops/

"What does it really mean for your system to be available, or how to define w...

Fwdays

Christine's Product Research Presentation.pptx

christinelarrosa

"$10 thousand per minute of downtime: architecture, queues, streaming and fin...

Fwdays

Direct losses from downtime in 1 minute = $5-$10 thousand dollars. Reputation is priceless. As part of the talk, we will consider the architectural strategies necessary for the development of highly loaded fintech solutions. We will focus on using queues and streaming to efficiently work and manage large amounts of data in real-time and to minimize latency. We will focus special attention on the architectural patterns used in the design of the fintech system, microservices and event-driven architecture, which ensure scalability, fault tolerance, and consistency of the entire system.

PRODUCT LISTING OPTIMIZATION PRESENTATION.pptx

christinelarrosa

inQuba Webinar Mastering Customer Journey Management with Dr Graham Hill

LizaNolte

HERE IS YOUR WEBINAR CONTENT! 'Mastering Customer Journey Management with Dr. Graham Hill'. We hope you find the webinar recording both insightful and enjoyable. In this webinar, we explored essential aspects of Customer Journey Management and personalization. Here’s a summary of the key insights and topics discussed: Key Takeaways: Understanding the Customer Journey: Dr. Hill emphasized the importance of mapping and understanding the complete customer journey to identify touchpoints and opportunities for improvement. Personalization Strategies: We discussed how to leverage data and insights to create personalized experiences that resonate with customers. Technology Integration: Insights were shared on how inQuba’s advanced technology can streamline customer interactions and drive operational efficiency.

Introduction of Cybersecurity with OSS at Code Europe 2024

Hiroshi SHIBATA

I develop the Ruby programming language, RubyGems, and Bundler, which are package managers for Ruby. Today, I will introduce how to enhance the security of your application using open-source software (OSS) examples from Ruby and RubyGems. The first topic is CVE (Common Vulnerabilities and Exposures). I have published CVEs many times. But what exactly is a CVE? I'll provide a basic understanding of CVEs and explain how to detect and handle vulnerabilities in OSS. Next, let's discuss package managers. Package managers play a critical role in the OSS ecosystem. I'll explain how to manage library dependencies in your application. I'll share insights into how the Ruby and RubyGems core team works to keep our ecosystem safe. By the end of this talk, you'll have a better understanding of how to safeguard your code.

How to Interpret Trends in the Kalyan Rajdhani Mix Chart.pdf

Chart Kalyan

Session 1 - Intro to Robotic Process Automation.pdf

UiPathCommunity

👉 Check out our full 'Africa Series - Automation Student Developers (EN)' page to register for the full program: https://bit.ly/Automation_Student_Kickstart In this session, we shall introduce you to the world of automation, the UiPath Platform, and guide you on how to install and setup UiPath Studio on your Windows PC. 📕 Detailed agenda: What is RPA? Benefits of RPA? RPA Applications The UiPath End-to-End Automation Platform UiPath Studio CE Installation and Setup 💻 Extra training through UiPath Academy: Introduction to Automation UiPath Business Automation Platform Explore automation development with UiPath Studio 👉 Register here for our upcoming Session 2 on June 20: Introduction to UiPath Studio Fundamentals: https://community.uipath.com/events/details/uipath-lagos-presents-session-2-introduction-to-uipath-studio-fundamentals/

Northern Engraving | Modern Metal Trim, Nameplates and Appliance Panels

Northern Engraving

From Natural Language to Structured Solr Queries using LLMs

Sease

This talk draws on experimentation to enable AI applications with Solr. One important use case is to use AI for better accessibility and discoverability of the data: while User eXperience techniques, lexical search improvements, and data harmonization can take organizations to a good level of accessibility, a structural (or “cognitive” gap) remains between the data user needs and the data producer constraints. That is where AI – and most importantly, Natural Language Processing and Large Language Model techniques – could make a difference. This natural language, conversational engine could facilitate access and usage of the data leveraging the semantics of any data source. The objective of the presentation is to propose a technical approach and a way forward to achieve this goal. The key concept is to enable users to express their search queries in natural language, which the LLM then enriches, interprets, and translates into structured queries based on the Solr index’s metadata. This approach leverages the LLM’s ability to understand the nuances of natural language and the structure of documents within Apache Solr. The LLM acts as an intermediary agent, offering a transparent experience to users automatically and potentially uncovering relevant documents that conventional search methods might overlook. The presentation will include the results of this experimental work, lessons learned, best practices, and the scope of future work that should improve the approach and make it production-ready.

Northern Engraving | Nameplate Manufacturing Process - 2024

Northern Engraving

Manufacturing custom quality metal nameplates and badges involves several standard operations. Processes include sheet prep, lithography, screening, coating, punch press and inspection. All decoration is completed in the flat sheet with adhesive and tooling operations following. The possibilities for creating unique durable nameplates are endless. How will you create your brand identity? We can help!

GraphRAG for LifeSciences Hands-On with the Clinical Knowledge Graph

Neo4j

Mutation Testing for Task-Oriented Chatbots

Pablo Gómez Abajo

Conversational agents, or chatbots, are increasingly used to access all sorts of services using natural language. While open-domain chatbots - like ChatGPT - can converse on any topic, task-oriented chatbots - the focus of this paper - are designed for specific tasks, like booking a flight, obtaining customer support, or setting an appointment. Like any other software, task-oriented chatbots need to be properly tested, usually by defining and executing test scenarios (i.e., sequences of user-chatbot interactions). However, there is currently a lack of methods to quantify the completeness and strength of such test scenarios, which can lead to low-quality tests, and hence to buggy chatbots. To fill this gap, we propose adapting mutation testing (MuT) for task-oriented chatbots. To this end, we introduce a set of mutation operators that emulate faults in chatbot designs, an architecture that enables MuT on chatbots built using heterogeneous technologies, and a practical realisation as an Eclipse plugin. Moreover, we evaluate the applicability, effectiveness and efficiency of our approach on open-source chatbots, with promising results.

Leveraging the Graph for Clinical Trials and Standards

Neo4j

Crafting Excellence: A Comprehensive Guide to iOS Mobile App Development Serv...

Pitangent Analytics & Technology Solutions Pvt. Ltd

"Choosing proper type of scaling", Olena Syrota

Fwdays

GNSS spoofing via SDR (Criptored Talks 2024)

Javier Junquera

In the realm of cybersecurity, offensive security practices act as a critical shield. By simulating real-world attacks in a controlled environment, these techniques expose vulnerabilities before malicious actors can exploit them. This proactive approach allows manufacturers to identify and fix weaknesses, significantly enhancing system security. This presentation delves into the development of a system designed to mimic Galileo's Open Service signal using software-defined radio (SDR) technology. We'll begin with a foundational overview of both Global Navigation Satellite Systems (GNSS) and the intricacies of digital signal processing. The presentation culminates in a live demonstration. We'll showcase the manipulation of Galileo's Open Service pilot signal, simulating an attack on various software and hardware systems. This practical demonstration serves to highlight the potential consequences of unaddressed vulnerabilities, emphasizing the importance of offensive security practices in safeguarding critical infrastructure.

Recently uploaded (20)

Connector Corner: Seamlessly power UiPath Apps, GenAI with prebuilt connectors

Y-Combinator seed pitch deck template PP

Must Know Postgres Extension for DBA and Developer during Migration

"What does it really mean for your system to be available, or how to define w...

Christine's Product Research Presentation.pptx

"$10 thousand per minute of downtime: architecture, queues, streaming and fin...

PRODUCT LISTING OPTIMIZATION PRESENTATION.pptx

inQuba Webinar Mastering Customer Journey Management with Dr Graham Hill

Introduction of Cybersecurity with OSS at Code Europe 2024

How to Interpret Trends in the Kalyan Rajdhani Mix Chart.pdf

Session 1 - Intro to Robotic Process Automation.pdf

Northern Engraving | Modern Metal Trim, Nameplates and Appliance Panels

From Natural Language to Structured Solr Queries using LLMs

Northern Engraving | Nameplate Manufacturing Process - 2024

GraphRAG for LifeSciences Hands-On with the Clinical Knowledge Graph

Mutation Testing for Task-Oriented Chatbots

Leveraging the Graph for Clinical Trials and Standards

Crafting Excellence: A Comprehensive Guide to iOS Mobile App Development Serv...

"Choosing proper type of scaling", Olena Syrota

GNSS spoofing via SDR (Criptored Talks 2024)

SIL for First Time Leaners LT

1. SIL for First Time Learners SIL for First Time Learners, Yusuke Kita (@kitasuke), try! Swift Tokyo 2018

2. Hi, I'm Yusuke @kitasuke SIL for First Time Learners, Yusuke Kita (@kitasuke), try! Swift Tokyo 2018

3. Why SIL? SIL for First Time Learners, Yusuke Kita (@kitasuke), try! Swift Tokyo 2018

4. Why SIL? SIL for First Time Learners, Yusuke Kita (@kitasuke), try! Swift Tokyo 2018

5. Why SIL? • Better idea of Swift type system SIL for First Time Learners, Yusuke Kita (@kitasuke), try! Swift Tokyo 2018

6. Why SIL? • Better idea of Swift type system • Optimizations magic !✨ SIL for First Time Learners, Yusuke Kita (@kitasuke), try! Swift Tokyo 2018

7. Why SIL? • Better idea of Swift type system • Optimizations magic !✨ • Just for fun! SIL for First Time Learners, Yusuke Kita (@kitasuke), try! Swift Tokyo 2018

8. SIL SIL for First Time Learners, Yusuke Kita (@kitasuke), try! Swift Tokyo 2018

9. Swift Intermediate Language SIL for First Time Learners, Yusuke Kita (@kitasuke), try! Swift Tokyo 2018

10. SIL is a language speciﬁc Intermediate Representation SIL for First Time Learners, Yusuke Kita (@kitasuke), try! Swift Tokyo 2018

11. Swift Compiler SIL for First Time Learners, Yusuke Kita (@kitasuke), try! Swift Tokyo 2018

12. Swift Compiler SIL for First Time Learners, Yusuke Kita (@kitasuke), try! Swift Tokyo 2018

13. Swift Compiler SIL for First Time Learners, Yusuke Kita (@kitasuke), try! Swift Tokyo 2018

14. What SIL looks like? SIL for First Time Learners, Yusuke Kita (@kitasuke), try! Swift Tokyo 2018

15. sample.swift func number() -> Int { let x: Int x = 1 return x } SIL for First Time Learners, Yusuke Kita (@kitasuke), try! Swift Tokyo 2018

16. Emit SIL $swiftc -emit-sil sample.swift -o sample.sil SIL for First Time Learners, Yusuke Kita (@kitasuke), try! Swift Tokyo 2018

17. sample.sil sil hidden @_T06sample6numberSiyF : $@convention(thin) () -> Int { bb0: %0 = alloc_stack $Int, let, name "x" %1 = integer_literal $Builtin.Int64, 1 %2 = struct $Int (%1 : $Builtin.Int64) store %2 to %0 : $*Int dealloc_stack %0 : $*Int return %2 : $Int } SIL for First Time Learners, Yusuke Kita (@kitasuke), try! Swift Tokyo 2018

18. Emit SIL with -O $swiftc -emit-sil -O sample.swift -o sample.sil SIL for First Time Learners, Yusuke Kita (@kitasuke), try! Swift Tokyo 2018

19. sample.sil with -O sil hidden @_T06sample6numberSiyF : $@convention(thin) () -> Int { bb0: %0 = integer_literal $Builtin.Int64, 1 %1 = struct $Int (%0 : $Builtin.Int64) return %1 : $Int } SIL for First Time Learners, Yusuke Kita (@kitasuke), try! Swift Tokyo 2018

20. sample.swift func number() -> Int { let x: Int x = 1 return x } SIL for First Time Learners, Yusuke Kita (@kitasuke), try! Swift Tokyo 2018

21. sample.swift func number() -> Int { return 1 } SIL for First Time Learners, Yusuke Kita (@kitasuke), try! Swift Tokyo 2018

22. Diff sil hidden @_T06sample6numberSiyF : $@convention(thin) () -> Int { bb0: %0 = alloc_stack $Int, let, name "x" %1 = integer_literal $Builtin.Int64, 1 %2 = struct $Int (%1 : $Builtin.Int64) store %2 to %0 : $*Int dealloc_stack %0 : $*Int return %2 : $Int } SIL for First Time Learners, Yusuke Kita (@kitasuke), try! Swift Tokyo 2018

23. sample.sil with -O sil hidden @_T06sample6numberSiyF : $@convention(thin) () -> Int { bb0: %0 = integer_literal $Builtin.Int64, 1 %1 = struct $Int (%0 : $Builtin.Int64) return %1 : $Int } SIL for First Time Learners, Yusuke Kita (@kitasuke), try! Swift Tokyo 2018

24. Optimizations !✨ SIL for First Time Learners, Yusuke Kita (@kitasuke), try! Swift Tokyo 2018

25. Optimization ﬂag • -Onone • -O • -Ounchecked • -Osize New! SIL for First Time Learners, Yusuke Kita (@kitasuke), try! Swift Tokyo 2018

26. Summary SIL for First Time Learners, Yusuke Kita (@kitasuke), try! Swift Tokyo 2018

27. Summary • Somehow understandable SIL for First Time Learners, Yusuke Kita (@kitasuke), try! Swift Tokyo 2018

28. Summary • Somehow understandable • Better idea of how Swift Compiler works SIL for First Time Learners, Yusuke Kita (@kitasuke), try! Swift Tokyo 2018

29. Summary • Somehow understandable • Better idea of how Swift Compiler works • Deﬁnitely worth learning! SIL for First Time Learners, Yusuke Kita (@kitasuke), try! Swift Tokyo 2018

30. References • swift/docs/SIL.rst • Swift's High-Level IR: A Case Study of Complementing LLVM IR with Language-Speciﬁc Optimization SIL for First Time Learners, Yusuke Kita (@kitasuke), try! Swift Tokyo 2018

31. Thank you! SIL for First Time Learners, Yusuke Kita (@kitasuke), try! Swift Tokyo 2018

SIL for First Time Leaners LT

Recommended

Recommended

More Related Content

More from Yusuke Kita

More from Yusuke Kita (20)

Recently uploaded

Recently uploaded (20)

SIL for First Time Leaners LT