xref: /llvm-project/llvm/test/Bitcode/upgrade-var-annotation.ll (revision e45cf479231fc144b4e1eb8b3e3bd2f578b6907d) 
1; Test upgrade of var.annotation intrinsics.
2;
3; RUN: llvm-as < %s | llvm-dis | FileCheck %s
4; RUN: llvm-dis < %s.bc | FileCheck %s
5
6
7define void @f(i8* %arg0, i8* %arg1, i8* %arg2, i32 %arg3) {
8;CHECK: @f(ptr [[ARG0:%.*]], ptr [[ARG1:%.*]], ptr [[ARG2:%.*]], i32 [[ARG3:%.*]])
9  call void @llvm.var.annotation(i8* %arg0, i8* %arg1, i8* %arg2, i32 %arg3)
10;CHECK:  call void @llvm.var.annotation.p0.p0(ptr [[ARG0]], ptr [[ARG1]], ptr [[ARG2]], i32 [[ARG3]], ptr null)
11  ret void
12}
13
14; Function Attrs: nofree nosync nounwind willreturn
15declare void @llvm.var.annotation(i8*, i8*, i8*, i32)
16; CHECK: declare void @llvm.var.annotation.p0.p0(ptr, ptr, ptr, i32, ptr)
17