Lines Matching refs:Instruction
56 if (_item.instruction() == Instruction::GAS || _item.instruction() == Instruction::PC) in breaksCSEAnalysisBlock()
58 if (_item.instruction() == Instruction::MSIZE) in breaksCSEAnalysisBlock()
61 if (_item.instruction() == Instruction::SSTORE) in breaksCSEAnalysisBlock()
63 if (_item.instruction() == Instruction::MSTORE) in breaksCSEAnalysisBlock()
66 _item.instruction() == Instruction::MLOAD || in breaksCSEAnalysisBlock()
67 _item.instruction() == Instruction::KECCAK256 in breaksCSEAnalysisBlock()
86 case Instruction::ADD: in isCommutativeOperation()
87 case Instruction::MUL: in isCommutativeOperation()
88 case Instruction::EQ: in isCommutativeOperation()
89 case Instruction::AND: in isCommutativeOperation()
90 case Instruction::OR: in isCommutativeOperation()
91 case Instruction::XOR: in isCommutativeOperation()
114 return _item == Instruction::JUMP || _item == Instruction::JUMPI; in isJumpInstruction()
125 case Instruction::JUMP: in altersControlFlow()
126 case Instruction::JUMPI: in altersControlFlow()
127 case Instruction::RETURN: in altersControlFlow()
128 case Instruction::SELFDESTRUCT: in altersControlFlow()
129 case Instruction::STOP: in altersControlFlow()
130 case Instruction::INVALID: in altersControlFlow()
131 case Instruction::REVERT: in altersControlFlow()
138 bool SemanticInformation::terminatesControlFlow(Instruction _instruction) in terminatesControlFlow()
142 case Instruction::RETURN: in terminatesControlFlow()
143 case Instruction::SELFDESTRUCT: in terminatesControlFlow()
144 case Instruction::STOP: in terminatesControlFlow()
145 case Instruction::INVALID: in terminatesControlFlow()
146 case Instruction::REVERT: in terminatesControlFlow()
153 bool SemanticInformation::reverts(Instruction _instruction) in reverts()
157 case Instruction::INVALID: in reverts()
158 case Instruction::REVERT: in reverts()
174 case Instruction::CALL: in isDeterministic()
175 case Instruction::CALLCODE: in isDeterministic()
176 case Instruction::DELEGATECALL: in isDeterministic()
177 case Instruction::STATICCALL: in isDeterministic()
178 case Instruction::CREATE: in isDeterministic()
179 case Instruction::CREATE2: in isDeterministic()
180 case Instruction::GAS: in isDeterministic()
181 case Instruction::PC: in isDeterministic()
182 case Instruction::MSIZE: // depends on previous writes and reads, not only on content in isDeterministic()
183 case Instruction::BALANCE: // depends on previous calls in isDeterministic()
184 case Instruction::SELFBALANCE: // depends on previous calls in isDeterministic()
185 case Instruction::EXTCODESIZE: in isDeterministic()
186 case Instruction::EXTCODEHASH: in isDeterministic()
187 case Instruction::RETURNDATACOPY: // depends on previous calls in isDeterministic()
188 case Instruction::RETURNDATASIZE: in isDeterministic()
195 bool SemanticInformation::movable(Instruction _instruction) in movable()
205 case Instruction::KECCAK256: in movable()
206 case Instruction::BALANCE: in movable()
207 case Instruction::SELFBALANCE: in movable()
208 case Instruction::EXTCODESIZE: in movable()
209 case Instruction::EXTCODEHASH: in movable()
210 case Instruction::RETURNDATASIZE: in movable()
211 case Instruction::SLOAD: in movable()
212 case Instruction::PC: in movable()
213 case Instruction::MSIZE: in movable()
214 case Instruction::GAS: in movable()
222 bool SemanticInformation::canBeRemoved(Instruction _instruction) in canBeRemoved()
230 bool SemanticInformation::canBeRemovedIfNoMSize(Instruction _instruction) in canBeRemovedIfNoMSize()
232 if (_instruction == Instruction::KECCAK256 || _instruction == Instruction::MLOAD) in canBeRemovedIfNoMSize()
238 SemanticInformation::Effect SemanticInformation::memory(Instruction _instruction) in memory()
242 case Instruction::CALLDATACOPY: in memory()
243 case Instruction::CODECOPY: in memory()
244 case Instruction::EXTCODECOPY: in memory()
245 case Instruction::RETURNDATACOPY: in memory()
246 case Instruction::MSTORE: in memory()
247 case Instruction::MSTORE8: in memory()
248 case Instruction::CALL: in memory()
249 case Instruction::CALLCODE: in memory()
250 case Instruction::DELEGATECALL: in memory()
251 case Instruction::STATICCALL: in memory()
254 case Instruction::CREATE: in memory()
255 case Instruction::CREATE2: in memory()
256 case Instruction::KECCAK256: in memory()
257 case Instruction::MLOAD: in memory()
258 case Instruction::MSIZE: in memory()
259 case Instruction::RETURN: in memory()
260 case Instruction::REVERT: in memory()
261 case Instruction::LOG0: in memory()
262 case Instruction::LOG1: in memory()
263 case Instruction::LOG2: in memory()
264 case Instruction::LOG3: in memory()
265 case Instruction::LOG4: in memory()
273 bool SemanticInformation::movableApartFromEffects(Instruction _instruction) in movableApartFromEffects()
277 case Instruction::EXTCODEHASH: in movableApartFromEffects()
278 case Instruction::EXTCODESIZE: in movableApartFromEffects()
279 case Instruction::RETURNDATASIZE: in movableApartFromEffects()
280 case Instruction::BALANCE: in movableApartFromEffects()
281 case Instruction::SELFBALANCE: in movableApartFromEffects()
282 case Instruction::SLOAD: in movableApartFromEffects()
283 case Instruction::KECCAK256: in movableApartFromEffects()
284 case Instruction::MLOAD: in movableApartFromEffects()
292 SemanticInformation::Effect SemanticInformation::storage(Instruction _instruction) in storage()
296 case Instruction::CALL: in storage()
297 case Instruction::CALLCODE: in storage()
298 case Instruction::DELEGATECALL: in storage()
299 case Instruction::CREATE: in storage()
300 case Instruction::CREATE2: in storage()
301 case Instruction::SSTORE: in storage()
304 case Instruction::SLOAD: in storage()
305 case Instruction::STATICCALL: in storage()
313 SemanticInformation::Effect SemanticInformation::otherState(Instruction _instruction) in otherState()
317 case Instruction::CALL: in otherState()
318 case Instruction::CALLCODE: in otherState()
319 case Instruction::DELEGATECALL: in otherState()
320 case Instruction::CREATE: in otherState()
321 case Instruction::CREATE2: in otherState()
322 case Instruction::SELFDESTRUCT: in otherState()
323 case Instruction::STATICCALL: // because it can affect returndatasize in otherState()
328 case Instruction::EXTCODESIZE: in otherState()
329 case Instruction::EXTCODEHASH: in otherState()
330 case Instruction::RETURNDATASIZE: in otherState()
331 case Instruction::BALANCE: in otherState()
332 case Instruction::SELFBALANCE: in otherState()
333 case Instruction::RETURNDATACOPY: in otherState()
334 case Instruction::EXTCODECOPY: in otherState()
344 bool SemanticInformation::invalidInPureFunctions(Instruction _instruction) in invalidInPureFunctions()
348 case Instruction::ADDRESS: in invalidInPureFunctions()
349 case Instruction::SELFBALANCE: in invalidInPureFunctions()
350 case Instruction::BALANCE: in invalidInPureFunctions()
351 case Instruction::ORIGIN: in invalidInPureFunctions()
352 case Instruction::CALLER: in invalidInPureFunctions()
353 case Instruction::CALLVALUE: in invalidInPureFunctions()
354 case Instruction::CHAINID: in invalidInPureFunctions()
355 case Instruction::BASEFEE: in invalidInPureFunctions()
356 case Instruction::GAS: in invalidInPureFunctions()
357 case Instruction::GASPRICE: in invalidInPureFunctions()
358 case Instruction::EXTCODESIZE: in invalidInPureFunctions()
359 case Instruction::EXTCODECOPY: in invalidInPureFunctions()
360 case Instruction::EXTCODEHASH: in invalidInPureFunctions()
361 case Instruction::BLOCKHASH: in invalidInPureFunctions()
362 case Instruction::COINBASE: in invalidInPureFunctions()
363 case Instruction::TIMESTAMP: in invalidInPureFunctions()
364 case Instruction::NUMBER: in invalidInPureFunctions()
365 case Instruction::DIFFICULTY: in invalidInPureFunctions()
366 case Instruction::GASLIMIT: in invalidInPureFunctions()
367 case Instruction::STATICCALL: in invalidInPureFunctions()
368 case Instruction::SLOAD: in invalidInPureFunctions()
376 bool SemanticInformation::invalidInViewFunctions(Instruction _instruction) in invalidInViewFunctions()
380 case Instruction::SSTORE: in invalidInViewFunctions()
381 case Instruction::JUMP: in invalidInViewFunctions()
382 case Instruction::JUMPI: in invalidInViewFunctions()
383 case Instruction::LOG0: in invalidInViewFunctions()
384 case Instruction::LOG1: in invalidInViewFunctions()
385 case Instruction::LOG2: in invalidInViewFunctions()
386 case Instruction::LOG3: in invalidInViewFunctions()
387 case Instruction::LOG4: in invalidInViewFunctions()
388 case Instruction::CREATE: in invalidInViewFunctions()
389 case Instruction::CALL: in invalidInViewFunctions()
390 case Instruction::CALLCODE: in invalidInViewFunctions()
391 case Instruction::DELEGATECALL: in invalidInViewFunctions()
392 case Instruction::CREATE2: in invalidInViewFunctions()
393 case Instruction::SELFDESTRUCT: in invalidInViewFunctions()