Commits

Commit history

1. Commits on Nov 2, 2026

   • Update to latest Mojo

     bpr

     committed
     fde89e7View commit details

     Copy full SHA for fde89e7

     Browse repository at this point

   • MIR's builtin ops inlined from `SIMD` dunders now keep their `!kgen.simd` storage type under `struct.create`, as upstream's `pop` ops do, with the constant folder reading storage registers and fold…

     Show description for 3379d71
     bpr

     committed
     3379d71View commit details

     Copy full SHA for 3379d71

     Browse repository at this point

   • `v._mlir_value` on a `SIMD` now reads the struct's `_mlir_value` field and `self._mlir_value = s` initializes it, as upstream does, replacing the checker's `SimdStorage` adjustment that made it the…

     Show description for d500a81
     bpr

     committed
     d500a81View commit details

     Copy full SHA for d500a81

     Browse repository at this point

   • A `SIMD` application is now the declared struct's `TyKind::Struct` below the checker, as upstream holds it, replacing the compiler's `TyKind::Simd` and its `Ty::new` bridge (R1800). Behaviour, disp…

     Show description for 9963dd6
     bpr

     committed
     9963dd6View commit details

     Copy full SHA for 9963dd6

     Browse repository at this point

   • The `TyKind::Struct` patterns `as_non_simd_struct` cannot replace — alternations, tuple scrutinees, and by-value matches — now carry a `SIMD`-excluding guard (R1810). They keep meaning a declared s…

     Show description for 89cc362
     bpr

     committed
     89cc362View commit details

     Copy full SHA for 89cc362

     Browse repository at this point
2. Commits on Nov 1, 2026

   • Rules written for a declared struct other than `SIMD` now read the type through `TyKind::as_non_simd_struct` instead of matching `TyKind::Struct`, so they keep excluding `SIMD` once R1800 makes its…

     Show description for f85becc
     bpr

     committed
     f85beccView commit details

     Copy full SHA for f85becc

     Browse repository at this point

   • The native backend now lowers a one-field `TrivialRegisterPassable` struct as its field, classifying every type through `MirDeclarations::translated_type` as upstream's `LowerKGENToLLVM` does (R179…

     Show description for f0a8b08
     bpr

     committed
     f0a8b08View commit details

     Copy full SHA for f0a8b08

     Browse repository at this point

   • Below the check a `SIMD` value now lowers to its `!kgen.simd` storage, as upstream's `LowerKGENToLLVM` does, in the MIR verifier, layout, the native backend, and LLVM intrinsic signatures, where ea…

     Show description for 696c772
     bpr

     committed
     696c772View commit details

     Copy full SHA for 696c772

     Browse repository at this point

   • Work already in the tree when the loop started

     Show description for a8484e1
     bpr

     committed
     a8484e1View commit details

     Copy full SHA for a8484e1

     Browse repository at this point

   • `SIMD` now declares upstream's `_dynamic_shuffle` with `_pshuf_or_tbl1`, `_pshuf`, and `_tbl1` (R1777), and the LLVM intrinsic table gains `llvm.x86.ssse3.pshuf.b.128` and `llvm.aarch64.neon.tbl1`,…

     Show description for 1e3c274
     bpr

     committed
     1e3c274View commit details

     Copy full SHA for 1e3c274

     Browse repository at this point

   • The native backend's `String`, `repr`, and `Writer.write` of a `SIMD` value now call its declared `write_to` and `write_repr_to`, as `print` and the VM do (R1664), so vector conversions and `Bool`-…

     Show description for 6e4d983
     bpr

     committed
     6e4d983View commit details

     Copy full SHA for 6e4d983

     Browse repository at this point

   • A `SIMD` initializer called without inlining, at snippet module scope or with the pre-elaboration pipeline off, constructs its receiver on the VM (R1617). Its scalar-conversion test now runs at mod…

     Show description for 41cb696
     bpr

     committed
     41cb696View commit details

     Copy full SHA for 41cb696

     Browse repository at this point

   • `SIMD(copy=x)` now selects the struct's synthesized `TrivialRegisterPassable` copy initializer, as any struct's copy does, instead of the checker's builtin copy rule (R1793). A bracketless `SIMD(co…

     Show description for 93bbcf1
     bpr

     committed
     93bbcf1View commit details

     Copy full SHA for 93bbcf1

     Browse repository at this point

   • SIMD's `%`, `%=`, `divmod`, and `ceildiv` are now upstream's `__mod__`, `__rmod__`, `__imod__`, `__divmod__`, and `__ceildiv__` bodies, and SIMD declares DivModable and CeilDivable (R1623). An inte…

     Show description for c3e0199
     bpr

     committed
     c3e0199View commit details

     Copy full SHA for c3e0199

     Browse repository at this point

   • Test targets compile and pass Clippy again after the IntLiteral and SIMD refactors, and the LLVM scripts default to /usr/lib/llvm-23. The roadmap files the three elaboration regressions the 10-30/3…

     Show description for 8d5df40
     bpr

     committed
     8d5df40View commit details

     Copy full SHA for 8d5df40

     Browse repository at this point

   • Code outside mojito-types no longer depends on the compiler vector type's layout: vectors are built through Ty::simd, as_simd returns owned slots, and the public INT/UINT/FLOAT64 pattern constants …

     Show description for c5b2aac
     bpr

     committed
     c5b2aacView commit details

     Copy full SHA for c5b2aac

     Browse repository at this point

   • `Int`, `UInt`, and `Float64` are no longer parser types: they parse as names and resolve through `std.simd`'s prelude `comptime` aliases, so a program's own `struct Float64` is what its annotations…

     Show description for 1650c7c
     bpr

     committed
     1650c7cView commit details

     Copy full SHA for 1650c7c

     Browse repository at this point

   • The checker no longer keys a SIMD construction on Scalar, a sized or vector alias, or Self, since a call through any alias already constructs the instance it names; a compile-time SIMD[...](x) is n…

     Show description for 559b1ee
     bpr

     committed
     559b1eeView commit details

     Copy full SHA for 559b1ee

     Browse repository at this point
