MCPcopy Create free account

hub / github.com/AliveToolkit/alive2 / functions

Functions1,932 in github.com/AliveToolkit/alive2

⨍ Functions 1,932◇ Types & classes 351
↓ 151 callersMethodget
ir/instr.cpp:3762
↓ 143 callersMethodsize
ir/memory.cpp:730
↓ 134 callersMethodend
ir/instr.cpp:3216
↓ 133 callersMethodset
ir/attrs.h:143
↓ 132 callersMethodextract
ir/type.cpp:837
↓ 129 callersMethodadd
ir/attrs.h:158
↓ 108 callersMethodbits
ir/type.cpp:296
↓ 96 callersMethodisTrue
smt/expr.cpp:410
↓ 93 callersMethodgetAsAggregateType
ir/type.cpp:219
↓ 90 callersMethodbegin
ir/function.h:255
↓ 89 callersMethodhas
ir/attrs.h:142
↓ 88 callersMethodisFalse
smt/expr.cpp:415
↓ 61 callersMethodappend
smt/solver.cpp:218
↓ 60 callersFunctionvalue_name
llvm_util/utils.cpp:98
↓ 58 callersMethodadd
smt/exprs.cpp:14
↓ 58 callersMethodaddUB
ir/state.cpp:897
↓ 57 callersMethodzextOrTrunc
ir/state_value.cpp:31
↓ 56 callersMethodimplies
ir/state.cpp:941
↓ 55 callersMethodchoose
tools/quick-fuzz.cpp:105
↓ 52 callersMethodfind
util/unionfind.cpp:22
↓ 51 callersMethodempty
ir/function.h:67
↓ 50 callersMethodnumElementsConst
ir/type.h:284
↓ 49 callersFunctionto_string
Return the parameter as type 'str', possibly encoding it. In Python2, the 'str' type is the same as 'bytes'. In Python3, the 'str' type is (e
tests/lit/lit/util.py:60
↓ 46 callersMethodconcat
ir/state_value.cpp:38
↓ 46 callersMethodevaluate
(string, variables)
tests/lit/lit/BooleanExpression.py:29
↓ 44 callersMethodisConst
smt/expr.cpp:377
↓ 43 callersMethodstr
(value)
tests/lit/lit/TestRunner.py:1834
↓ 42 callersMethodenforceIntType
ir/type.cpp:125
↓ 41 callersMethodaggregateVals
ir/type.cpp:809
↓ 41 callersMethodisUInt
smt/expr.cpp:452
↓ 39 callersMethoduge
smt/expr.cpp:1744
↓ 37 callersMethodat
ir/state.cpp:676
↓ 37 callersMethodempty
tools/alive_parser.cpp:132
↓ 37 callersMethodisValid
ir/state_value.cpp:55
↓ 36 callersMethodaddInstr
ir/function.cpp:43
↓ 36 callersFunctionerror
tools/transform.cpp:115
↓ 36 callersMethodflip
tools/quick-fuzz.cpp:109
↓ 36 callersFunctionfn
tests/clang-tv/skip-globalopt.c:5
↓ 36 callersFunctionget_operand
llvm_util/utils.cpp:279
↓ 32 callersMethodeq
smt/expr.cpp:372
↓ 32 callersMethodsort
smt/expr.cpp:162
↓ 31 callersMethodbits
smt/expr.cpp:447
↓ 31 callersMethodclear
util/errors.cpp:40
↓ 30 callersMethodinstrs
ir/function.h:214
↓ 29 callersMethodsext
smt/expr.cpp:1827
↓ 29 callersMethodult
smt/expr.cpp:1735
↓ 28 callersMethodisLocal
ir/pointer.cpp:195
↓ 27 callersMethodisPtrType
ir/type.cpp:101
↓ 26 callersMethodaddAxiom
ir/state.cpp:887
↓ 26 callersFunctionmkVar
smt/expr.cpp:44
↓ 25 callersMethodaddConstant
ir/function.cpp:246
↓ 25 callersMethodensure
tools/alive_parser.cpp:119
↓ 24 callersMethodempty
smt/exprs.h:53
↓ 24 callersMethodenforceIntOrVectorType
ir/type.cpp:186
↓ 24 callersMethodenforcePtrType
ir/type.cpp:133
↓ 24 callersMethodisValid
smt/expr.h:114
↓ 24 callersMethodule
smt/expr.cpp:1722
↓ 23 callersMethodformat
format() -> str Convert this metric to a string suitable for displaying as part of the console output.
tests/lit/lit/Test.py:62
↓ 23 callersMethodreplace
(self, pattern, replacement)
tests/lit/lit/TestingConfig.py:257
↓ 21 callersMethodaddGuardableUB
ir/state.cpp:914
↓ 21 callersMethodisPadding
ir/type.h:291
↓ 21 callersMethodsize
smt/exprs.h:149
↓ 20 callersMethodextract
smt/expr.cpp:1898
↓ 20 callersMethodgetAddress
ir/pointer.cpp:315
↓ 20 callersMethodgetFullName
(self)
tests/lit/lit/Test.py:298
↓ 20 callersMethodgetOffset
ir/pointer.cpp:250
↓ 20 callersMethodgetShortBid
ir/pointer.cpp:245
↓ 20 callersMethodisNaN
ir/type.cpp:520
↓ 20 callersMethodisSource
whether this is source or target program
ir/state.h:373
↓ 20 callersFunctionparse_fmath
llvm_util/utils.cpp:73
↓ 19 callersMethodconcat
smt/expr.cpp:1862
↓ 18 callersMethodisExtract
smt/expr.cpp:503
↓ 18 callersMethodisZero
smt/expr.cpp:420
↓ 18 callersFunctionsimplify_const
smt/expr.cpp:48
↓ 17 callersMethodconsumeIf
tools/alive_parser.cpp:110
↓ 17 callersMethodisConst
ir/value.h:99
↓ 17 callersMethodisNull
ir/pointer.cpp:935
↓ 17 callersMethodlshr
smt/expr.cpp:938
↓ 17 callersMethodzext
ir/state_value.cpp:20
↓ 16 callersMethodaddPre
ir/state.h:296
↓ 16 callersMethodblockSize
ir/pointer.cpp:323
↓ 16 callersMethodclear
(self, interrupted)
tests/lit/lit/display.py:113
↓ 16 callersMethodeq
ir/memory.h:92
↓ 16 callersMethodgetBid
ir/pointer.cpp:240
↓ 16 callersMethodisBool
smt/expr.cpp:400
↓ 16 callersMethodisDereferenceable
When bytes is 0, pointer is always dereferenceable
ir/pointer.cpp:524
↓ 16 callersMethodisVectorType
ir/type.cpp:113
↓ 16 callersMethodsign
smt/expr.cpp:1994
↓ 16 callersMethodugt
smt/expr.cpp:1748
↓ 15 callersMethodblockAlignment
ir/pointer.cpp:464
↓ 15 callersMethodcheck
ir/attrs.cpp:664
↓ 15 callersMethodisAllOnes
smt/expr.cpp:430
↓ 15 callersMethodisBlockAlive
ir/memory.cpp:929
↓ 15 callersMethodisFPNegative
smt/expr.cpp:1193
↓ 15 callersMethodisNegative
smt/expr.cpp:443
↓ 15 callersMethodisZero
ir/memory.cpp:390
↓ 15 callersFunctionmemory_unused
ir/memory.cpp:1412
↓ 15 callersFunctionparse_comma
tools/alive_parser.cpp:278
↓ 14 callersMethodconcat_zeros
smt/expr.cpp:1894
↓ 14 callersMethodfn_name
smt/expr.cpp:2455
next →1–100 of 1,932, ranked by callers