@@ -143,7 +143,7 @@ int overflow(int x, int y) {
143143
144144void use (double * );
145145
146- // CHECK-LABEL: define dso_local double @f1 (
146+ // CHECK-LABEL: define dso_local double @lbounds (
147147// CHECK-SAME: i32 noundef [[B:%.*]], i32 noundef [[I:%.*]]) local_unnamed_addr #[[ATTR0]] {
148148// CHECK-NEXT: [[ENTRY:.*:]]
149149// CHECK-NEXT: [[TMP0:%.*]] = zext i32 [[B]] to i64
@@ -160,7 +160,7 @@ void use(double*);
160160// CHECK-NEXT: call void @__ubsan_handle_local_out_of_bounds_abort() #[[ATTR7]]
161161// CHECK-NEXT: unreachable
162162//
163- // TR-LABEL: define dso_local double @f1 (
163+ // TR-LABEL: define dso_local double @lbounds (
164164// TR-SAME: i32 noundef [[B:%.*]], i32 noundef [[I:%.*]]) local_unnamed_addr #[[ATTR0]] {
165165// TR-NEXT: [[ENTRY:.*:]]
166166// TR-NEXT: [[TMP0:%.*]] = zext i32 [[B]] to i64
@@ -177,7 +177,7 @@ void use(double*);
177177// TR-NEXT: call void @llvm.ubsantrap(i8 3) #[[ATTR6]]
178178// TR-NEXT: unreachable
179179//
180- // REC-LABEL: define dso_local double @f1 (
180+ // REC-LABEL: define dso_local double @lbounds (
181181// REC-SAME: i32 noundef [[B:%.*]], i32 noundef [[I:%.*]]) local_unnamed_addr #[[ATTR0]] {
182182// REC-NEXT: [[ENTRY:.*:]]
183183// REC-NEXT: [[TMP0:%.*]] = zext i32 [[B]] to i64
@@ -194,7 +194,7 @@ void use(double*);
194194// REC-NEXT: call void @__ubsan_handle_local_out_of_bounds() #[[ATTR7]]
195195// REC-NEXT: br label %[[BB1]]
196196//
197- double f1 (int b , int i ) {
197+ double lbounds (int b , int i ) {
198198 double a [b ];
199199 use (a );
200200 return a [i ];
0 commit comments