79 lines · c
1// RUN: %clang_cc1 -triple x86_64-unknown-linux -fsanitize=cfi-icall -fsanitize-trap=cfi-icall -fsanitize-cfi-icall-experimental-normalize-integers -emit-llvm -o - %s | FileCheck %s2 3// Test that integer types are normalized for cross-language CFI support with4// other languages that can't represent and encode C/C++ integer types.5 6void foo0(char arg) { }7// CHECK: define{{.*}}foo0{{.*}}!type ![[TYPE0:[0-9]+]] !type !{{[0-9]+}}8void foo1(char arg1, signed char arg2) { }9// CHECK: define{{.*}}foo1{{.*}}!type ![[TYPE1:[0-9]+]] !type !{{[0-9]+}}10void foo2(char arg1, signed char arg2, signed char arg3) { }11// CHECK: define{{.*}}foo2{{.*}}!type ![[TYPE2:[0-9]+]] !type !{{[0-9]+}}12void foo3(int arg) { }13// CHECK: define{{.*}}foo3{{.*}}!type ![[TYPE3:[0-9]+]] !type !{{[0-9]+}}14void foo4(int arg1, int arg2) { }15// CHECK: define{{.*}}foo4{{.*}}!type ![[TYPE4:[0-9]+]] !type !{{[0-9]+}}16void foo5(int arg1, int arg2, int arg3) { }17// CHECK: define{{.*}}foo5{{.*}}!type ![[TYPE5:[0-9]+]] !type !{{[0-9]+}}18void foo6(long arg) { }19// CHECK: define{{.*}}foo6{{.*}}!type ![[TYPE6:[0-9]+]] !type !{{[0-9]+}}20void foo7(long arg1, long long arg2) { }21// CHECK: define{{.*}}foo7{{.*}}!type ![[TYPE7:[0-9]+]] !type !{{[0-9]+}}22void foo8(long arg1, long long arg2, long long arg3) { }23// CHECK: define{{.*}}foo8{{.*}}!type ![[TYPE8:[0-9]+]] !type !{{[0-9]+}}24void foo9(short arg) { }25// CHECK: define{{.*}}foo9{{.*}}!type ![[TYPE9:[0-9]+]] !type !{{[0-9]+}}26void foo10(short arg1, short arg2) { }27// CHECK: define{{.*}}foo10{{.*}}!type ![[TYPE10:[0-9]+]] !type !{{[0-9]+}}28void foo11(short arg1, short arg2, short arg3) { }29// CHECK: define{{.*}}foo11{{.*}}!type ![[TYPE11:[0-9]+]] !type !{{[0-9]+}}30void foo12(unsigned char arg) { }31// CHECK: define{{.*}}foo12{{.*}}!type ![[TYPE12:[0-9]+]] !type !{{[0-9]+}}32void foo13(unsigned char arg1, unsigned char arg2) { }33// CHECK: define{{.*}}foo13{{.*}}!type ![[TYPE13:[0-9]+]] !type !{{[0-9]+}}34void foo14(unsigned char arg1, unsigned char arg2, unsigned char arg3) { }35// CHECK: define{{.*}}foo14{{.*}}!type ![[TYPE14:[0-9]+]] !type !{{[0-9]+}}36void foo15(unsigned int arg) { }37// CHECK: define{{.*}}foo15{{.*}}!type ![[TYPE15:[0-9]+]] !type !{{[0-9]+}}38void foo16(unsigned int arg1, unsigned int arg2) { }39// CHECK: define{{.*}}foo16{{.*}}!type ![[TYPE16:[0-9]+]] !type !{{[0-9]+}}40void foo17(unsigned int arg1, unsigned int arg2, unsigned int arg3) { }41// CHECK: define{{.*}}foo17{{.*}}!type ![[TYPE17:[0-9]+]] !type !{{[0-9]+}}42void foo18(unsigned long arg) { }43// CHECK: define{{.*}}foo18{{.*}}!type ![[TYPE18:[0-9]+]] !type !{{[0-9]+}}44void foo19(unsigned long arg1, unsigned long long arg2) { }45// CHECK: define{{.*}}foo19{{.*}}!type ![[TYPE19:[0-9]+]] !type !{{[0-9]+}}46void foo20(unsigned long arg1, unsigned long long arg2, unsigned long long arg3) { }47// CHECK: define{{.*}}foo20{{.*}}!type ![[TYPE20:[0-9]+]] !type !{{[0-9]+}}48void foo21(unsigned short arg) { }49// CHECK: define{{.*}}foo21{{.*}}!type ![[TYPE21:[0-9]+]] !type !{{[0-9]+}}50void foo22(unsigned short arg1, unsigned short arg2) { }51// CHECK: define{{.*}}foo22{{.*}}!type ![[TYPE22:[0-9]+]] !type !{{[0-9]+}}52void foo23(unsigned short arg1, unsigned short arg2, unsigned short arg3) { }53// CHECK: define{{.*}}foo23{{.*}}!type ![[TYPE23:[0-9]+]] !type !{{[0-9]+}}54 55// CHECK: ![[TYPE0]] = !{i64 0, !"_ZTSFvu2i8E.normalized"}56// CHECK: ![[TYPE1]] = !{i64 0, !"_ZTSFvu2i8S_E.normalized"}57// CHECK: ![[TYPE2]] = !{i64 0, !"_ZTSFvu2i8S_S_E.normalized"}58// CHECK: ![[TYPE3]] = !{i64 0, !"_ZTSFvu3i32E.normalized"}59// CHECK: ![[TYPE4]] = !{i64 0, !"_ZTSFvu3i32S_E.normalized"}60// CHECK: ![[TYPE5]] = !{i64 0, !"_ZTSFvu3i32S_S_E.normalized"}61// CHECK: ![[TYPE6]] = !{i64 0, !"_ZTSFvu3i64E.normalized"}62// CHECK: ![[TYPE7]] = !{i64 0, !"_ZTSFvu3i64S_E.normalized"}63// CHECK: ![[TYPE8]] = !{i64 0, !"_ZTSFvu3i64S_S_E.normalized"}64// CHECK: ![[TYPE9]] = !{i64 0, !"_ZTSFvu3i16E.normalized"}65// CHECK: ![[TYPE10]] = !{i64 0, !"_ZTSFvu3i16S_E.normalized"}66// CHECK: ![[TYPE11]] = !{i64 0, !"_ZTSFvu3i16S_S_E.normalized"}67// CHECK: ![[TYPE12]] = !{i64 0, !"_ZTSFvu2u8E.normalized"}68// CHECK: ![[TYPE13]] = !{i64 0, !"_ZTSFvu2u8S_E.normalized"}69// CHECK: ![[TYPE14]] = !{i64 0, !"_ZTSFvu2u8S_S_E.normalized"}70// CHECK: ![[TYPE15]] = !{i64 0, !"_ZTSFvu3u32E.normalized"}71// CHECK: ![[TYPE16]] = !{i64 0, !"_ZTSFvu3u32S_E.normalized"}72// CHECK: ![[TYPE17]] = !{i64 0, !"_ZTSFvu3u32S_S_E.normalized"}73// CHECK: ![[TYPE18]] = !{i64 0, !"_ZTSFvu3u64E.normalized"}74// CHECK: ![[TYPE19]] = !{i64 0, !"_ZTSFvu3u64S_E.normalized"}75// CHECK: ![[TYPE20]] = !{i64 0, !"_ZTSFvu3u64S_S_E.normalized"}76// CHECK: ![[TYPE21]] = !{i64 0, !"_ZTSFvu3u16E.normalized"}77// CHECK: ![[TYPE22]] = !{i64 0, !"_ZTSFvu3u16S_E.normalized"}78// CHECK: ![[TYPE23]] = !{i64 0, !"_ZTSFvu3u16S_S_E.normalized"}79