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