nihalpasham

Ash - Rust bindings to Vulkan

What is Vulkan?

- [What is Vulkan? :: Vulkan Documentation Project](https://docs.vulkan.org/guide/latest/what_is_vulkan.html)

nihalpasham

How Pointers Are Really Represented in MIR

Represents pointers in MIR — both at rest (in the Allocation memory model) and in motion (through strict provenance cast kinds).

Table of Contents

1. The Code
2. Dumping the MIR
3. The Allocation Memory Model
4. Anatomy of the MIR — Pointer Constants

nihalpasham

Zero-Sized Types Actually Exist in MIR

• Series: Rust (mir) compiler bites
• Channel: Regional Tantrums
• Demo repo: zst-in-mir-demo (this repo — cargo rustc -- -Zunpretty=mir)

---

Intro

nihalpasham

Promoted Constants in Rust MIR

This document explains how Rust handles promoted constants, why they exist.

Table of Contents

1. What Are Promoted Constants?
2. MIR Syntax
3. Memory Layout
4. Code References

nihalpasham

Your for Loop Is a Lie: How Rust Desugars Iterators in MIR

Table of Contents

1. The Code
2. Dumping the MIR
3. The Desugaring Chain
4. Anatomy of the MIR
5. What Iterator::next() Does Internally
6. Checked Arithmetic: Why sum += i Returns a Tuple

nihalpasham

Closures Are Just Structs: MIR's Closure Desugaring

When you write |x| x + factor, Rust creates an anonymous struct, implements a trait on it, and calls a method.

Table of Contents

1. The Code
2. Dumping the MIR
3. The Desugaring Chain

nihalpasham

stable-mir

For a video version of this — https://www.youtube.com/watch?v=lfi2pCOaGGk&t=927s

Disclaimer

MIR - Rust’s mid-level IR

• Simplified, control-flow-oriented representation.

nihalpasham

./x build
    Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.07s
$ cargo +nightly-aarch64-apple-darwin build --manifest-path /Users/nihalpasham/devspace/rust/compiler/rustc_public/rustc_public/Cargo.toml --all-targets
   Compiling rustc_public v0.1.0-preview (/Users/nihalpasham/devspace/rust/compiler/rustc_public/rustc_public)
error[E0412]: cannot find type `DynKind` in module `rustc_ty`
   --> rustc_public/src/unstable/convert/internal.rs:464:30
    |
464 |     type T<'tcx> = rustc_ty::DynKind;
    |                              ^^^^^^^

nihalpasham

GP-GPU Programming Ramblings

#nvidia #cuda #gpu #arch #metal #rocm #triton

• Tensor Cores and Tensor Memory Accelerator
• Split Barriers (Ampere and above)
• Thread Block Cluster (Hopper and above)
• Producer-Consumer Queues

nihalpasham

True cross-platform GPU compute —WebGPU + WGML


WebGPU vs WebGL