Is there a way to enable certain high level optimizations in mojo for user defined types? For example, the expression “a * 0” can be transformed into “0” if a is an integer, but this won’t happen if a is some user defined type (tensor for example) in most languages. Is there a trait that states that…

Enabling High Level Optimizations in Mojo

Brian-M-J (Brian M Johnson) April 22, 2025, 10:31am 2

Not right now, but the team is working on it. See this post.

2 Likes

Topic		Replies	Views
Precondition Based Optimization (Library Design Proposal) Performance	5	118	June 3, 2025
Still struggling with type errors in Mojo around LayoutTensor and tiles Mojo	7	100	May 20, 2025
Does Mojo have a defined overflow behavior for `Int` and `UInt`? Language Design	4	200	April 22, 2025
Dynamic traits for easier programming Mojo mojo-compiler , llvm	1	167	December 9, 2024
[Proposal] Customizable Type Merging in Mojo Language Design discussion	9	166	April 21, 2025