mirror of
https://github.com/ethereum/go-ethereum.git
synced 2026-07-26 22:56:43 +00:00
MULMOD/ADDMOD implemented in separate functions [FIXES #80566276]
This commit is contained in:
parent
25ccd49acb
commit
cecf567426
3 changed files with 55 additions and 10 deletions
|
|
@ -21,15 +21,20 @@ Arith256::Arith256(llvm::IRBuilder<>& _builder) :
|
||||||
m_result = m_builder.CreateAlloca(Type::i256, nullptr, "arith.result");
|
m_result = m_builder.CreateAlloca(Type::i256, nullptr, "arith.result");
|
||||||
m_arg1 = m_builder.CreateAlloca(Type::i256, nullptr, "arith.arg1");
|
m_arg1 = m_builder.CreateAlloca(Type::i256, nullptr, "arith.arg1");
|
||||||
m_arg2 = m_builder.CreateAlloca(Type::i256, nullptr, "arith.arg2");
|
m_arg2 = m_builder.CreateAlloca(Type::i256, nullptr, "arith.arg2");
|
||||||
|
m_arg3 = m_builder.CreateAlloca(Type::i256, nullptr, "arith.arg3");
|
||||||
|
|
||||||
using Linkage = GlobalValue::LinkageTypes;
|
using Linkage = GlobalValue::LinkageTypes;
|
||||||
|
|
||||||
llvm::Type* argTypes[] = {Type::WordPtr, Type::WordPtr, Type::WordPtr};
|
llvm::Type* arg2Types[] = {Type::WordPtr, Type::WordPtr, Type::WordPtr};
|
||||||
m_mul = Function::Create(FunctionType::get(Type::Void, argTypes, false), Linkage::ExternalLinkage, "arith_mul", getModule());
|
llvm::Type* arg3Types[] = {Type::WordPtr, Type::WordPtr, Type::WordPtr, Type::WordPtr};
|
||||||
m_div = Function::Create(FunctionType::get(Type::Void, argTypes, false), Linkage::ExternalLinkage, "arith_div", getModule());
|
|
||||||
m_mod = Function::Create(FunctionType::get(Type::Void, argTypes, false), Linkage::ExternalLinkage, "arith_mod", getModule());
|
m_mul = Function::Create(FunctionType::get(Type::Void, arg2Types, false), Linkage::ExternalLinkage, "arith_mul", getModule());
|
||||||
m_sdiv = Function::Create(FunctionType::get(Type::Void, argTypes, false), Linkage::ExternalLinkage, "arith_sdiv", getModule());
|
m_div = Function::Create(FunctionType::get(Type::Void, arg2Types, false), Linkage::ExternalLinkage, "arith_div", getModule());
|
||||||
m_smod = Function::Create(FunctionType::get(Type::Void, argTypes, false), Linkage::ExternalLinkage, "arith_smod", getModule());
|
m_mod = Function::Create(FunctionType::get(Type::Void, arg2Types, false), Linkage::ExternalLinkage, "arith_mod", getModule());
|
||||||
|
m_sdiv = Function::Create(FunctionType::get(Type::Void, arg2Types, false), Linkage::ExternalLinkage, "arith_sdiv", getModule());
|
||||||
|
m_smod = Function::Create(FunctionType::get(Type::Void, arg2Types, false), Linkage::ExternalLinkage, "arith_smod", getModule());
|
||||||
|
m_addmod = Function::Create(FunctionType::get(Type::Void, arg3Types, false), Linkage::ExternalLinkage, "arith_addmod", getModule());
|
||||||
|
m_mulmod = Function::Create(FunctionType::get(Type::Void, arg3Types, false), Linkage::ExternalLinkage, "arith_mulmod", getModule());
|
||||||
}
|
}
|
||||||
|
|
||||||
Arith256::~Arith256()
|
Arith256::~Arith256()
|
||||||
|
|
@ -43,6 +48,15 @@ llvm::Value* Arith256::binaryOp(llvm::Function* _op, llvm::Value* _arg1, llvm::V
|
||||||
return m_builder.CreateLoad(m_result);
|
return m_builder.CreateLoad(m_result);
|
||||||
}
|
}
|
||||||
|
|
||||||
|
llvm::Value* Arith256::ternaryOp(llvm::Function* _op, llvm::Value* _arg1, llvm::Value* _arg2, llvm::Value* _arg3)
|
||||||
|
{
|
||||||
|
m_builder.CreateStore(_arg1, m_arg1);
|
||||||
|
m_builder.CreateStore(_arg2, m_arg2);
|
||||||
|
m_builder.CreateStore(_arg3, m_arg3);
|
||||||
|
m_builder.CreateCall4(_op, m_arg1, m_arg2, m_arg3, m_result);
|
||||||
|
return m_builder.CreateLoad(m_result);
|
||||||
|
}
|
||||||
|
|
||||||
llvm::Value* Arith256::mul(llvm::Value* _arg1, llvm::Value* _arg2)
|
llvm::Value* Arith256::mul(llvm::Value* _arg1, llvm::Value* _arg2)
|
||||||
{
|
{
|
||||||
return binaryOp(m_mul, _arg1, _arg2);
|
return binaryOp(m_mul, _arg1, _arg2);
|
||||||
|
|
@ -68,6 +82,17 @@ llvm::Value* Arith256::smod(llvm::Value* _arg1, llvm::Value* _arg2)
|
||||||
return binaryOp(m_smod, _arg1, _arg2);
|
return binaryOp(m_smod, _arg1, _arg2);
|
||||||
}
|
}
|
||||||
|
|
||||||
|
llvm::Value* Arith256::addmod(llvm::Value* _arg1, llvm::Value* _arg2, llvm::Value* _arg3)
|
||||||
|
{
|
||||||
|
return ternaryOp(m_addmod, _arg1, _arg2, _arg3);
|
||||||
|
}
|
||||||
|
|
||||||
|
llvm::Value* Arith256::mulmod(llvm::Value* _arg1, llvm::Value* _arg2, llvm::Value* _arg3)
|
||||||
|
{
|
||||||
|
return ternaryOp(m_mulmod, _arg1, _arg2, _arg3);
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
@ -113,6 +138,22 @@ EXPORT void arith_smod(i256* _arg1, i256* _arg2, i256* _result)
|
||||||
*_result = eth2llvm(arg2 == 0 ? arg2 : dev::s2u(dev::u2s(arg1) % dev::u2s(arg2)));
|
*_result = eth2llvm(arg2 == 0 ? arg2 : dev::s2u(dev::u2s(arg1) % dev::u2s(arg2)));
|
||||||
}
|
}
|
||||||
|
|
||||||
|
EXPORT void arith_mulmod(i256* _arg1, i256* _arg2, i256* _arg3, i256* _result)
|
||||||
|
{
|
||||||
|
dev::u256 arg1 = llvm2eth(*_arg1);
|
||||||
|
dev::u256 arg2 = llvm2eth(*_arg2);
|
||||||
|
dev::u256 arg3 = llvm2eth(*_arg3);
|
||||||
|
*_result = eth2llvm(dev::u256((dev::bigint(arg1) * dev::bigint(arg2)) % arg3));
|
||||||
|
}
|
||||||
|
|
||||||
|
EXPORT void arith_addmod(i256* _arg1, i256* _arg2, i256* _arg3, i256* _result)
|
||||||
|
{
|
||||||
|
dev::u256 arg1 = llvm2eth(*_arg1);
|
||||||
|
dev::u256 arg2 = llvm2eth(*_arg2);
|
||||||
|
dev::u256 arg3 = llvm2eth(*_arg3);
|
||||||
|
*_result = eth2llvm(dev::u256((dev::bigint(arg1) + dev::bigint(arg2)) % arg3));
|
||||||
|
}
|
||||||
|
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
|
|
|
||||||
|
|
@ -20,18 +20,24 @@ public:
|
||||||
llvm::Value* mod(llvm::Value* _arg1, llvm::Value* _arg2);
|
llvm::Value* mod(llvm::Value* _arg1, llvm::Value* _arg2);
|
||||||
llvm::Value* sdiv(llvm::Value* _arg1, llvm::Value* _arg2);
|
llvm::Value* sdiv(llvm::Value* _arg1, llvm::Value* _arg2);
|
||||||
llvm::Value* smod(llvm::Value* _arg1, llvm::Value* _arg2);
|
llvm::Value* smod(llvm::Value* _arg1, llvm::Value* _arg2);
|
||||||
|
llvm::Value* mulmod(llvm::Value* _arg1, llvm::Value* _arg2, llvm::Value* _arg3);
|
||||||
|
llvm::Value* addmod(llvm::Value* _arg1, llvm::Value* _arg2, llvm::Value* _arg3);
|
||||||
|
|
||||||
private:
|
private:
|
||||||
llvm::Value* binaryOp(llvm::Function* _op, llvm::Value* _arg1, llvm::Value* _arg2);
|
llvm::Value* binaryOp(llvm::Function* _op, llvm::Value* _arg1, llvm::Value* _arg2);
|
||||||
|
llvm::Value* ternaryOp(llvm::Function* _op, llvm::Value* _arg1, llvm::Value* _arg2, llvm::Value* _arg3);
|
||||||
|
|
||||||
llvm::Function* m_mul;
|
llvm::Function* m_mul;
|
||||||
llvm::Function* m_div;
|
llvm::Function* m_div;
|
||||||
llvm::Function* m_mod;
|
llvm::Function* m_mod;
|
||||||
llvm::Function* m_sdiv;
|
llvm::Function* m_sdiv;
|
||||||
llvm::Function* m_smod;
|
llvm::Function* m_smod;
|
||||||
|
llvm::Function* m_mulmod;
|
||||||
|
llvm::Function* m_addmod;
|
||||||
|
|
||||||
llvm::Value* m_arg1;
|
llvm::Value* m_arg1;
|
||||||
llvm::Value* m_arg2;
|
llvm::Value* m_arg2;
|
||||||
|
llvm::Value* m_arg3;
|
||||||
llvm::Value* m_result;
|
llvm::Value* m_result;
|
||||||
};
|
};
|
||||||
|
|
||||||
|
|
|
||||||
|
|
@ -488,9 +488,8 @@ void Compiler::compileBasicBlock(BasicBlock& basicBlock, bytesConstRef bytecode,
|
||||||
{
|
{
|
||||||
auto lhs = stack.pop();
|
auto lhs = stack.pop();
|
||||||
auto rhs = stack.pop();
|
auto rhs = stack.pop();
|
||||||
auto sum = m_builder.CreateAdd(lhs, rhs);
|
|
||||||
auto mod = stack.pop();
|
auto mod = stack.pop();
|
||||||
auto res = arith.mod(sum, mod);
|
auto res = arith.addmod(lhs, rhs, mod);
|
||||||
stack.push(res);
|
stack.push(res);
|
||||||
break;
|
break;
|
||||||
}
|
}
|
||||||
|
|
@ -499,9 +498,8 @@ void Compiler::compileBasicBlock(BasicBlock& basicBlock, bytesConstRef bytecode,
|
||||||
{
|
{
|
||||||
auto lhs = stack.pop();
|
auto lhs = stack.pop();
|
||||||
auto rhs = stack.pop();
|
auto rhs = stack.pop();
|
||||||
auto prod = m_builder.CreateMul(lhs, rhs);
|
|
||||||
auto mod = stack.pop();
|
auto mod = stack.pop();
|
||||||
auto res = arith.mod(prod, mod);
|
auto res = arith.mulmod(lhs, rhs, mod);
|
||||||
stack.push(res);
|
stack.push(res);
|
||||||
break;
|
break;
|
||||||
}
|
}
|
||||||
|
|
|
||||||
Loading…
Reference in a new issue