Script Studio: LSL optimizer size work, LL's compiler as a reference, and SLua converter QA

CLAUDE.md

@@ -15,6 +15,7 @@ CMake with vcpkg for dependency management. The source root for CMake is `indra/
 - CMake 4.0+, Visual Studio 2022/2026 (Windows) or Xcode (macOS) or GCC/Clang+Ninja (Linux)
 - Rust and the .NET SDK (`dotnet tool restore`) only for Velopack installers
 - Python 3 with `llsd` (`pip install -r requirements.txt`) only for the four tests that spawn a Python peer; without it they are registered disabled
+- Python 3 with `PyYAML` and `llsd`, plus bison and flex, only for LL's LSL compiler (`indra/lscript`, a test-only reference); without them it is left out
 
 CMake files are formatted with gersemi (`.gersemirc` at the repo root): run `gersemi -i <files>` on any CMake file you edit.
 

doc/ARCHITECTURE.md

@@ -34,6 +34,8 @@
 - **llwebrtc** - WebRTC voice integration (conditional)
 - **llphysicsextensionsos** - Physics extensions stub (VHACD convex decomposition)
 - **media_plugins** - Out-of-process media plugin implementations (CEF, VLC, GStreamer)
+- **alscript** - Script Studio's language services, free of UI (depends on llcommon, llmath, Tailslide and SLua's Luau). One folder a part, each on the include path: `core/` (problems, symbols, the lexicon, messages, weights, the formatter), `lint/` (the studio's lints and fixes), `lsl/` (the LSL analyzer over Tailslide, the SLua converter), `lsl/optimizer/` (the LSL optimizer, a pass a file, sharing `allsloptimizerpass.h`), `luau/` (the SLua analyzer) and `preprocessor/` (the preprocessor and its includes)
+- **lscript** - LL's LSL compiler and LSO VM, restored as a test-only reference for the optimizer and the weigher; built with tests, never linked into the viewer
 - **newview** - The main viewer application. Contains all viewer-specific logic: the rendering pipeline, scene graph, UI floaters/panels, settings, object/avatar systems, and the application entry point. Links against all libraries above plus third-party: Tracy, OpenXR, Discord SDK, NVAPI, TinyEXR, Velopack
 
 ### Application Lifecycle

doc/BUILD.md

@@ -404,7 +404,9 @@ Enable tests at configure time:
 cmake -S indra --preset <preset> -DAL_BUILD_TESTS=ON
 ```
 
-Four tests drive a Python peer (`llleap`, `llprocess`, `llsdserialize`, `llcorehttp`); they need a Python 3 interpreter with the `llsd` package (`pip install -r requirements.txt`, in a venv if you like) and are registered disabled when configure finds none. Nothing else in the build runs Python.
+Four tests drive a Python peer (`llleap`, `llprocess`, `llsdserialize`, `llcorehttp`); they need a Python 3 interpreter with the `llsd` package (`pip install -r requirements.txt`, in a venv if you like) and are registered disabled when configure finds none.
+
+LL's LSL compiler (`indra/lscript`), restored as a reference for the script tests, is built only with tests on. Its lexer, grammar, newer event nodes and library table are written at build time by lsl-definitions' own generator, which needs Python with `PyYAML` and `llsd` (both in `requirements.txt`), and then put through `bison` and `flex`. Where any of them is missing, configure leaves the library out and the configuration report says what it needs. Nothing else in the build runs Python.
 
 The `llrender` suites render on a hidden SDL window with the platform's own GL -- WGL on Windows, EGL on Linux, and where Linux has no display SDL's offscreen driver over Mesa (set `LIBGL_ALWAYS_SOFTWARE=1` for llvmpipe on a machine with no GPU). A host with no GL 4.1 to give, such as a CI runner without a graphics driver, configures with `-DAL_ENABLE_GL_TESTS=OFF`: those suites still build, and CTest reports them as not run rather than failed. They carry the label `gl`, so `ctest -LE gl` skips them for one run.
 

indra/CMakeLists.txt

@@ -432,6 +432,10 @@ add_subdirectory(template_verifier)
 add_subdirectory(dullahan)
 add_subdirectory(llprecompiled)
 add_subdirectory(alscript)
+if(AL_BUILD_TESTS)
+  # LL's LSL compiler, restored as a reference for the script tests.
+  add_subdirectory(lscript)
+endif()
 add_subdirectory(llaudio)
 add_subdirectory(llappearance)
 add_subdirectory(llcharacter)

indra/alscript/CMakeLists.txt

@@ -6,101 +6,179 @@
 
 add_library(alscript STATIC)
 
