clang/test/CodeGen/X86/strictfp_builtins.c

   1 // NOTE: Assertions have been autogenerated by utils/update_cc_test_checks.py
   2 // RUN: %clang_cc1 %s -emit-llvm -ffp-exception-behavior=maytrap -o - -triple x86_64-unknown-unknown | FileCheck %s
   3
   4 #pragma float_control(except, on)
   5
   6 int printf(const char *, ...);
   7
   8 // CHECK-LABEL: @p(
   9 // CHECK-NEXT:  entry:
  10 // CHECK-NEXT:    [[STR_ADDR:%.*]] = alloca ptr, align 8
  11 // CHECK-NEXT:    [[X_ADDR:%.*]] = alloca i32, align 4
  12 // CHECK-NEXT:    store ptr [[STR:%.*]], ptr [[STR_ADDR]], align 8
  13 // CHECK-NEXT:    store i32 [[X:%.*]], ptr [[X_ADDR]], align 4
  14 // CHECK-NEXT:    [[TMP0:%.*]] = load ptr, ptr [[STR_ADDR]], align 8
  15 // CHECK-NEXT:    [[TMP1:%.*]] = load i32, ptr [[X_ADDR]], align 4
  16 // CHECK-NEXT:    [[CALL:%.*]] = call i32 (ptr, ...) @printf(ptr noundef @.str, ptr noundef [[TMP0]], i32 noundef [[TMP1]]) #[[ATTR3:[0-9]+]]
  17 // CHECK-NEXT:    ret void
  18 //
  19 void 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 16
  28 // CHECK-NEXT:    store x86_fp80 [[LD:%.*]], ptr [[LD_ADDR]], align 16
  29 // CHECK-NEXT:    [[TMP0:%.*]] = load x86_fp80, ptr [[LD_ADDR]], align 16
  30 // CHECK-NEXT:    [[TMP1:%.*]] = call i1 @llvm.is.fpclass.f80(x86_fp80 [[TMP0]], i32 516) #[[ATTR3]]
  31 // CHECK-NEXT:    [[TMP2:%.*]] = zext i1 [[TMP1]] to i32
  32 // CHECK-NEXT:    call void @p(ptr noundef @.str.1, i32 noundef [[TMP2]]) #[[ATTR3]]
  33 // CHECK-NEXT:    ret void
  34 //
  35 void 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 16
  44 // CHECK-NEXT:    store x86_fp80 [[LD:%.*]], ptr [[LD_ADDR]], align 16
  45 // CHECK-NEXT:    [[TMP0:%.*]] = load x86_fp80, ptr [[LD_ADDR]], align 16
  46 // CHECK-NEXT:    [[TMP1:%.*]] = call i1 @llvm.is.fpclass.f80(x86_fp80 [[TMP0]], i32 504) #[[ATTR3]]
  47 // CHECK-NEXT:    [[TMP2:%.*]] = zext i1 [[TMP1]] to i32
  48 // CHECK-NEXT:    call void @p(ptr noundef @.str.2, i32 noundef [[TMP2]]) #[[ATTR3]]
  49 // CHECK-NEXT:    ret void
  50 //
  51 void 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 16
  60 // CHECK-NEXT:    store x86_fp80 [[LD:%.*]], ptr [[LD_ADDR]], align 16
  61 // CHECK-NEXT:    [[TMP0:%.*]] = load x86_fp80, ptr [[LD_ADDR]], align 16
  62 // CHECK-NEXT:    [[TMP1:%.*]] = call i1 @llvm.is.fpclass.f80(x86_fp80 [[TMP0]], i32 3) #[[ATTR3]]
  63 // CHECK-NEXT:    [[TMP2:%.*]] = zext i1 [[TMP1]] to i32
  64 // CHECK-NEXT:    call void @p(ptr noundef @.str.3, i32 noundef [[TMP2]]) #[[ATTR3]]
  65 // CHECK-NEXT:    ret void
  66 //
  67 void test_long_double_isnan(long double ld) {
  68   P(isnan, (ld));
  69
  70   return;
  71 }