splat64 0.35.2__tar.gz → 0.36.0__tar.gz

{splat64-0.35.2 → splat64-0.36.0}/CHANGELOG.md

@@ -1,5 +1,23 @@
 # splat Release Notes
 
+### 0.36.0
+
+* New symbol attribute: `align`.
+  * Emit an alignment directive for the given symbol during disassembly.
+  * The given alignment must be positive, be a power of two and The symbol's address must already be aligned to the given custom alignment, otherwise splat will emit an error and halt.
+* New yaml option: `ld_gp_expression`:
+  * Allows setting a custom expression for the `_gp` symbol in the generated linker script, making this symbol to properly shift around instead of hardcoding it to the given `gp_value`.
+* New yaml option: `include_asm_macro_style`:
+  * Allows configuring the style used by the generated `INCLUDE_ASM` macro. It currently allows two possible values:
+  * `default`: Uses the default definition for the macro. This is the default.
+  * `maspsx_hack`: Changes the definition of the generated `INCLUDE_ASM` to be compatible with the one expected by `maspsx` when using the [reordering workaround hack](https://github.com/mkst/maspsx?tab=readme-ov-file#include_asm-reordering-workaround-hack). This value is only relevant for psx projects.
+* `incbin` segments now provide a default symbol if the user hasn't defined a symbol at that given address.
+  * This name is automatically escaped to be a valid symbol name.
+  * The name of this symbol is based on the segment's name, with a `__` prefix and a suffix depending on the type of incbin used.
+  * This naming scheme may change at any time.
+* `incbin` segments now emit a nonmatching marker.
+* `spimdisasm` 1.36.1 or above is now required.
+
 ### 0.35.2
 
 * Miscellaneous updates to generated macro labels.

{splat64-0.35.2 → splat64-0.36.0}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: splat64
-Version: 0.35.2
+Version: 0.36.0
 Summary: A binary splitting tool to assist with decompilation and modding projects
 Project-URL: Repository, https://github.com/ethteck/splat
 Project-URL: Issues, https://github.com/ethteck/splat/issues
@@ -42,7 +42,7 @@ Requires-Dist: mypy; extra == 'dev'
 Requires-Dist: n64img>=0.3.3; extra == 'dev'
 Requires-Dist: pygfxd; extra == 'dev'
 Requires-Dist: rabbitizer<2.0.0,>=1.12.0; extra == 'dev'
-Requires-Dist: spimdisasm<2.0.0,>=1.36.0; extra == 'dev'
+Requires-Dist: spimdisasm<2.0.0,>=1.36.1; extra == 'dev'
 Requires-Dist: types-colorama; extra == 'dev'
 Requires-Dist: types-pyyaml; extra == 'dev'
 Provides-Extra: mips
@@ -50,7 +50,7 @@ Requires-Dist: crunch64<1.0.0,>=0.5.1; extra == 'mips'
 Requires-Dist: n64img>=0.3.3; extra == 'mips'
 Requires-Dist: pygfxd; extra == 'mips'
 Requires-Dist: rabbitizer<2.0.0,>=1.12.0; extra == 'mips'
-Requires-Dist: spimdisasm<2.0.0,>=1.36.0; extra == 'mips'
+Requires-Dist: spimdisasm<2.0.0,>=1.36.1; extra == 'mips'
 Description-Content-Type: text/markdown
 
 # splat
@@ -76,7 +76,7 @@ The brackets corresponds to the optional dependencies to install while installin
 If you use a `requirements.txt` file in your repository, then you can add this library with the following line:
 
 ```txt
-splat64[mips]>=0.35.2,<1.0.0
+splat64[mips]>=0.36.0,<1.0.0
 ```
 
 ### Optional dependencies

{splat64-0.35.2 → splat64-0.36.0}/README.md

@@ -21,7 +21,7 @@ The brackets corresponds to the optional dependencies to install while installin
 If you use a `requirements.txt` file in your repository, then you can add this library with the following line:
 
 ```txt
-splat64[mips]>=0.35.2,<1.0.0
+splat64[mips]>=0.36.0,<1.0.0
 ```
 
 ### Optional dependencies

{splat64-0.35.2 → splat64-0.36.0}/docs/Adding-Symbols.md

@@ -209,3 +209,29 @@ __opPCc__Q23std34_RefCountedPtr<c,Q23std9_Array<c>>CFv = 0x00202850; // filename
 ```
 
 Gets written to `func_00202850.s`
+
+### `align`
+
+Emit an alignment directive for the given symbol during disassembly.
+
+Even though an explicit alignment directive is not necessary in most situations, it may be desirable to have one on shiftable builds of partially matched projects. This allows ensuring the symbol's required alignment even when it is still being disassembled.
+
+  Some situations that may require an explicit alignment directive include textures in N64 (0x8 alignment) or symbols sent to the IOP on PS2 (0x40 alignment).
+
+The symbol's address must already be aligned to the given custom alignment, or the value will be discarded.
+
+This value must be a power of two, otherwise it will be discarded.
+
+**Example**
+
+```ini
+rgb_texture = 0x82013118; // align:0x8
+```
+
+Produces a disassembly similar to the following:
+
+```mips
+.align 3
+dlabel rgb_texture
+# ...
+```

{splat64-0.35.2 → splat64-0.36.0}/docs/Configuration.md

@@ -138,6 +138,15 @@ Some files may not be generated depending on the selected platform and compiler,
 
 Defaults to `True`.
 
+### include_asm_macro_style
+
+Allows configuring the style used by the generated `INCLUDE_ASM` macro. It currently allows two possible values:
+
+- `default`: Uses the default definition for the macro. This is the default.
+- `maspsx_hack`: Changes the definition of the generated `INCLUDE_ASM` to be compatible with the one expected by `maspsx` when using the [reordering workaround hack](https://github.com/mkst/maspsx?tab=readme-ov-file#include_asm-reordering-workaround-hack).
+
+Defaults to `default`.
+
 ### o_as_suffix
 
 Used to determine the file extension of the built files that will be listed on the linker script.
@@ -155,6 +164,8 @@ Defaults to `False`.
 
 The value of the `$gp` register to correctly calculate offset to `%gp_rel` relocs.
 
+It is strongly encouraged to provide a [`ld_gp_expression`](#ld_gp_expression) once the sections of the binary are properly understood.
+Not setting this expression makes splat always emit a hardcoded value for `_gp` in the linker script, preventing proper shiftability.
 
 ### check_consecutive_segment_types
 
@@ -579,7 +590,7 @@ Defaults to `True`, meaning `bss` sections will be put on `NOLOAD` segments.
 
 Specify that segments should be aligned before starting them.
 
-This option specifies the desired alignment value, or `null` if no aligment should be imposed on the segment start.
+This option specifies the desired alignment value, or `null` if no alignment should be imposed on the segment start.
 
 This behavior can be customized per segment too. See [ld_align_segment_start](Segments.md#ld_align_segment_start) on the Segments section.
 
@@ -615,6 +626,46 @@ Sets the default option for the `bss_contains_common` attribute of all segments.
 
 Defaults to `False`.
 
+### ld_gp_expression
+
+Provides an expression for the `_gp` symbol to be emitted in the generated linker script.
+
+Most projects start by only setting a [`gp_value`](#gp_value) on their yamls. This is fine while matching the project, but it is bad for shiftable builds, becuase it prevents the `_gp` symbol to shift around as needed.
+
+This expression is used as-is in the generated linker script, so care must be taken to provide an expression that makes sense for shiftable builds and also matches the original gp value on matching builds.
+
+Usually this expression is relative to the start of an "small section" (`.sdata`, `.srodata`, `.sbss`, etc.) plus an optional offset (usually `0x7FF0` or `0x8000`).
+
+The recommended approach to know what to set here is to try to understand where the first small section is, take the difference between the [`gp_value`](#gp_value) and the address of the small section to know what the offset is and then use the linker symbol for the start of that small section.
+
+For example, say your gp value is `0x00397FF0` and you found the first small section on the rom is a `.sdata` section at vram address `0x00390000` (note *vram* address, not rom address) which is part of the top-level segment `main`. The difference between those two addresses is `0x7FF0`, so that's your offset. Given this information the expression you want for gp is `main_SDATA_START + 0x7FF0`; where `main` is the top-level segment, `SDATA` comes from the `.sdata` section and the `+ 0x7FF0` is your calculated offset. If you did this process right, then the matching build should still match after setting the gp expression.
+
+Note you should **not** remove the `gp_value` from your yaml when you set `ld_gp_expression`. `gp_value` is still used for the disassembly; without it you wouldn't get symbolized gp-accesses.
+
+#### Usage
+
+Not using `ld_gp_expression` makes splat hardcode the value:
+
+```yaml
+  gp_value: 0x0039DD70
+```
+
+```txt
+    _gp = 0x0039DD70;
+```
+
+When a `ld_gp_expression` is given then splat is able to emit a non-hardcoded expression for `_gp` without interfering with the disassembly process:
+
+```yaml
+  gp_value: 0x0039DD70
+  ld_gp_expression: main_SDATA_START + 0x7FF0
+```
+
+```txt
+    _gp = main_SDATA_START + 0x7FF0;
+```
+
+
 ## C file options
 
 ### create_c_files

{splat64-0.35.2 → splat64-0.36.0}/docs/Segments.md

@@ -318,6 +318,8 @@ Generating assembly files enables better customization of these binaries, like a
 
 If a known symbol (via a symbol_addrs file) matches the vram of a incbin segment then it will be emitted accordingly at the top. If the symbol contains a [`name_end`](Adding-Symbols.md#name_end) property then it will be emitted after the `.incbin` (useful for Nintendo64's RSP ucodes).
 
+If no symbol is provided then splat will emit a symbol based on the segment's name with a `__` prefix and a suffix depending on the type of incbin used. This autogenerated naming scheme may change at any time.
+
 Curretly there are 3 types of incbins, `textbin`, `databin` and `rodatabin`, which are intended for binary blobs of `.text`, `.data` and `.rodata` sections.
 
 If a `textbin` section has a corresponding `databin` and/or `rodatabin` section with the same name then those will be included in the same generated assembly file.
@@ -542,7 +544,7 @@ Defaults to the value of the global option.
 
 Specify the current segment should be aligned before starting it.
 
-This option specifies the desired alignment value, or `null` if no aligment should be imposed on the segment start.
+This option specifies the desired alignment value, or `null` if no alignment should be imposed on the segment start.
 
 If not set, then the global configuration is used. See [ld_align_segment_start](Configuration.md#ld_align_segment_start) on the Configuration section.
 

{splat64-0.35.2 → splat64-0.36.0}/pyproject.toml

@@ -1,7 +1,7 @@
 [project]
 name = "splat64"
 # Should be synced with src/splat/__init__.py
-version = "0.35.2"
+version = "0.36.0"
 description = "A binary splitting tool to assist with decompilation and modding projects"
 readme = "README.md"
 license = {file = "LICENSE"}
@@ -20,7 +20,7 @@ dependencies = [
 
 [project.optional-dependencies]
 mips = [
-    "spimdisasm>=1.36.0,<2.0.0", # This value should be keep in sync with the version listed on disassembler/spimdisasm_disassembler.py
+    "spimdisasm>=1.36.1,<2.0.0", # This value should be keep in sync with the version listed on disassembler/spimdisasm_disassembler.py
     "rabbitizer>=1.12.0,<2.0.0",
     "pygfxd",
     "n64img>=0.3.3",

{splat64-0.35.2 → splat64-0.36.0}/requirements.txt

@@ -4,7 +4,7 @@ tqdm
 intervaltree
 colorama
 # This value should be keep in sync with the version listed on disassembler/spimdisasm_disassembler.py and pyproject.toml
-spimdisasm>=1.36.0
+spimdisasm>=1.36.1
 rabbitizer>=1.10.0
 pygfxd
 n64img>=0.1.4

{splat64-0.35.2 → splat64-0.36.0}/src/splat/__init__.py

@@ -1,7 +1,7 @@
 __package_name__ = __name__
 
 # Should be synced with pyproject.toml
-__version__ = "0.35.2"
+__version__ = "0.36.0"
 __author__ = "ethteck"
 
 from . import util as util

{splat64-0.35.2 → splat64-0.36.0}/src/splat/disassembler/spimdisasm_disassembler.py

@@ -7,7 +7,7 @@ from typing import Set
 
 class SpimdisasmDisassembler(disassembler.Disassembler):
     # This value should be kept in sync with the version listed on requirements.txt and pyproject.toml
-    SPIMDISASM_MIN = (1, 36, 0)
+    SPIMDISASM_MIN = (1, 36, 1)
 
     def configure(self):
         # Configure spimdisasm

{splat64-0.35.2 → splat64-0.36.0}/src/splat/scripts/create_config.py

@@ -286,6 +286,7 @@ options:
 
   find_file_boundaries: False
   gp_value: 0x{exe.initial_gp:08X}
+  # ld_gp_expression: main_SCOMMON_START + 0x7FF0
 
   o_as_suffix: True
   use_legacy_include_asm: False
@@ -309,6 +310,10 @@ options:
   data_string_encoding: ASCII
   rodata_string_guesser_level: 2
   data_string_guesser_level: 2
+
+  # Uncomment this line if you need to use the maspsx reorder workaround hack
+  # https://github.com/mkst/maspsx?tab=readme-ov-file#include_asm-reordering-workaround-hack
+  # include_asm_macro_style: maspsx_hack
 """
 
     segments = f"""\

{splat64-0.35.2 → splat64-0.36.0}/src/splat/segtypes/common/textbin.py

@@ -1,4 +1,5 @@
 from pathlib import Path
+import re
 from typing import Optional, TextIO
 
 from ...util import log, options
@@ -75,45 +76,66 @@ class CommonSegTextbin(CommonSegment):
 
         f.write(f"{self.get_section_asm_line()}\n\n")
 
+        sym_name = None
+        sym_name_end = None
+        sym_size_matches = None
+
         # Check if there's a symbol at this address
-        sym = None
         vram = self.rom_to_ram(self.rom_start)
         if vram is not None:
             sym = self.get_symbol(vram, in_segment=True)
-
-        if sym is not None:
-            f.write(f"{asm_label} {sym.name}\n")
-            if asm_label == ".globl":
-                if self.is_text():
-                    f.write(f".ent {sym.name}\n")
-                f.write(f"{sym.name}:\n")
-            sym.defined = True
+            if sym is not None:
+                sym.defined = True
+                sym_name = sym.name
+                sym_name_end = sym.given_name_end
+                if (
+                    sym.given_size is None
+                    or sym.given_size == self.rom_end - self.rom_start
+                ):
+                    sym_size_matches = self.rom_end - self.rom_start
+
+        if sym_name is None:
+            # Normalize stuff like slashes and such.
+            n = regex_sym_name_normalizer.sub("_", self.name)
+            if self.is_text():
+                suffix = "textbin"
+            elif self.is_data():
+                suffix = "databin"
+            elif self.is_rodata():
+                suffix = "rodatabin"
+            else:
+                suffix = "incbin"
+            sym_name = f"__{n}_{suffix}"
+
+        if options.opts.asm_nonmatching_label_macro != "":
+            siz = f", 0x{sym_size_matches:X}" if sym_size_matches is not None else ""
+            f.write(f"{options.opts.asm_nonmatching_label_macro} {sym_name}{siz}\n\n")
+
+        f.write(f"{asm_label} {sym_name}\n")
+        if asm_label == ".globl":
+            if self.is_text():
+                f.write(f".ent {sym_name}\n")
+            f.write(f"{sym_name}:\n")
 
         f.write(f'.incbin "{binpath.as_posix()}"\n')
 
-        if sym is not None:
-            if options.opts.asm_emit_size_directive:
-                f.write(f".size {sym.name}, . - {sym.name}\n")
+        if options.opts.asm_emit_size_directive:
+            f.write(f".size {sym_name}, . - {sym_name}\n")
 
-            if self.is_text() and options.opts.asm_end_label != "":
-                f.write(f"{options.opts.asm_end_label} {sym.name}\n")
-            elif self.is_data() and options.opts.asm_data_end_label != "":
-                f.write(f"{options.opts.asm_data_end_label} {sym.name}\n")
+        if self.is_text() and options.opts.asm_end_label != "":
+            f.write(f"{options.opts.asm_end_label} {sym_name}\n")
+        elif options.opts.asm_data_end_label != "":
+            f.write(f"{options.opts.asm_data_end_label} {sym_name}\n")
 
-            if sym.given_name_end is not None:
-                if (
-                    sym.given_size is None
-                    or sym.given_size == self.rom_end - self.rom_start
-                ):
-                    f.write(f"{asm_label} {sym.given_name_end}\n")
-                    if asm_label == ".globl":
-                        f.write(f"{sym.given_name_end}:\n")
-                    if self.is_text() and options.opts.asm_end_label != "":
-                        f.write(f"{options.opts.asm_end_label} {sym.given_name_end}\n")
-                    elif self.is_data() and options.opts.asm_data_end_label != "":
-                        f.write(
-                            f"{options.opts.asm_data_end_label} {sym.given_name_end}\n"
-                        )
+        if sym_name_end is not None and sym_size_matches is not None:
+            f.write(f"{asm_label} {sym_name_end}\n")
+            if asm_label == ".globl":
+                f.write(f"{sym_name_end}:\n")
+
+            if self.is_text() and options.opts.asm_end_label != "":
+                f.write(f"{options.opts.asm_end_label} {sym_name_end}\n")
+            elif options.opts.asm_data_end_label != "":
+                f.write(f"{options.opts.asm_data_end_label} {sym_name_end}\n")
 
     def split(self, rom_bytes):
         if self.rom_end is None:
@@ -159,3 +181,6 @@ class CommonSegTextbin(CommonSegment):
         return (
             self.extract and self.should_scan()
         )  # only split if the segment was scanned first
+
+
+regex_sym_name_normalizer = re.compile(r"[^0-9a-zA-Z_]")

{splat64-0.35.2 → splat64-0.36.0}/src/splat/segtypes/linker_entry.py

@@ -204,8 +204,10 @@ class LinkerWriter:
         if not self.is_partial:
             self._writeln(f"__romPos = {options.opts.ld_rom_start};")
 
-            if options.opts.gp is not None:
-                self._writeln("_gp = " + f"0x{options.opts.gp:X};")
+            if options.opts.ld_gp_expression is not None:
+                self._writeln(f"_gp = {options.opts.ld_gp_expression};")
+            elif options.opts.gp is not None:
+                self._writeln(f"_gp = 0x{options.opts.gp:X};")
 
     # Write a series of statements which compute a symbol that represents the highest address among a list of segments' end addresses
     def write_max_vram_end_sym(self, symbol: str, overlays: List[Segment]):

{splat64-0.35.2 → splat64-0.36.0}/src/splat/segtypes/n64/i1.py

@@ -1,9 +1,9 @@
-import n64img.image
-
-from .img import N64SegImg
-
-
-class N64SegI1(N64SegImg):
-    def __init__(self, *args, **kwargs):
-        kwargs["img_cls"] = n64img.image.I1
-        super().__init__(*args, **kwargs)
+import n64img.image
+
+from .img import N64SegImg
+
+
+class N64SegI1(N64SegImg):
+    def __init__(self, *args, **kwargs):
+        kwargs["img_cls"] = n64img.image.I1
+        super().__init__(*args, **kwargs)

{splat64-0.35.2 → splat64-0.36.0}/src/splat/util/file_presets.py

@@ -33,13 +33,23 @@ def write_include_asm_h():
         # These compilers do not use the `INCLUDE_ASM` macro.
         return
 
-    file_data = """\
-#ifndef INCLUDE_ASM_H
-#define INCLUDE_ASM_H
-
-#if !defined(M2CTX) && !defined(PERMUTER)
-
-#ifndef INCLUDE_ASM
+    if options.opts.include_asm_macro_style == "maspsx_hack":
+        include_asm_macro = """\
+#define INCLUDE_ASM(FOLDER, NAME) \\
+    void __maspsx_include_asm_hack_##NAME() { \\
+        __asm__( \\
+            ".text # maspsx-keep \\n" \\
+            "    .align 2 # maspsx-keep\\n" \\
+            "    .set noat # maspsx-keep\\n" \\
+            "    .set noreorder # maspsx-keep\\n" \\
+            "    .include \\"" FOLDER "/" #NAME ".s\\" # maspsx-keep\\n" \\
+            "    .set reorder # maspsx-keep\\n" \\
+            "    .set at # maspsx-keep\\n" \\
+        ); \\
+    }
+"""
+    else:  # default
+        include_asm_macro = """\
 #define INCLUDE_ASM(FOLDER, NAME) \\
     __asm__( \\
         ".section .text\\n" \\
@@ -49,14 +59,28 @@ def write_include_asm_h():
         "    .set reorder\\n" \\
         "    .set at\\n" \\
     )
-#endif
-#ifndef INCLUDE_RODATA
+"""
+
+    include_rodata_macro = """\
 #define INCLUDE_RODATA(FOLDER, NAME) \\
     __asm__( \\
         ".section .rodata\\n" \\
         "    .include \\"" FOLDER "/" #NAME ".s\\"\\n" \\
         ".section .text" \\
     )
+"""
+
+    file_data = f"""\
+#ifndef INCLUDE_ASM_H
+#define INCLUDE_ASM_H
+
+#if !defined(M2CTX) && !defined(PERMUTER)
+
+#ifndef INCLUDE_ASM
+{include_asm_macro}\
+#endif
+#ifndef INCLUDE_RODATA
+{include_rodata_macro}\
 #endif
 __asm__(".include \\"include/labels.inc\\"\\n");
 

{splat64-0.35.2 → splat64-0.36.0}/src/splat/util/options.py

@@ -37,7 +37,12 @@ class SplatOpts:
     generated_s_preamble: str
     # Determines any extra content to be added in the generated macro.inc file
     generated_macro_inc_content: Optional[str]
+    # Determines if files related to assembly macros should be regenerated by splat
     generate_asm_macros_files: bool
+    # Changes the definition of the generated `INCLUDE_ASM`.
+    # default: The default one.
+    # maspsx_hack: Use the maspsx hack workaround definition https://github.com/mkst/maspsx?tab=readme-ov-file#include_asm-reordering-workaround-hack
+    include_asm_macro_style: Literal["default", "maspsx_hack"]
     # Determines whether to use .o as the suffix for all binary files?... TODO document
     use_o_as_suffix: bool
     # the value of the $gp register to correctly calculate offset to %gp_rel relocs
@@ -150,6 +155,8 @@ class SplatOpts:
     ld_generate_symbol_per_data_segment: bool
     # Sets the default option for the `bss_contains_common` attribute of all segments.
     ld_bss_contains_common: bool
+    # Specify an expression to be used for the `_gp` symbol in the generated linker script instead of a hardcoded value.
+    ld_gp_expression: Optional[str]
 
     ################################################################################
     # C file options
@@ -400,6 +407,21 @@ def _parse_yaml(
         else:
             raise ValueError(f"Invalid endianness: {endianness}")
 
+    def parse_include_asm_macro_style() -> Literal["default", "maspsx_hack"]:
+        include_asm_macro_style = p.parse_opt_within(
+            "include_asm_macro_style",
+            str,
+            ["default", "maspsx_hack"],
+            "default",
+        )
+
+        if include_asm_macro_style == "default":
+            return "default"
+        elif include_asm_macro_style == "maspsx_hack":
+            return "maspsx_hack"
+        else:
+            raise ValueError(f"Invalid endianness: {include_asm_macro_style}")
+
     default_ld_bss_is_noload = True
     if platform == "psx":
         default_ld_bss_is_noload = False
@@ -431,6 +453,7 @@ def _parse_yaml(
             "generated_macro_inc_content", str
         ),
         generate_asm_macros_files=p.parse_opt("generate_asm_macros_files", bool, True),
+        include_asm_macro_style=parse_include_asm_macro_style(),
         use_o_as_suffix=p.parse_opt("o_as_suffix", bool, False),
         gp=p.parse_optional_opt("gp_value", int),
         check_consecutive_segment_types=p.parse_opt(
@@ -507,6 +530,9 @@ def _parse_yaml(
             "ld_generate_symbol_per_data_segment", bool, False
         ),
         ld_bss_contains_common=p.parse_opt("ld_bss_contains_common", bool, False),
+        ld_gp_expression=p.parse_optional_opt_with_default(
+            "ld_gp_expression", str, None
+        ),
         create_c_files=p.parse_opt("create_c_files", bool, True),
         auto_decompile_empty_functions=p.parse_opt(
             "auto_decompile_empty_functions", bool, True

{splat64-0.35.2 → splat64-0.36.0}/src/splat/util/symbols.py

@@ -192,6 +192,28 @@ def handle_sym_addrs(
                             if attr_name == "function_owner":
                                 sym.function_owner = attr_val
                                 continue
+                            if attr_name == "align":
+                                align = int(attr_val, 0)
+
+                                if align < 0:
+                                    log.parsing_error_preamble(path, line_num, line)
+                                    log.error(
+                                        f"The given alignment for '{sym.name}' (0x{sym.vram_start:08X}) is negative."
+                                    )
+                                align_shift = (align & (-align)).bit_length() - 1
+                                if (1 << align_shift) != align:
+                                    log.parsing_error_preamble(path, line_num, line)
+                                    log.error(
+                                        f"The given alignment '0x{align:X}' for symbol '{sym.name}' (0x{sym.vram_start:08X}) is not a power of two."
+                                    )
+                                if sym.vram_start % align != 0:
+                                    log.parsing_error_preamble(path, line_num, line)
+                                    log.error(
+                                        f"The symbol '{sym.name}' (0x{sym.vram_start:08X}) is not aligned already to the given alignment '0x{align:X}'."
+                                    )
+
+                                sym.given_align = align
+                                continue
                         except:
                             log.parsing_error_preamble(path, line_num, line)
                             log.write(
@@ -520,6 +542,8 @@ def add_symbol_to_spim_segment(
         context_sym.nameEnd = sym.given_name_end
     if sym.given_visibility:
         context_sym.visibility = sym.given_visibility
+    if sym.given_align:
+        context_sym.setAlignment(sym.given_align)
 
     return context_sym
 
@@ -568,6 +592,8 @@ def add_symbol_to_spim_section(
         context_sym.nameEnd = sym.given_name_end
     if sym.given_visibility:
         context_sym.visibility = sym.given_visibility
+    if sym.given_align:
+        context_sym.setAlignment(sym.given_align)
 
     return context_sym
 
@@ -667,6 +693,8 @@ class Symbol:
     given_filename: Optional[str] = None
     given_visibility: Optional[str] = None
 
+    given_align: Optional[int] = None
+
     _generated_default_name: Optional[str] = None
     _last_type: Optional[str] = None
 

{splat64-0.35.2 → splat64-0.36.0}/test/basic_app/expected/asm/data/main.bss.s

@@ -2,6 +2,7 @@
 
 .section .bss, "wa"
 
-dlabel D_80000540
 nonmatching D_80000540, 0x80
+
+dlabel D_80000540
     /* 80000540 */ .space 0x80

{splat64-0.35.2 → splat64-0.36.0}/test/basic_app/expected/asm/data/main.data.s

@@ -2,13 +2,15 @@
 
 .section .data, "wa"
 
-dlabel D_80000500
 nonmatching D_80000500
+
+dlabel D_80000500
     /* 1100 80000500 00000001 */ .word 0x00000001
 enddlabel D_80000500
 
-dlabel D_80000504
 nonmatching D_80000504
+
+dlabel D_80000504
     /* 1104 80000504 00000000 */ .word 0x00000000
     /* 1108 80000508 00000000 */ .word 0x00000000
     /* 110C 8000050C 00000000 */ .word 0x00000000

{splat64-0.35.2 → splat64-0.36.0}/test/basic_app/expected/asm/data/main.rodata.s

@@ -2,15 +2,17 @@
 
 .section .rodata, "a"
 
-dlabel D_80000510
 nonmatching D_80000510
+
+dlabel D_80000510
     /* 1110 80000510 00010203 */ .word 0x00010203
     /* 1114 80000514 04050607 */ .word 0x04050607
 enddlabel D_80000510
 
 .align 3
-dlabel jtbl_80000518
 nonmatching jtbl_80000518
+
+dlabel jtbl_80000518
     /* 1118 80000518 80000448 */ .word .L80000448
     /* 111C 8000051C 80000450 */ .word .L80000450
     /* 1120 80000520 80000458 */ .word .L80000458

{splat64-0.35.2 → splat64-0.36.0}/test/basic_app/expected/asm/handwritten.s

@@ -7,8 +7,9 @@
 .section .text, "ax"
 
 /* Handwritten function */
-glabel func_800004F0
 nonmatching func_800004F0, 0xC
+
+glabel func_800004F0
     /* 10F0 800004F0 00851020 */  add        $v0, $a0, $a1 /* handwritten instruction */
     /* 10F4 800004F4 03E00008 */  jr         $ra
     /* 10F8 800004F8 00000000 */   nop