| 82 | } |
| 83 | |
| 84 | void CommonSubexpressionEliminator::optimizeBreakingItem() |
| 85 | { |
| 86 | if (!m_breakingItem) |
| 87 | return; |
| 88 | |
| 89 | ExpressionClasses& classes = m_state.expressionClasses(); |
| 90 | SourceLocation const& itemLocation = m_breakingItem->location(); |
| 91 | langutil::DebugData::ConstPtr debugData{langutil::DebugData::create(itemLocation)}; |
| 92 | if (*m_breakingItem == AssemblyItem(Instruction::JUMPI)) |
| 93 | { |
| 94 | AssemblyItem::JumpType jumpType = m_breakingItem->getJumpType(); |
| 95 | |
| 96 | Id condition = m_state.stackElement(m_state.stackHeight() - 1, debugData); |
| 97 | if (classes.knownNonZero(condition)) |
| 98 | { |
| 99 | feedItem(AssemblyItem(Instruction::SWAP1, debugData), true); |
| 100 | feedItem(AssemblyItem(Instruction::POP, debugData), true); |
| 101 | |
| 102 | AssemblyItem item(Instruction::JUMP, debugData); |
| 103 | item.setJumpType(jumpType); |
| 104 | m_breakingItem = classes.storeItem(item); |
| 105 | } |
| 106 | else if (classes.knownZero(condition)) |
| 107 | { |
| 108 | AssemblyItem it(Instruction::POP, debugData); |
| 109 | feedItem(it, true); |
| 110 | feedItem(it, true); |
| 111 | m_breakingItem = nullptr; |
| 112 | } |
| 113 | } |
| 114 | else if (*m_breakingItem == AssemblyItem(Instruction::RETURN)) |
| 115 | { |
| 116 | Id size = m_state.stackElement(m_state.stackHeight() - 1, debugData); |
| 117 | if (classes.knownZero(size)) |
| 118 | { |
| 119 | feedItem(AssemblyItem(Instruction::POP, debugData), true); |
| 120 | feedItem(AssemblyItem(Instruction::POP, debugData), true); |
| 121 | AssemblyItem item(Instruction::STOP, debugData); |
| 122 | m_breakingItem = classes.storeItem(item); |
| 123 | } |
| 124 | } |
| 125 | } |
| 126 | |
| 127 | CSECodeGenerator::CSECodeGenerator( |
| 128 | ExpressionClasses& _expressionClasses, |
nothing calls this directly
no test coverage detected