Prefer spaces over tab; Rewriting type systems...

Evian-Zhang · Evian-Zhang · commit 654cb8ef107b · 2023-06-17T15:46:06.000+08:00
diff --git a/code/article_01/test.c b/code/article_01/test.c
@@ -1,3 +1,3 @@
 int main() {
-	return 0;
+    return 0;
 }
diff --git a/code/article_02/main.ll b/code/article_02/main.ll
@@ -1,4 +1,4 @@
 ; main.ll
 define i32 @main() {
-	ret i32 0
+    ret i32 0
 }
diff --git a/code/article_03/global_variable_test.ll b/code/article_03/global_variable_test.ll
@@ -2,5 +2,5 @@
 @global_variable = global i32 0
 
 define i32 @main() {
-	ret i32 0
+    ret i32 0
 }
diff --git a/code/article_03/many_registers_test.ll b/code/article_03/many_registers_test.ll
@@ -2,37 +2,37 @@
 @global_variable = global i32 0
 
 define i32 @main() {
-	%1 = add i32 1, 2
-	%2 = add i32 1, 2
-	%3 = add i32 1, 2
-	%4 = add i32 1, 2
-	%5 = add i32 1, 2
-	%6 = add i32 1, 2
-	%7 = add i32 1, 2
-	%8 = add i32 1, 2
-	%9 = add i32 1, 2
-	%10 = add i32 1, 2
-	%11 = add i32 1, 2
-	%12 = add i32 1, 2
-	%13 = add i32 1, 2
-	%14 = add i32 1, 2
-	%15 = add i32 1, 2
+    %1 = add i32 1, 2
+    %2 = add i32 1, 2
+    %3 = add i32 1, 2
+    %4 = add i32 1, 2
+    %5 = add i32 1, 2
+    %6 = add i32 1, 2
+    %7 = add i32 1, 2
+    %8 = add i32 1, 2
+    %9 = add i32 1, 2
+    %10 = add i32 1, 2
+    %11 = add i32 1, 2
+    %12 = add i32 1, 2
+    %13 = add i32 1, 2
+    %14 = add i32 1, 2
+    %15 = add i32 1, 2
 
-	store i32 %1, ptr @global_variable
-	store i32 %2, ptr @global_variable
-	store i32 %3, ptr @global_variable
-	store i32 %4, ptr @global_variable
-	store i32 %5, ptr @global_variable
-	store i32 %6, ptr @global_variable
-	store i32 %7, ptr @global_variable
-	store i32 %8, ptr @global_variable
-	store i32 %9, ptr @global_variable
-	store i32 %10, ptr @global_variable
-	store i32 %11, ptr @global_variable
-	store i32 %12, ptr @global_variable
-	store i32 %13, ptr @global_variable
-	store i32 %14, ptr @global_variable
-	store i32 %15, ptr @global_variable
+    store i32 %1, ptr @global_variable
+    store i32 %2, ptr @global_variable
+    store i32 %3, ptr @global_variable
+    store i32 %4, ptr @global_variable
+    store i32 %5, ptr @global_variable
+    store i32 %6, ptr @global_variable
+    store i32 %7, ptr @global_variable
+    store i32 %8, ptr @global_variable
+    store i32 %9, ptr @global_variable
+    store i32 %10, ptr @global_variable
+    store i32 %11, ptr @global_variable
+    store i32 %12, ptr @global_variable
+    store i32 %13, ptr @global_variable
+    store i32 %14, ptr @global_variable
+    store i32 %15, ptr @global_variable
 
-	ret i32 0
+    ret i32 0
 }
diff --git a/code/article_03/max.c b/code/article_03/max.c
@@ -1,13 +1,13 @@
 // max.c
 int max(int a, int b) {
-	if (a > b) {
-		return a;
-	} else {
-		return b;
-	}
+    if (a > b) {
+        return a;
+    } else {
+        return b;
+    }
 }
 
 int main() {
-	int a = max(1, 2);
-	return 0;
+    int a = max(1, 2);
+    return 0;
 }
diff --git a/code/article_03/register_test.ll b/code/article_03/register_test.ll
@@ -1,5 +1,5 @@
 ; register_test.ll
 define i32 @main() {
-	%local_variable = add i32 1, 2
-	ret i32 %local_variable
+    %local_variable = add i32 1, 2
+    ret i32 %local_variable
 }
