ret void
}
-; CHECK-LABEL: call_indirect_alloca:
-; CHECK-NEXT: .functype call_indirect_alloca () -> ()
-; CHECK: local.tee 0
-; CHECK-NEXT: global.set __stack_pointer
-; CHECK-NEXT: local.get 0
-; CHECK-NEXT: i32.const 12
-; CHECK-NEXT: i32.add
-; REF: call_indirect __indirect_function_table, () -> ()
-; NOREF: call_indirect () -> ()
-define void @call_indirect_alloca() {
-entry:
- %ptr = alloca i32, align 4
- call void %ptr()
- ret void
-}
-
; OBJ: Imports:
; OBJ-NEXT: - Module: env
; OBJ-NEXT: Field: __linear_memory
; OBJ-NEXT: Memory:
; OBJ-NEXT: Minimum: 0x0
; OBJ-NEXT: - Module: env
-; OBJ-NEXT: Field: __stack_pointer
-; OBJ-NEXT: Kind: GLOBAL
-; OBJ-NEXT: GlobalType: I32
-; OBJ-NEXT: GlobalMutable: true
-; OBJ-NEXT: - Module: env
; OBJ-NEXT: Field: __indirect_function_table
; OBJ-NEXT: Kind: TABLE
ret void
}
+; Allocas should be lowered to call_indirects.
+; CHECK-LABEL: call_indirect_alloca:
+; CHECK: local.tee $push{{.*}}=, [[L0:[0-9]+]]
+; CHECK-NEXT: global.set __stack_pointer
+; CHECK-NEXT: local.get $push{{.*}}=, [[L0]]
+; CHECK-NEXT: i32.const $push{{.*}}=, 12
+; CHECK-NEXT: i32.add
+; CHECK-NEXT: call_indirect $pop{{.*}}
+define void @call_indirect_alloca() {
+entry:
+ %ptr = alloca i32, align 4
+ call void %ptr()
+ ret void
+}
+
; TODO: test the following:
; - More argument combinations.
; - Tail call.