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

[Karl, 2016/06/27 17:31:07]

If all RUN commands require a flag, you can use REQUIRES to check each flag.
That is, use:

; REQUIRES: target_X8632, no_allow_minimal

or

; REQUIRES: target_X8632
; REQUIRES: no_allow_minimal

This way, you do not need to add the %if protections, simplifying the
readability of the RUN commands.

Also, is there a reason you are using -O2? In general, tests should be -Om1 so
that they are more stable (i.e. don't get effected by optimizations).

If -O2 is required, because you are expecting an effect by optimization, please
document.

[tlively, 2016/06/27 20:10:29]

Done.

+
+; 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