diff --git a/code/article_04/div_test.ll b/code/article_04/div_test.ll
@@ -1,10 +1,7 @@
 ; div_test.ll
-target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
-target triple = "x86_64-apple-macosx10.15.0"
-
 define i8 @main() {
-	%1 = udiv i8 -6, 2
-	%2 = sdiv i8 -6, 2
-	
-	ret i8 %1
-}
+    %1 = udiv i8 -6, 2
+    %2 = sdiv i8 -6, 2
+
+    ret i8 %1
+}
diff --git a/code/article_04/extract_insert_value.ll b/code/article_04/extract_insert_value.ll
@@ -1,14 +1,14 @@
 ; extract_insert_value.ll
 %MyStruct = type {
-	i32,
-	i32
+    i32,
+    i32
 }
 @my_struct = global %MyStruct { i32 1, i32 2 }
 
 define i32 @main() {
-	%1 = load %MyStruct, %MyStruct* @my_struct
-	%2 = extractvalue %MyStruct %1, 1
-	%3 = insertvalue %MyStruct %1, i32 233, 1
+    %1 = load %MyStruct, ptr @my_struct
+    %2 = extractvalue %MyStruct %1, 1
+    %3 = insertvalue %MyStruct %1, i32 233, 1
 
-	ret i32 0
+    ret i32 0
 }
diff --git a/code/article_05/for.ll b/code/article_05/for.ll
@@ -3,20 +3,20 @@ target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
 target triple = "x86_64-apple-macosx10.15.0"
 
 define i32 @main() {
-	%i = alloca i32 ; int i = ...
-	store i32 0, i32* %i ; ... = 0
-	br label %start
+    %i = alloca i32 ; int i = ...
+    store i32 0, i32* %i ; ... = 0
+    br label %start
 start:
-	%i_value = load i32, i32* %i
-	%comparison_result = icmp slt i32 %i_value, 4 ; test if i < a
-	br i1 %comparison_result, label %A, label %B
+    %i_value = load i32, i32* %i
+    %comparison_result = icmp slt i32 %i_value, 4 ; test if i < a
+    br i1 %comparison_result, label %A, label %B
 A:
-	; do something A
-	%1 = add i32 %i_value, 1 ; ... = i + 1
-	store i32 %1, i32* %i ; i = ...
-	br label %start
+    ; do something A
+    %1 = add i32 %i_value, 1 ; ... = i + 1
+    store i32 %1, i32* %i ; i = ...
+    br label %start
 B:
-	; do something B
+    ; do something B
 
-	ret i32 0
+    ret i32 0
 }
diff --git a/code/article_06/calling_convention_test.ll b/code/article_06/calling_convention_test.ll
@@ -4,10 +4,10 @@ target triple = "x86_64-apple-macosx10.15.0"
 
 %ReturnType = type { i32, i32 }
 define %ReturnType @foo(i32 %a1, i32 %a2, i32 %a3, i32 %a4, i32 %a5, i32 %a6, i32 %a7, i32 %a8) {
-	ret %ReturnType { i32 1, i32 2 }
+    ret %ReturnType { i32 1, i32 2 }
 }
 
 define i32 @main() {
-	%1 = call %ReturnType @foo(i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7, i32 8)
-	ret i32 0
+    %1 = call %ReturnType @foo(i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7, i32 8)
+    ret i32 0
 }
diff --git a/code/article_06/tail_call_test.ll b/code/article_06/tail_call_test.ll
@@ -3,12 +3,12 @@ target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
 target triple = "x86_64-apple-macosx10.15.0"
 
 define fastcc i32 @foo(i32 %a) {
-	%res = icmp eq i32 %a, 1
-	br i1 %res, label %btrue, label %bfalse
+    %res = icmp eq i32 %a, 1
+    br i1 %res, label %btrue, label %bfalse
 btrue:
-	ret i32 1
+    ret i32 1
 bfalse:
-	%sub = sub i32 %a, 1
-	%tail_call = tail call fastcc i32 @foo(i32 %sub)
-	ret i32 %tail_call
+    %sub = sub i32 %a, 1
+    %tail_call = tail call fastcc i32 @foo(i32 %sub)
+    ret i32 %tail_call
 }
