mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-11-25 12:12:47 +01:00
839dc2d28e
This patch adds support for WebAssembly globals in LLVM IR, representing them as pointers to global values, in a non-default, non-integral address space. Instruction selection legalizes loads and stores to these pointers to new WebAssemblyISD nodes GLOBAL_GET and GLOBAL_SET. Once the lowering creates the new nodes, tablegen pattern matches those and converts them to Wasm global.get/set of the appropriate type. Based on work by Paulo Matos in https://reviews.llvm.org/D95425. Reviewed By: pmatos Differential Revision: https://reviews.llvm.org/D101608
40 lines
1.6 KiB
TableGen
40 lines
1.6 KiB
TableGen
// WebAssemblyInstrRef.td - WebAssembly reference type codegen --*- tablegen -*-
|
|
//
|
|
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
|
|
// See https://llvm.org/LICENSE.txt for license information.
|
|
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
///
|
|
/// \file
|
|
/// WebAssembly reference type operand codegen constructs.
|
|
///
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
multiclass REF_I<WebAssemblyRegClass rc, ValueType vt> {
|
|
defm REF_NULL_#rc : I<(outs rc:$res), (ins HeapType:$heaptype),
|
|
(outs), (ins HeapType:$heaptype),
|
|
[],
|
|
"ref.null\t$res, $heaptype",
|
|
"ref.null\t$heaptype",
|
|
0xd0>,
|
|
Requires<[HasReferenceTypes]>;
|
|
defm SELECT_#rc: I<(outs rc:$dst), (ins rc:$lhs, rc:$rhs, I32:$cond),
|
|
(outs), (ins),
|
|
[(set rc:$dst,
|
|
(select I32:$cond, rc:$lhs, rc:$rhs))],
|
|
vt#".select\t$dst, $lhs, $rhs, $cond",
|
|
vt#".select", 0x1b>,
|
|
Requires<[HasReferenceTypes]>;
|
|
}
|
|
|
|
defm "" : REF_I<FUNCREF, funcref>;
|
|
defm "" : REF_I<EXTERNREF, externref>;
|
|
|
|
foreach rc = [FUNCREF, EXTERNREF] in {
|
|
def : Pat<(select (i32 (setne I32:$cond, 0)), rc:$lhs, rc:$rhs),
|
|
(!cast<Instruction>("SELECT_"#rc) rc:$lhs, rc:$rhs, I32:$cond)>;
|
|
def : Pat<(select (i32 (seteq I32:$cond, 0)), rc:$lhs, rc:$rhs),
|
|
(!cast<Instruction>("SELECT_"#rc) rc:$rhs, rc:$lhs, I32:$cond)>;
|
|
}
|