tests/codegen/sanitizer-cfi-emit-type-metadata-itanium-cxx-abi-normalized-generalized.rs

   1 // Verifies that normalized and generalized type metadata for functions are emitted.
   2 //
   3 // needs-sanitizer-cfi
   4 // compile-flags: -Clto -Cno-prepopulate-passes -Ctarget-feature=-crt-static -Zsanitizer=cfi -Zsanitizer-cfi-normalize-integers -Zsanitizer-cfi-generalize-pointers
   5
   6 #![crate_type="lib"]
   7
   8 pub fn foo(f: fn(i32) -> i32, arg: i32) -> i32 {
   9     // CHECK-LABEL: define{{.*}}foo
  10     // CHECK-SAME:  {{.*}}![[TYPE1:[0-9]+]]
  11     // CHECK:       call i1 @llvm.type.test({{i8\*|ptr}} {{%f|%0}}, metadata !"_ZTSFu3i32S_E.normalized.generalized")
  12     f(arg)
  13 }
  14
  15 pub fn bar(f: fn(i32, i32) -> i32, arg1: i32, arg2: i32) -> i32 {
  16     // CHECK-LABEL: define{{.*}}bar
  17     // CHECK-SAME:  {{.*}}![[TYPE2:[0-9]+]]
  18     // CHECK:       call i1 @llvm.type.test({{i8\*|ptr}} {{%f|%0}}, metadata !"_ZTSFu3i32S_S_E.normalized.generalized")
  19     f(arg1, arg2)
  20 }
  21
  22 pub fn baz(f: fn(i32, i32, i32) -> i32, arg1: i32, arg2: i32, arg3: i32) -> i32 {
  23     // CHECK-LABEL: define{{.*}}baz
  24     // CHECK-SAME:  {{.*}}![[TYPE3:[0-9]+]]
  25     // CHECK:       call i1 @llvm.type.test({{i8\*|ptr}} {{%f|%0}}, metadata !"_ZTSFu3i32S_S_S_E.normalized.generalized")
  26     f(arg1, arg2, arg3)
  27 }
  28
  29 // CHECK: ![[TYPE1]] = !{i64 0, !"_ZTSFu3i32PKvS_E.normalized.generalized"}
  30 // CHECK: ![[TYPE2]] = !{i64 0, !"_ZTSFu3i32PKvS_S_E.normalized.generalized"}
  31 // CHECK: ![[TYPE3]] = !{i64 0, !"_ZTSFu3i32PKvS_S_S_E.normalized.generalized"}