Aliase

Aus C und Assembler mit Raspberry

Was sind Aliase?

Ein **Alias** ist eine alternative Schreibweise für eine Instruktion – sozusagen ein **„freundlicher“ Name** für komplexere Maschinenbefehle. Aliase machen den Code **lesbarer und intuitiver**, verändern aber **nicht** den Maschinencode, der letztlich generiert wird.

Beispiel:

```asm mov x0, x1 ```

Dieser Befehl existiert **nicht als eigener Maschinenbefehl**, sondern ist ein **Alias** für:

```asm orr x0, x1, xzr ```

Der Befehl `orr` (bitweises ODER) mit dem Wert `xzr` (Zero-Register) ergibt effektiv `mov`.

---

Warum macht man das?

- **Lesbarkeit**: `mov x0, x1` ist leichter verständlich als `orr x0, x1, xzr`. - **Portabilität**: Viele Architekturen haben einen `mov`, und Entwickler erwarten diesen. - **Compilerfreundlich**: Auch Compiler wie `clang` oder `gcc` generieren „Alias-ähnlichen“ Code.

---

Was macht `objdump` daraus?

Beim Disassemblieren mit `objdump` oder `gdb` siehst du **immer den echten Maschinenbefehl**, nicht den Alias.

```asm mov x0, x1  ; geschrieben im Assembler ```

Ergibt in `objdump -d`: ``` orr x0, x1, xzr ```

⚠️ Das kann verwirrend sein, wenn du Quellcode und disassemblierten Code vergleichst!

---

Was wird wirklich generiert?

Nehmen wir `mov x0, x1`:

- Quelltext (Alias):

 ```asm
 mov x0, x1
 ```

- Assembler-Expansion:

 ```asm
 orr x0, x1, xzr
 ```

- Maschinencode (Hex):

 ```text
 0xaa0103e0
 ```

➡️ Ob du `mov x0, x1` oder `orr x0, x1, xzr` schreibst, ergibt **denselben Maschinencode**.

---

Bekannte Aliase im ARM64-Assembler

| Alias | Entsprechender Instruktionscode | Beschreibung | |----------------|------------------------------------------------|------------------------------------------| | `mov x0, x1` | `orr x0, x1, xzr` | Kopiere Register | | `mov x0, #0` | `movz x0, #0` | Setze Register auf 0 | | `cmp x0, x1` | `subs xzr, x0, x1` | Vergleich über Subtraktion ohne Ergebnis | | `neg x0, x1` | `sub x0, xzr, x1` | Negation | | `nop` | `hint #0` | Kein-Operation (für Alignment etc.) | | `ret` | `br x30` | Rücksprung aus Funktion | | `b label` | `b label` (kein Alias) | Unbedingter Sprung | | `bl label` | `bl label` (kein Alias) | Sprung mit Link (Funktionsaufruf) | | `movk/movz/movn`| Literalladen in 16-Bit-Chunks | Register initialisieren mit Immediate |

---

Warum ist das wichtig?

1. **Disassembler zeigen keine Aliase** → verwirrend bei Analyse. 2. **Debugging wird leichter**, wenn man den echten Maschinenbefehl kennt. 3. **Assemblerfehler** können entstehen, wenn man glaubt, `mov` sei ein „echter“ Befehl mit eigenen Regeln.

--- Hier ist ein einfaches Beispielprogramm in ARM64-Assembler mit typischen **Alias-Instruktionen**, das du kompilieren und mit `objdump` untersuchen kannst. Danach zeige ich dir, wie die `objdump`-Ausgabe dazu aussieht.

---

Beispiel: `alias_test.s`

```asm

   .section .text
   .global _start

_start:

   // Alias: mov x0, x1 -> orr x0, x1, xzr
   mov x0, x1
   // Alias: mov x2, #0 -> movz x2, #0
   mov x2, #0
   // Alias: cmp x0, x1 -> subs xzr, x0, x1
   cmp x0, x1
   // Alias: neg x3, x4 -> sub x3, xzr, x4
   neg x3, x4
   // Alias: nop -> hint #0
   nop
   // Alias: ret -> br x30
   ret

```

---

Bauen und disassemblieren

```bash as alias_test.s -o alias_test.o ld alias_test.o -o alias_test objdump -d alias_test ```

---

Beispielausgabe von `objdump -d alias_test`

```asm 0000000000401000 <_start>:

 401000:   aa0103e0    orr     x0, x1, xzr
 401004:   d2800002    movz    x2, #0x0
 401008:   eb01001f    subs    xzr, x0, x1
 40100c:   cb040060    sub     x3, xzr, x4
 401010:   d503201f    nop
 401014:   d65f03c0    ret

```

Du siehst:

| Quellcode Alias | Disassembler zeigt | Bedeutung | |----------------------|------------------------|---------------------------------------------| | `mov x0, x1` | `orr x0, x1, xzr` | Kopiere x1 nach x0 | | `mov x2, #0` | `movz x2, #0x0` | Setze x2 auf 0 | | `cmp x0, x1` | `subs xzr, x0, x1` | Vergleiche x0 mit x1 | | `neg x3, x4` | `sub x3, xzr, x4` | x3 = -x4 | | `nop` | `hint #0` | Kein Effekt | | `ret` | `ret` | Rücksprung über x30 |

---

Weitere Analyse

Wenn du **keine Aliase im Disassembly** möchtest (d. h. nur „echte“ Instruktionen), kannst du `objdump` so verwenden:

```bash objdump -d -M no-aliases alias_test ```

Das zeigt dir, wie es **der CPU intern** wirklich vorliegt.