From 8df1050fcbb2e0aa028a610cb2395e8caf5b3cf0 Mon Sep 17 00:00:00 2001
From: artur-zawlocki <artur.zawlocki@gmail.com>
Date: Thu, 2 Oct 2014 13:35:04 +0200
Subject: [PATCH] - implemented LT, GT - new tests for jumps and comparisons

---
 evmcc/Compiler.cpp      | 20 ++++++++++++++++++++
 evmcc/bytecode/for1.evm |  1 +
 evmcc/bytecode/for2.evm |  1 +
 evmcc/lll/for1.lll      |  3 +++
 evmcc/lll/for2.lll      |  3 +++
 5 files changed, 28 insertions(+)
 create mode 100644 evmcc/bytecode/for1.evm
 create mode 100644 evmcc/bytecode/for2.evm
 create mode 100644 evmcc/lll/for1.lll
 create mode 100644 evmcc/lll/for2.lll

diff --git a/evmcc/Compiler.cpp b/evmcc/Compiler.cpp
index f327f86ed..bb4d65971 100644
--- a/evmcc/Compiler.cpp
+++ b/evmcc/Compiler.cpp
@@ -286,6 +286,26 @@ std::unique_ptr<llvm::Module> Compiler::compile(const dev::bytes& bytecode)
 			break;
 		}
 
+		case Instruction::LT:
+		{
+			auto lhs = stack.pop();
+			auto rhs = stack.pop();
+			auto res1 = builder.CreateICmpULT(lhs, rhs);
+			auto res256 = builder.CreateZExt(res1, Types.word256);
+			stack.push(res256);
+			break;
+		}
+
+		case Instruction::GT:
+		{
+			auto lhs = stack.pop();
+			auto rhs = stack.pop();
+			auto res1 = builder.CreateICmpUGT(lhs, rhs);
+			auto res256 = builder.CreateZExt(res1, Types.word256);
+			stack.push(res256);
+			break;
+		}
+
 		case Instruction::NOT:
 		{
 			auto top = stack.pop();
diff --git a/evmcc/bytecode/for1.evm b/evmcc/bytecode/for1.evm
new file mode 100644
index 000000000..f8e65cbf2
--- /dev/null
+++ b/evmcc/bytecode/for1.evm
@@ -0,0 +1 @@
+600a60805460006080530b0f60255960a0536080530160a054600160805303608054600558
diff --git a/evmcc/bytecode/for2.evm b/evmcc/bytecode/for2.evm
new file mode 100644
index 000000000..628297778
--- /dev/null
+++ b/evmcc/bytecode/for2.evm
@@ -0,0 +1 @@
+6000608054600a6080530a0f60255960a0536080530160a054600160805301608054600558
diff --git a/evmcc/lll/for1.lll b/evmcc/lll/for1.lll
new file mode 100644
index 000000000..419fc9b54
--- /dev/null
+++ b/evmcc/lll/for1.lll
@@ -0,0 +1,3 @@
+(for [i]:10 (> @i 0) [i](- @i 1)
+     [j](+ @i @j)
+)
diff --git a/evmcc/lll/for2.lll b/evmcc/lll/for2.lll
new file mode 100644
index 000000000..de17d65ac
--- /dev/null
+++ b/evmcc/lll/for2.lll
@@ -0,0 +1,3 @@
+(for [i]:0 (< @i 10) [i](+ @i 1)
+     [j](+ @i @j)
+)