+# Each folder is a part of the library, and each is on the include path,
+# so that a header is named alone wherever it is used:
+#   core/          what both languages share: problems, spans and symbols, the
+#                  lexicon, the messages, a script's weight, the formatter;
+#   lint/          the studio's own lints over both languages, and the fixes;
+#   lsl/           the LSL analyzer over Tailslide, and what reads LSL;
+#   lsl/optimizer/ the LSL optimizer, a pass a file;
+#   luau/          the SLua analyzer over Second Life's fork of Luau;
+#   preprocessor/  the preprocessor, its includes and what it keeps.
 target_sources(
   alscript
   PRIVATE
-    aldiskcache.cpp
-    aldiskincludes.cpp
-    alincludeidentity.cpp
-    alincludesearch.cpp
-    almodulelook.cpp
-    allslconsts.cpp
-    allslcosts.cpp
-    allsleffects.cpp
-    allsllintpass.cpp
-    allslinliner.cpp
-    almessagemap.cpp
-    allsloptimizer.cpp
-    alluauconfig.cpp
-    alluauexports.cpp
-    alluauservice.cpp
-    allslexports.cpp
-    allslservice.cpp
-    allsltoslua.cpp
-    allsltraits.cpp
-    allslvalues.cpp
-    alpreprocessor.cpp
-    alscriptenvelope.cpp
-    alscriptfixes.cpp
-    alscriptformatter.cpp
-    alscriptlexicon.cpp
-    alscriptlintpass.cpp
-    alscriptmessages.cpp
-    alscriptnameindex.cpp
-    alscriptsnapshot.cpp
-    alnotecardformat.cpp
-    alscriptweight.cpp
-    alscriptstack.cpp
-    alscripttempfiles.cpp
-    alscripttextcache.cpp
-    alselenefilters.cpp
-    alsourcemap.cpp
+    core/almessagemap.cpp
+    core/alnotecardformat.cpp
+    core/alscriptformatter.cpp
+    core/alscriptlexicon.cpp
+    core/alscriptmessages.cpp
+    core/alscriptnameindex.cpp
+    core/alscriptstack.cpp
+    core/alscripttempfiles.cpp
+    core/alscriptweight.cpp
+    lint/allsllintpass.cpp
+    lint/alscriptfixes.cpp
+    lint/alscriptlintpass.cpp
+    lint/alselenefilters.cpp
+    lsl/allslconsts.cpp
+    lsl/allsleffects.cpp
+    lsl/allslexports.cpp
+    lsl/allslservice.cpp
+    lsl/allsltoslua.cpp
+    lsl/allsltraits.cpp
+    lsl/allslvalues.cpp
+    lsl/optimizer/allslconstantglobals.cpp
+    lsl/optimizer/allslcosts.cpp
+    lsl/optimizer/allslbranches.cpp
+    lsl/optimizer/allsldeadcode.cpp
+    lsl/optimizer/allslflowvalues.cpp
+    lsl/optimizer/allslfolder.cpp
+    lsl/optimizer/allslglobals.cpp
+    lsl/optimizer/allslinliner.cpp
+    lsl/optimizer/allsllibraryfold.cpp
+    lsl/optimizer/allslnames.cpp
+    lsl/optimizer/allsloptimizer.cpp
+    lsl/optimizer/allsloptimizerpass.cpp
+    lsl/optimizer/allslprinter.cpp
+    lsl/optimizer/allslrepeatedcalls.cpp
+    lsl/optimizer/allslshapes.cpp
+    lsl/optimizer/allslsignatures.cpp
+    lsl/optimizer/allslsimplifier.cpp
+    luau/alluauconfig.cpp
+    luau/alluauexports.cpp
+    luau/alluauservice.cpp
+    preprocessor/aldiskcache.cpp
+    preprocessor/aldiskincludes.cpp
+    preprocessor/alincludeidentity.cpp
+    preprocessor/alincludesearch.cpp
+    preprocessor/almodulelook.cpp
+    preprocessor/alpreprocessor.cpp
+    preprocessor/alscriptenvelope.cpp
+    preprocessor/alscriptsnapshot.cpp
+    preprocessor/alscripttextcache.cpp
+    preprocessor/alsourcemap.cpp
 )
 
 target_sources(
   alscript
   PUBLIC
     FILE_SET HEADERS
       FILES
-        aldiskcache.h
-        aldiskincludes.h
-        alincludeidentity.h
-        alincludesearch.h
-        almodulelook.h
-        allslconsts.h
-        allslcosts.h
-        allsleffects.h
-        allsllintpass.h
-        allslinliner.h
-        almessagemap.h
-        allsloptimizer.h
-        allsltraits.inc
-        allsluuids.inc
-        allsleventtext.inc
-        alluauconfig.h
-        alluauexports.h
-        alluauservice.h
-        allslexports.h
-        allslservice.h
-        allsltoslua.h
-        allsltraits.h
-        allslvalues.h
-        alpreprocessor.h
-        alscriptengine.h
-        alscriptenvelope.h
-        alscriptfixes.h
-        alscriptformatter.h
-        alscriptjoblane.h
-        alscriptlexicon.h
-        alscriptlintpass.h
-        alscriptmessages.h
-        alscriptnameindex.h
-        alscriptsnapshot.h
-        alscriptspan.h
-        alnotecardformat.h
-        alscriptproblem.h
-        alscriptstack.h
-        alscriptsymbol.h
-        alscripttempfiles.h
-        alscripttextcache.h
-        alscriptweight.h
-        alselenefilters.h
-        alsourcemap.h
+        core/almessagemap.h
+        core/alnotecardformat.h
+        core/alscriptengine.h
+        core/alscriptformatter.h
+        core/alscriptlexicon.h
+        core/alscriptmessages.h
+        core/alscriptnameindex.h
+        core/alscriptproblem.h
+        core/alscriptspan.h
+        core/alscriptstack.h
+        core/alscriptsymbol.h
+        core/alscripttempfiles.h
+        core/alscriptweight.h
+        lint/allsllintpass.h
+        lint/alscriptfixes.h
+        lint/alscriptlintpass.h
+        lint/alselenefilters.h
+        lsl/allslconsts.h
+        lsl/allsleffects.h
+        lsl/allsleventtext.inc
+        lsl/allslexports.h
+        lsl/allslservice.h
+        lsl/allsltoslua.h
+        lsl/allsltraits.h
+        lsl/allsltraits.inc
+        lsl/allsluuids.inc
+        lsl/allslvalues.h
+        lsl/optimizer/allslconstantglobals.h
+        lsl/optimizer/allslcosts.h
+        lsl/optimizer/allslbranches.h
+        lsl/optimizer/allsldeadcode.h
+        lsl/optimizer/allslflowvalues.h
+        lsl/optimizer/allslfolder.h
+        lsl/optimizer/allslglobals.h
+        lsl/optimizer/allslinliner.h
+        lsl/optimizer/allsllibraryfold.h
+        lsl/optimizer/allslnames.h
+        lsl/optimizer/allsloptimizer.h
+        lsl/optimizer/allsloptimizerpass.h
+        lsl/optimizer/allslprinter.h
+        lsl/optimizer/allslrepeatedcalls.h
+        lsl/optimizer/allslshapes.h
+        lsl/optimizer/allslsignatures.h
+        lsl/optimizer/allslsimplifier.h
+        luau/alluauconfig.h
+        luau/alluauexports.h
+        luau/alluauservice.h
+        preprocessor/aldiskcache.h
+        preprocessor/aldiskincludes.h
+        preprocessor/alincludeidentity.h
+        preprocessor/alincludesearch.h
+        preprocessor/almodulelook.h
+        preprocessor/alpreprocessor.h
+        preprocessor/alscriptenvelope.h
+        preprocessor/alscriptjoblane.h
+        preprocessor/alscriptsnapshot.h
+        preprocessor/alscripttextcache.h
+        preprocessor/alsourcemap.h
+)
+
+target_include_directories(
+  alscript
+  PUBLIC core lint lsl lsl/optimizer luau preprocessor
 )
 
 target_link_libraries(alscript PRIVATE al::flags ll::slua ll::tailslide llmath PUBLIC llcommon)
 target_precompile_headers(alscript REUSE_FROM llprecompiled)
 
