| Index: tests_lit/llvm2ice_tests/ebp_args.ll
|
| diff --git a/tests_lit/llvm2ice_tests/ebp_args.ll b/tests_lit/llvm2ice_tests/ebp_args.ll
|
| new file mode 100644
|
| index 0000000000000000000000000000000000000000..e7acd5098862fe7d7078068fed0c27d519acb81e
|
| --- /dev/null
|
| +++ b/tests_lit/llvm2ice_tests/ebp_args.ll
|
| @@ -0,0 +1,39 @@
|
| +; This test originally exhibited a bug in ebp-based stack slots. The
|
| +; problem was that during a function call push sequence, the esp
|
| +; adjustment was incorrectly added to the stack/frame offset for
|
| +; ebp-based frames.
|
| +
|
| +; RUN: %llvm2ice -Om1 --target=x8632 --verbose none %s | FileCheck %s
|
| +
|
| +declare i32 @memcpy_helper2(i32 %buf, i32 %buf2, i32 %n);
|
| +
|
| +define i32 @memcpy_helper(i32 %buf, i32 %n) {
|
| +entry:
|
| + %n.arg_trunc = trunc i32 %n to i8
|
| + %buf2 = alloca i8, i32 128, align 4
|
| + %buf2.asint = ptrtoint i8* %buf2 to i32
|
| + %arg_ext = zext i8 %n.arg_trunc to i32
|
| + %call = call i32 @memcpy_helper2(i32 %buf, i32 %buf2.asint, i32 %arg_ext)
|
| + ret i32 %call
|
| +}
|
| +
|
| +; This check sequence is highly specific to the current Om1 lowering
|
| +; and stack slot assignment code, and may need to be relaxed if the
|
| +; lowering code changes.
|
| +
|
| +; CHECK: memcpy_helper:
|
| +; CHECK: push ebp
|
| +; CHECK: mov ebp, esp
|
| +; CHECK: sub esp, 20
|
| +; CHECK: mov eax, dword ptr [ebp+12]
|
| +; CHECK: mov dword ptr [ebp-4], eax
|
| +; CHECK: sub esp, 128
|
| +; CHECK: mov dword ptr [ebp-8], esp
|
| +; CHECK: mov eax, dword ptr [ebp-8]
|
| +; CHECK: mov dword ptr [ebp-12], eax
|
| +; CHECK: movzx eax, byte ptr [ebp-4]
|
| +; CHECK: mov dword ptr [ebp-16], eax
|
| +; CHECK: push dword ptr [ebp-16]
|
| +; CHECK: push dword ptr [ebp-12]
|
| +; CHECK: push dword ptr [ebp+8]
|
| +; CHECK: call memcpy_helper2
|
|
|