Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly
Appearance settings

Expand file tree

/

transfer-function.h

Copy path
More file actions
More file actions

Latest commit

 

History

History
History
56 lines (43 loc) · 1.69 KB
/

transfer-function.h

Copy path

File metadata and controls

56 lines (43 loc) · 1.69 KB
Raw
Copy raw file
Download raw file
Open symbols panel
Edit and raw actions
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
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
/*
* Copyright 2023 WebAssembly Community Group participants
*
* Licensed under the Apache License, Version 2.0 (the "License");
* you may not use this file except in compliance with the License.
* You may obtain a copy of the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing, software
* distributed under the License is distributed on an "AS IS" BASIS,
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
* See the License for the specific language governing permissions and
* limitations under the License.
*/
#ifndef wasm_analysis_transfer_function_h
#define wasm_analysis_transfer_function_h
#if __cplusplus >= 202002L
#include <concepts>
#include <iterator>
#include <ranges>
#include "cfg.h"
#include "lattice.h"
#include "support/unique_deferring_queue.h"
namespace wasm::analysis {
template<typename T>
concept BasicBlockInputRange =
std::ranges::input_range<T> &&
std::is_same<std::ranges::range_value_t<T>, const BasicBlock*>::value;
template<typename TxFn, typename L>
concept TransferFunctionImpl = requires(
TxFn& txfn, const CFG& cfg, const BasicBlock& bb, typename L::Element& elem) {
// Apply the transfer function to update a lattice element with information
// from a basic block. Return an object that can be iterated over to get the
// basic blocks that may need to be re-analyzed.
{ txfn.transfer(bb, elem) } noexcept -> BasicBlockInputRange;
};
#define TransferFunction TransferFunctionImpl<L>
} // namespace wasm::analysis
#else // __cplusplus >= 202002L
#define TransferFunction typename
#endif // __cplusplus >= 202002L
#endif // wasm_analysis_transfer_function_h
Morty Proxy This is a proxified and sanitized view of the page, visit original site.