+# The optimizer folds LSL's floats to what the VM gives and prints them so
+# that they read back as themselves: IEEE's arithmetic a step at a time, and
+# a zero's sign kept. The viewer's float flags (00-Common.cmake) let the
+# compiler reassociate, fuse a product into a sum, take a reciprocal for a
+# division and forget a zero's sign -- a vector normalised as a product with
+# 1 / mag where the code divides -- so these are built without them, and
+# without the precompiled header those flags were part of.
+if(WINDOWS)
+  set(alscript_ieee_options /fp:precise)
+else()
+  set(
+    alscript_ieee_options
+    -ffp-contract=off
+    -fno-associative-math
+    -fno-reciprocal-math
+    -fsigned-zeros
+  )
+endif()
+set_source_files_properties(
+  lsl/allslvalues.cpp
+  lsl/optimizer/allslbranches.cpp
+  lsl/optimizer/allslconstantglobals.cpp
+  lsl/optimizer/allsldeadcode.cpp
+  lsl/optimizer/allslflowvalues.cpp
+  lsl/optimizer/allslfolder.cpp
+  lsl/optimizer/allsllibraryfold.cpp
+  lsl/optimizer/allslnames.cpp
+  lsl/optimizer/allsloptimizer.cpp
+  lsl/optimizer/allsloptimizerpass.cpp
+  lsl/optimizer/allslprinter.cpp
+  lsl/optimizer/allslrepeatedcalls.cpp
+  lsl/optimizer/allslshapes.cpp
+  lsl/optimizer/allslsimplifier.cpp
+  PROPERTIES COMPILE_OPTIONS "${alscript_ieee_options}" SKIP_PRECOMPILE_HEADERS TRUE
+)
+
 # tests
 if(AL_BUILD_TESTS)
   # The tests check real scripts against the grid's own definitions, which