disasm-test: Add opaque pointer test cases

See #177.
GaloisInc · May 3, 2023 · 882aa84 · 882aa84
1 parent 1441a8f
commit 882aa84
Show file tree

Hide file tree

Showing 8 changed files with 48 additions and 0 deletions.
diff --git a/disasm-test/tests/opaque-atomicrmw.ll b/disasm-test/tests/opaque-atomicrmw.ll
@@ -0,0 +1,4 @@
+define void @atomicrmw(ptr %a, i32 %i) {
+    %b = atomicrmw add ptr %a, i32 %i acquire
+    ret void
+}
diff --git a/disasm-test/tests/opaque-atomicrmw.pre-llvm15.ll b/disasm-test/tests/opaque-atomicrmw.pre-llvm15.ll
@@ -0,0 +1,4 @@
+SKIP_TEST
+
+This test case requires the use of opaque pointers, which are most easily
+usable with LLVM 15 or later.
diff --git a/disasm-test/tests/opaque-call.ll b/disasm-test/tests/opaque-call.ll
@@ -0,0 +1,11 @@
+define void @f(i32 %x) {
+    ret void
+}
+
+define void @g() {
+    %p = alloca ptr
+    store ptr @f, ptr %p
+    %f = load ptr, ptr %p
+    call void (i32) %f(i32 42)
+    ret void
+}
diff --git a/disasm-test/tests/opaque-call.pre-llvm15.ll b/disasm-test/tests/opaque-call.pre-llvm15.ll
@@ -0,0 +1,4 @@
+SKIP_TEST
+
+This test case requires the use of opaque pointers, which are most easily
+usable with LLVM 15 or later.
diff --git a/disasm-test/tests/opaque-constant-getelementptr.ll b/disasm-test/tests/opaque-constant-getelementptr.ll
@@ -0,0 +1,9 @@
+%struct.RT = type { i8, [10 x [20 x i32]], i8 }
+%struct.ST = type { i32, double, %struct.RT }
+
+@.s = private constant %struct.ST zeroinitializer
+
+define ptr @foo() {
+entry:
+  ret ptr getelementptr inbounds (%struct.ST, ptr @.s, i64 1, i32 2, i32 1, i64 5, i64 13)
+}
diff --git a/disasm-test/tests/opaque-constant-getelementptr.pre-llvm15.ll b/disasm-test/tests/opaque-constant-getelementptr.pre-llvm15.ll
@@ -0,0 +1,4 @@
+SKIP_TEST
+
+This test case requires the use of opaque pointers, which are most easily
+usable with LLVM 15 or later.
diff --git a/disasm-test/tests/opaque-getelementptr.ll b/disasm-test/tests/opaque-getelementptr.ll
@@ -0,0 +1,8 @@
+%struct.RT = type { i8, [10 x [20 x i32]], i8 }
+%struct.ST = type { i32, double, %struct.RT }
+
+define ptr @foo(ptr %s) {
+entry:
+  %arrayidx = getelementptr inbounds %struct.ST, ptr %s, i64 1, i32 2, i32 1, i64 5, i64 13
+  ret ptr %arrayidx
+}
diff --git a/disasm-test/tests/opaque-getelementptr.pre-llvm15.ll b/disasm-test/tests/opaque-getelementptr.pre-llvm15.ll
@@ -0,0 +1,4 @@
+SKIP_TEST
+
+This test case requires the use of opaque pointers, which are most easily
+usable with LLVM 15 or later.