Making it easier to work with shaders https://git.yummers.dev/slang.git/atom?h=master 2025-07-17T06:43:06+00:00 2025-07-17T06:43:06+00:00 Yong He yonghe@outlook.com 2025-07-17T06:43:06+00:00 urn:sha1:020a16072923a66ae0985be618fd32310aa87242 * Improve lookup performance. * Cleanup. * Improve autocompletion latency. 2025-07-11T22:24:41+00:00 Yong He yonghe@outlook.com 2025-07-11T22:24:41+00:00 urn:sha1:243f522a9087a807d2dadbb3ef201694b6897bf7 * Fix segfault with Ptr<T> extension using 'This' type reference Set LookupOptions::NoDeref when looking up target type members within extension declarations to prevent automatic pointer dereferencing that was causing breadcrumb handling issues and segfaults. Fixes #7656 Co-authored-by: Yong He <csyonghe@users.noreply.github.com> * Enhance test for ptr-extension-this-type to verify correctness with interpreter - Changed function to return sizeof(This) - sizeof(Ptr<int>) + 1 - Modified test to use interpreter with filecheck to verify result equals 1 - Added main() function that calls the extension method and prints result - Verifies that 'This' correctly refers to Ptr<int> in extension context Co-authored-by: Yong He <csyonghe@users.noreply.github.com> --------- Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> Co-authored-by: Yong He <csyonghe@users.noreply.github.com> 2025-06-14T05:13:00+00:00 Yong He yonghe@outlook.com 2025-06-14T05:13:00+00:00 urn:sha1:6a23949f07f4eba38086b656e7073ce3bf8cd2fe 2025-06-09T18:22:51+00:00 Theresa Foley 10618364+tangent-vector@users.noreply.github.com 2025-06-09T18:22:51+00:00 urn:sha1:bfae49d853e0f9b6f9de495b13bcd1642ca4a285 Most of what this change does is straightforward: take all the places in the code that used to operate directly on `ContainerDecl::members` and related fields, and instead have them call into a smaller set of accessor methods defined on `ContainerDecl`. The primary motivation for making this change is that in order to implement on-demand loading of members from serialized AST modules, we need a way to identify and intercept the "demand" for those members. On-demand loading benefits from having all accesses to the members of a `ContainerDecl` be as narrow as possible. If a part of the code only need a member at a specific index, it should say so. If it only needs access to members with a specific name, or a given subclass of `Decl`, then it should say so. A secondary motivation for this change is that there have recently been several changes that added complexity and special cases by introducing code that operated on (and *mutated*) the member list of a container decl in ways that the existing code had never done before. Any code that mutates the member list of a `ContainerDecl` needs to be sure to not disrupt the invariants that the lookup acceleration structures currently rely on. One of the recent changes added a declaration-to-index map to the set of acceleration structures (with different validation/invalidation behavior than the others...) while other recent changes would remove or insert declarations in ways that could change the indices of other declarations in the same container. It is not clear if any of these pieces of code were aware of the others, and the invariants that might be expected or broken along the way. This change bottlenecks the vast majority of accesses to the members of a `ContainerDecl` through the following operations: * Getting a `List` of all of the direct member declarations of a container * Get the number of direct member declarations, and accessing them by index. * Looking up the list of direct member declarations with a given name. * Adding a new direct member declaration to the end of the list. Some other operations are layered on top of those (e.g., getting a list of all the direct member declarations of a given C++ class). These layered operations are still centralized on the `ContainerDecl`, with the intention that we *can* change them to be non-layered implementations if we ever need to for performance (e.g., by building a lookup structure for finding member declarations by their type). The exceptional cases of access/mutation on the direct members of a `ContainerDecl` have also been encapsulated, but rather than expose what would risk appearing like general-purpose accessors (e.g., `removeDecl(d)`, `setDecl(index)`, etc.), these operations have been explicitly named after the specific use case that they serve in the codebase today, to discourage others from using them for more kinds of operations we'd rather not support. These operations have also been given parameter signatures that match their use cases, to make it so that even somebody determined to abuse them would have to invent suitable arguments out of thin air. In the case of the declaration-to-index mapping, this change eliminates that acceleration structure, in favor or slightly more complicated (and possibly inefficient, yes) code at the use site. Over time, it would be good to closely scrutinize each of the use cases that requires more complicated interaction with the members of a `ContainerDecl`, to see whether any of them can be reframed in terms of the more basic operations, or if there is some clean abstraction we can introduce to make operations that mutate the member list feel like... hacky. 2025-02-13T21:09:11+00:00 Yong He yonghe@outlook.com 2025-02-13T21:09:11+00:00 urn:sha1:adde2626720f23a5fd7151f6fb9109db14fc9263 * Fix modifier parsing. * Fix. * Fix. * Fix. 2025-02-05T20:32:56+00:00 Yong He yonghe@outlook.com 2025-02-05T20:32:56+00:00 urn:sha1:7911c9437333692db275d2dff41264f4c8023be8 * Use two-stage parsing to disambiguate generic app and comparison. * Typo fix. * Update doc. 2025-01-21T21:26:36+00:00 kaizhangNV 149626564+kaizhangNV@users.noreply.github.com 2025-01-21T21:26:36+00:00 urn:sha1:151bdb837f514caf5cde873aa39571525ba2e80f * Fix bug: IgnoreInheritance in lookup When specifying IgnoreInheritance in lookup, it will ignore all members in the self extension for generic, the reason is that it doesn't specialize the target type of the extension decl when comparing with self type, so it will result that every type is unequal to the target type. 2025-01-17T01:06:00+00:00 Julius Ikkala julius.ikkala@gmail.com 2025-01-17T01:06:00+00:00 urn:sha1:d3ad6bb4997d3b7ba2dc9653a2d5f7dc965b150f * Fix cyclic lookups with UnscopedEnums * Add test with multiple unscoped enums with explicit types --------- Co-authored-by: Yong He <yonghe@outlook.com> 2025-01-10T18:57:04+00:00 Yong He yonghe@outlook.com 2025-01-10T18:57:04+00:00 urn:sha1:5290c580632cfb56847b863a32dc020a21d1c93e * Initial implementation of `ResourcePtr<T>`. * Update docs * Fix build error. * Add more discussion. * Update documentation. * Update TOC. * Fix. * Fix. * Add test case for custom `getResourceFromBindlessHandle`. * Add namehint to generated descriptor heap param. * Fix. * Fix. * format code * Rename to `DescriptorHandle`, and add `T.Handle` alias. * Fix compiler error. * Fix. * Fix build. * Renames. * Fix documentation. * Documentation fix. --------- Co-authored-by: slangbot <186143334+slangbot@users.noreply.github.com> 2024-10-29T06:49:26+00:00 Ellie Hermaszewska ellieh@nvidia.com 2024-10-29T06:49:26+00:00 urn:sha1:f65d756bff8d4c5cbc15bd0322a2ae8e6b896a21 * format * Minor test fixes * enable checking cpp format in ci