blob: 1ec55ae5bbcb56c0c9a71c6c0c3b3057514b25a1 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
|
; RUN: llc --mtriple=wasm32-unknown-unknown -asm-verbose=false %s -o - | FileCheck --check-prefixes CHECK -DPTR=i32 %s
; RUN: llc --mtriple=wasm64-unknown-unknown -asm-verbose=false %s -o - | FileCheck --check-prefixes CHECK -DPTR=i64 %s
; empty function that does not use stack, to check WebAssemblyMCLowerPrePass
; works correctly.
define hidden void @bar() #0 {
ret void
}
; Function that uses explict stack, and should generate a reference to
; __stack_pointer, along with the corresponding relocation entry.
define hidden void @foo() #0 {
entry:
alloca i32, align 4
ret void
}
; CHECK: .file "stack-ptr-mclower.ll"
; CHECK-NEXT: .globaltype __stack_pointer, [[PTR]]
; CHECK-NEXT: .functype bar () -> ()
; CHECK-NEXT: .functype foo () -> ()
; CHECK-NEXT: .section .text.bar,"",@
; CHECK-NEXT: .hidden bar
; CHECK-NEXT: .globl bar
; CHECK-NEXT: .type bar,@function
; CHECK-NEXT: bar:
; CHECK-NEXT: .functype bar () -> ()
; CHECK-NEXT: end_function
; CHECK: .section .text.foo,"",@
; CHECK-NEXT: .hidden foo
; CHECK-NEXT: .globl foo
; CHECK-NEXT: .type foo,@function
; CHECK-NEXT: foo:
; CHECK-NEXT: .functype foo () -> ()
; CHECK-NEXT: global.get __stack_pointer
; CHECK-NEXT: [[PTR]].const 16
; CHECK-NEXT: [[PTR]].sub
; CHECK-NEXT: drop
; CHECK-NEXT: end_function
|