Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/AliveToolkit/alive2
/ getTypeConstraints
Method
getTypeConstraints
ir/instr.cpp:101–104 ·
view source on GitHub ↗
Source
from the content-addressed store, hash-verified
99
namespace IR {
100
101
expr Instr::getTypeConstraints() const {
102
UNREACHABLE();
103
return {};
104
}
105
106
bool Instr::isTerminator() const {
107
return false;
Callers
nothing calls this directly
Calls
15
enforceStructType
Method · 0.80
enforceIntOrVectorType
Method · 0.80
getAsStructType
Method · 0.80
isPadding
Method · 0.80
numElementsExcludingPadding
Method · 0.80
enforceVectorTypeEquiv
Method · 0.80
enforceIntType
Method · 0.80
enforceScalarOrVectorType
Method · 0.80
sizeVar
Method · 0.80
enforceFloatOrVectorType
Method · 0.80
urem
Method · 0.80
enforceVectorType
Method · 0.80
Tested by
no test coverage detected