Index: tests_lit/llvm2ice_tests/alloc.ll |
diff --git a/tests_lit/llvm2ice_tests/alloc.ll b/tests_lit/llvm2ice_tests/alloc.ll |
new file mode 100644 |
index 0000000000000000000000000000000000000000..f7a204005dd7f2a84f69b947f5a5016786230162 |
--- /dev/null |
+++ b/tests_lit/llvm2ice_tests/alloc.ll |
@@ -0,0 +1,35 @@ |
+; RUIN: %llvm2ice --verbose none %s | FileCheck %s |
+; RUIN: %llvm2ice --verbose none %s | FileCheck --check-prefix=ERRORS %s |
+; RUN: %szdiff --llvm2ice=%llvm2ice %s | FileCheck --check-prefix=DUMP %s |
+ |
+define void @fixed_400(i32 %n) { |
+entry: |
+ %array = alloca i8, i32 400, align 16 |
+ %array.asint = ptrtoint i8* %array to i32 |
+ call void @f1(i32 %array.asint) |
+ ret void |
+ ; CHECK: sub esp, 400 |
+ ; CHECK-NEXT: mov eax, esp |
+ ; CHECK-NEXT: push eax |
+ ; CHECK-NEXT: call f1 |
+} |
+ |
+declare void @f1(i32) |
+ |
+define void @variable_n(i32 %n) { |
+entry: |
+ %array = alloca i8, i32 %n, align 16 |
+ %array.asint = ptrtoint i8* %array to i32 |
+ call void @f2(i32 %array.asint) |
+ ret void |
+ ; CHECK: mov eax, dword ptr [ebp+8] |
+ ; CHECK-NEXT: sub esp, eax |
+ ; CHECK-NEXT: mov eax, esp |
+ ; CHECK-NEXT: push eax |
+ ; CHECK-NEXT: call f2 |
+} |
+ |
+declare void @f2(i32) |
+ |
+; ERRORS-NOT: ICE translation error |
+; DUMP-NOT: SZ |