| // NOTE: Assertions have been autogenerated by utils/update_cc_test_checks.py UTC_ARGS: --version 5 |
| |
| // RUN: %clang_cc1 -triple=aarch64-unknown-linux-gnu -fmath-errno -O3 -emit-llvm -o - %s | FileCheck %s -check-prefixes=CHECK,NONEWSTRUCTPATHTBAA |
| // RUN: %clang_cc1 -triple=aarch64-unknown-linux-gnu -fmath-errno -O3 -new-struct-path-tbaa -emit-llvm -o - %s | FileCheck %s -check-prefixes=CHECK,NEWSTRUCTPATHTBAA |
| |
| float expf(float); |
| double remainder(double, double); |
| double fabs(double); |
| double frexp(double, int *exp); |
| void sincos(float a, float *s, float *c); |
| float _Complex cacoshf(float _Complex); |
| float crealf(float _Complex); |
| |
| // Emit int TBAA metadata on FP math libcalls, which is useful for alias analysis |
| |
| // CHECK-LABEL: define dso_local float @test_expf( |
| // CHECK-SAME: ptr noundef readonly captures(none) [[NUM:%.*]]) local_unnamed_addr #[[ATTR0:[0-9]+]] { |
| // CHECK-NEXT: [[ENTRY:.*:]] |
| // CHECK-NEXT: [[ARRAYIDX:%.*]] = getelementptr inbounds nuw i8, ptr [[NUM]], i64 40 |
| // CHECK-NEXT: [[TMP0:%.*]] = load float, ptr [[ARRAYIDX]], align 4, !tbaa [[TBAA2:![0-9]+]] |
| // CHECK-NEXT: [[CALL:%.*]] = tail call float @expf(float noundef [[TMP0]]) #[[ATTR9:[0-9]+]], !tbaa [[TBAA6:![0-9]+]] |
| // CHECK-NEXT: [[MUL:%.*]] = fmul float [[TMP0]], [[CALL]] |
| // CHECK-NEXT: ret float [[MUL]] |
| // |
| float test_expf (float num[]) { |
| const float expm2 = expf(num[10]); // Emit TBAA metadata on @expf |
| float tmp = expm2 * num[10]; |
| return tmp; |
| } |
| |
| // CHECK-LABEL: define dso_local float @test_builtin_expf( |
| // CHECK-SAME: ptr noundef readonly captures(none) [[NUM:%.*]]) local_unnamed_addr #[[ATTR0]] { |
| // CHECK-NEXT: [[ENTRY:.*:]] |
| // CHECK-NEXT: [[ARRAYIDX:%.*]] = getelementptr inbounds nuw i8, ptr [[NUM]], i64 40 |
| // CHECK-NEXT: [[TMP0:%.*]] = load float, ptr [[ARRAYIDX]], align 4, !tbaa [[TBAA2]] |
| // CHECK-NEXT: [[CALL:%.*]] = tail call float @expf(float noundef [[TMP0]]) #[[ATTR9]], !tbaa [[TBAA6]] |
| // CHECK-NEXT: [[MUL:%.*]] = fmul float [[TMP0]], [[CALL]] |
| // CHECK-NEXT: ret float [[MUL]] |
| // |
| float test_builtin_expf (float num[]) { |
| const float expm2 = __builtin_expf(num[10]); // Emit TBAA metadata on @expf |
| float tmp = expm2 * num[10]; |
| return tmp; |
| } |
| |
| // |
| // Negative test: fabs cannot set errno |
| // CHECK-LABEL: define dso_local double @test_fabs( |
| // CHECK-SAME: ptr noundef readonly captures(none) [[NUM:%.*]]) local_unnamed_addr #[[ATTR3:[0-9]+]] { |
| // CHECK-NEXT: [[ENTRY:.*:]] |
| // CHECK-NEXT: [[ARRAYIDX:%.*]] = getelementptr inbounds nuw i8, ptr [[NUM]], i64 80 |
| // CHECK-NEXT: [[TMP0:%.*]] = load double, ptr [[ARRAYIDX]], align 8, !tbaa [[TBAA8:![0-9]+]] |
| // CHECK-NEXT: [[TMP1:%.*]] = tail call double @llvm.fabs.f64(double [[TMP0]]) |
| // CHECK-NEXT: [[MUL:%.*]] = fmul double [[TMP0]], [[TMP1]] |
| // CHECK-NEXT: ret double [[MUL]] |
| // |
| double test_fabs (double num[]) { |
| const double expm2 = fabs(num[10]); // Don't emit TBAA metadata |
| double tmp = expm2 * num[10]; |
| return tmp; |
| } |
| |
| // CHECK-LABEL: define dso_local double @test_remainder( |
| // CHECK-SAME: ptr noundef readonly captures(none) [[NUM:%.*]], double noundef [[A:%.*]]) local_unnamed_addr #[[ATTR0]] { |
| // CHECK-NEXT: [[ENTRY:.*:]] |
| // CHECK-NEXT: [[ARRAYIDX:%.*]] = getelementptr inbounds nuw i8, ptr [[NUM]], i64 80 |
| // CHECK-NEXT: [[TMP0:%.*]] = load double, ptr [[ARRAYIDX]], align 8, !tbaa [[TBAA8]] |
| // CHECK-NEXT: [[CALL:%.*]] = tail call double @remainder(double noundef [[TMP0]], double noundef [[A]]) #[[ATTR9]], !tbaa [[TBAA6]] |
| // CHECK-NEXT: [[MUL:%.*]] = fmul double [[TMP0]], [[CALL]] |
| // CHECK-NEXT: ret double [[MUL]] |
| // |
| double test_remainder (double num[], double a) { |
| const double expm2 = remainder(num[10], a); // Emit TBAA metadata |
| double tmp = expm2 * num[10]; |
| return tmp; |
| } |
| |
| // |
| // TODO: frexp is not subject to any errors, but also writes to |
| // its int pointer out argument, so it could emit int TBAA metadata. |
| // CHECK-LABEL: define dso_local double @test_frexp( |
| // CHECK-SAME: ptr noundef readonly captures(none) [[NUM:%.*]]) local_unnamed_addr #[[ATTR5:[0-9]+]] { |
| // CHECK-NEXT: [[ENTRY:.*:]] |
| // CHECK-NEXT: [[E:%.*]] = alloca i32, align 4 |
| // CHECK-NEXT: call void @llvm.lifetime.start.p0(i64 4, ptr nonnull [[E]]) #[[ATTR9]] |
| // CHECK-NEXT: [[ARRAYIDX:%.*]] = getelementptr inbounds nuw i8, ptr [[NUM]], i64 16 |
| // CHECK-NEXT: [[TMP0:%.*]] = load double, ptr [[ARRAYIDX]], align 8, !tbaa [[TBAA8]] |
| // CHECK-NEXT: [[CALL:%.*]] = call double @frexp(double noundef [[TMP0]], ptr noundef nonnull [[E]]) #[[ATTR9]] |
| // CHECK-NEXT: [[MUL:%.*]] = fmul double [[TMP0]], [[CALL]] |
| // CHECK-NEXT: call void @llvm.lifetime.end.p0(i64 4, ptr nonnull [[E]]) #[[ATTR9]] |
| // CHECK-NEXT: ret double [[MUL]] |
| // |
| double test_frexp (double num[]) { |
| int e; |
| double expm2 = frexp(num[2], &e); // Don't emit TBAA metadata |
| double tmp = expm2 * num[2]; |
| return tmp; |
| } |
| |
| // |
| // Negative test: sincos is a library function, but is not a builtin function |
| // checked in CodeGenFunction::EmitCallExpr. |
| // CHECK-LABEL: define dso_local float @test_sincos( |
| // CHECK-SAME: ptr noundef readonly captures(none) [[NUM:%.*]]) local_unnamed_addr #[[ATTR7:[0-9]+]] { |
| // CHECK-NEXT: [[ENTRY:.*:]] |
| // CHECK-NEXT: [[SIN:%.*]] = alloca float, align 4 |
| // CHECK-NEXT: [[COS:%.*]] = alloca float, align 4 |
| // CHECK-NEXT: call void @llvm.lifetime.start.p0(i64 4, ptr nonnull [[SIN]]) #[[ATTR9]] |
| // CHECK-NEXT: call void @llvm.lifetime.start.p0(i64 4, ptr nonnull [[COS]]) #[[ATTR9]] |
| // CHECK-NEXT: [[ARRAYIDX:%.*]] = getelementptr inbounds nuw i8, ptr [[NUM]], i64 8 |
| // CHECK-NEXT: [[TMP0:%.*]] = load float, ptr [[ARRAYIDX]], align 4, !tbaa [[TBAA2]] |
| // CHECK-NEXT: call void @sincos(float noundef [[TMP0]], ptr noundef nonnull [[SIN]], ptr noundef nonnull [[COS]]) #[[ATTR9]] |
| // CHECK-NEXT: [[TMP1:%.*]] = load float, ptr [[SIN]], align 4, !tbaa [[TBAA2]] |
| // CHECK-NEXT: [[TMP2:%.*]] = load float, ptr [[COS]], align 4, !tbaa [[TBAA2]] |
| // CHECK-NEXT: [[MUL:%.*]] = fmul float [[TMP1]], [[TMP2]] |
| // CHECK-NEXT: [[TMP3:%.*]] = load float, ptr [[ARRAYIDX]], align 4, !tbaa [[TBAA2]] |
| // CHECK-NEXT: [[ADD:%.*]] = fadd float [[MUL]], [[TMP3]] |
| // CHECK-NEXT: call void @llvm.lifetime.end.p0(i64 4, ptr nonnull [[COS]]) #[[ATTR9]] |
| // CHECK-NEXT: call void @llvm.lifetime.end.p0(i64 4, ptr nonnull [[SIN]]) #[[ATTR9]] |
| // CHECK-NEXT: ret float [[ADD]] |
| // |
| float test_sincos (float num[]) { |
| float sin, cos; |
| sincos(num[2], &sin, &cos); // Don't emit TBAA metadata |
| float tmp = sin * cos + num[2]; |
| return tmp; |
| } |
| |
| // TODO: The builtin return a complex type |
| // CHECK-LABEL: define dso_local float @test_cacoshf( |
| // CHECK-SAME: ptr noundef readonly captures(none) [[NUM:%.*]]) local_unnamed_addr #[[ATTR7]] { |
| // CHECK-NEXT: [[ENTRY:.*:]] |
| // CHECK-NEXT: [[ARRAYIDX:%.*]] = getelementptr inbounds nuw i8, ptr [[NUM]], i64 8 |
| // CHECK-NEXT: [[TMP0:%.*]] = load float, ptr [[ARRAYIDX]], align 4, !tbaa [[TBAA2]] |
| // CHECK-NEXT: [[DOTFCA_0_INSERT:%.*]] = insertvalue [2 x float] poison, float [[TMP0]], 0 |
| // CHECK-NEXT: [[DOTFCA_1_INSERT:%.*]] = insertvalue [2 x float] [[DOTFCA_0_INSERT]], float 0.000000e+00, 1 |
| // CHECK-NEXT: [[CALL:%.*]] = tail call { float, float } @cacoshf([2 x float] noundef alignstack(8) [[DOTFCA_1_INSERT]]) #[[ATTR9]] |
| // CHECK-NEXT: [[TMP1:%.*]] = extractvalue { float, float } [[CALL]], 0 |
| // CHECK-NEXT: [[TMP2:%.*]] = load float, ptr [[ARRAYIDX]], align 4, !tbaa [[TBAA2]] |
| // CHECK-NEXT: [[ADD:%.*]] = fadd float [[TMP1]], [[TMP2]] |
| // CHECK-NEXT: ret float [[ADD]] |
| // |
| float test_cacoshf (float num[]) { |
| float _Complex z = cacoshf(num[2]); // Don't emit TBAA metadata |
| float tmp = crealf(z) + num[2]; |
| return tmp; |
| } |
| |
| //. |
| // NONEWSTRUCTPATHTBAA: [[TBAA2]] = !{[[META3:![0-9]+]], [[META3]], i64 0} |
| // NONEWSTRUCTPATHTBAA: [[META3]] = !{!"float", [[META4:![0-9]+]], i64 0} |
| // NONEWSTRUCTPATHTBAA: [[META4]] = !{!"omnipotent char", [[META5:![0-9]+]], i64 0} |
| // NONEWSTRUCTPATHTBAA: [[META5]] = !{!"Simple C/C++ TBAA"} |
| // NONEWSTRUCTPATHTBAA: [[TBAA6]] = !{[[META7:![0-9]+]], [[META7]], i64 0} |
| // NONEWSTRUCTPATHTBAA: [[META7]] = !{!"int", [[META4]], i64 0} |
| // NONEWSTRUCTPATHTBAA: [[TBAA8]] = !{[[META9:![0-9]+]], [[META9]], i64 0} |
| // NONEWSTRUCTPATHTBAA: [[META9]] = !{!"double", [[META4]], i64 0} |
| //. |
| // NEWSTRUCTPATHTBAA: [[TBAA2]] = !{[[META3:![0-9]+]], [[META3]], i64 0, i64 4} |
| // NEWSTRUCTPATHTBAA: [[META3]] = !{[[META4:![0-9]+]], i64 4, !"float"} |
| // NEWSTRUCTPATHTBAA: [[META4]] = !{[[META5:![0-9]+]], i64 1, !"omnipotent char"} |
| // NEWSTRUCTPATHTBAA: [[META5]] = !{!"Simple C/C++ TBAA"} |
| // NEWSTRUCTPATHTBAA: [[TBAA6]] = !{[[META7:![0-9]+]], [[META7]], i64 0, i64 4} |
| // NEWSTRUCTPATHTBAA: [[META7]] = !{[[META4]], i64 4, !"int"} |
| // NEWSTRUCTPATHTBAA: [[TBAA8]] = !{[[META9:![0-9]+]], [[META9]], i64 0, i64 8} |
| // NEWSTRUCTPATHTBAA: [[META9]] = !{[[META4]], i64 8, !"double"} |
| //. |
| //// NOTE: These prefixes are unused and the list is autogenerated. Do not add tests below this line: |
| // NEWSTRUCTPATHTBAA: {{.*}} |
| // NONEWSTRUCTPATHTBAA: {{.*}} |
