1 // Only output llvm.assume(llvm.type.test()) if cfi-vcall is disabled and whole-program-vtables is enabled 2 // RUN: %clang_cc1 -flto -fvisibility hidden -fsanitize=cfi-vcall -fwhole-program-vtables -emit-llvm -o - %s | FileCheck --check-prefix=CHECK --check-prefix=CFI %s 3 // RUN: %clang_cc1 -flto -fvisibility hidden -fwhole-program-vtables -emit-llvm -o - %s | FileCheck --check-prefix=CHECK --check-prefix=NOCFI %s 4 5 struct S1 { 6 virtual void f(); 7 }; 8 9 // CHECK: define{{.*}}s1f 10 // CHECK: llvm.type.test 11 // CFI-NOT: llvm.assume 12 // NOCFI: llvm.assume 13 void s1f(S1 *s1) { 14 s1->f(); 15 } 16