diff options
| author | Dan Gohman <dan433584@gmail.com> | 2015-11-06 19:45:01 +0000 |
|---|---|---|
| committer | Dan Gohman <dan433584@gmail.com> | 2015-11-06 19:45:01 +0000 |
| commit | 4b96d8d1ff42e5e9427d5f46efab889cfebda279 (patch) | |
| tree | 2876e47368d26cf46f1e4a5d360e107d80a1a7a8 /llvm/test/CodeGen/WebAssembly/call.ll | |
| parent | 55ea67cea7f9fa45fe066c8670804582ad028faa (diff) | |
| download | bcm5719-llvm-4b96d8d1ff42e5e9427d5f46efab889cfebda279.tar.gz bcm5719-llvm-4b96d8d1ff42e5e9427d5f46efab889cfebda279.zip | |
[WebAssembly] Make expression-stack pushing explicit
Modelling of the expression stack is evolving. This patch takes another
step by making pushes explicit.
Differential Revision: http://reviews.llvm.org/D14338
llvm-svn: 252334
Diffstat (limited to 'llvm/test/CodeGen/WebAssembly/call.ll')
| -rw-r--r-- | llvm/test/CodeGen/WebAssembly/call.ll | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/llvm/test/CodeGen/WebAssembly/call.ll b/llvm/test/CodeGen/WebAssembly/call.ll index 8cd53710759..560d93eda1c 100644 --- a/llvm/test/CodeGen/WebAssembly/call.ll +++ b/llvm/test/CodeGen/WebAssembly/call.ll @@ -16,7 +16,7 @@ declare void @void_nullary() ; CHECK-LABEL: call_i32_nullary: ; CHECK-NEXT: .result i32 ; CHECK-NEXT: .local i32 -; CHECK-NEXT: call $i32_nullary +; CHECK-NEXT: call $i32_nullary, push{{$}} ; CHECK-NEXT: set_local 0, pop ; CHECK-NEXT: return (get_local 0) define i32 @call_i32_nullary() { @@ -27,7 +27,7 @@ define i32 @call_i32_nullary() { ; CHECK-LABEL: call_i64_nullary: ; CHECK-NEXT: .result i64 ; CHECK-NEXT: .local i64 -; CHECK-NEXT: call $i64_nullary +; CHECK-NEXT: call $i64_nullary, push{{$}} ; CHECK-NEXT: set_local 0, pop ; CHECK-NEXT: return (get_local 0) define i64 @call_i64_nullary() { @@ -38,7 +38,7 @@ define i64 @call_i64_nullary() { ; CHECK-LABEL: call_float_nullary: ; CHECK-NEXT: .result f32 ; CHECK-NEXT: .local f32 -; CHECK-NEXT: call $float_nullary +; CHECK-NEXT: call $float_nullary, push{{$}} ; CHECK-NEXT: set_local 0, pop ; CHECK-NEXT: return (get_local 0) define float @call_float_nullary() { @@ -49,7 +49,7 @@ define float @call_float_nullary() { ; CHECK-LABEL: call_double_nullary: ; CHECK-NEXT: .result f64 ; CHECK-NEXT: .local f64 -; CHECK-NEXT: call $double_nullary +; CHECK-NEXT: call $double_nullary, push{{$}} ; CHECK-NEXT: set_local 0, pop ; CHECK-NEXT: return (get_local 0) define double @call_double_nullary() { @@ -58,7 +58,7 @@ define double @call_double_nullary() { } ; CHECK-LABEL: call_void_nullary: -; CHECK-NEXT: call $void_nullary +; CHECK-NEXT: call $void_nullary{{$}} ; CHECK-NEXT: return define void @call_void_nullary() { call void @void_nullary() @@ -71,7 +71,7 @@ define void @call_void_nullary() { ; CHECK-NEXT: .local i32, i32 ; CHECK-NEXT: get_local 0 ; CHECK-NEXT: set_local 1, pop -; CHECK-NEXT: call $i32_unary, (get_local 1) +; CHECK-NEXT: call $i32_unary, push, (get_local 1){{$}} ; CHECK-NEXT: set_local 2, pop ; CHECK-NEXT: return (get_local 2) define i32 @call_i32_unary(i32 %a) { @@ -88,7 +88,7 @@ define i32 @call_i32_unary(i32 %a) { ; CHECK-NEXT: set_local 2, pop ; CHECK-NEXT: get_local 0 ; CHECK-NEXT: set_local 3, pop -; CHECK-NEXT: call $i32_binary, (get_local 3), (get_local 2) +; CHECK-NEXT: call $i32_binary, push, (get_local 3), (get_local 2){{$}} ; CHECK-NEXT: set_local 4, pop ; CHECK-NEXT: return (get_local 4) define i32 @call_i32_binary(i32 %a, i32 %b) { @@ -101,7 +101,7 @@ define i32 @call_i32_binary(i32 %a, i32 %b) { ; CHECK-NEXT: .local i32 ; CHECK-NEXT: get_local 0 ; CHECK-NEXT: set_local 1, pop -; CHECK-NEXT: call_indirect (get_local 1) +; CHECK-NEXT: call_indirect (get_local 1){{$}} ; CHECK-NEXT: return define void @call_indirect_void(void ()* %callee) { call void %callee() @@ -114,7 +114,7 @@ define void @call_indirect_void(void ()* %callee) { ; CHECK-NEXT: .local i32, i32 ; CHECK-NEXT: get_local 0 ; CHECK-NEXT: set_local 1, pop -; CHECK-NEXT: call_indirect (get_local 1) +; CHECK-NEXT: call_indirect (get_local 1), push{{$}} ; CHECK-NEXT: set_local 2, pop ; CHECK-NEXT: return (get_local 2) define i32 @call_indirect_i32(i32 ()* %callee) { @@ -123,7 +123,7 @@ define i32 @call_indirect_i32(i32 ()* %callee) { } ; CHECK-LABEL: tail_call_void_nullary: -; CHECK-NEXT: call $void_nullary +; CHECK-NEXT: call $void_nullary{{$}} ; CHECK-NEXT: return{{$}} define void @tail_call_void_nullary() { tail call void @void_nullary() @@ -131,7 +131,7 @@ define void @tail_call_void_nullary() { } ; CHECK-LABEL: fastcc_tail_call_void_nullary: -; CHECK-NEXT: call $void_nullary +; CHECK-NEXT: call $void_nullary{{$}} ; CHECK-NEXT: return{{$}} define void @fastcc_tail_call_void_nullary() { tail call fastcc void @void_nullary() |
