Instrumented local variables and implemented runtime.

tests_lit/asan_tests/alignment.ll

Index: tests_lit/asan_tests/alignment.ll
diff --git a/tests_lit/asan_tests/alignment.ll b/tests_lit/asan_tests/alignment.ll
new file mode 100644
index 0000000000000000000000000000000000000000..4e806364998905f00399066cffc9dc85796011d6
--- /dev/null
+++ b/tests_lit/asan_tests/alignment.ll
@@ -0,0 +1,42 @@
+; Translate with -fsanitize-address -O2 to test alignment
+
+; RUN: %if --need=target_X8632,no_allow_minimal --command %p2i --filetype=obj \
+; RUN:     --disassemble --target x8632 -i %s --args -O2 \
+; RUN:     -allow-externally-defined-symbols -fsanitize-address | %if \
+; RUN:     --need=target_X8632,no_allow_minimal --command FileCheck %s
+
+define internal i32 @func(i32 %arg1, i32 %arg2) {
+  %l1 = alloca i8, i32 4, align 4
+  %l2 = alloca i8, i32 5, align 1
+  ret i32 42
+}
+
+; CHECK: func
+; CHECK-NEXT: sub    esp,0xbc
+; CHECK-NEXT: lea    eax,[esp+0x10]
+; CHECK-NEXT: mov    DWORD PTR [esp],eax
+; CHECK-NEXT: mov    DWORD PTR [esp+0x4],0x20
+; CHECK-NEXT: __asan_poison
+; CHECK-NEXT: lea    eax,[esp+0x74]
+; CHECK-NEXT: mov    DWORD PTR [esp],eax
+; CHECK-NEXT: mov    DWORD PTR [esp+0x4],0x3c
+; CHECK-NEXT: __asan_poison
+; CHECK-NEXT: lea    eax,[esp+0x35]
+; CHECK-NEXT: mov    DWORD PTR [esp],eax
+; CHECK-NEXT: mov    DWORD PTR [esp+0x4],0x3b
+; CHECK-NEXT: __asan_poison
+; CHECK-NEXT: lea    eax,[esp+0x74]
+; CHECK-NEXT: mov    DWORD PTR [esp],eax
+; CHECK-NEXT: mov    DWORD PTR [esp+0x4],0x3c
+; CHECK-NEXT: __asan_unpoison
+; CHECK-NEXT: lea    eax,[esp+0x35]
+; CHECK-NEXT: mov    DWORD PTR [esp],eax
+; CHECK-NEXT: mov    DWORD PTR [esp+0x4],0x3b
+; CHECK-NEXT: __asan_unpoison
+; CHECK-NEXT: lea    eax,[esp+0x10]
+; CHECK-NEXT: mov    DWORD PTR [esp],eax
+; CHECK-NEXT: mov    DWORD PTR [esp+0x4],0x20
+; CHECK-NEXT: __asan_unpoison
+; CHECK-NEXT: mov    eax,0x2a
+; CHECK-NEXT: add    esp,0xbc
+; CHECK-NEXT: ret