MCPcopy Create free account

hub / github.com/AliveToolkit/alive2 / functions

Functions1,932 in github.com/AliveToolkit/alive2

↓ 3 callersMethodgetExecPath
(self)
tests/lit/lit/Test.py:309
↓ 3 callersMethodgetFalseValue
ir/instr.h:389
↓ 3 callersMethodgetMaxGEPOffset
ir/instr.cpp:3947
↓ 3 callersMethodgetMissingRequiredFeatures
getMissingRequiredFeatures() -> list of strings Returns a list of features from REQUIRES that are not satisfied." Throws Val
tests/lit/lit/Test.py:383
↓ 3 callersMethodgetPhysicalAddress
ir/pointer.cpp:319
↓ 3 callersMethodgetReturnedInput
ir/function.h:180
↓ 3 callersFunctiongetTestSuite
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 callersMethodgetTrueValue
ir/instr.h:388
↓ 3 callersMethodgetTypings
tools/transform.cpp:1523
↓ 3 callersFunctionget_comments
()
web/index.php:193
↓ 3 callersMethodhasNoUnsignedWrap
ir/instr.h:888
↓ 3 callersMethodhasSingleTyping
tools/transform.h:47
↓ 3 callersMethodhash
ir/function.cpp:133
↓ 3 callersFunctionhtml_header
($title)
web/include.php:12
↓ 3 callersMethodimplies
ir/functions.cpp:10
↓ 3 callersMethodinbounds
ir/pointer.cpp:445
↓ 3 callersFunctioninitialize
Copy data shared by all test executions into worker processes
tests/lit/lit/worker.py:22
↓ 3 callersMethodisAlloc
ir/attrs.h:160
↓ 3 callersMethodisAppOf
smt/expr.cpp:179
↓ 3 callersMethodisBlockAlive
ir/pointer.cpp:745
↓ 3 callersMethodisConstArray
smt/expr.cpp:555
↓ 3 callersMethodisEq
smt/expr.cpp:473
↓ 3 callersMethodisInbounds
ir/pointer.cpp:436
↓ 3 callersMethodisInt
ir/type.cpp:59
↓ 3 callersFunctionisNoOp
ir/instr.cpp:5135
↓ 3 callersMethodisStackAllocated
ir/pointer.cpp:760
↓ 3 callersMethodisStructType
tools/alive_parser.cpp:153
↓ 3 callersMethodisUnsound
util/errors.cpp:45
↓ 3 callersFunctionisfpclass
ir/attrs.cpp:557
↓ 3 callersMethodload_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 callersFunctionmax_program_nonlocal_bid
ir/memory.cpp:905
↓ 3 callersMethodmerge
ir/value.cpp:281
↓ 3 callersMethodnonptrNonpoison
ir/memory.cpp:327
↓ 3 callersFunctionopenInputFile
adapted from llvm-dis.cpp
llvm_util/utils.cpp:530
↓ 3 callersFunctionpadding_logical
ir/pointer.cpp:27
↓ 3 callersFunctionpadding_ptr_byte
ir/memory.cpp:157
↓ 3 callersFunctionparse_number
tools/alive_parser.cpp:282
↓ 3 callersFunctionprepend_if
ir/pointer.cpp:39
↓ 3 callersMethodprintDot
ir/function.cpp:989
↓ 3 callersMethodprintWarnings
util/errors.cpp:60
↓ 3 callersMethodptr
ir/memory.cpp:305
↓ 3 callersMethodptrByteoffset
ir/memory.cpp:317
↓ 3 callersMethodptrValue
ir/memory.cpp:309
↓ 3 callersMethodremove
ir/fast_math.cpp:97
↓ 3 callersMethodremoveValue
ir/instr.cpp:3073
↓ 3 callersMethodsadd_sat
smt/expr.cpp:805
↓ 3 callersMethodseconds
util/stopwatch.cpp:27
↓ 3 callersMethodsetFullAccess
ir/attrs.cpp:222
↓ 3 callersMethodsetName
ir/value.h:29
↓ 3 callersMethodsetResult
(self, result)
tests/lit/lit/Test.py:275
↓ 3 callersFunctionset_outs
llvm_util/utils.cpp:513
↓ 3 callersMethodsgt
smt/expr.cpp:1784
↓ 3 callersFunctionshow_help
tools/alive.cpp:21
↓ 3 callersMethodsinkDomain
ir/state.cpp:1419
↓ 3 callersFunctionsmul_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 callersFunctionstart_logging
smt/smt.cpp:77
↓ 3 callersMethodstore
ir/memory.cpp:1227
↓ 3 callersMethodsub_no_soverflow
smt/expr.cpp:887
↓ 3 callersMethodsub_no_uoverflow
smt/expr.cpp:893
↓ 3 callersFunctionthrow_oom_exception
ir/state.cpp:18
↓ 3 callersMethodtoInt
ir/type.cpp:244
↓ 3 callersFunctiontotal_bits_logical
ir/pointer.cpp:19
↓ 3 callersFunctiontotal_bits_physical
ir/pointer.cpp:23
↓ 3 callersFunctiontryParseEnd
(ln)
tests/lit/lit/TestRunner.py:1679
↓ 3 callersMethodumin
smt/expr.cpp:1123
↓ 3 callersFunctionunwrapModule
Extracting Module out of IR unit. Excerpted from LLVM's StandardInstrumentation.cpp
tv/tv.cpp:459
↓ 3 callersFunctionverify
llvm_util/compare.cpp:42
↓ 3 callersMethodwriteDot
ir/function.cpp:923
↓ 2 callersMethodBV2float
smt/expr.cpp:2016
↓ 2 callersMethod__init__
(self, message)
tests/lit/lit/TestRunner.py:46
↓ 2 callersMethod_execute
(self, deadline)
tests/lit/lit/run.py:65
↓ 2 callersMethod_handleSubst
A parser for DEFINE and REDEFINE type keywords
tests/lit/lit/TestRunner.py:2006
↓ 2 callersFunction_int
(arg, kind, pred)
tests/lit/lit/cl_arguments.py:350
↓ 2 callersMethod_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 callersMethod_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 callersMethod_substituteLineNumbers
(line_number, line)
tests/lit/lit/TestRunner.py:1930
↓ 2 callersMethodaddAggregate
ir/function.cpp:283
↓ 2 callersMethodaddFnDecl
ir/function.cpp:371
↓ 2 callersMethodaddFnQuantVar
ir/state.cpp:1357
↓ 2 callersMethodaddNoUSOverflow
ir/pointer.cpp:382
↓ 2 callersMethodaddTarget
ir/instr.cpp:3284
↓ 2 callersMethodadd_continuation
(self, line_number, keyword, line)
tests/lit/lit/TestRunner.py:1528
↓ 2 callersMethodadd_disj
smt/exprs.h:84
↓ 2 callersFunctionagg_str
ir/value.cpp:132
↓ 2 callersFunctionalways_noread
bid: nonlocal block id
ir/memory.cpp:101
↓ 2 callersMethodappendIf
smt/solver.cpp:233
↓ 2 callersFunctionat_least_same_offseting
ir/pointer.cpp:774
↓ 2 callersFunctionattr_str
ir/value.cpp:185
↓ 2 callersMethodbitsPointers
ir/function.h:184
↓ 2 callersMethodboolNonptrNonpoison
ir/memory.cpp:337
↓ 2 callersMethodcanAccessAnything
ir/attrs.cpp:186
↓ 2 callersMethodcanReadAnything
ir/attrs.cpp:190
↓ 2 callersMethodcanWrite
ir/attrs.cpp:166
↓ 2 callersFunctioncan_remove_init
tools/transform.cpp:1550
↓ 2 callersMethodcancel
(self)
tests/lit/lit/TestRunner.py:120
↓ 2 callersMethodchange_dir
(self, newdir)
tests/lit/lit/TestRunner.py:95
↓ 2 callersFunctioncheck_refinement
tools/transform.cpp:511
↓ 2 callersFunctioncheck_return_value
ir/instr.cpp:2548
↓ 2 callersFunctioncompareTwoFiles
(flags, filepaths)
tests/lit/lit/builtin_commands/diff.py:38
↓ 2 callersFunctioncompareTwoTextFiles
(flags, filepaths, filelines_bin, encoding)
tests/lit/lit/builtin_commands/diff.py:93
← previousnext →401–500 of 1,932, ranked by callers