Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/AliveToolkit/alive2
/ functions
Functions
1,932 in github.com/AliveToolkit/alive2
⨍
Functions
1,932
◇
Types & classes
351
↓ 3 callers
Method
getExecPath
(self)
tests/lit/lit/Test.py:309
↓ 3 callers
Method
getFalseValue
ir/instr.h:389
↓ 3 callers
Method
getMaxGEPOffset
ir/instr.cpp:3947
↓ 3 callers
Method
getMissingRequiredFeatures
getMissingRequiredFeatures() -> list of strings Returns a list of features from REQUIRES that are not satisfied." Throws Val
tests/lit/lit/Test.py:383
↓ 3 callers
Method
getPhysicalAddress
ir/pointer.cpp:319
↓ 3 callers
Method
getReturnedInput
ir/function.h:180
↓ 3 callers
Function
getTestSuite
getTestSuite(item, litConfig, cache) -> (suite, relative_path) Find the test suite containing @arg item. @retval (None, ...) - Indicates no
tests/lit/lit/discovery.py:28
↓ 3 callers
Method
getTrueValue
ir/instr.h:388
↓ 3 callers
Method
getTypings
tools/transform.cpp:1523
↓ 3 callers
Function
get_comments
()
web/index.php:193
↓ 3 callers
Method
hasNoUnsignedWrap
ir/instr.h:888
↓ 3 callers
Method
hasSingleTyping
tools/transform.h:47
↓ 3 callers
Method
hash
ir/function.cpp:133
↓ 3 callers
Function
html_header
($title)
web/include.php:12
↓ 3 callers
Method
implies
ir/functions.cpp:10
↓ 3 callers
Method
inbounds
ir/pointer.cpp:445
↓ 3 callers
Function
initialize
Copy data shared by all test executions into worker processes
tests/lit/lit/worker.py:22
↓ 3 callers
Method
isAlloc
ir/attrs.h:160
↓ 3 callers
Method
isAppOf
smt/expr.cpp:179
↓ 3 callers
Method
isBlockAlive
ir/pointer.cpp:745
↓ 3 callers
Method
isConstArray
smt/expr.cpp:555
↓ 3 callers
Method
isEq
smt/expr.cpp:473
↓ 3 callers
Method
isInbounds
ir/pointer.cpp:436
↓ 3 callers
Method
isInt
ir/type.cpp:59
↓ 3 callers
Function
isNoOp
ir/instr.cpp:5135
↓ 3 callers
Method
isStackAllocated
ir/pointer.cpp:760
↓ 3 callers
Method
isStructType
tools/alive_parser.cpp:153
↓ 3 callers
Method
isUnsound
util/errors.cpp:45
↓ 3 callers
Function
isfpclass
ir/attrs.cpp:557
↓ 3 callers
Method
load_from_path
load_from_path(path, litConfig) Load the configuration module at the provided path into the given config object.
tests/lit/lit/TestingConfig.py:117
↓ 3 callers
Function
max_program_nonlocal_bid
ir/memory.cpp:905
↓ 3 callers
Method
merge
ir/value.cpp:281
↓ 3 callers
Method
nonptrNonpoison
ir/memory.cpp:327
↓ 3 callers
Function
openInputFile
adapted from llvm-dis.cpp
llvm_util/utils.cpp:530
↓ 3 callers
Function
padding_logical
ir/pointer.cpp:27
↓ 3 callers
Function
padding_ptr_byte
ir/memory.cpp:157
↓ 3 callers
Function
parse_number
tools/alive_parser.cpp:282
↓ 3 callers
Function
prepend_if
ir/pointer.cpp:39
↓ 3 callers
Method
printDot
ir/function.cpp:989
↓ 3 callers
Method
printWarnings
util/errors.cpp:60
↓ 3 callers
Method
ptr
ir/memory.cpp:305
↓ 3 callers
Method
ptrByteoffset
ir/memory.cpp:317
↓ 3 callers
Method
ptrValue
ir/memory.cpp:309
↓ 3 callers
Method
remove
ir/fast_math.cpp:97
↓ 3 callers
Method
removeValue
ir/instr.cpp:3073
↓ 3 callers
Method
sadd_sat
smt/expr.cpp:805
↓ 3 callers
Method
seconds
util/stopwatch.cpp:27
↓ 3 callers
Method
setFullAccess
ir/attrs.cpp:222
↓ 3 callers
Method
setName
ir/value.h:29
↓ 3 callers
Method
setResult
(self, result)
tests/lit/lit/Test.py:275
↓ 3 callers
Function
set_outs
llvm_util/utils.cpp:513
↓ 3 callers
Method
sgt
smt/expr.cpp:1784
↓ 3 callers
Function
show_help
tools/alive.cpp:21
↓ 3 callers
Method
sinkDomain
ir/state.cpp:1419
↓ 3 callers
Function
smul_fix_helper
* FIXME: the fixed point functions are allowed to round towards zero * or towards negative, but this (and its unsigned friend) only * implements the
smt/expr.cpp:974
↓ 3 callers
Function
start_logging
smt/smt.cpp:77
↓ 3 callers
Method
store
ir/memory.cpp:1227
↓ 3 callers
Method
sub_no_soverflow
smt/expr.cpp:887
↓ 3 callers
Method
sub_no_uoverflow
smt/expr.cpp:893
↓ 3 callers
Function
throw_oom_exception
ir/state.cpp:18
↓ 3 callers
Method
toInt
ir/type.cpp:244
↓ 3 callers
Function
total_bits_logical
ir/pointer.cpp:19
↓ 3 callers
Function
total_bits_physical
ir/pointer.cpp:23
↓ 3 callers
Function
tryParseEnd
(ln)
tests/lit/lit/TestRunner.py:1679
↓ 3 callers
Method
umin
smt/expr.cpp:1123
↓ 3 callers
Function
unwrapModule
Extracting Module out of IR unit. Excerpted from LLVM's StandardInstrumentation.cpp
tv/tv.cpp:459
↓ 3 callers
Function
verify
llvm_util/compare.cpp:42
↓ 3 callers
Method
writeDot
ir/function.cpp:923
↓ 2 callers
Method
BV2float
smt/expr.cpp:2016
↓ 2 callers
Method
__init__
(self, message)
tests/lit/lit/TestRunner.py:46
↓ 2 callers
Method
_execute
(self, deadline)
tests/lit/lit/run.py:65
↓ 2 callers
Method
_handleSubst
A parser for DEFINE and REDEFINE type keywords
tests/lit/lit/TestRunner.py:2006
↓ 2 callers
Function
_int
(arg, kind, pred)
tests/lit/lit/cl_arguments.py:350
↓ 2 callers
Method
_kill
This method may be called multiple times as we might get unlucky and be in the middle of creating a new process in _executeShCmd()
tests/lit/lit/TestRunner.py:164
↓ 2 callers
Method
_parse_body
If no more line continuations are required, parse all the directive's accumulated lines in order to identify the substitution's name
tests/lit/lit/TestRunner.py:1543
↓ 2 callers
Method
_substituteLineNumbers
(line_number, line)
tests/lit/lit/TestRunner.py:1930
↓ 2 callers
Method
addAggregate
ir/function.cpp:283
↓ 2 callers
Method
addFnDecl
ir/function.cpp:371
↓ 2 callers
Method
addFnQuantVar
ir/state.cpp:1357
↓ 2 callers
Method
addNoUSOverflow
ir/pointer.cpp:382
↓ 2 callers
Method
addTarget
ir/instr.cpp:3284
↓ 2 callers
Method
add_continuation
(self, line_number, keyword, line)
tests/lit/lit/TestRunner.py:1528
↓ 2 callers
Method
add_disj
smt/exprs.h:84
↓ 2 callers
Function
agg_str
ir/value.cpp:132
↓ 2 callers
Function
always_noread
bid: nonlocal block id
ir/memory.cpp:101
↓ 2 callers
Method
appendIf
smt/solver.cpp:233
↓ 2 callers
Function
at_least_same_offseting
ir/pointer.cpp:774
↓ 2 callers
Function
attr_str
ir/value.cpp:185
↓ 2 callers
Method
bitsPointers
ir/function.h:184
↓ 2 callers
Method
boolNonptrNonpoison
ir/memory.cpp:337
↓ 2 callers
Method
canAccessAnything
ir/attrs.cpp:186
↓ 2 callers
Method
canReadAnything
ir/attrs.cpp:190
↓ 2 callers
Method
canWrite
ir/attrs.cpp:166
↓ 2 callers
Function
can_remove_init
tools/transform.cpp:1550
↓ 2 callers
Method
cancel
(self)
tests/lit/lit/TestRunner.py:120
↓ 2 callers
Method
change_dir
(self, newdir)
tests/lit/lit/TestRunner.py:95
↓ 2 callers
Function
check_refinement
tools/transform.cpp:511
↓ 2 callers
Function
check_return_value
ir/instr.cpp:2548
↓ 2 callers
Function
compareTwoFiles
(flags, filepaths)
tests/lit/lit/builtin_commands/diff.py:38
↓ 2 callers
Function
compareTwoTextFiles
(flags, filepaths, filelines_bin, encoding)
tests/lit/lit/builtin_commands/diff.py:93
← previous
next →
401–500 of 1,932, ranked by callers