replica
/
hanchenye-llvm-project
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

[WebAssembly] Add mem.* intrinsics. 

The grow_memory and current_memory instructions are expected to be
officially renamed to mem.grow and mem.size. Introduce new intrinsics
with the new names. These new names aren't yet official, so for now,
use them at your own risk.

Also, take this opportunity to add arguments for the currently unused
immediate field in those instructions.

llvm-svn: 323222
This commit is contained in:
Dan Gohman 2018-01-23 17:02:02 +00:00
parent 8e2fc4f3f8
commit 5464941a6a
3 changed files with 44 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
llvm/include/llvm/IR/IntrinsicsWebAssembly.td
View File

@ -14,8 +14,20 @@
let TargetPrefix = "wasm" in { // All intrinsics start with "llvm.wasm.".
// Note that current_memory is not IntrNoMem because it must be sequenced with
// respect to grow_memory calls.
// Query the current memory size, and increase the current memory size.
// Note that mem.size is not IntrNoMem because it must be sequenced with
// respect to mem.grow calls.
// These are the new proposed names, which aren't yet official. Use at your own
// risk.
def int_wasm_mem_size : Intrinsic<[llvm_anyint_ty],
[llvm_i32_ty],
[IntrReadMem]>;
def int_wasm_mem_grow : Intrinsic<[llvm_anyint_ty],
[llvm_i32_ty, LLVMMatchType<0>],
[]>;
// These are the existing names, which are currently official, but expected
// to be deprecated in the future. They also lack the immediate field.
def int_wasm_current_memory : Intrinsic<[llvm_anyint_ty], [], [IntrReadMem]>;
def int_wasm_grow_memory : Intrinsic<[llvm_anyint_ty], [LLVMMatchType<0>], []>;

9
llvm/lib/Target/WebAssembly/WebAssemblyInstrMemory.td
View File

@ -523,12 +523,21 @@ def : Pat<(truncstorei32 I64:$val, (WebAssemblywrapper texternalsym:$off)),
let Defs = [ARGUMENTS] in {
// Current memory size.
def MEM_SIZE_I32 : I<(outs I32:$dst), (ins i32imm:$flags),
[(set I32:$dst, (int_wasm_mem_size (i32 imm:$flags)))],
"mem.size\t$dst, $flags", 0x3f>,
Requires<[HasAddr32]>;
def CURRENT_MEMORY_I32 : I<(outs I32:$dst), (ins i32imm:$flags),
[],
"current_memory\t$dst", 0x3f>,
Requires<[HasAddr32]>;
// Grow memory.
def MEM_GROW_I32 : I<(outs I32:$dst), (ins i32imm:$flags, I32:$delta),
[(set I32:$dst,
(int_wasm_mem_grow (i32 imm:$flags), I32:$delta))],
"mem.grow\t$dst, $flags, $delta", 0x3f>,
Requires<[HasAddr32]>;
def GROW_MEMORY_I32 : I<(outs I32:$dst), (ins i32imm:$flags, I32:$delta),
[],
"grow_memory\t$dst, $delta", 0x40>,

21
llvm/test/CodeGen/WebAssembly/memory-addr32.ll
View File

@ -5,9 +5,30 @@
target datalayout = "e-m:e-p:32:32-i64:64-n32:64-S128"
target triple = "wasm32-unknown-unknown-wasm"
declare i32 @llvm.wasm.mem.size.i32(i32) nounwind readonly
declare i32 @llvm.wasm.mem.grow.i32(i32, i32) nounwind
declare i32 @llvm.wasm.current.memory.i32() nounwind readonly
declare i32 @llvm.wasm.grow.memory.i32(i32) nounwind
; CHECK-LABEL: mem_size:
; CHECK-NEXT: .result i32{{$}}
; CHECK-NEXT: mem.size $push0=, 0{{$}}
; CHECK-NEXT: return $pop0{{$}}
define i32 @mem_size() {
%a = call i32 @llvm.wasm.mem.size.i32(i32 0)
ret i32 %a
}
; CHECK-LABEL: mem_grow:
; CHECK-NEXT: .param i32{{$}}
; CHECK-NEXT: .result i32{{$}}
; CHECK: mem.grow $push0=, 0, $0{{$}}
; CHECK-NEXT: return $pop0{{$}}
define i32 @mem_grow(i32 %n) {
%a = call i32 @llvm.wasm.mem.grow.i32(i32 0, i32 %n)
ret i32 %a
}
; CHECK-LABEL: current_memory:
; CHECK-NEXT: .result i32{{$}}
; CHECK-NEXT: current_memory $push0={{$}}