1 // RUN: %clang_cc1 -no-opaque-pointers -triple x86_64-gnu-linux -x c++ -S -emit-llvm %s -o - | FileCheck %s --check-prefix=CHECK --check-prefix=CHECK-INTEL 2 // RUN: %clang_cc1 -no-opaque-pointers -triple aarch64-gnu-linux -x c++ -S -emit-llvm %s -o - | FileCheck %s --check-prefix=CHECK --check-prefix=CHECK-AARCH 3 // RUN: %clang_cc1 -no-opaque-pointers -triple x86_64-gnu-linux -x c++ -S -emit-llvm -fsanitize-memory-param-retval %s -o - | FileCheck %s --check-prefix=CHECK --check-prefix=CHECK-INTEL 4 // RUN: %clang_cc1 -no-opaque-pointers -triple aarch64-gnu-linux -x c++ -S -emit-llvm -fsanitize-memory-param-retval %s -o - | FileCheck %s --check-prefix=CHECK --check-prefix=CHECK-AARCH 5 6 // no-sanitize-memory-param-retval does NOT conflict with enable-noundef-analysis 7 // RUN: %clang_cc1 -no-opaque-pointers -triple x86_64-gnu-linux -x c++ -S -emit-llvm -fno-sanitize-memory-param-retval %s -o - | FileCheck %s --check-prefix=CHECK --check-prefix=CHECK-INTEL 8 // RUN: %clang_cc1 -no-opaque-pointers -triple x86_64-gnu-linux -x c++ -S -emit-llvm -fno-sanitize-memory-param-retval %s -o - | FileCheck %s --check-prefix=CHECK --check-prefix=CHECK-INTEL 9 10 //************ Passing structs by value 11 // TODO: No structs may currently be marked noundef 12 13 namespace check_structs { 14 struct Trivial { 15 int a; 16 }; 17 Trivial ret_trivial() { return {}; } 18 void pass_trivial(Trivial e) {} 19 // CHECK-INTEL: [[DEFINE:define( dso_local)?]] i32 @{{.*}}ret_trivial 20 // CHECK-AARCH: [[DEFINE:define( dso_local)?]] i32 @{{.*}}ret_trivial 21 // CHECK-INTEL: [[DEFINE]] void @{{.*}}pass_trivial{{.*}}(i32 % 22 // CHECK-AARCH: [[DEFINE]] void @{{.*}}pass_trivial{{.*}}(i64 % 23 24 struct NoCopy { 25 int a; 26 NoCopy(NoCopy &) = delete; 27 }; 28 NoCopy ret_nocopy() { return {}; } 29 void pass_nocopy(NoCopy e) {} 30 // CHECK: [[DEFINE]] void @{{.*}}ret_nocopy{{.*}}(%"struct.check_structs::NoCopy"* noalias sret({{[^)]+}}) align 4 % 31 // CHECK: [[DEFINE]] void @{{.*}}pass_nocopy{{.*}}(%"struct.check_structs::NoCopy"* noundef % 32 33 struct Huge { 34 int a[1024]; 35 }; 36 Huge ret_huge() { return {}; } 37 void pass_huge(Huge h) {} 38 // CHECK: [[DEFINE]] void @{{.*}}ret_huge{{.*}}(%"struct.check_structs::Huge"* noalias sret({{[^)]+}}) align 4 % 39 // CHECK: [[DEFINE]] void @{{.*}}pass_huge{{.*}}(%"struct.check_structs::Huge"* noundef 40 } // namespace check_structs 41 42 //************ Passing unions by value 43 // No unions may be marked noundef 44 45 namespace check_unions { 46 union Trivial { 47 int a; 48 }; 49 Trivial ret_trivial() { return {}; } 50 void pass_trivial(Trivial e) {} 51 // CHECK-INTEL: [[DEFINE]] i32 @{{.*}}ret_trivial 52 // CHECK-AARCH: [[DEFINE]] i32 @{{.*}}ret_trivial 53 // CHECK-INTEL: [[DEFINE]] void @{{.*}}pass_trivial{{.*}}(i32 % 54 // CHECK-AARCH: [[DEFINE]] void @{{.*}}pass_trivial{{.*}}(i64 % 55 56 union NoCopy { 57 int a; 58 NoCopy(NoCopy &) = delete; 59 }; 60 NoCopy ret_nocopy() { return {}; } 61 void pass_nocopy(NoCopy e) {} 62 // CHECK: [[DEFINE]] void @{{.*}}ret_nocopy{{.*}}(%"union.check_unions::NoCopy"* noalias sret({{[^)]+}}) align 4 % 63 // CHECK: [[DEFINE]] void @{{.*}}pass_nocopy{{.*}}(%"union.check_unions::NoCopy"* noundef % 64 } // namespace check_unions 65 66 //************ Passing `this` pointers 67 // `this` pointer must always be defined 68 69 namespace check_this { 70 struct Object { 71 int data[]; 72 73 Object() { 74 this->data[0] = 0; 75 } 76 int getData() { 77 return this->data[0]; 78 } 79 Object *getThis() { 80 return this; 81 } 82 }; 83 84 void use_object() { 85 Object obj; 86 obj.getData(); 87 obj.getThis(); 88 } 89 // CHECK: define linkonce_odr void @{{.*}}Object{{.*}}(%"struct.check_this::Object"* noundef nonnull align 4 dereferenceable(1) % 90 // CHECK: define linkonce_odr noundef i32 @{{.*}}Object{{.*}}getData{{.*}}(%"struct.check_this::Object"* noundef nonnull align 4 dereferenceable(1) % 91 // CHECK: define linkonce_odr noundef %"struct.check_this::Object"* @{{.*}}Object{{.*}}getThis{{.*}}(%"struct.check_this::Object"* noundef nonnull align 4 dereferenceable(1) % 92 } // namespace check_this 93 94 //************ Passing vector types 95 96 namespace check_vecs { 97 typedef int __attribute__((vector_size(12))) i32x3; 98 i32x3 ret_vec() { 99 return {}; 100 } 101 void pass_vec(i32x3 v) { 102 } 103 104 // CHECK: [[DEFINE]] noundef <3 x i32> @{{.*}}ret_vec{{.*}}() 105 // CHECK-INTEL: [[DEFINE]] void @{{.*}}pass_vec{{.*}}(<3 x i32> noundef % 106 // CHECK-AARCH: [[DEFINE]] void @{{.*}}pass_vec{{.*}}(<4 x i32> % 107 } // namespace check_vecs 108 109 //************ Passing exotic types 110 // Function/Array pointers, Function member / Data member pointers, nullptr_t, ExtInt types 111 112 namespace check_exotic { 113 struct Object { 114 int mfunc(); 115 int mdata; 116 }; 117 typedef int Object::*mdptr; 118 typedef int (Object::*mfptr)(); 119 typedef decltype(nullptr) nullptr_t; 120 typedef int (*arrptr)[32]; 121 typedef int (*fnptr)(int); 122 123 arrptr ret_arrptr() { 124 return nullptr; 125 } 126 fnptr ret_fnptr() { 127 return nullptr; 128 } 129 mdptr ret_mdptr() { 130 return nullptr; 131 } 132 mfptr ret_mfptr() { 133 return nullptr; 134 } 135 nullptr_t ret_npt() { 136 return nullptr; 137 } 138 void pass_npt(nullptr_t t) { 139 } 140 _BitInt(3) ret_BitInt() { 141 return 0; 142 } 143 void pass_BitInt(_BitInt(3) e) { 144 } 145 void pass_large_BitInt(_BitInt(127) e) { 146 } 147 148 // Pointers to arrays/functions are always noundef 149 // CHECK: [[DEFINE]] noundef [32 x i32]* @{{.*}}ret_arrptr{{.*}}() 150 // CHECK: [[DEFINE]] noundef i32 (i32)* @{{.*}}ret_fnptr{{.*}}() 151 152 // Pointers to members are never noundef 153 // CHECK: [[DEFINE]] i64 @{{.*}}ret_mdptr{{.*}}() 154 // CHECK-INTEL: [[DEFINE]] { i64, i64 } @{{.*}}ret_mfptr{{.*}}() 155 // CHECK-AARCH: [[DEFINE]] [2 x i64] @{{.*}}ret_mfptr{{.*}}() 156 157 // nullptr_t is never noundef 158 // CHECK: [[DEFINE]] i8* @{{.*}}ret_npt{{.*}}() 159 // CHECK: [[DEFINE]] void @{{.*}}pass_npt{{.*}}(i8* % 160 161 // TODO: for now, ExtInt is only noundef if it is sign/zero-extended 162 // CHECK-INTEL: [[DEFINE]] noundef signext i3 @{{.*}}ret_BitInt{{.*}}() 163 // CHECK-AARCH: [[DEFINE]] i3 @{{.*}}ret_BitInt{{.*}}() 164 // CHECK-INTEL: [[DEFINE]] void @{{.*}}pass_BitInt{{.*}}(i3 noundef signext % 165 // CHECK-AARCH: [[DEFINE]] void @{{.*}}pass_BitInt{{.*}}(i3 % 166 // CHECK-INTEL: [[DEFINE]] void @{{.*}}pass_large_BitInt{{.*}}(i64 %{{.*}}, i64 % 167 // CHECK-AARCH: [[DEFINE]] void @{{.*}}pass_large_BitInt{{.*}}(i127 % 168 } // namespace check_exotic 169