81 lines · c
1// NOTE: Assertions have been autogenerated by utils/update_cc_test_checks.py UTC_ARGS: --version 52// RUN: %clang_cc1 -std=c2y -O0 -triple x86_64-unknown-unknown %s -emit-llvm -o - | FileCheck %s3// This tests the codegen for the same test cases as in n3460.c.4 5// CHECK-LABEL: define dso_local void @test(6// CHECK-SAME: ) #[[ATTR0:[0-9]+]] {7// CHECK-NEXT: [[ENTRY:.*]]:8// CHECK-NEXT: [[A:%.*]] = alloca { double, double }, align 89// CHECK-NEXT: [[B:%.*]] = alloca { double, double }, align 810// CHECK-NEXT: [[C:%.*]] = alloca { double, double }, align 811// CHECK-NEXT: [[D:%.*]] = alloca { double, double }, align 812// CHECK-NEXT: [[E:%.*]] = alloca { double, double }, align 813// CHECK-NEXT: [[F:%.*]] = alloca { double, double }, align 814// CHECK-NEXT: [[G:%.*]] = alloca { double, double }, align 815// CHECK-NEXT: [[H:%.*]] = alloca { double, double }, align 816// CHECK-NEXT: [[A_REALP:%.*]] = getelementptr inbounds nuw { double, double }, ptr [[A]], i32 0, i32 017// CHECK-NEXT: [[A_IMAGP:%.*]] = getelementptr inbounds nuw { double, double }, ptr [[A]], i32 0, i32 118// CHECK-NEXT: store double 0.000000e+00, ptr [[A_REALP]], align 819// CHECK-NEXT: store double 0x7FF0000000000000, ptr [[A_IMAGP]], align 820// CHECK-NEXT: [[B_REALP:%.*]] = getelementptr inbounds nuw { double, double }, ptr [[B]], i32 0, i32 021// CHECK-NEXT: [[B_IMAGP:%.*]] = getelementptr inbounds nuw { double, double }, ptr [[B]], i32 0, i32 122// CHECK-NEXT: store double -0.000000e+00, ptr [[B_REALP]], align 823// CHECK-NEXT: store double -0.000000e+00, ptr [[B_IMAGP]], align 824// CHECK-NEXT: [[C_REALP:%.*]] = getelementptr inbounds nuw { double, double }, ptr [[C]], i32 0, i32 025// CHECK-NEXT: [[C_IMAGP:%.*]] = getelementptr inbounds nuw { double, double }, ptr [[C]], i32 0, i32 126// CHECK-NEXT: store double 0.000000e+00, ptr [[C_REALP]], align 827// CHECK-NEXT: store double 0x7FF0000000000000, ptr [[C_IMAGP]], align 828// CHECK-NEXT: [[D_REALP:%.*]] = getelementptr inbounds nuw { double, double }, ptr [[D]], i32 0, i32 029// CHECK-NEXT: [[D_IMAGP:%.*]] = getelementptr inbounds nuw { double, double }, ptr [[D]], i32 0, i32 130// CHECK-NEXT: store double 4.000000e+00, ptr [[D_REALP]], align 831// CHECK-NEXT: store double 6.000000e+00, ptr [[D_IMAGP]], align 832// CHECK-NEXT: [[E_REALP:%.*]] = getelementptr inbounds nuw { double, double }, ptr [[E]], i32 0, i32 033// CHECK-NEXT: [[E_IMAGP:%.*]] = getelementptr inbounds nuw { double, double }, ptr [[E]], i32 0, i32 134// CHECK-NEXT: store double 1.000000e+00, ptr [[E_REALP]], align 835// CHECK-NEXT: store double 2.000000e+00, ptr [[E_IMAGP]], align 836// CHECK-NEXT: br i1 false, label %[[COMPLEX_MUL_IMAG_NAN:.*]], label %[[COMPLEX_MUL_CONT:.*]], !prof [[PROF2:![0-9]+]]37// CHECK: [[COMPLEX_MUL_IMAG_NAN]]:38// CHECK-NEXT: br i1 false, label %[[COMPLEX_MUL_LIBCALL:.*]], label %[[COMPLEX_MUL_CONT]], !prof [[PROF2]]39// CHECK: [[COMPLEX_MUL_LIBCALL]]:40// CHECK-NEXT: [[CALL:%.*]] = call { double, double } @__muldc3(double noundef 2.000000e+00, double noundef 3.000000e+00, double noundef 4.000000e+00, double noundef 5.000000e+00) #[[ATTR1:[0-9]+]]41// CHECK-NEXT: [[TMP0:%.*]] = extractvalue { double, double } [[CALL]], 042// CHECK-NEXT: [[TMP1:%.*]] = extractvalue { double, double } [[CALL]], 143// CHECK-NEXT: br label %[[COMPLEX_MUL_CONT]]44// CHECK: [[COMPLEX_MUL_CONT]]:45// CHECK-NEXT: [[REAL_MUL_PHI:%.*]] = phi double [ -7.000000e+00, %[[ENTRY]] ], [ -7.000000e+00, %[[COMPLEX_MUL_IMAG_NAN]] ], [ [[TMP0]], %[[COMPLEX_MUL_LIBCALL]] ]46// CHECK-NEXT: [[IMAG_MUL_PHI:%.*]] = phi double [ 2.200000e+01, %[[ENTRY]] ], [ 2.200000e+01, %[[COMPLEX_MUL_IMAG_NAN]] ], [ [[TMP1]], %[[COMPLEX_MUL_LIBCALL]] ]47// CHECK-NEXT: [[F_REALP:%.*]] = getelementptr inbounds nuw { double, double }, ptr [[F]], i32 0, i32 048// CHECK-NEXT: [[F_IMAGP:%.*]] = getelementptr inbounds nuw { double, double }, ptr [[F]], i32 0, i32 149// CHECK-NEXT: store double [[REAL_MUL_PHI]], ptr [[F_REALP]], align 850// CHECK-NEXT: store double [[IMAG_MUL_PHI]], ptr [[F_IMAGP]], align 851// CHECK-NEXT: [[CALL1:%.*]] = call { double, double } @__divdc3(double noundef 2.000000e+00, double noundef 3.000000e+00, double noundef 4.000000e+00, double noundef 5.000000e+00) #[[ATTR1]]52// CHECK-NEXT: [[TMP2:%.*]] = extractvalue { double, double } [[CALL1]], 053// CHECK-NEXT: [[TMP3:%.*]] = extractvalue { double, double } [[CALL1]], 154// CHECK-NEXT: [[G_REALP:%.*]] = getelementptr inbounds nuw { double, double }, ptr [[G]], i32 0, i32 055// CHECK-NEXT: [[G_IMAGP:%.*]] = getelementptr inbounds nuw { double, double }, ptr [[G]], i32 0, i32 156// CHECK-NEXT: store double [[TMP2]], ptr [[G_REALP]], align 857// CHECK-NEXT: store double [[TMP3]], ptr [[G_IMAGP]], align 858// CHECK-NEXT: [[CALL2:%.*]] = call { double, double } @__divdc3(double noundef 2.000000e+00, double noundef 0.000000e+00, double noundef 2.000000e+00, double noundef 4.000000e+00) #[[ATTR1]]59// CHECK-NEXT: [[TMP4:%.*]] = extractvalue { double, double } [[CALL2]], 060// CHECK-NEXT: [[TMP5:%.*]] = extractvalue { double, double } [[CALL2]], 161// CHECK-NEXT: [[H_REALP:%.*]] = getelementptr inbounds nuw { double, double }, ptr [[H]], i32 0, i32 062// CHECK-NEXT: [[H_IMAGP:%.*]] = getelementptr inbounds nuw { double, double }, ptr [[H]], i32 0, i32 163// CHECK-NEXT: store double [[TMP4]], ptr [[H_REALP]], align 864// CHECK-NEXT: store double [[TMP5]], ptr [[H_IMAGP]], align 865// CHECK-NEXT: ret void66//67void test() {68 _Complex double a = __builtin_complex(0.0, __builtin_inf()) * 2.0;69 _Complex double b = __builtin_complex(0.0, 1.0) * -0.0;70 _Complex double c = __builtin_complex(0.0, __builtin_inf()) / 2.0;71 _Complex double d = __builtin_complex(2.0, 3.0) * 2.0;72 _Complex double e = __builtin_complex(2.0, 4.0) / 2.0;73 _Complex double f = __builtin_complex(2.0, 3.0) * __builtin_complex(4.0, 5.0);74 _Complex double g = __builtin_complex(2.0, 3.0) / __builtin_complex(4.0, 5.0);75 _Complex double h = 2.0 / __builtin_complex(2.0, 4.0);76}77 78//.79// CHECK: [[PROF2]] = !{!"branch_weights", i32 1, i32 1048575}80//.81