74 lines · c
1// RUN: %clang_cc1 %s -emit-llvm -ffp-exception-behavior=maytrap -o - -triple arm64-none-linux-gnu | FileCheck %s2 3// Test that the constrained intrinsics are picking up the exception4// metadata from the AST instead of the global default from the command line.5 6#pragma float_control(except, on)7 8int printf(const char *, ...);9 10// CHECK-LABEL: @p(11// CHECK-NEXT: entry:12// CHECK-NEXT: [[STR_ADDR:%.*]] = alloca ptr, align 813// CHECK-NEXT: [[X_ADDR:%.*]] = alloca i32, align 414// CHECK-NEXT: store ptr [[STR:%.*]], ptr [[STR_ADDR]], align 815// CHECK-NEXT: store i32 [[X:%.*]], ptr [[X_ADDR]], align 416// CHECK-NEXT: [[TMP0:%.*]] = load ptr, ptr [[STR_ADDR]], align 817// CHECK-NEXT: [[TMP1:%.*]] = load i32, ptr [[X_ADDR]], align 418// CHECK-NEXT: [[CALL:%.*]] = call i32 (ptr, ...) @printf(ptr noundef @.str, ptr noundef [[TMP0]], i32 noundef [[TMP1]]) [[ATTR4:#.*]]19// CHECK-NEXT: ret void20//21void p(char *str, int x) {22 printf("%s: %d\n", str, x);23}24 25#define P(n,args) p(#n #args, __builtin_##n args)26 27// CHECK-LABEL: @test_long_double_isinf(28// CHECK-NEXT: entry:29// CHECK-NEXT: [[LD_ADDR:%.*]] = alloca fp128, align 1630// CHECK-NEXT: store fp128 [[D:%.*]], ptr [[LD_ADDR]], align 1631// CHECK-NEXT: [[TMP0:%.*]] = load fp128, ptr [[LD_ADDR]], align 1632// CHECK-NEXT: [[TMP1:%.*]] = call i1 @llvm.is.fpclass.f128(fp128 [[TMP0]], i32 516)33// CHECK-NEXT: [[RES:%.*]] = zext i1 [[TMP1]] to i3234// CHECK-NEXT: call void @p(ptr noundef @.str.[[#STRID:1]], i32 noundef [[RES]]) [[ATTR4]]35// CHECK-NEXT: ret void36//37void test_long_double_isinf(long double ld) {38 P(isinf, (ld));39 40 return;41}42 43// CHECK-LABEL: @test_long_double_isfinite(44// CHECK-NEXT: entry:45// CHECK-NEXT: [[LD_ADDR:%.*]] = alloca fp128, align 1646// CHECK-NEXT: store fp128 [[D:%.*]], ptr [[LD_ADDR]], align 1647// CHECK-NEXT: [[TMP0:%.*]] = load fp128, ptr [[LD_ADDR]], align 1648// CHECK-NEXT: [[TMP1:%.*]] = call i1 @llvm.is.fpclass.f128(fp128 [[TMP0]], i32 504)49// CHECK-NEXT: [[RES:%.*]] = zext i1 [[TMP1]] to i3250// CHECK-NEXT: call void @p(ptr noundef @.str.[[#STRID:STRID+1]], i32 noundef [[RES]]) [[ATTR4]]51// CHECK-NEXT: ret void52//53void test_long_double_isfinite(long double ld) {54 P(isfinite, (ld));55 56 return;57}58 59// CHECK-LABEL: @test_long_double_isnan(60// CHECK-NEXT: entry:61// CHECK-NEXT: [[LD_ADDR:%.*]] = alloca fp128, align 1662// CHECK-NEXT: store fp128 [[D:%.*]], ptr [[LD_ADDR]], align 1663// CHECK-NEXT: [[TMP0:%.*]] = load fp128, ptr [[LD_ADDR]], align 1664// CHECK-NEXT: [[TMP1:%.*]] = call i1 @llvm.is.fpclass.f128(fp128 [[TMP0]], i32 3)65// CHECK-NEXT: [[RES:%.*]] = zext i1 [[TMP1]] to i3266// CHECK-NEXT: call void @p(ptr noundef @.str.[[#STRID:STRID+1]], i32 noundef [[RES]])67// CHECK-NEXT: ret void68//69void test_long_double_isnan(long double ld) {70 P(isnan, (ld));71 72 return;73}74