[IN] Global register allocator

.clang-format

@@ -1,4 +1,10 @@
 ---
+
+
 BasedOnStyle: LLVM
+ColumnLimit: 120
+AllowShortFunctionsOnASingleLine: None
+BreakBeforeBraces: Allman
 
 AccessModifierOffset: -2
+

.dockerignore

@@ -0,0 +1,46 @@
+# Build artifacts
+*.o
+*.a
+*.so
+*.exe
+armv8m-tcc
+armv8m-*/
+
+# Generated config files
+config.h
+config.mak
+config.texi
+
+# Virtual environments
+.venv/
+venv/
+
+# Git
+.git/
+.gitignore
+
+# IDE
+.vscode/
+.idea/
+
+# Test artifacts
+__pycache__/
+*.pyc
+.pytest_cache/
+*.egg-info/
+dist/
+build/
+
+# Documentation build artifacts
+*.html
+*.pdf
+
+# Backup files
+*~
+*.swp
+*.swo
+*.bak
+
+# OS files
+.DS_Store
+Thumbs.db

.github/prompts/plan-aliasAnalysisStoreLoadOptimizations.prompt.md

@@ -0,0 +1,25 @@
+## Plan: Phase 4 - Alias Analysis and Store/Load Optimizations
+
+Implement store-load forwarding and redundant load/store elimination using a simple intra-procedural alias analysis to enable safe memory operation optimizations in the TinyCC IR.
+
+### Steps
+
+1. **Implement Memory Location Tracking in [tccir.c](tccir.c)** - Add data structures (`MemoryLocation`, `StoreEntry` hash table) to track recent store addresses and values, distinguishing stack locals (`VT_LOCAL`) from pointer-based accesses.
+
+2. **Implement `tcc_ir_store_load_forwarding()` in [tccir.c](tccir.c)** - For `TCCIR_OP_LOAD` instructions, check if the address matches a tracked store entry; if so, replace the LOAD with an ASSIGN from the stored value.
+
+3. **Implement Alias Analysis Invalidation Logic** - Invalidate store entries conservatively: clear all pointer-based entries on any unknown pointer store; clear all entries at basic block boundaries (`JUMP`, `JUMPIF`) and function calls (`FUNCCALLVOID`, `FUNCCALLVAL`); preserve provably non-aliasing stack locals.
+
+4. **Implement `tcc_ir_redundant_store_elimination()` in [tccir.c](tccir.c)** - Remove stores to addresses that are overwritten before being read (dead stores to memory), using the same alias tracking infrastructure.
+
+5. **Integrate Phase 4 into Optimization Pipeline in [tccgen.c](tccgen.c#L10027)** - Add `tcc_ir_store_load_forwarding()` and `tcc_ir_redundant_store_elimination()` after Phase 3 CSE, before final dead store elimination.
+
+6. **Update [ir_optimization_plan.md](docs/ir_optimization_plan.md)** - Document Phase 4 implementation details, alias analysis rules, expected results for the `Move()` example, and mark as complete.
+
+### Further Considerations
+
+1. **Alias Precision Level?** Start with a conservative type-based approach (stack locals never alias pointer derefs) or implement offset-based tracking for array accesses? *Recommend: Start conservative, extend later.*
+
+2. **Struct/Array Member Handling?** Track field offsets for structs (e.g., `dest[j-1]` vs `dest[j]` are different addresses)? *Recommend: Track base+offset pairs for indexed accesses.*
+
+3. **Cross-Basic-Block Optimization?** Keep analysis local to basic blocks initially, or implement reaching-stores dataflow? *Recommend: Start with basic-block-local, simpler and safer.*

.github/workflows/ci.yml

@@ -0,0 +1,35 @@
+name: CI
+
+on:
+  push:
+    branches: [mob]
+  pull_request:
+    branches: [mob]
+
+jobs:
+  build-and-test:
+    runs-on: ubuntu-latest
+    permissions:
+      packages: read
+    container:
+      image: ghcr.io/matgla/tinycc-armv8m:latest
+      options: --user root
+      credentials:
+        username: ${{ github.actor }}
+        password: ${{ secrets.GITHUB_TOKEN }}
+
+    steps:
+      - name: Checkout repository
+        uses: actions/checkout@v4
+        with:
+          submodules: recursive
+
+      - name: Configure
+        run: ./configure --enable-cross --enable-O2 
+
+      - name: Build and test
+        shell: bash
+        run: |
+          virtualenv .venv
+          source .venv/bin/activate
+          make test -j$(nproc)

.github/workflows/docker-build.yml

@@ -0,0 +1,60 @@
+name: Build and Push Container Image
+
+on:
+  push:
+    branches: [mob]
+    paths:
+      - 'Dockerfile'
+      - '.github/workflows/docker-build.yml'
+  workflow_dispatch:
+    inputs:
+      tag:
+        description: 'Image tag (default: latest)'
+        required: false
+        default: 'latest'
+
+env:
+  REGISTRY: ghcr.io
+  IMAGE_NAME: ${{ github.repository_owner }}/tinycc-armv8m
+
+jobs:
+  build-and-push:
+    runs-on: ubuntu-latest
+    permissions:
+      contents: read
+      packages: write
+
+    steps:
+      - name: Checkout repository
+        uses: actions/checkout@v4
+        with:
+          submodules: recursive
+
+      - name: Set up Docker Buildx
+        uses: docker/setup-buildx-action@v3
+
+      - name: Log in to Container Registry
+        uses: docker/login-action@v3
+        with:
+          registry: ${{ env.REGISTRY }}
+          username: ${{ github.actor }}
+          password: ${{ secrets.GITHUB_TOKEN }}
+
+      - name: Extract metadata
+        id: meta
+        uses: docker/metadata-action@v5
+        with:
+          images: ${{ env.REGISTRY }}/${{ env.IMAGE_NAME }}
+          tags: |
+            type=raw,value=${{ inputs.tag || 'latest' }}
+            type=sha,prefix=,suffix=,format=short
+
+      - name: Build and push image
+        uses: docker/build-push-action@v5
+        with:
+          context: .
+          push: true
+          tags: ${{ steps.meta.outputs.tags }}
+          labels: ${{ steps.meta.outputs.labels }}
+          cache-from: type=gha
+          cache-to: type=gha,mode=max

.gitignore

@@ -69,4 +69,12 @@ tests/hello
 tests/tests2/fred.txt
 libtcc.dylib
 build/
-rootfs/
+rootfs/
+__pycache__/
+tests/ir_tests/qemu/mps2-an505/newlib_build/
+tests/ir_tests/profile_results
+tests/ir_tests/profile_baselines
+
+lib/fp/soft/test_aeabi_all
+lib/fp/soft/test_dmul_host
+lib/fp/soft/test_host

.gitmodules

@@ -1,3 +1,12 @@
 [submodule "tests/externals/c-testsuite"]
 	path = tests/externals/c-testsuite
 	url = https://github.com/c-testsuite/c-testsuite.git
+[submodule "tests/ir_tests/qemu/mps2-an505/libs/newlib"]
+	path = tests/ir_tests/qemu/mps2-an505/libs/newlib
+	url = https://sourceware.org/git/newlib-cygwin.git
+[submodule "tests/benchmarks/libs/pico-sdk"]
+	path = tests/benchmarks/libs/pico-sdk
+	url = https://github.com/raspberrypi/pico-sdk.git
+[submodule "tests/benchmarks/mibench"]
+	path = tests/benchmarks/mibench
+	url = https://github.com/embecosm/mibench.git

.vscode/c_cpp_properties.json

@@ -0,0 +1,23 @@
+{
+    "configurations": [
+        {
+            "name": "Linux",
+            "includePath": [
+                "${workspaceFolder}/**"
+            ],
+            "defines": [
+                "TCC_TARGET_ARM=1",
+                "TCC_ARM_VFP=1",
+                "TCC_ARM_EABI=1",
+                "TCC_ARM_HARDFLOAT=1",
+                "TCC_TARGET_ARM_THUMB=1",
+                "TCC_TARGET_ARM_ARCHV8M=1"
+            ],
+            "compilerPath": "/usr/bin/clang",
+            "cStandard": "c17",
+            "cppStandard": "c++17",
+            "intelliSenseMode": "linux-clang-x64"
+        }
+    ],
+    "version": 4
+}

.vscode/launch.json

@@ -0,0 +1,82 @@
+{
+    // Use IntelliSense to learn about possible attributes.
+    // Hover to view descriptions of existing attributes.
+    // For more information, visit: https://go.microsoft.com/fwlink/?linkid=830387
+    "version": "0.2.0",
+    "configurations": [
+        {
+            "name": "(gdb) Launch",
+            "type": "cppdbg",
+            "request": "launch",
+            "program": "${workspaceFolder}/armv8m-tcc",
+            "args": [
+                "-dump-ir",
+                "-c",
+                "${workspaceFolder}/tests/ir_tests/simple0.c",
+                "-o",
+                "${workspaceFolder}/tests/ir_tests/simple0.o",
+            ],
+            "stopAtEntry": false,
+            "cwd": "${fileDirname}",
+            "environment": [],
+            "externalConsole": false,
+            "MIMode": "gdb",
+            "setupCommands": [
+                {
+                    "description": "Enable pretty-printing for gdb",
+                    "text": "-enable-pretty-printing",
+                    "ignoreFailures": true
+                },
+                {
+                    "description": "Set Disassembly Flavor to Intel",
+                    "text": "-gdb-set disassembly-flavor intel",
+                    "ignoreFailures": true
+                }
+            ]
+        },
+        {
+            "name": "QEMU mps2-an505 (gdb)",
+            "type": "cppdbg",
+            "request": "launch",
+            "program": "${workspaceFolder}/tests/ir_tests/build/test_double_printf_literals.elf",
+            "MIMode": "gdb",
+            "miDebuggerPath": "arm-none-eabi-gdb",
+            "miDebuggerServerAddress": "localhost:1234",
+            "setupCommands": [
+                {
+                    "description": "Enable pretty-printing for gdb",
+                    "text": "-enable-pretty-printing",
+                    "ignoreFailures": true
+                },
+                {
+                    "description": "Set Disassembly Flavor to Intel",
+                    "text": "-gdb-set disassembly-flavor intel",
+                    "ignoreFailures": true
+                }
+            ]
+        },
+        {
+            "name": "QEMU mps2-an505 (connect)",
+            "type": "cppdbg",
+            "request": "launch",
+            "program": "${workspaceFolder}/tests/ir_tests/build/test_double_printf_literals.elf",
+            "MIMode": "gdb",
+            "miDebuggerPath": "arm-none-eabi-gdb",
+            "miDebuggerServerAddress": "localhost:1234",
+            "cwd": "${workspaceFolder}/tests/ir_tests/build",
+            "stopAtConnect": true,
+            "setupCommands": [
+                {
+                    "description": "Enable pretty-printing for gdb",
+                    "text": "-enable-pretty-printing",
+                    "ignoreFailures": true
+                },
+                {
+                    "description": "Set Disassembly Flavor to Intel",
+                    "text": "-gdb-set disassembly-flavor intel",
+                    "ignoreFailures": true
+                }
+            ]
+        }
+    ]
+}

.vscode/settings.json

@@ -0,0 +1 @@
+{}

.vscode/tasks.json

@@ -0,0 +1,32 @@
+{
+    "version": "2.0.0",
+    "tasks": [
+        {
+            "label": "QEMU: mps2-an505 (gdbserver)",
+            "type": "shell",
+            "command": "qemu-system-arm",
+            "args": [
+                "-machine",
+                "mps2-an505",
+                "-nographic",
+                "-semihosting",
+                "-kernel",
+                "${workspaceFolder}/tests/ir_tests/build/test_double_printf_literals.elf",
+                "-s",
+                "-S"
+            ],
+            "isBackground": true,
+            "problemMatcher": []
+        },
+        {
+            "label": "QEMU: stop",
+            "type": "shell",
+            "command": "pkill",
+            "args": [
+                "-f",
+                "qemu-system-arm -machine mps2-an505"
+            ],
+            "problemMatcher": []
+        }
+    ]
+}