From 4f7a650614b3d7f6372e0f30d35b14c0b2eba515 Mon Sep 17 00:00:00 2001
From: Ayke van Laethem <aykevanlaethem@gmail.com>
Date: Sun, 24 Nov 2019 23:41:32 +0100
Subject: [PATCH] interp: add test for icmp inttoptr workaround

---
 interp/interp_test.go            |  1 +
 interp/testdata/consteval.ll     | 27 +++++++++++++++++++++++++++
 interp/testdata/consteval.out.ll |  8 ++++++++
 3 files changed, 36 insertions(+)
 create mode 100644 interp/testdata/consteval.ll
 create mode 100644 interp/testdata/consteval.out.ll

diff --git a/interp/interp_test.go b/interp/interp_test.go
index e83072a6..789181b5 100644
--- a/interp/interp_test.go
+++ b/interp/interp_test.go
@@ -13,6 +13,7 @@ func TestInterp(t *testing.T) {
 	for _, name := range []string{
 		"basic",
 		"slice-copy",
+		"consteval",
 	} {
 		name := name // make tc local to this closure
 		t.Run(name, func(t *testing.T) {
diff --git a/interp/testdata/consteval.ll b/interp/testdata/consteval.ll
new file mode 100644
index 00000000..7b2b1e1c
--- /dev/null
+++ b/interp/testdata/consteval.ll
@@ -0,0 +1,27 @@
+target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
+target triple = "x86_64--linux"
+
+@intToPtrResult = global i8 0
+
+define void @runtime.initAll() {
+  call void @main.init()
+  ret void
+}
+
+define internal void @main.init() {
+  call void @testIntToPtr()
+  ret void
+}
+
+define internal void @testIntToPtr() {
+  %nil = icmp eq i8* inttoptr (i64 1024 to i8*), null
+  br i1 %nil, label %a, label %b
+a:
+  ; should not be reached
+  store i8 1, i8* @intToPtrResult
+  ret void
+b:
+  ; should be reached
+  store i8 2, i8* @intToPtrResult
+  ret void
+}
diff --git a/interp/testdata/consteval.out.ll b/interp/testdata/consteval.out.ll
new file mode 100644
index 00000000..f1fc9155
--- /dev/null
+++ b/interp/testdata/consteval.out.ll
@@ -0,0 +1,8 @@
+target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
+target triple = "x86_64--linux"
+
+@intToPtrResult = local_unnamed_addr global i8 2
+
+define void @runtime.initAll() local_unnamed_addr {
+  ret void
+}