72 lines · c
1// NOTE: Assertions have been autogenerated by utils/update_cc_test_checks.py2// RUN: %clang_cc1 %s -emit-llvm -ffp-exception-behavior=maytrap -o - -triple x86_64-unknown-unknown | FileCheck %s3 4#pragma float_control(except, on)5 6int printf(const char *, ...);7 8// CHECK-LABEL: @p(9// CHECK-NEXT: entry:10// CHECK-NEXT: [[STR_ADDR:%.*]] = alloca ptr, align 811// CHECK-NEXT: [[X_ADDR:%.*]] = alloca i32, align 412// CHECK-NEXT: store ptr [[STR:%.*]], ptr [[STR_ADDR]], align 813// CHECK-NEXT: store i32 [[X:%.*]], ptr [[X_ADDR]], align 414// CHECK-NEXT: [[TMP0:%.*]] = load ptr, ptr [[STR_ADDR]], align 815// CHECK-NEXT: [[TMP1:%.*]] = load i32, ptr [[X_ADDR]], align 416// CHECK-NEXT: [[CALL:%.*]] = call i32 (ptr, ...) @printf(ptr noundef @.str, ptr noundef [[TMP0]], i32 noundef [[TMP1]]) #[[ATTR3:[0-9]+]]17// CHECK-NEXT: ret void18//19void p(char *str, int x) {20 printf("%s: %d\n", str, x);21}22 23#define P(n,args) p(#n #args, __builtin_##n args)24 25// CHECK-LABEL: @test_long_double_isinf(26// CHECK-NEXT: entry:27// CHECK-NEXT: [[LD_ADDR:%.*]] = alloca x86_fp80, align 1628// CHECK-NEXT: store x86_fp80 [[LD:%.*]], ptr [[LD_ADDR]], align 1629// CHECK-NEXT: [[TMP0:%.*]] = load x86_fp80, ptr [[LD_ADDR]], align 1630// CHECK-NEXT: [[TMP1:%.*]] = call i1 @llvm.is.fpclass.f80(x86_fp80 [[TMP0]], i32 516) #[[ATTR3]]31// CHECK-NEXT: [[TMP2:%.*]] = zext i1 [[TMP1]] to i3232// CHECK-NEXT: call void @p(ptr noundef @.str.1, i32 noundef [[TMP2]]) #[[ATTR3]]33// CHECK-NEXT: ret void34//35void test_long_double_isinf(long double ld) {36 P(isinf, (ld));37 38 return;39}40 41// CHECK-LABEL: @test_long_double_isfinite(42// CHECK-NEXT: entry:43// CHECK-NEXT: [[LD_ADDR:%.*]] = alloca x86_fp80, align 1644// CHECK-NEXT: store x86_fp80 [[LD:%.*]], ptr [[LD_ADDR]], align 1645// CHECK-NEXT: [[TMP0:%.*]] = load x86_fp80, ptr [[LD_ADDR]], align 1646// CHECK-NEXT: [[TMP1:%.*]] = call i1 @llvm.is.fpclass.f80(x86_fp80 [[TMP0]], i32 504) #[[ATTR3]]47// CHECK-NEXT: [[TMP2:%.*]] = zext i1 [[TMP1]] to i3248// CHECK-NEXT: call void @p(ptr noundef @.str.2, i32 noundef [[TMP2]]) #[[ATTR3]]49// CHECK-NEXT: ret void50//51void test_long_double_isfinite(long double ld) {52 P(isfinite, (ld));53 54 return;55}56 57// CHECK-LABEL: @test_long_double_isnan(58// CHECK-NEXT: entry:59// CHECK-NEXT: [[LD_ADDR:%.*]] = alloca x86_fp80, align 1660// CHECK-NEXT: store x86_fp80 [[LD:%.*]], ptr [[LD_ADDR]], align 1661// CHECK-NEXT: [[TMP0:%.*]] = load x86_fp80, ptr [[LD_ADDR]], align 1662// CHECK-NEXT: [[TMP1:%.*]] = call i1 @llvm.is.fpclass.f80(x86_fp80 [[TMP0]], i32 3) #[[ATTR3]]63// CHECK-NEXT: [[TMP2:%.*]] = zext i1 [[TMP1]] to i3264// CHECK-NEXT: call void @p(ptr noundef @.str.3, i32 noundef [[TMP2]]) #[[ATTR3]]65// CHECK-NEXT: ret void66//67void test_long_double_isnan(long double ld) {68 P(isnan, (ld));69 70 return;71}72