Add a baseline test for llvm.annotation IR upgrade

arichardson · arichardson · commit e114979dce33 · 2022-12-07T18:29:18.000Z
This will be overloaded in the next commit.
diff --git a/llvm/test/Bitcode/upgrade-annotation.ll b/llvm/test/Bitcode/upgrade-annotation.ll
@@ -0,0 +1,15 @@
+; Test upgrade of llvm.annotation intrinsics.
+;
+; RUN: llvm-as < %s | llvm-dis | FileCheck %s
+; RUN: llvm-dis < %s.bc | FileCheck %s
+
+
+; CHECK: define i32 @f(i32 [[ARG0:%.*]], i8* [[ARG1:%.*]], i8* [[ARG2:%.*]], i32 [[ARG3:%.*]])
+define i32 @f(i32 %arg0, i8* %arg1, i8* %arg2, i32 %arg3) {
+  %result = call i32 @llvm.annotation.i32(i32 %arg0, i8* %arg1, i8* %arg2, i32 %arg3)
+  ; CHECK: [[RESULT:%.*]] = call i32 @llvm.annotation.i32(i32 [[ARG0]], i8* [[ARG1]], i8* [[ARG2]], i32 [[ARG3]])
+  ret i32 %result
+}
+
+declare i32 @llvm.annotation.i32(i32, i8*, i8*, i32)
+; CHECK: declare i32 @llvm.annotation.i32(i32, i8*, i8*, i32)
diff --git a/llvm/test/Bitcode/upgrade-annotation.ll.bc b/llvm/test/Bitcode/upgrade-annotation.ll.bc
diff --git a/llvm/test/Bitcode/upgrade-ptr-annotation.ll b/llvm/test/Bitcode/upgrade-ptr-annotation.ll
@@ -1,5 +1,6 @@
 ; Test upgrade of ptr.annotation intrinsics.
 ;
+; RUN: llvm-as < %s | llvm-dis | FileCheck %s
 ; RUN: llvm-dis < %s.bc | FileCheck %s
 
 ; Unused return values
diff --git a/llvm/test/Bitcode/upgrade-var-annotation.ll b/llvm/test/Bitcode/upgrade-var-annotation.ll
@@ -1,5 +1,6 @@
 ; Test upgrade of var.annotation intrinsics.
 ;
+; RUN: llvm-as < %s | llvm-dis | FileCheck %s
 ; RUN: llvm-dis < %s.bc | FileCheck %s
 
 

Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,6 @@`
`1`	`1`	`; Test upgrade of ptr.annotation intrinsics.`
`2`	`2`	`;`
	`3`	`+; RUN: llvm-as < %s \| llvm-dis \| FileCheck %s`
`3`	`4`	`; RUN: llvm-dis < %s.bc \| FileCheck %s`
`4`	`5`
`5`	`6`	`; Unused return values`
Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,6 @@`
`1`	`1`	`; Test upgrade of var.annotation intrinsics.`
`2`	`2`	`;`
	`3`	`+; RUN: llvm-as < %s \| llvm-dis \| FileCheck %s`
`3`	`4`	`; RUN: llvm-dis < %s.bc \| FileCheck %s`
`4`	`5`
`5`	`6`