summaryrefslogtreecommitdiff
path: root/chapter21/README.md
blob: ee62cadd5aaf4c094a0d7d5cbcd065b1576ffd46 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
# Chapter 21: Instruction Encoding and ELF


# Table of Contents

1. [Instruction Encodings](#instruction-encodings)
2. [Infrastructure](#infrastructure)
3. [AMD64](#amd64)
   - [REX PREFIX](#rex-prefix)
   - [LARGE CONSTANT](#large-constants)
   - [MODR/M](#modrm)
   - [SIB](#sib)
   - [Displacement](#displacement)
   - [Immediate](#immediate)
   - [Float](#float)
   - [Indirect](#indirect)
   - [Conditional flags](#conditional-flags)
4. [ARM](#arm)
   - [Reg-form](#reg-form)
   - [Shift immediates](#shift-immediates)
        - [asri](#asrimmediate)
        - [LSL(immediate)](#lslimmediate)
        - [LSR(immediate)](#lsrimmediate)
     
   - [Logical immediates](#logical-immediates)
   - [Float](#float)
   - [Function constant](#function-constant)
   - [Immediate](#immediate)
   - [Conditional flags](#conditional-flags)
   - [Indirect](#indirect)
   - [Branching](#branching)
   - [Rip relative](#rip-relative)
   - [Compare](#compare)

5. [RISCV](#riscv)
   - [Instruction formats](#instruction-formats)
   - [FLOAT](#float)
   - [INDIRECT(MemOp)](#indirectmemop)
   - [BRANCH](#branch)
   - [Function Constant](#function-constant)
   - [LUI](#lui)
   - [Large constants](#large-constants)

This chapter will add instruction encodings.
Instruction encoding refers to the representation of 
machine instructions in a specific binary format defined by the 
processor's instruction set architecture (ISA)

After we established instruction selection, we need to encode the instructions before we can write them
into an ELF object file.

Currently, we support these architectures:
### AMD64:
For *x86-64(amd64):*, we use the latest Intel manual for the [encoding rules](https://www.felixcloutier.com/x86/).

### RISC-V:

For *riscv* we currently target [RVA23U64](https://msyksphinz-self.github.io/riscv-isadoc/html/).
- ARM
Each of which has its own instruction encoding format.

To avoid ambiguity, we define the sources  of the information we use to encode the instructions:

### ARMV8/AArch64 :
For *arm*(aarch64) we use this collection for the [encoding rules](https://docsmirror.github.io/A64/2023-06/index.html).
*Note*: We only support 64 bits ARM encodings.

--- 

## Instruction Encodings


## Infrastructure

The instruction selection phase creates the machine friendly nodes from ideal nodes.
These machine friendly nodes define an *encoding* function that is called from the Encoding driver found in CodeGen.

```java
for( CFGNode bb : _code._cfg )
    for( Node n : bb._outputs )
        if( n instanceof MachNode mach ) {
            int off = _bits.size();
            mach.encoding(this);
            _opLen[n._nid] = (byte)(_bits.size()-off);
    }
```
Based on the selected target, we either need to look out for little endian or big endian encodings.
These are being handled by `add4` which adds to the bit stream in the correct order.
As of now the bitstream is a simple BAOS stucture.

```java
@Override public void encoding( Encoding enc ) {
    enc.add4(0); // adds 4 bytes to the  bitstream
}
```
On *riscv* where the manual contains big endian encodings, this function also converts it to little-endian, for other architectures this stays the same.

## Endianness
Both *ARM* *RISC-V* and *X86* are **little-endian** *in practice* architectures, which means that the least significant byte is stored first.
We ensure that the encoding is done in little-endian format:

```java 
// Little endian write of a 32b opcode
public void add4( int op ) {
    _bits.write(op    );
    _bits.write(op>> 8);
    _bits.write(op>>16);
    _bits.write(op>>24);
}
```
For example if we have this 32 bits encoding for fixed width instructions:
*10110101100111101011001001101101*.

We append the least significant byte first, then the next byte, and so on.
``` 
_bits.write(op    );
```
`_bits.write()` only appeds the least significant byte, by shifting it to the right we can manipulate it
in a way so that the next byte becomes the least significant byte, and so on.

## AMD64
As opposed to riscv arhitectures, where the instruction width is fixed, *x86-64* has variable width instructions.
This is common with *CISC(Complex instruction set computer)* architectures, where the instruction width can vary from 1 to 15 bytes.
Since AMD64 supports many indirect addressing modes, the goal with CISC in general is to complete a task in as few lines of assembly as possible.

### REX PREFIX
Since we target the 64 bit version of x86, we have to deal with this 
prefix, otherwise its negligible in 32 bit mode.

Generally speaking the *REX* prefix must be encoded when:
 - using one of the extended registers (R8 to R15, XMM8 to XMM15, YMM8 to YMM15, CR8 to CR15 and DR8 to DR15);
 - using 64-bit operand size and the instruction does not default to 64-bit operand size(most ALU ops)

A *REX* prefix must not be encoded when:
 - using one of the high byte registers AH, CH, BH or DH.

In all other cases, iti s ignored.

In Simple the REX prefix is just appneded to the beginning of the bit stream.
The layout is the following:

| **Field** | **Length** | **Description**                                                                 |
|:---------:|:----------:|---------------------------------------------------------------------------------|
| `0100`    | 4 bits     | Fixed bit pattern                                                              |
| `W`       | 1 bit      | When 1, a 64-bit operand size is used. Otherwise, 32-bit operand size is used. |
| `R`       | 1 bit      | Extension to the **MODRM.reg** field.                                          |
| `X`       | 1 bit      | Extension to the **SIB.index** field.                                          |
| `B`       | 1 bit      | Extension to the **MODRM.rm** or **SIB.base** field.                           |


```java 
    public static int REX_W  = 0x48;

    ...
``` 
```java
public static int rex(int reg, int ptr, int idx) {
    // assuming 64 bit by default so: 0100 1000
    int rex = REX_W; // Default REX.W
    if( 8 <= reg && reg <= 15 ) rex |= 0b00000100; // REX.R
    if( 8 <= ptr && ptr <= 15 ) rex |= 0b00000001; // REX.B
    if( 8 <= idx && idx <= 15 ) rex |= 0b00000010; // REX.X
    return rex;

    ... 
    enc.add1(x86_64_v2.rex(dst, src, 0));
}
```

Setting THE `W` bit gives us:
01001000 = 0x48;

#### Opcode
In our case, the opcode is a 1 byte field that specifies the operation to be performed.
```
enc.add1(opcode()); // opcode 
```
#### MODR/M

| **Field**     | **Length** | **Description**                                                                                                                                                                                                                                                                                                                                                                                                  |
|:-------------:|:----------:|------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|
| **MODRM.mod** | 2 bits     | In general, when this field is `b11`, then register-direct addressing mode is used; otherwise register-indirect addressing mode is used.                                                                                                                                                                                                                                                                        |
| **MODRM.reg** | 3 bits     | This field can have one of two values:<br><br>• A 3-bit opcode extension, which is used by some instructions but has no further meaning other than distinguishing the instruction from other instructions.<br><br>• A 3-bit register reference, which can be used as the source or the destination of an instruction (depending on the instruction). The referenced register depends on the operand-size of the instruction and the instruction itself. The `REX.R`, `VEX.~R` or `XOP.~R` field can extend this field with 1 most-significant bit to 4 bits total. |
| **MODRM.rm**  | 3 bits     | Specifies a direct or indirect register operand, optionally with a displacement. The `REX.B`, `VEX.~B` or `XOP.~B` field can extend this field with 1 most-significant bit to 4 bits total.                                                                                                                                                                                                                     |


We deal with the MODR/M byte in a similar way:

The first thing we need for the modrm byte is the 2 bits mod.

##### mod
The layout for mod is the following:
```
public enum MOD {
INDIRECT, //  [mem]
INDIRECT_disp8, // [mem + 0x12]
INDIRECT_disp32,// [mem + 0x12345678]
DIRECT,          // mem
};
```

##### reg
The reg field is a 3 bit field capable of encoding 15 different registers.

##### rm
The rm field specifies a direct or indirect register operand and is capable of encoding 15 different registers.


```java
public static int modrm(MOD mod, int reg, int m_r) {
    // combine all the bits
    return (mod.ordinal() << 6) | ((reg & 0x07) << 3) | m_r & 0x07;
}
```
The `modrm` function is then used to build up the `ModR/M` byte.
Usually this follows after the opcode.

``` 
enc.add1(x86_64_v2.modrm(x86_64_v2.MOD.DIRECT, dst, src));
```

Encoding a reg form might look like this:
```      
short dst = enc.reg(this ); // src1
short src = enc.reg(in(2)); // src2
enc.add1(x86_64_v2.rex(dst, src, 0));
enc.add1(opcode()); // opcode
enc.add1(x86_64_v2.modrm(x86_64_v2.MOD.DIRECT, dst, src));
```

#### SIB
The SIB byte has the following fields:

| **Field**     | **Length** | **Description**                                                                                                                                                                                                                                            |
|:-------------:|:----------:|------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|
| **SIB.scale** | 2 bits     | This field indicates the scaling factor of `SIB.index`, where **s** (as used in the tables) equals 2^SIB.scale^.                                                                                                                                           |
| **SIB.index** | 3 bits     | The index register to use. See Registers for the values to use for each of the registers. The `REX.X`, `VEX.~X` or `XOP.~X` field can extend this field with 1 most-significant bit to 4 bits total.                                                    |
| **SIB.base**  | 3 bits     | The base register to use. See Registers for the values to use for each of the registers. The `REX.B`, `VEX.~B` or `XOP.~B` field can extend this field with 1 most-significant bit to 4 bits total.                                                     |

It has the same layout as the MODR/M byte.
```java 
    public static int sib(int scale, int index, int base) {
        return (scale << 6) | ((index & 0x07) << 3) | base & 0x07;
    }
```

``` 
           enc.add1(x86_64_v2.sib(_scale, idx, x86_64_v2.RBP));
```

#### Displacement
Displacement can happen in 2 forms:
```java
public enum MOD {
INDIRECT, //  [mem]
INDIRECT_disp8, // [mem + 0x12]
INDIRECT_disp32,// [mem + 0x12345678]
DIRECT,          // mem
};
```

```java
if( mod == MOD.INDIRECT_disp8 ) {
    enc.add1(offset);
} else if( mod == MOD.INDIRECT_disp32 ) {
    enc.add4(offset);
}
```
The displacement goes before the immediate, so for example:
``` 
sub [eax + 2], 4
```
``` 
bytes.write(0x83);
bytes.write(modrm(INDIRECT8, 5, 0 /* eax */));
bytes.write(2); // displcement goes first
bytes.write(4);
```

#### Immediate
The immediate byte/bytes go after the `ModR/M` byte, we are capable of encoding 4 bytes of immediates depending on the need.
```java
// immediate(4 bytes) 32 bits or (1 byte)8 bits
if( x86_64_v2.imm8(_imm) ) enc.add1(_imm);
else                       enc.add4(_imm);
```

#### Indirect
TBD

#### Float
For float operations we use `SEE SIMD` instructions that operate on scalar single precision floating0-point values located in the
XMM registers or memory.
*Note*: When using XMM registers for ALU operations, the encoding is really similar with the exception that we need
to subtract the `XMM_OFFSET` from the register number.
We count the registers continuously, so we need to subtract the offset to get the GPR register pair that corresponds to the XMM register.

```java 
short dst = (short)(enc.reg(this ) - x86_64_v2.XMM_OFFSET);
```

```java
public static int XMM_OFFSET = 16; 
```

| **X.Reg** | **8-bit GP** | **16-bit GP** | **32-bit GP** | **64-bit GP** | **80-bit x87** | **64-bit MMX** | **128-bit XMM** | **256-bit YMM** | **16-bit Segment** | **32-bit Control** | **32-bit Debug** |
|:--------:|:------------:|:-------------:|:-------------:|:-------------:|:-------------:|:-------------:|:--------------:|:--------------:|:-----------------:|:-----------------:|:---------------:|
| `0.000 (0)` | AL | AX | EAX | RAX | ST0 | MMX0 | XMM0 | YMM0 | ES | CR0 | DR0 |

We see that `XMM0` corresponds to `RAX` and so on.

#### Large constants

##### INT: We just use `MOV r64, imm64` instruction form.

##### FLOAT: We use relocation and use constant from memory.

#### Function constant
To load a function constant we use lea which will load the address into the specified reg
relative to the instruction pointer.

#### Conditional flags:
The FLAGS register is the status register that contains the current state of an x86 CPU.

Let's consider a simple example that presents all the instructions that we need to encode for
conditional code.

```
int square(int a) {
    // cmp    DWORD PTR [rbp-0x8],0x1
    // `sete   al`
    bool da = a == 1;
    
    //  cmp    eax,0x1 
    if(da == 1) {
        return 1;
    }
    return 2;
}
```
First we need a compare instruction comparing `a` with 1.
```
cmp    DWORD PTR [rbp-0x8],0x1
```

This compare instruction then sets the conditional flags:
>  The CF, OF, SF, ZF, AF, and PF flags are set according to the result.

We then use the `sete` instruction to save out the result of the comparison to a register:

`sete   al`

For the if condition we do an extra comparison based on the result of the first bool.
```
 cmp    eax,0x1 
```
And then a conditional branch that is relying on the flags set by the comparison(`a == 1`).
```
jne    1159 <square(int)+0x29>
``` 
We'll see how this differs in ARM and RISCV.
--- 


## ARM
Arm instructions are all 32 bits wide, and are always little-endian.
Arm is a RISC architecture, it prioritizes "register-to-register" forms.

#### Reg-form
We encode the regs forms as [shifted registers](https://docsmirror.github.io/A64/2023-06/orr_log_shift.html).
```
orr reg1, reg2
```
```
x0 = x0 | (x1 << 0)
```
The same thing applies for all the other reg forms.
Because of this similarity, we can lift the encoding of the reg form to a common function.

```java  
short self = enc.reg(n);
short reg1 = enc.reg(n.in(1));
short reg2 = enc.reg(n.in(2));
int body = r_reg(opcode, 0, reg2, 0,  reg1, self);
enc.add4(body);
```
*imm6* and
*shift*
are irelevant for the reg form, so we just set them to 0.

### Shift immediates
This refers to: *asri, lsli, lsri*
Encode to shift immediates if the shift amount is between [0, 63] inclusive.

#### ASR(immediate)
For arithmetic Shift Right immediates, we set *immr* to the immediate we wish to encode, and imms to `63` = `111111`.
This is following the rules of [asri encoding](https://docsmirror.github.io/A64/2023-06/asr_sbfm.html).

The `sf` bit is included in the opcode, `N` is implicitly added to the bitstream after the execution of the 
`imm_shift` function.
```java 
enc.add4(arm.imm_shift(0b100100110,_imm, 0b111111, rn, rd));
```

#### LSL(immediate)

```java 
// UBFM <Xd>, <Xn>, #(-<shift> MOD 64), #(63-<shift>)
// immr must be (-<shift> MOD 64) = 64 - shift
enc.add4(arm.imm_shift(0b110100110, 64 - _imm, (64 - _imm) - 1, rn, rd));
```

We know that `_imm` is never a negative number and is between 0 and 63, so we can safely use `64 - _imm` as the `immr` value.
We take away this form of the immediate from 64 to invert the bits.

For *imms* - the following condition must hold *imms + 1 = immr*;
After subbing in the values we get:

> imms + 1 = 64 - _imm;

> imms = (64 - _imm) - 1;

Hence the `imms` value is `(64 - _imm) - 1`.

#### LSR(immediate)
Same as *ASR*.


#### Logical immediates 
Logical immediates refer to *andi, xori, orri*.

```java 
// Can we encode this in ARM's 12-bit LOGICAL immediate form?
// Some combination of shifted bit-masks.
private static int imm12Logical(TypeInteger ti) {
    if( !ti.isConstant() ) return -1;
    if( !ti.isConstant() ) return -1;
    long val = ti.value();
    if (val == 0 || val == -1) return -1; // Special cases are not allowed
    int immr = 0;
    // Rotate until we have 0[...]1
    while (val < 0 || (val & 1)==0) {
        val = (val >>> 63) | (val << 1);
        immr++;
    }
    int size = 32;
    long pattern = val;
    // Is upper half of pattern the same as the lower?
    while ((pattern & ((1L<<size)-1)) == (pattern >> size)) {
        // Then only take one half
        pattern >>= size;
        size >>= 1;
    }
    size <<= 1;
    int imms = Long.bitCount(pattern);
    // Pattern should now be zeros followed by ones 0000011111
    if (pattern != (1L<<imms)-1) return -1;
    imms--;
    if (size == 64) return 0x1000 | immr << 6 | imms;
    return (32-size)<<1 | immr << 6 | imms;
}
```

imm12Logical returns the 12-bit immediate encoding for logical operations if it is possible to encode it, otherwise -1.
```java
int imm12;
return and.in(2) instanceof ConstantNode off && 
off._con instanceof TypeInteger ti && (imm12 = imm12Logical(ti)) != -1
? new AndIARM(and, imm12) 
```
```java 
arm.imm_inst(enc,this,0b100100100,_imm); 
```

#### Float
Similarly to x86, we have to subtract the offset to get the GPR register pair that corresponds to the *D* register.
``` 
short dst = (short)(enc.reg(this ) - arm.D_OFFSET);
```
For loading float constants we use the `ldr(literal)` instruction.
The offset is added to the PC register to get the address of the literal.

```java 
// Any number that can be expressed as +/-n * 2-r,where n and r are integers, 16 <= n <= 31, 0 <= r <= 7.
int body = arm.load_pc(0b01011100, 0, dst);
```

#### Large constants

##### INT: 

##### FLOAT: We use the *LDR (immediate, SIMD&FP)* instruction relative to the 


#### Function constant 
To load a function constant we store the current PC into x0 and use that to access the constant.
Generally, we try to avoid load as adding is faster.
```
adrp    x0, 0
add     x0, x0, 0
```

#### Conditional flags
In arm we set the conditional flags after a comparison -
this works similarly to x86.
 
```
int square(int a) {
// subs
// cset	w8, eq  // eq = none
bool da = a == 1;
    // bne
    if(da == 1) {
        return 1;
    }
    return 2;
}
```
In arm comparisons are done with `subss` which does a subtraction between the two
operands and also sets the flags.
`CSET` is used to look up the flags and save it out to a register.

Later on `b.ne` relies on this flag again when it attempts to conditionally execute a branch.

#### Indirect
TBD

#### Branching 
`B.cond` - branch [conditionally](https://developer.arm.com/documentation/dui0802/b/A32-and-T32-Instructions/Condition-codes?lang=en) to a label at a PC-relative offset.

> cond = is one of the standard conditions.

---

## RISCV

#### 
#### Instruction formats

#### FLOAT

#### INDIRECT(MemOp)

#### BRANCH


#### Large constants

##### FLOAT: HANDLED ALREADY
##### INT: HANDLED ALREADY

#### Function Constant

#### LUI
Constant hacking from cpp discord.





## Relocation

### Lots of Bits



[^1]: [Intel](smt here)

[^2]: ()