hub / github.com/GoSSIP-SJTU/Armariris / InferAllTypes

Method InferAllTypes

utils/TableGen/CodeGenDAGPatterns.cpp:2292–2362 · view source on GitHub ↗

InferAllTypes - Infer/propagate as many types throughout the expression patterns as possible. Return true if all types are inferred, false otherwise. Flags an error if a type contradiction is found.

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

Callers

nothing calls this directly

Calls 15

SimplifyTreeFunction · 0.85

getLeafValueMethod · 0.80

isSubClassOfMethod · 0.80

getNumTypesMethod · 0.80

UpdateNodeTypeMethod · 0.80

ContainsUnresolvedTypeMethod · 0.80

errorFunction · 0.50

stringClass · 0.50

assertFunction · 0.50

emptyMethod · 0.45

ApplyTypeConstraintsMethod · 0.45

countMethod · 0.45

Tested by

no test coverage detected