3. Commits on Oct 31, 2026

   • A call of a generic comptime alias's application now constructs the type it names, as at the pin: `P[Int](8)`, pack and partially bound aliases, `V[7].get()` through one, and `Self._T[w](v)` over a…

     Show description for 7be2786
     bpr

     committed
     7be2786View commit details

     Copy full SHA for 7be2786

     Browse repository at this point

   • A static method read through its struct is now a function value, as at the pin: `S.st`, `Self.st`, a bracket binding its own parameters (`S.gst[10]`), and an overloaded static selected by the expec…

     Show description for 21d6ccf
     bpr

     committed
     21d6ccfView commit details

     Copy full SHA for 21d6ccf

     Browse repository at this point

   • SIMD[...] now binds its brackets through the declared struct, and Scalar, Byte, and the sized aliases are std.simd's comptime aliases in the prelude, so keyword brackets, alias imports, and a progr…

     Show description for 8aa6ea8
     bpr

     committed
     8aa6ea8View commit details

     Copy full SHA for 8aa6ea8

     Browse repository at this point

   • SIMD now declares upstream's IntLiteral and FloatLiteral initializers over #pop.int_literal_convert and #pop<float_literal_convert>, and FloatLiteral declares __float__, write_to, and write_repr_to…

     Show description for 387f332
     bpr

     committed
     387f332View commit details

     Copy full SHA for 387f332

     Browse repository at this point

   • A bare `IntLiteral` or `FloatLiteral` parameter is now auto-parameterized as upstream's per-call `IntLiteral[x.value]`, and an argument that cannot solve such a binder gets the pin's "depends on an…

     Show description for da626a3
     bpr

     committed
     da626a3View commit details

     Copy full SHA for da626a3

     Browse repository at this point

   • A numeric literal's type is now the application it names, `IntLiteral[4]` or `FloatLiteral[2.5]`, and a literal-only expression's type carries its folded value (R1779). `type_of` of a literal now w…

     Show description for 75bb18e
     bpr

     committed
     75bb18eView commit details

     Copy full SHA for 75bb18e

     Browse repository at this point

   • The prelude now declares upstream's IntLiteral[value] and FloatLiteral[value] structs over new !pop.int_literal and !pop.float_literal attributes, so IntLiteral[(4).value]() and its members run as …

     Show description for e7dd693
     bpr

     committed
     e7dd693View commit details

     Copy full SHA for e7dd693

     Browse repository at this point

   • SIMD's mlir_value= initializer is now upstream's declared overload, and a !kgen.simd parameter pattern binds dtype and length only from slots a binder spells, retiring the checker's storage-constru…

     Show description for b503a0a
     bpr

     committed
     b503a0aView commit details

     Copy full SHA for b503a0a

     Browse repository at this point

   • Code outside mojito-types now reads SIMD types through TyKind accessors (as_simd, known_simd, is_simd, is_int, is_uint, is_float64) instead of matching TyKind::Simd and TyKind::INT/UINT/FLOAT64 (R1…

     Show description for 444d289
     bpr

     committed
     444d289View commit details

     Copy full SHA for 444d289

     Browse repository at this point

   • Retire the checker's, VM's, and Pliron's leftover SIMD member rules (R1398): a SIMD value's copy() is the builtin Copyable value read, and a compile-time comparison beside a SIMD operand folds its …

     Show description for be8aa05
     bpr

     committed
     be8aa05View commit details

     Copy full SHA for be8aa05

     Browse repository at this point

   • SIMD now declares upstream's rotate_left/right, shift_left/right, reversed, and the two IndexList shuffle overloads, which previously reported "has no method". A method's overload symbol now keys w…

     Show description for af22342
     bpr

     committed
     af22342View commit details

     Copy full SHA for af22342

     Browse repository at this point

   • Bundle upstream's std/utils/index.mojo (IndexList, Index, product), re-exported from std.utils, with a leading-dot parameter default now rooted at its parameter's type and a struct value's declared…

     Show description for 878a008
     bpr

     committed
     878a008View commit details

     Copy full SHA for 878a008

     Browse repository at this point

   • SIMD's reduce_and, reduce_or, and reduce_bit_count are now upstream's declared bodies, with size_out, over llvm.vector.reduce.and/or, which now take bool lanes. This replaces the checker rule that …

     Show description for 25306df
     bpr

     committed
     25306dfView commit details

     Copy full SHA for 25306df

     Browse repository at this point

   • SIMD's reductions are now upstream's declared `reduce` tree, ported verbatim with both `reduce` overloads and `size_out`, replacing the checker, VM, and Pliron rules for `reduce_add`, `reduce_mul`,…

     Show description for 6b10103
     bpr

     committed
     6b10103View commit details

     Copy full SHA for 6b10103

     Browse repository at this point

   • A compile-time callable parameter's contract is now matched under the call's other arguments, as the pin substitutes them (R1767): a method contract over `Self.dtype` or `Self._T[k]` no longer fail…

     Show description for 5995210
     bpr

     committed
     5995210View commit details

     Copy full SHA for 5995210

     Browse repository at this point

   • An overloaded method or initializer is now declared under the symbol the checker spells from its registered signature, the key its call spells, instead of re-spelling its annotation syntax (R1769).…

     Show description for bf604a6
     bpr

     committed
     bf604a6View commit details

     Copy full SHA for bf604a6

     Browse repository at this point

   • An overloaded free def is now declared under the symbol the checker spells from its typed signature, the same key its call spells, instead of re-spelling its annotation syntax (R600). Overloads ove…

     Show description for b7d0081
     bpr

     committed
     b7d0081View commit details

     Copy full SHA for b7d0081

     Browse repository at this point