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