171568a9eSLeonard Chan // Check that we call llvm.load.relative() on a vtable function call.
271568a9eSLeonard Chan
3*532dc62bSNikita Popov // RUN: %clang_cc1 -no-opaque-pointers %s -triple=aarch64-unknown-fuchsia -O3 -S -o - -emit-llvm | FileCheck %s
471568a9eSLeonard Chan
51b1c8d83Shyeongyu kim // CHECK: define{{.*}} void @_Z5A_fooP1A(%class.A* noundef %a) local_unnamed_addr
671568a9eSLeonard Chan // CHECK-NEXT: entry:
771568a9eSLeonard Chan // CHECK-NEXT: [[this:%[0-9]+]] = bitcast %class.A* %a to i8**
871568a9eSLeonard Chan // CHECK-NEXT: %vtable1 = load i8*, i8** [[this]]
971568a9eSLeonard Chan // CHECK-NEXT: [[func_ptr:%[0-9]+]] = tail call i8* @llvm.load.relative.i32(i8* %vtable1, i32 0)
1071568a9eSLeonard Chan // CHECK-NEXT: [[func:%[0-9]+]] = bitcast i8* [[func_ptr]] to void (%class.A*)*
1169cd776eSCJ Johnson // CHECK-NEXT: tail call void [[func]](%class.A* {{[^,]*}} %a)
1271568a9eSLeonard Chan // CHECK-NEXT: ret void
1371568a9eSLeonard Chan // CHECK-NEXT: }
1471568a9eSLeonard Chan
1571568a9eSLeonard Chan class A {
1671568a9eSLeonard Chan public:
1771568a9eSLeonard Chan virtual void foo();
1871568a9eSLeonard Chan };
1971568a9eSLeonard Chan
A_foo(A * a)2071568a9eSLeonard Chan void A_foo(A *a) {
2171568a9eSLeonard Chan a->foo();
2271568a9eSLeonard Chan }
23