diff --git a/code/article_07/try_catch_test.cpp b/code/article_07/try_catch_test.cpp
@@ -4,23 +4,23 @@ struct AnotherError { };
 
 struct MyError { /* ... */ };
 void foo() {
-	SomeOtherStruct other_struct;
-	throw MyError();
-	return;
+    SomeOtherStruct other_struct;
+    throw MyError();
+    return;
 }
 
 void bar() {
-	try {
-		foo();
-	} catch (MyError err) {
-		// do something with err
-	} catch (AnotherError err) {
-		// do something with err
-	} catch (...) {
-		// do something
-	}
+    try {
+        foo();
+    } catch (MyError err) {
+        // do something with err
+    } catch (AnotherError err) {
+        // do something with err
+    } catch (...) {
+        // do something
+    }
 }
 
 int main() {
-	return 0;
+    return 0;
 }
diff --git a/src/02-Hello world.md b/src/02-Hello world.md
@@ -11,15 +11,15 @@
 ```llvm
 ; main.ll
 define i32 @main() {
-	ret i32 0
+    ret i32 0
 }
 ```
 
 这个程序可以看作最简单的C语言代码：
 
 ```c
 int main() {
-	return 0;
+    return 0;
 }
 ```
 
@@ -48,7 +48,7 @@ clang main.ll -o main
 
 ```llvm
 define i32 @main() {
-	ret i32 0
+    ret i32 0
 }
 ```
 
diff --git a/src/03-01-数据区与符号表.md b/src/03-01-数据区与符号表.md
@@ -29,7 +29,7 @@
 @global_variable = global i32 0
 
 define i32 @main() {
-	ret i32 0
+    ret i32 0
 }
 ```
 
@@ -139,11 +139,11 @@ clang -L. -linterposition1 -linterposition2 interposition-main.c -o interpositio
 
 ```x86asm
 g:
-	pushq	%rbp
-	movq	%rsp, %rbp
-	callq	f@PLT
-	popq	%rbp
-	retq
+    pushq    %rbp
+    movq     %rsp, %rbp
+    callq    f@PLT
+    popq     %rbp
+    retq
 ```
 
 虽然`f`在同一个文件内，但它居然默认是去PLT表找实现！！
diff --git a/src/03-02-寄存器和栈.md b/src/03-02-寄存器和栈.md
diff --git a/src/03-数据表示.md b/src/03-数据表示.md
diff --git a/src/04-类型系统.md b/src/04-类型系统.md

Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,3 @@`
`1`	`1`	`int main() {`
`2`		`- return 0;`
	`2`	`+ return 0;`
`3`	`3`	`}`
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`	`1`	`; main.ll`
`2`	`2`	`define i32 @main() {`
`3`		`- ret i32 0`
	`3`	`+ ret i32 0`
`4`	`4`	`}`
Original file line number	Diff line number	Diff line change
`@@ -2,5 +2,5 @@`
`2`	`2`	`@global_variable = global i32 0`
`3`	`3`
`4`	`4`	`define i32 @main() {`
`5`		`- ret i32 0`
	`5`	`+ ret i32 0`
`6`	`6`	`}`
Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,5 @@`
`1`	`1`	`; register_test.ll`
`2`	`2`	`define i32 @main() {`
`3`		`- %local_variable = add i32 1, 2`
`4`		`- ret i32 %local_variable`
	`3`	`+ %local_variable = add i32 1, 2`
	`4`	`+ ret i32 %local_variable`
`5`	`5`	`}`
Original file line number	Diff line number	Diff line change
`@@ -4,10 +4,10 @@ target triple = "x86_64-apple-macosx10.15.0"`
`4`	`4`
`5`	`5`	`%ReturnType = type { i32, i32 }`
`6`	`6`	`define %ReturnType @foo(i32 %a1, i32 %a2, i32 %a3, i32 %a4, i32 %a5, i32 %a6, i32 %a7, i32 %a8) {`
`7`		`- ret %ReturnType { i32 1, i32 2 }`
	`7`	`+ ret %ReturnType { i32 1, i32 2 }`
`8`	`8`	`}`
`9`	`9`
`10`	`10`	`define i32 @main() {`
`11`		`- %1 = call %ReturnType @foo(i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7, i32 8)`
`12`		`- ret i32 0`
	`11`	`+ %1 = call %ReturnType @foo(i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7, i32 8)`
	`12`	`+ ret i32 0`
`13`	`13`	`}`