mirror of
https://github.com/llvm/llvm-project.git
synced 2025-04-18 12:16:49 +00:00
[ValueTracking] use KnownBits to compute fpclass from bitcast (#97762)
When we encounter a bitcast from an integer type we can use the information from `KnownBits` to glean some information about the fpclass: - If the sign bit is known, we can transfer this information over. - If the float is IEEE format and enough of the bits are known, we may be able to prove or rule out some fpclasses such as NaN, Zero, or Inf.
This commit is contained in:
Alex MacLean
GitHub
parent
0c4cf79def
commit
369d8148e0
@ -2361,198 +2361,395 @@ extern "C" __device__ double test_modf(double x, double* y) {
|
||||
return modf(x, y);
|
||||
}
|
||||
|
||||
// CHECK-LABEL: @test_nanf(
|
||||
// CHECK-NEXT: entry:
|
||||
// CHECK-NEXT: [[TMP0:%.*]] = load i8, ptr [[TAG:%.*]], align 1, !tbaa [[TBAA4]]
|
||||
// CHECK-NEXT: [[CMP_I_I:%.*]] = icmp eq i8 [[TMP0]], 48
|
||||
// CHECK-NEXT: br i1 [[CMP_I_I]], label [[IF_THEN_I_I:%.*]], label [[WHILE_COND_I14_I_I:%.*]]
|
||||
// CHECK: if.then.i.i:
|
||||
// CHECK-NEXT: [[INCDEC_PTR_I_I:%.*]] = getelementptr inbounds i8, ptr [[TAG]], i64 1
|
||||
// CHECK-NEXT: [[TMP1:%.*]] = load i8, ptr [[INCDEC_PTR_I_I]], align 1, !tbaa [[TBAA4]]
|
||||
// CHECK-NEXT: switch i8 [[TMP1]], label [[WHILE_COND_I_I_I:%.*]] [
|
||||
// CHECK-NEXT: i8 120, label [[WHILE_COND_I30_I_I_PREHEADER:%.*]]
|
||||
// CHECK-NEXT: i8 88, label [[WHILE_COND_I30_I_I_PREHEADER]]
|
||||
// CHECK-NEXT: ]
|
||||
// CHECK: while.cond.i30.i.i.preheader:
|
||||
// CHECK-NEXT: br label [[WHILE_COND_I30_I_I:%.*]]
|
||||
// CHECK: while.cond.i30.i.i:
|
||||
// CHECK-NEXT: [[__TAGP_ADDR_0_I31_I_I:%.*]] = phi ptr [ [[__TAGP_ADDR_1_I37_I_I:%.*]], [[CLEANUP_I36_I_I:%.*]] ], [ [[INCDEC_PTR_I_I]], [[WHILE_COND_I30_I_I_PREHEADER]] ]
|
||||
// CHECK-NEXT: [[__R_0_I32_I_I:%.*]] = phi i64 [ [[__R_2_I_I_I:%.*]], [[CLEANUP_I36_I_I]] ], [ 0, [[WHILE_COND_I30_I_I_PREHEADER]] ]
|
||||
// CHECK-NEXT: [[TMP2:%.*]] = load i8, ptr [[__TAGP_ADDR_0_I31_I_I]], align 1, !tbaa [[TBAA4]]
|
||||
// CHECK-NEXT: [[CMP_NOT_I33_I_I:%.*]] = icmp eq i8 [[TMP2]], 0
|
||||
// CHECK-NEXT: br i1 [[CMP_NOT_I33_I_I]], label [[_ZL4NANFPKC_EXIT:%.*]], label [[WHILE_BODY_I34_I_I:%.*]]
|
||||
// CHECK: while.body.i34.i.i:
|
||||
// CHECK-NEXT: [[TMP3:%.*]] = add i8 [[TMP2]], -48
|
||||
// CHECK-NEXT: [[OR_COND_I35_I_I:%.*]] = icmp ult i8 [[TMP3]], 10
|
||||
// CHECK-NEXT: br i1 [[OR_COND_I35_I_I]], label [[IF_END31_I_I_I:%.*]], label [[IF_ELSE_I_I_I:%.*]]
|
||||
// CHECK: if.else.i.i.i:
|
||||
// CHECK-NEXT: [[TMP4:%.*]] = add i8 [[TMP2]], -97
|
||||
// CHECK-NEXT: [[OR_COND33_I_I_I:%.*]] = icmp ult i8 [[TMP4]], 6
|
||||
// CHECK-NEXT: br i1 [[OR_COND33_I_I_I]], label [[IF_END31_I_I_I]], label [[IF_ELSE17_I_I_I:%.*]]
|
||||
// CHECK: if.else17.i.i.i:
|
||||
// CHECK-NEXT: [[TMP5:%.*]] = add i8 [[TMP2]], -65
|
||||
// CHECK-NEXT: [[OR_COND34_I_I_I:%.*]] = icmp ult i8 [[TMP5]], 6
|
||||
// CHECK-NEXT: br i1 [[OR_COND34_I_I_I]], label [[IF_END31_I_I_I]], label [[CLEANUP_I36_I_I]]
|
||||
// CHECK: if.end31.i.i.i:
|
||||
// CHECK-NEXT: [[DOTSINK:%.*]] = phi i64 [ -48, [[WHILE_BODY_I34_I_I]] ], [ -87, [[IF_ELSE_I_I_I]] ], [ -55, [[IF_ELSE17_I_I_I]] ]
|
||||
// CHECK-NEXT: [[MUL24_I_I_I:%.*]] = shl i64 [[__R_0_I32_I_I]], 4
|
||||
// CHECK-NEXT: [[CONV25_I_I_I:%.*]] = zext nneg i8 [[TMP2]] to i64
|
||||
// CHECK-NEXT: [[ADD26_I_I_I:%.*]] = add i64 [[MUL24_I_I_I]], [[DOTSINK]]
|
||||
// CHECK-NEXT: [[ADD28_I_I_I:%.*]] = add i64 [[ADD26_I_I_I]], [[CONV25_I_I_I]]
|
||||
// CHECK-NEXT: [[INCDEC_PTR_I40_I_I:%.*]] = getelementptr inbounds i8, ptr [[__TAGP_ADDR_0_I31_I_I]], i64 1
|
||||
// CHECK-NEXT: br label [[CLEANUP_I36_I_I]]
|
||||
// CHECK: cleanup.i36.i.i:
|
||||
// CHECK-NEXT: [[__TAGP_ADDR_1_I37_I_I]] = phi ptr [ [[INCDEC_PTR_I40_I_I]], [[IF_END31_I_I_I]] ], [ [[__TAGP_ADDR_0_I31_I_I]], [[IF_ELSE17_I_I_I]] ]
|
||||
// CHECK-NEXT: [[__R_2_I_I_I]] = phi i64 [ [[ADD28_I_I_I]], [[IF_END31_I_I_I]] ], [ [[__R_0_I32_I_I]], [[IF_ELSE17_I_I_I]] ]
|
||||
// CHECK-NEXT: [[COND_I_I_I:%.*]] = phi i1 [ true, [[IF_END31_I_I_I]] ], [ false, [[IF_ELSE17_I_I_I]] ]
|
||||
// CHECK-NEXT: br i1 [[COND_I_I_I]], label [[WHILE_COND_I30_I_I]], label [[_ZL4NANFPKC_EXIT]], !llvm.loop [[LOOP11]]
|
||||
// CHECK: while.cond.i.i.i:
|
||||
// CHECK-NEXT: [[__TAGP_ADDR_0_I_I_I:%.*]] = phi ptr [ [[__TAGP_ADDR_1_I_I_I:%.*]], [[CLEANUP_I_I_I:%.*]] ], [ [[INCDEC_PTR_I_I]], [[IF_THEN_I_I]] ]
|
||||
// CHECK-NEXT: [[__R_0_I_I_I:%.*]] = phi i64 [ [[__R_1_I_I_I:%.*]], [[CLEANUP_I_I_I]] ], [ 0, [[IF_THEN_I_I]] ]
|
||||
// CHECK-NEXT: [[TMP6:%.*]] = load i8, ptr [[__TAGP_ADDR_0_I_I_I]], align 1, !tbaa [[TBAA4]]
|
||||
// CHECK-NEXT: [[CMP_NOT_I_I_I:%.*]] = icmp eq i8 [[TMP6]], 0
|
||||
// CHECK-NEXT: br i1 [[CMP_NOT_I_I_I]], label [[_ZL4NANFPKC_EXIT]], label [[WHILE_BODY_I_I_I:%.*]]
|
||||
// CHECK: while.body.i.i.i:
|
||||
// CHECK-NEXT: [[TMP7:%.*]] = and i8 [[TMP6]], -8
|
||||
// CHECK-NEXT: [[OR_COND_I_I_I:%.*]] = icmp eq i8 [[TMP7]], 48
|
||||
// CHECK-NEXT: br i1 [[OR_COND_I_I_I]], label [[IF_THEN_I_I_I:%.*]], label [[CLEANUP_I_I_I]]
|
||||
// CHECK: if.then.i.i.i:
|
||||
// CHECK-NEXT: [[MUL_I_I_I:%.*]] = shl i64 [[__R_0_I_I_I]], 3
|
||||
// CHECK-NEXT: [[CONV5_I_I_I:%.*]] = zext nneg i8 [[TMP6]] to i64
|
||||
// CHECK-NEXT: [[ADD_I_I_I:%.*]] = add i64 [[MUL_I_I_I]], -48
|
||||
// CHECK-NEXT: [[SUB_I_I_I:%.*]] = add i64 [[ADD_I_I_I]], [[CONV5_I_I_I]]
|
||||
// CHECK-NEXT: [[INCDEC_PTR_I_I_I:%.*]] = getelementptr inbounds i8, ptr [[__TAGP_ADDR_0_I_I_I]], i64 1
|
||||
// CHECK-NEXT: br label [[CLEANUP_I_I_I]]
|
||||
// CHECK: cleanup.i.i.i:
|
||||
// CHECK-NEXT: [[__TAGP_ADDR_1_I_I_I]] = phi ptr [ [[INCDEC_PTR_I_I_I]], [[IF_THEN_I_I_I]] ], [ [[__TAGP_ADDR_0_I_I_I]], [[WHILE_BODY_I_I_I]] ]
|
||||
// CHECK-NEXT: [[__R_1_I_I_I]] = phi i64 [ [[SUB_I_I_I]], [[IF_THEN_I_I_I]] ], [ [[__R_0_I_I_I]], [[WHILE_BODY_I_I_I]] ]
|
||||
// CHECK-NEXT: br i1 [[OR_COND_I_I_I]], label [[WHILE_COND_I_I_I]], label [[_ZL4NANFPKC_EXIT]], !llvm.loop [[LOOP7]]
|
||||
// CHECK: while.cond.i14.i.i:
|
||||
// CHECK-NEXT: [[__TAGP_ADDR_0_I15_I_I:%.*]] = phi ptr [ [[__TAGP_ADDR_1_I21_I_I:%.*]], [[CLEANUP_I20_I_I:%.*]] ], [ [[TAG]], [[ENTRY:%.*]] ]
|
||||
// CHECK-NEXT: [[__R_0_I16_I_I:%.*]] = phi i64 [ [[__R_1_I22_I_I:%.*]], [[CLEANUP_I20_I_I]] ], [ 0, [[ENTRY]] ]
|
||||
// CHECK-NEXT: [[TMP8:%.*]] = load i8, ptr [[__TAGP_ADDR_0_I15_I_I]], align 1, !tbaa [[TBAA4]]
|
||||
// CHECK-NEXT: [[CMP_NOT_I17_I_I:%.*]] = icmp eq i8 [[TMP8]], 0
|
||||
// CHECK-NEXT: br i1 [[CMP_NOT_I17_I_I]], label [[_ZL4NANFPKC_EXIT]], label [[WHILE_BODY_I18_I_I:%.*]]
|
||||
// CHECK: while.body.i18.i.i:
|
||||
// CHECK-NEXT: [[TMP9:%.*]] = add i8 [[TMP8]], -48
|
||||
// CHECK-NEXT: [[OR_COND_I19_I_I:%.*]] = icmp ult i8 [[TMP9]], 10
|
||||
// CHECK-NEXT: br i1 [[OR_COND_I19_I_I]], label [[IF_THEN_I24_I_I:%.*]], label [[CLEANUP_I20_I_I]]
|
||||
// CHECK: if.then.i24.i.i:
|
||||
// CHECK-NEXT: [[MUL_I25_I_I:%.*]] = mul i64 [[__R_0_I16_I_I]], 10
|
||||
// CHECK-NEXT: [[CONV5_I26_I_I:%.*]] = zext nneg i8 [[TMP8]] to i64
|
||||
// CHECK-NEXT: [[ADD_I27_I_I:%.*]] = add i64 [[MUL_I25_I_I]], -48
|
||||
// CHECK-NEXT: [[SUB_I28_I_I:%.*]] = add i64 [[ADD_I27_I_I]], [[CONV5_I26_I_I]]
|
||||
// CHECK-NEXT: [[INCDEC_PTR_I29_I_I:%.*]] = getelementptr inbounds i8, ptr [[__TAGP_ADDR_0_I15_I_I]], i64 1
|
||||
// CHECK-NEXT: br label [[CLEANUP_I20_I_I]]
|
||||
// CHECK: cleanup.i20.i.i:
|
||||
// CHECK-NEXT: [[__TAGP_ADDR_1_I21_I_I]] = phi ptr [ [[INCDEC_PTR_I29_I_I]], [[IF_THEN_I24_I_I]] ], [ [[__TAGP_ADDR_0_I15_I_I]], [[WHILE_BODY_I18_I_I]] ]
|
||||
// CHECK-NEXT: [[__R_1_I22_I_I]] = phi i64 [ [[SUB_I28_I_I]], [[IF_THEN_I24_I_I]] ], [ [[__R_0_I16_I_I]], [[WHILE_BODY_I18_I_I]] ]
|
||||
// CHECK-NEXT: br i1 [[OR_COND_I19_I_I]], label [[WHILE_COND_I14_I_I]], label [[_ZL4NANFPKC_EXIT]], !llvm.loop [[LOOP10]]
|
||||
// CHECK: _ZL4nanfPKc.exit:
|
||||
// CHECK-NEXT: [[RETVAL_0_I_I:%.*]] = phi i64 [ 0, [[CLEANUP_I_I_I]] ], [ [[__R_0_I_I_I]], [[WHILE_COND_I_I_I]] ], [ 0, [[CLEANUP_I36_I_I]] ], [ [[__R_0_I32_I_I]], [[WHILE_COND_I30_I_I]] ], [ 0, [[CLEANUP_I20_I_I]] ], [ [[__R_0_I16_I_I]], [[WHILE_COND_I14_I_I]] ]
|
||||
// CHECK-NEXT: [[CONV_I:%.*]] = trunc i64 [[RETVAL_0_I_I]] to i32
|
||||
// CHECK-NEXT: [[BF_VALUE_I:%.*]] = and i32 [[CONV_I]], 4194303
|
||||
// CHECK-NEXT: [[BF_SET9_I:%.*]] = or disjoint i32 [[BF_VALUE_I]], 2143289344
|
||||
// CHECK-NEXT: [[TMP10:%.*]] = bitcast i32 [[BF_SET9_I]] to float
|
||||
// CHECK-NEXT: ret float [[TMP10]]
|
||||
// DEFAULT-LABEL: @test_nanf(
|
||||
// DEFAULT-NEXT: entry:
|
||||
// DEFAULT-NEXT: [[TMP0:%.*]] = load i8, ptr [[TAG:%.*]], align 1, !tbaa [[TBAA4]]
|
||||
// DEFAULT-NEXT: [[CMP_I_I:%.*]] = icmp eq i8 [[TMP0]], 48
|
||||
// DEFAULT-NEXT: br i1 [[CMP_I_I]], label [[IF_THEN_I_I:%.*]], label [[WHILE_COND_I14_I_I:%.*]]
|
||||
// DEFAULT: if.then.i.i:
|
||||
// DEFAULT-NEXT: [[INCDEC_PTR_I_I:%.*]] = getelementptr inbounds i8, ptr [[TAG]], i64 1
|
||||
// DEFAULT-NEXT: [[TMP1:%.*]] = load i8, ptr [[INCDEC_PTR_I_I]], align 1, !tbaa [[TBAA4]]
|
||||
// DEFAULT-NEXT: switch i8 [[TMP1]], label [[WHILE_COND_I_I_I:%.*]] [
|
||||
// DEFAULT-NEXT: i8 120, label [[WHILE_COND_I30_I_I_PREHEADER:%.*]]
|
||||
// DEFAULT-NEXT: i8 88, label [[WHILE_COND_I30_I_I_PREHEADER]]
|
||||
// DEFAULT-NEXT: ]
|
||||
// DEFAULT: while.cond.i30.i.i.preheader:
|
||||
// DEFAULT-NEXT: br label [[WHILE_COND_I30_I_I:%.*]]
|
||||
// DEFAULT: while.cond.i30.i.i:
|
||||
// DEFAULT-NEXT: [[__TAGP_ADDR_0_I31_I_I:%.*]] = phi ptr [ [[__TAGP_ADDR_1_I37_I_I:%.*]], [[CLEANUP_I36_I_I:%.*]] ], [ [[INCDEC_PTR_I_I]], [[WHILE_COND_I30_I_I_PREHEADER]] ]
|
||||
// DEFAULT-NEXT: [[__R_0_I32_I_I:%.*]] = phi i64 [ [[__R_2_I_I_I:%.*]], [[CLEANUP_I36_I_I]] ], [ 0, [[WHILE_COND_I30_I_I_PREHEADER]] ]
|
||||
// DEFAULT-NEXT: [[TMP2:%.*]] = load i8, ptr [[__TAGP_ADDR_0_I31_I_I]], align 1, !tbaa [[TBAA4]]
|
||||
// DEFAULT-NEXT: [[CMP_NOT_I33_I_I:%.*]] = icmp eq i8 [[TMP2]], 0
|
||||
// DEFAULT-NEXT: br i1 [[CMP_NOT_I33_I_I]], label [[_ZL4NANFPKC_EXIT:%.*]], label [[WHILE_BODY_I34_I_I:%.*]]
|
||||
// DEFAULT: while.body.i34.i.i:
|
||||
// DEFAULT-NEXT: [[TMP3:%.*]] = add i8 [[TMP2]], -48
|
||||
// DEFAULT-NEXT: [[OR_COND_I35_I_I:%.*]] = icmp ult i8 [[TMP3]], 10
|
||||
// DEFAULT-NEXT: br i1 [[OR_COND_I35_I_I]], label [[IF_END31_I_I_I:%.*]], label [[IF_ELSE_I_I_I:%.*]]
|
||||
// DEFAULT: if.else.i.i.i:
|
||||
// DEFAULT-NEXT: [[TMP4:%.*]] = add i8 [[TMP2]], -97
|
||||
// DEFAULT-NEXT: [[OR_COND33_I_I_I:%.*]] = icmp ult i8 [[TMP4]], 6
|
||||
// DEFAULT-NEXT: br i1 [[OR_COND33_I_I_I]], label [[IF_END31_I_I_I]], label [[IF_ELSE17_I_I_I:%.*]]
|
||||
// DEFAULT: if.else17.i.i.i:
|
||||
// DEFAULT-NEXT: [[TMP5:%.*]] = add i8 [[TMP2]], -65
|
||||
// DEFAULT-NEXT: [[OR_COND34_I_I_I:%.*]] = icmp ult i8 [[TMP5]], 6
|
||||
// DEFAULT-NEXT: br i1 [[OR_COND34_I_I_I]], label [[IF_END31_I_I_I]], label [[CLEANUP_I36_I_I]]
|
||||
// DEFAULT: if.end31.i.i.i:
|
||||
// DEFAULT-NEXT: [[DOTSINK:%.*]] = phi i64 [ -48, [[WHILE_BODY_I34_I_I]] ], [ -87, [[IF_ELSE_I_I_I]] ], [ -55, [[IF_ELSE17_I_I_I]] ]
|
||||
// DEFAULT-NEXT: [[MUL24_I_I_I:%.*]] = shl i64 [[__R_0_I32_I_I]], 4
|
||||
// DEFAULT-NEXT: [[CONV25_I_I_I:%.*]] = zext nneg i8 [[TMP2]] to i64
|
||||
// DEFAULT-NEXT: [[ADD26_I_I_I:%.*]] = add i64 [[MUL24_I_I_I]], [[DOTSINK]]
|
||||
// DEFAULT-NEXT: [[ADD28_I_I_I:%.*]] = add i64 [[ADD26_I_I_I]], [[CONV25_I_I_I]]
|
||||
// DEFAULT-NEXT: [[INCDEC_PTR_I40_I_I:%.*]] = getelementptr inbounds i8, ptr [[__TAGP_ADDR_0_I31_I_I]], i64 1
|
||||
// DEFAULT-NEXT: br label [[CLEANUP_I36_I_I]]
|
||||
// DEFAULT: cleanup.i36.i.i:
|
||||
// DEFAULT-NEXT: [[__TAGP_ADDR_1_I37_I_I]] = phi ptr [ [[INCDEC_PTR_I40_I_I]], [[IF_END31_I_I_I]] ], [ [[__TAGP_ADDR_0_I31_I_I]], [[IF_ELSE17_I_I_I]] ]
|
||||
// DEFAULT-NEXT: [[__R_2_I_I_I]] = phi i64 [ [[ADD28_I_I_I]], [[IF_END31_I_I_I]] ], [ [[__R_0_I32_I_I]], [[IF_ELSE17_I_I_I]] ]
|
||||
// DEFAULT-NEXT: [[COND_I_I_I:%.*]] = phi i1 [ true, [[IF_END31_I_I_I]] ], [ false, [[IF_ELSE17_I_I_I]] ]
|
||||
// DEFAULT-NEXT: br i1 [[COND_I_I_I]], label [[WHILE_COND_I30_I_I]], label [[_ZL4NANFPKC_EXIT]], !llvm.loop [[LOOP11]]
|
||||
// DEFAULT: while.cond.i.i.i:
|
||||
// DEFAULT-NEXT: [[__TAGP_ADDR_0_I_I_I:%.*]] = phi ptr [ [[__TAGP_ADDR_1_I_I_I:%.*]], [[CLEANUP_I_I_I:%.*]] ], [ [[INCDEC_PTR_I_I]], [[IF_THEN_I_I]] ]
|
||||
// DEFAULT-NEXT: [[__R_0_I_I_I:%.*]] = phi i64 [ [[__R_1_I_I_I:%.*]], [[CLEANUP_I_I_I]] ], [ 0, [[IF_THEN_I_I]] ]
|
||||
// DEFAULT-NEXT: [[TMP6:%.*]] = load i8, ptr [[__TAGP_ADDR_0_I_I_I]], align 1, !tbaa [[TBAA4]]
|
||||
// DEFAULT-NEXT: [[CMP_NOT_I_I_I:%.*]] = icmp eq i8 [[TMP6]], 0
|
||||
// DEFAULT-NEXT: br i1 [[CMP_NOT_I_I_I]], label [[_ZL4NANFPKC_EXIT]], label [[WHILE_BODY_I_I_I:%.*]]
|
||||
// DEFAULT: while.body.i.i.i:
|
||||
// DEFAULT-NEXT: [[TMP7:%.*]] = and i8 [[TMP6]], -8
|
||||
// DEFAULT-NEXT: [[OR_COND_I_I_I:%.*]] = icmp eq i8 [[TMP7]], 48
|
||||
// DEFAULT-NEXT: br i1 [[OR_COND_I_I_I]], label [[IF_THEN_I_I_I:%.*]], label [[CLEANUP_I_I_I]]
|
||||
// DEFAULT: if.then.i.i.i:
|
||||
// DEFAULT-NEXT: [[MUL_I_I_I:%.*]] = shl i64 [[__R_0_I_I_I]], 3
|
||||
// DEFAULT-NEXT: [[CONV5_I_I_I:%.*]] = zext nneg i8 [[TMP6]] to i64
|
||||
// DEFAULT-NEXT: [[ADD_I_I_I:%.*]] = add i64 [[MUL_I_I_I]], -48
|
||||
// DEFAULT-NEXT: [[SUB_I_I_I:%.*]] = add i64 [[ADD_I_I_I]], [[CONV5_I_I_I]]
|
||||
// DEFAULT-NEXT: [[INCDEC_PTR_I_I_I:%.*]] = getelementptr inbounds i8, ptr [[__TAGP_ADDR_0_I_I_I]], i64 1
|
||||
// DEFAULT-NEXT: br label [[CLEANUP_I_I_I]]
|
||||
// DEFAULT: cleanup.i.i.i:
|
||||
// DEFAULT-NEXT: [[__TAGP_ADDR_1_I_I_I]] = phi ptr [ [[INCDEC_PTR_I_I_I]], [[IF_THEN_I_I_I]] ], [ [[__TAGP_ADDR_0_I_I_I]], [[WHILE_BODY_I_I_I]] ]
|
||||
// DEFAULT-NEXT: [[__R_1_I_I_I]] = phi i64 [ [[SUB_I_I_I]], [[IF_THEN_I_I_I]] ], [ [[__R_0_I_I_I]], [[WHILE_BODY_I_I_I]] ]
|
||||
// DEFAULT-NEXT: br i1 [[OR_COND_I_I_I]], label [[WHILE_COND_I_I_I]], label [[_ZL4NANFPKC_EXIT]], !llvm.loop [[LOOP7]]
|
||||
// DEFAULT: while.cond.i14.i.i:
|
||||
// DEFAULT-NEXT: [[__TAGP_ADDR_0_I15_I_I:%.*]] = phi ptr [ [[__TAGP_ADDR_1_I21_I_I:%.*]], [[CLEANUP_I20_I_I:%.*]] ], [ [[TAG]], [[ENTRY:%.*]] ]
|
||||
// DEFAULT-NEXT: [[__R_0_I16_I_I:%.*]] = phi i64 [ [[__R_1_I22_I_I:%.*]], [[CLEANUP_I20_I_I]] ], [ 0, [[ENTRY]] ]
|
||||
// DEFAULT-NEXT: [[TMP8:%.*]] = load i8, ptr [[__TAGP_ADDR_0_I15_I_I]], align 1, !tbaa [[TBAA4]]
|
||||
// DEFAULT-NEXT: [[CMP_NOT_I17_I_I:%.*]] = icmp eq i8 [[TMP8]], 0
|
||||
// DEFAULT-NEXT: br i1 [[CMP_NOT_I17_I_I]], label [[_ZL4NANFPKC_EXIT]], label [[WHILE_BODY_I18_I_I:%.*]]
|
||||
// DEFAULT: while.body.i18.i.i:
|
||||
// DEFAULT-NEXT: [[TMP9:%.*]] = add i8 [[TMP8]], -48
|
||||
// DEFAULT-NEXT: [[OR_COND_I19_I_I:%.*]] = icmp ult i8 [[TMP9]], 10
|
||||
// DEFAULT-NEXT: br i1 [[OR_COND_I19_I_I]], label [[IF_THEN_I24_I_I:%.*]], label [[CLEANUP_I20_I_I]]
|
||||
// DEFAULT: if.then.i24.i.i:
|
||||
// DEFAULT-NEXT: [[MUL_I25_I_I:%.*]] = mul i64 [[__R_0_I16_I_I]], 10
|
||||
// DEFAULT-NEXT: [[CONV5_I26_I_I:%.*]] = zext nneg i8 [[TMP8]] to i64
|
||||
// DEFAULT-NEXT: [[ADD_I27_I_I:%.*]] = add i64 [[MUL_I25_I_I]], -48
|
||||
// DEFAULT-NEXT: [[SUB_I28_I_I:%.*]] = add i64 [[ADD_I27_I_I]], [[CONV5_I26_I_I]]
|
||||
// DEFAULT-NEXT: [[INCDEC_PTR_I29_I_I:%.*]] = getelementptr inbounds i8, ptr [[__TAGP_ADDR_0_I15_I_I]], i64 1
|
||||
// DEFAULT-NEXT: br label [[CLEANUP_I20_I_I]]
|
||||
// DEFAULT: cleanup.i20.i.i:
|
||||
// DEFAULT-NEXT: [[__TAGP_ADDR_1_I21_I_I]] = phi ptr [ [[INCDEC_PTR_I29_I_I]], [[IF_THEN_I24_I_I]] ], [ [[__TAGP_ADDR_0_I15_I_I]], [[WHILE_BODY_I18_I_I]] ]
|
||||
// DEFAULT-NEXT: [[__R_1_I22_I_I]] = phi i64 [ [[SUB_I28_I_I]], [[IF_THEN_I24_I_I]] ], [ [[__R_0_I16_I_I]], [[WHILE_BODY_I18_I_I]] ]
|
||||
// DEFAULT-NEXT: br i1 [[OR_COND_I19_I_I]], label [[WHILE_COND_I14_I_I]], label [[_ZL4NANFPKC_EXIT]], !llvm.loop [[LOOP10]]
|
||||
// DEFAULT: _ZL4nanfPKc.exit:
|
||||
// DEFAULT-NEXT: [[RETVAL_0_I_I:%.*]] = phi i64 [ 0, [[CLEANUP_I_I_I]] ], [ [[__R_0_I_I_I]], [[WHILE_COND_I_I_I]] ], [ 0, [[CLEANUP_I36_I_I]] ], [ [[__R_0_I32_I_I]], [[WHILE_COND_I30_I_I]] ], [ 0, [[CLEANUP_I20_I_I]] ], [ [[__R_0_I16_I_I]], [[WHILE_COND_I14_I_I]] ]
|
||||
// DEFAULT-NEXT: [[CONV_I:%.*]] = trunc i64 [[RETVAL_0_I_I]] to i32
|
||||
// DEFAULT-NEXT: [[BF_VALUE_I:%.*]] = and i32 [[CONV_I]], 4194303
|
||||
// DEFAULT-NEXT: [[BF_SET9_I:%.*]] = or disjoint i32 [[BF_VALUE_I]], 2143289344
|
||||
// DEFAULT-NEXT: [[TMP10:%.*]] = bitcast i32 [[BF_SET9_I]] to float
|
||||
// DEFAULT-NEXT: ret float [[TMP10]]
|
||||
//
|
||||
// FINITEONLY-LABEL: @test_nanf(
|
||||
// FINITEONLY-NEXT: entry:
|
||||
// FINITEONLY-NEXT: ret float poison
|
||||
//
|
||||
// APPROX-LABEL: @test_nanf(
|
||||
// APPROX-NEXT: entry:
|
||||
// APPROX-NEXT: [[TMP0:%.*]] = load i8, ptr [[TAG:%.*]], align 1, !tbaa [[TBAA4]]
|
||||
// APPROX-NEXT: [[CMP_I_I:%.*]] = icmp eq i8 [[TMP0]], 48
|
||||
// APPROX-NEXT: br i1 [[CMP_I_I]], label [[IF_THEN_I_I:%.*]], label [[WHILE_COND_I14_I_I:%.*]]
|
||||
// APPROX: if.then.i.i:
|
||||
// APPROX-NEXT: [[INCDEC_PTR_I_I:%.*]] = getelementptr inbounds i8, ptr [[TAG]], i64 1
|
||||
// APPROX-NEXT: [[TMP1:%.*]] = load i8, ptr [[INCDEC_PTR_I_I]], align 1, !tbaa [[TBAA4]]
|
||||
// APPROX-NEXT: switch i8 [[TMP1]], label [[WHILE_COND_I_I_I:%.*]] [
|
||||
// APPROX-NEXT: i8 120, label [[WHILE_COND_I30_I_I_PREHEADER:%.*]]
|
||||
// APPROX-NEXT: i8 88, label [[WHILE_COND_I30_I_I_PREHEADER]]
|
||||
// APPROX-NEXT: ]
|
||||
// APPROX: while.cond.i30.i.i.preheader:
|
||||
// APPROX-NEXT: br label [[WHILE_COND_I30_I_I:%.*]]
|
||||
// APPROX: while.cond.i30.i.i:
|
||||
// APPROX-NEXT: [[__TAGP_ADDR_0_I31_I_I:%.*]] = phi ptr [ [[__TAGP_ADDR_1_I37_I_I:%.*]], [[CLEANUP_I36_I_I:%.*]] ], [ [[INCDEC_PTR_I_I]], [[WHILE_COND_I30_I_I_PREHEADER]] ]
|
||||
// APPROX-NEXT: [[__R_0_I32_I_I:%.*]] = phi i64 [ [[__R_2_I_I_I:%.*]], [[CLEANUP_I36_I_I]] ], [ 0, [[WHILE_COND_I30_I_I_PREHEADER]] ]
|
||||
// APPROX-NEXT: [[TMP2:%.*]] = load i8, ptr [[__TAGP_ADDR_0_I31_I_I]], align 1, !tbaa [[TBAA4]]
|
||||
// APPROX-NEXT: [[CMP_NOT_I33_I_I:%.*]] = icmp eq i8 [[TMP2]], 0
|
||||
// APPROX-NEXT: br i1 [[CMP_NOT_I33_I_I]], label [[_ZL4NANFPKC_EXIT:%.*]], label [[WHILE_BODY_I34_I_I:%.*]]
|
||||
// APPROX: while.body.i34.i.i:
|
||||
// APPROX-NEXT: [[TMP3:%.*]] = add i8 [[TMP2]], -48
|
||||
// APPROX-NEXT: [[OR_COND_I35_I_I:%.*]] = icmp ult i8 [[TMP3]], 10
|
||||
// APPROX-NEXT: br i1 [[OR_COND_I35_I_I]], label [[IF_END31_I_I_I:%.*]], label [[IF_ELSE_I_I_I:%.*]]
|
||||
// APPROX: if.else.i.i.i:
|
||||
// APPROX-NEXT: [[TMP4:%.*]] = add i8 [[TMP2]], -97
|
||||
// APPROX-NEXT: [[OR_COND33_I_I_I:%.*]] = icmp ult i8 [[TMP4]], 6
|
||||
// APPROX-NEXT: br i1 [[OR_COND33_I_I_I]], label [[IF_END31_I_I_I]], label [[IF_ELSE17_I_I_I:%.*]]
|
||||
// APPROX: if.else17.i.i.i:
|
||||
// APPROX-NEXT: [[TMP5:%.*]] = add i8 [[TMP2]], -65
|
||||
// APPROX-NEXT: [[OR_COND34_I_I_I:%.*]] = icmp ult i8 [[TMP5]], 6
|
||||
// APPROX-NEXT: br i1 [[OR_COND34_I_I_I]], label [[IF_END31_I_I_I]], label [[CLEANUP_I36_I_I]]
|
||||
// APPROX: if.end31.i.i.i:
|
||||
// APPROX-NEXT: [[DOTSINK:%.*]] = phi i64 [ -48, [[WHILE_BODY_I34_I_I]] ], [ -87, [[IF_ELSE_I_I_I]] ], [ -55, [[IF_ELSE17_I_I_I]] ]
|
||||
// APPROX-NEXT: [[MUL24_I_I_I:%.*]] = shl i64 [[__R_0_I32_I_I]], 4
|
||||
// APPROX-NEXT: [[CONV25_I_I_I:%.*]] = zext nneg i8 [[TMP2]] to i64
|
||||
// APPROX-NEXT: [[ADD26_I_I_I:%.*]] = add i64 [[MUL24_I_I_I]], [[DOTSINK]]
|
||||
// APPROX-NEXT: [[ADD28_I_I_I:%.*]] = add i64 [[ADD26_I_I_I]], [[CONV25_I_I_I]]
|
||||
// APPROX-NEXT: [[INCDEC_PTR_I40_I_I:%.*]] = getelementptr inbounds i8, ptr [[__TAGP_ADDR_0_I31_I_I]], i64 1
|
||||
// APPROX-NEXT: br label [[CLEANUP_I36_I_I]]
|
||||
// APPROX: cleanup.i36.i.i:
|
||||
// APPROX-NEXT: [[__TAGP_ADDR_1_I37_I_I]] = phi ptr [ [[INCDEC_PTR_I40_I_I]], [[IF_END31_I_I_I]] ], [ [[__TAGP_ADDR_0_I31_I_I]], [[IF_ELSE17_I_I_I]] ]
|
||||
// APPROX-NEXT: [[__R_2_I_I_I]] = phi i64 [ [[ADD28_I_I_I]], [[IF_END31_I_I_I]] ], [ [[__R_0_I32_I_I]], [[IF_ELSE17_I_I_I]] ]
|
||||
// APPROX-NEXT: [[COND_I_I_I:%.*]] = phi i1 [ true, [[IF_END31_I_I_I]] ], [ false, [[IF_ELSE17_I_I_I]] ]
|
||||
// APPROX-NEXT: br i1 [[COND_I_I_I]], label [[WHILE_COND_I30_I_I]], label [[_ZL4NANFPKC_EXIT]], !llvm.loop [[LOOP11]]
|
||||
// APPROX: while.cond.i.i.i:
|
||||
// APPROX-NEXT: [[__TAGP_ADDR_0_I_I_I:%.*]] = phi ptr [ [[__TAGP_ADDR_1_I_I_I:%.*]], [[CLEANUP_I_I_I:%.*]] ], [ [[INCDEC_PTR_I_I]], [[IF_THEN_I_I]] ]
|
||||
// APPROX-NEXT: [[__R_0_I_I_I:%.*]] = phi i64 [ [[__R_1_I_I_I:%.*]], [[CLEANUP_I_I_I]] ], [ 0, [[IF_THEN_I_I]] ]
|
||||
// APPROX-NEXT: [[TMP6:%.*]] = load i8, ptr [[__TAGP_ADDR_0_I_I_I]], align 1, !tbaa [[TBAA4]]
|
||||
// APPROX-NEXT: [[CMP_NOT_I_I_I:%.*]] = icmp eq i8 [[TMP6]], 0
|
||||
// APPROX-NEXT: br i1 [[CMP_NOT_I_I_I]], label [[_ZL4NANFPKC_EXIT]], label [[WHILE_BODY_I_I_I:%.*]]
|
||||
// APPROX: while.body.i.i.i:
|
||||
// APPROX-NEXT: [[TMP7:%.*]] = and i8 [[TMP6]], -8
|
||||
// APPROX-NEXT: [[OR_COND_I_I_I:%.*]] = icmp eq i8 [[TMP7]], 48
|
||||
// APPROX-NEXT: br i1 [[OR_COND_I_I_I]], label [[IF_THEN_I_I_I:%.*]], label [[CLEANUP_I_I_I]]
|
||||
// APPROX: if.then.i.i.i:
|
||||
// APPROX-NEXT: [[MUL_I_I_I:%.*]] = shl i64 [[__R_0_I_I_I]], 3
|
||||
// APPROX-NEXT: [[CONV5_I_I_I:%.*]] = zext nneg i8 [[TMP6]] to i64
|
||||
// APPROX-NEXT: [[ADD_I_I_I:%.*]] = add i64 [[MUL_I_I_I]], -48
|
||||
// APPROX-NEXT: [[SUB_I_I_I:%.*]] = add i64 [[ADD_I_I_I]], [[CONV5_I_I_I]]
|
||||
// APPROX-NEXT: [[INCDEC_PTR_I_I_I:%.*]] = getelementptr inbounds i8, ptr [[__TAGP_ADDR_0_I_I_I]], i64 1
|
||||
// APPROX-NEXT: br label [[CLEANUP_I_I_I]]
|
||||
// APPROX: cleanup.i.i.i:
|
||||
// APPROX-NEXT: [[__TAGP_ADDR_1_I_I_I]] = phi ptr [ [[INCDEC_PTR_I_I_I]], [[IF_THEN_I_I_I]] ], [ [[__TAGP_ADDR_0_I_I_I]], [[WHILE_BODY_I_I_I]] ]
|
||||
// APPROX-NEXT: [[__R_1_I_I_I]] = phi i64 [ [[SUB_I_I_I]], [[IF_THEN_I_I_I]] ], [ [[__R_0_I_I_I]], [[WHILE_BODY_I_I_I]] ]
|
||||
// APPROX-NEXT: br i1 [[OR_COND_I_I_I]], label [[WHILE_COND_I_I_I]], label [[_ZL4NANFPKC_EXIT]], !llvm.loop [[LOOP7]]
|
||||
// APPROX: while.cond.i14.i.i:
|
||||
// APPROX-NEXT: [[__TAGP_ADDR_0_I15_I_I:%.*]] = phi ptr [ [[__TAGP_ADDR_1_I21_I_I:%.*]], [[CLEANUP_I20_I_I:%.*]] ], [ [[TAG]], [[ENTRY:%.*]] ]
|
||||
// APPROX-NEXT: [[__R_0_I16_I_I:%.*]] = phi i64 [ [[__R_1_I22_I_I:%.*]], [[CLEANUP_I20_I_I]] ], [ 0, [[ENTRY]] ]
|
||||
// APPROX-NEXT: [[TMP8:%.*]] = load i8, ptr [[__TAGP_ADDR_0_I15_I_I]], align 1, !tbaa [[TBAA4]]
|
||||
// APPROX-NEXT: [[CMP_NOT_I17_I_I:%.*]] = icmp eq i8 [[TMP8]], 0
|
||||
// APPROX-NEXT: br i1 [[CMP_NOT_I17_I_I]], label [[_ZL4NANFPKC_EXIT]], label [[WHILE_BODY_I18_I_I:%.*]]
|
||||
// APPROX: while.body.i18.i.i:
|
||||
// APPROX-NEXT: [[TMP9:%.*]] = add i8 [[TMP8]], -48
|
||||
// APPROX-NEXT: [[OR_COND_I19_I_I:%.*]] = icmp ult i8 [[TMP9]], 10
|
||||
// APPROX-NEXT: br i1 [[OR_COND_I19_I_I]], label [[IF_THEN_I24_I_I:%.*]], label [[CLEANUP_I20_I_I]]
|
||||
// APPROX: if.then.i24.i.i:
|
||||
// APPROX-NEXT: [[MUL_I25_I_I:%.*]] = mul i64 [[__R_0_I16_I_I]], 10
|
||||
// APPROX-NEXT: [[CONV5_I26_I_I:%.*]] = zext nneg i8 [[TMP8]] to i64
|
||||
// APPROX-NEXT: [[ADD_I27_I_I:%.*]] = add i64 [[MUL_I25_I_I]], -48
|
||||
// APPROX-NEXT: [[SUB_I28_I_I:%.*]] = add i64 [[ADD_I27_I_I]], [[CONV5_I26_I_I]]
|
||||
// APPROX-NEXT: [[INCDEC_PTR_I29_I_I:%.*]] = getelementptr inbounds i8, ptr [[__TAGP_ADDR_0_I15_I_I]], i64 1
|
||||
// APPROX-NEXT: br label [[CLEANUP_I20_I_I]]
|
||||
// APPROX: cleanup.i20.i.i:
|
||||
// APPROX-NEXT: [[__TAGP_ADDR_1_I21_I_I]] = phi ptr [ [[INCDEC_PTR_I29_I_I]], [[IF_THEN_I24_I_I]] ], [ [[__TAGP_ADDR_0_I15_I_I]], [[WHILE_BODY_I18_I_I]] ]
|
||||
// APPROX-NEXT: [[__R_1_I22_I_I]] = phi i64 [ [[SUB_I28_I_I]], [[IF_THEN_I24_I_I]] ], [ [[__R_0_I16_I_I]], [[WHILE_BODY_I18_I_I]] ]
|
||||
// APPROX-NEXT: br i1 [[OR_COND_I19_I_I]], label [[WHILE_COND_I14_I_I]], label [[_ZL4NANFPKC_EXIT]], !llvm.loop [[LOOP10]]
|
||||
// APPROX: _ZL4nanfPKc.exit:
|
||||
// APPROX-NEXT: [[RETVAL_0_I_I:%.*]] = phi i64 [ 0, [[CLEANUP_I_I_I]] ], [ [[__R_0_I_I_I]], [[WHILE_COND_I_I_I]] ], [ 0, [[CLEANUP_I36_I_I]] ], [ [[__R_0_I32_I_I]], [[WHILE_COND_I30_I_I]] ], [ 0, [[CLEANUP_I20_I_I]] ], [ [[__R_0_I16_I_I]], [[WHILE_COND_I14_I_I]] ]
|
||||
// APPROX-NEXT: [[CONV_I:%.*]] = trunc i64 [[RETVAL_0_I_I]] to i32
|
||||
// APPROX-NEXT: [[BF_VALUE_I:%.*]] = and i32 [[CONV_I]], 4194303
|
||||
// APPROX-NEXT: [[BF_SET9_I:%.*]] = or disjoint i32 [[BF_VALUE_I]], 2143289344
|
||||
// APPROX-NEXT: [[TMP10:%.*]] = bitcast i32 [[BF_SET9_I]] to float
|
||||
// APPROX-NEXT: ret float [[TMP10]]
|
||||
//
|
||||
extern "C" __device__ float test_nanf(const char *tag) {
|
||||
return nanf(tag);
|
||||
}
|
||||
|
||||
// CHECK-LABEL: @test_nan(
|
||||
// CHECK-NEXT: entry:
|
||||
// CHECK-NEXT: [[TMP0:%.*]] = load i8, ptr [[TAG:%.*]], align 1, !tbaa [[TBAA4]]
|
||||
// CHECK-NEXT: [[CMP_I_I:%.*]] = icmp eq i8 [[TMP0]], 48
|
||||
// CHECK-NEXT: br i1 [[CMP_I_I]], label [[IF_THEN_I_I:%.*]], label [[WHILE_COND_I14_I_I:%.*]]
|
||||
// CHECK: if.then.i.i:
|
||||
// CHECK-NEXT: [[INCDEC_PTR_I_I:%.*]] = getelementptr inbounds i8, ptr [[TAG]], i64 1
|
||||
// CHECK-NEXT: [[TMP1:%.*]] = load i8, ptr [[INCDEC_PTR_I_I]], align 1, !tbaa [[TBAA4]]
|
||||
// CHECK-NEXT: switch i8 [[TMP1]], label [[WHILE_COND_I_I_I:%.*]] [
|
||||
// CHECK-NEXT: i8 120, label [[WHILE_COND_I30_I_I_PREHEADER:%.*]]
|
||||
// CHECK-NEXT: i8 88, label [[WHILE_COND_I30_I_I_PREHEADER]]
|
||||
// CHECK-NEXT: ]
|
||||
// CHECK: while.cond.i30.i.i.preheader:
|
||||
// CHECK-NEXT: br label [[WHILE_COND_I30_I_I:%.*]]
|
||||
// CHECK: while.cond.i30.i.i:
|
||||
// CHECK-NEXT: [[__TAGP_ADDR_0_I31_I_I:%.*]] = phi ptr [ [[__TAGP_ADDR_1_I37_I_I:%.*]], [[CLEANUP_I36_I_I:%.*]] ], [ [[INCDEC_PTR_I_I]], [[WHILE_COND_I30_I_I_PREHEADER]] ]
|
||||
// CHECK-NEXT: [[__R_0_I32_I_I:%.*]] = phi i64 [ [[__R_2_I_I_I:%.*]], [[CLEANUP_I36_I_I]] ], [ 0, [[WHILE_COND_I30_I_I_PREHEADER]] ]
|
||||
// CHECK-NEXT: [[TMP2:%.*]] = load i8, ptr [[__TAGP_ADDR_0_I31_I_I]], align 1, !tbaa [[TBAA4]]
|
||||
// CHECK-NEXT: [[CMP_NOT_I33_I_I:%.*]] = icmp eq i8 [[TMP2]], 0
|
||||
// CHECK-NEXT: br i1 [[CMP_NOT_I33_I_I]], label [[_ZL3NANPKC_EXIT:%.*]], label [[WHILE_BODY_I34_I_I:%.*]]
|
||||
// CHECK: while.body.i34.i.i:
|
||||
// CHECK-NEXT: [[TMP3:%.*]] = add i8 [[TMP2]], -48
|
||||
// CHECK-NEXT: [[OR_COND_I35_I_I:%.*]] = icmp ult i8 [[TMP3]], 10
|
||||
// CHECK-NEXT: br i1 [[OR_COND_I35_I_I]], label [[IF_END31_I_I_I:%.*]], label [[IF_ELSE_I_I_I:%.*]]
|
||||
// CHECK: if.else.i.i.i:
|
||||
// CHECK-NEXT: [[TMP4:%.*]] = add i8 [[TMP2]], -97
|
||||
// CHECK-NEXT: [[OR_COND33_I_I_I:%.*]] = icmp ult i8 [[TMP4]], 6
|
||||
// CHECK-NEXT: br i1 [[OR_COND33_I_I_I]], label [[IF_END31_I_I_I]], label [[IF_ELSE17_I_I_I:%.*]]
|
||||
// CHECK: if.else17.i.i.i:
|
||||
// CHECK-NEXT: [[TMP5:%.*]] = add i8 [[TMP2]], -65
|
||||
// CHECK-NEXT: [[OR_COND34_I_I_I:%.*]] = icmp ult i8 [[TMP5]], 6
|
||||
// CHECK-NEXT: br i1 [[OR_COND34_I_I_I]], label [[IF_END31_I_I_I]], label [[CLEANUP_I36_I_I]]
|
||||
// CHECK: if.end31.i.i.i:
|
||||
// CHECK-NEXT: [[DOTSINK:%.*]] = phi i64 [ -48, [[WHILE_BODY_I34_I_I]] ], [ -87, [[IF_ELSE_I_I_I]] ], [ -55, [[IF_ELSE17_I_I_I]] ]
|
||||
// CHECK-NEXT: [[MUL24_I_I_I:%.*]] = shl i64 [[__R_0_I32_I_I]], 4
|
||||
// CHECK-NEXT: [[CONV25_I_I_I:%.*]] = zext nneg i8 [[TMP2]] to i64
|
||||
// CHECK-NEXT: [[ADD26_I_I_I:%.*]] = add i64 [[MUL24_I_I_I]], [[DOTSINK]]
|
||||
// CHECK-NEXT: [[ADD28_I_I_I:%.*]] = add i64 [[ADD26_I_I_I]], [[CONV25_I_I_I]]
|
||||
// CHECK-NEXT: [[INCDEC_PTR_I40_I_I:%.*]] = getelementptr inbounds i8, ptr [[__TAGP_ADDR_0_I31_I_I]], i64 1
|
||||
// CHECK-NEXT: br label [[CLEANUP_I36_I_I]]
|
||||
// CHECK: cleanup.i36.i.i:
|
||||
// CHECK-NEXT: [[__TAGP_ADDR_1_I37_I_I]] = phi ptr [ [[INCDEC_PTR_I40_I_I]], [[IF_END31_I_I_I]] ], [ [[__TAGP_ADDR_0_I31_I_I]], [[IF_ELSE17_I_I_I]] ]
|
||||
// CHECK-NEXT: [[__R_2_I_I_I]] = phi i64 [ [[ADD28_I_I_I]], [[IF_END31_I_I_I]] ], [ [[__R_0_I32_I_I]], [[IF_ELSE17_I_I_I]] ]
|
||||
// CHECK-NEXT: [[COND_I_I_I:%.*]] = phi i1 [ true, [[IF_END31_I_I_I]] ], [ false, [[IF_ELSE17_I_I_I]] ]
|
||||
// CHECK-NEXT: br i1 [[COND_I_I_I]], label [[WHILE_COND_I30_I_I]], label [[_ZL3NANPKC_EXIT]], !llvm.loop [[LOOP11]]
|
||||
// CHECK: while.cond.i.i.i:
|
||||
// CHECK-NEXT: [[__TAGP_ADDR_0_I_I_I:%.*]] = phi ptr [ [[__TAGP_ADDR_1_I_I_I:%.*]], [[CLEANUP_I_I_I:%.*]] ], [ [[INCDEC_PTR_I_I]], [[IF_THEN_I_I]] ]
|
||||
// CHECK-NEXT: [[__R_0_I_I_I:%.*]] = phi i64 [ [[__R_1_I_I_I:%.*]], [[CLEANUP_I_I_I]] ], [ 0, [[IF_THEN_I_I]] ]
|
||||
// CHECK-NEXT: [[TMP6:%.*]] = load i8, ptr [[__TAGP_ADDR_0_I_I_I]], align 1, !tbaa [[TBAA4]]
|
||||
// CHECK-NEXT: [[CMP_NOT_I_I_I:%.*]] = icmp eq i8 [[TMP6]], 0
|
||||
// CHECK-NEXT: br i1 [[CMP_NOT_I_I_I]], label [[_ZL3NANPKC_EXIT]], label [[WHILE_BODY_I_I_I:%.*]]
|
||||
// CHECK: while.body.i.i.i:
|
||||
// CHECK-NEXT: [[TMP7:%.*]] = and i8 [[TMP6]], -8
|
||||
// CHECK-NEXT: [[OR_COND_I_I_I:%.*]] = icmp eq i8 [[TMP7]], 48
|
||||
// CHECK-NEXT: br i1 [[OR_COND_I_I_I]], label [[IF_THEN_I_I_I:%.*]], label [[CLEANUP_I_I_I]]
|
||||
// CHECK: if.then.i.i.i:
|
||||
// CHECK-NEXT: [[MUL_I_I_I:%.*]] = shl i64 [[__R_0_I_I_I]], 3
|
||||
// CHECK-NEXT: [[CONV5_I_I_I:%.*]] = zext nneg i8 [[TMP6]] to i64
|
||||
// CHECK-NEXT: [[ADD_I_I_I:%.*]] = add i64 [[MUL_I_I_I]], -48
|
||||
// CHECK-NEXT: [[SUB_I_I_I:%.*]] = add i64 [[ADD_I_I_I]], [[CONV5_I_I_I]]
|
||||
// CHECK-NEXT: [[INCDEC_PTR_I_I_I:%.*]] = getelementptr inbounds i8, ptr [[__TAGP_ADDR_0_I_I_I]], i64 1
|
||||
// CHECK-NEXT: br label [[CLEANUP_I_I_I]]
|
||||
// CHECK: cleanup.i.i.i:
|
||||
// CHECK-NEXT: [[__TAGP_ADDR_1_I_I_I]] = phi ptr [ [[INCDEC_PTR_I_I_I]], [[IF_THEN_I_I_I]] ], [ [[__TAGP_ADDR_0_I_I_I]], [[WHILE_BODY_I_I_I]] ]
|
||||
// CHECK-NEXT: [[__R_1_I_I_I]] = phi i64 [ [[SUB_I_I_I]], [[IF_THEN_I_I_I]] ], [ [[__R_0_I_I_I]], [[WHILE_BODY_I_I_I]] ]
|
||||
// CHECK-NEXT: br i1 [[OR_COND_I_I_I]], label [[WHILE_COND_I_I_I]], label [[_ZL3NANPKC_EXIT]], !llvm.loop [[LOOP7]]
|
||||
// CHECK: while.cond.i14.i.i:
|
||||
// CHECK-NEXT: [[__TAGP_ADDR_0_I15_I_I:%.*]] = phi ptr [ [[__TAGP_ADDR_1_I21_I_I:%.*]], [[CLEANUP_I20_I_I:%.*]] ], [ [[TAG]], [[ENTRY:%.*]] ]
|
||||
// CHECK-NEXT: [[__R_0_I16_I_I:%.*]] = phi i64 [ [[__R_1_I22_I_I:%.*]], [[CLEANUP_I20_I_I]] ], [ 0, [[ENTRY]] ]
|
||||
// CHECK-NEXT: [[TMP8:%.*]] = load i8, ptr [[__TAGP_ADDR_0_I15_I_I]], align 1, !tbaa [[TBAA4]]
|
||||
// CHECK-NEXT: [[CMP_NOT_I17_I_I:%.*]] = icmp eq i8 [[TMP8]], 0
|
||||
// CHECK-NEXT: br i1 [[CMP_NOT_I17_I_I]], label [[_ZL3NANPKC_EXIT]], label [[WHILE_BODY_I18_I_I:%.*]]
|
||||
// CHECK: while.body.i18.i.i:
|
||||
// CHECK-NEXT: [[TMP9:%.*]] = add i8 [[TMP8]], -48
|
||||
// CHECK-NEXT: [[OR_COND_I19_I_I:%.*]] = icmp ult i8 [[TMP9]], 10
|
||||
// CHECK-NEXT: br i1 [[OR_COND_I19_I_I]], label [[IF_THEN_I24_I_I:%.*]], label [[CLEANUP_I20_I_I]]
|
||||
// CHECK: if.then.i24.i.i:
|
||||
// CHECK-NEXT: [[MUL_I25_I_I:%.*]] = mul i64 [[__R_0_I16_I_I]], 10
|
||||
// CHECK-NEXT: [[CONV5_I26_I_I:%.*]] = zext nneg i8 [[TMP8]] to i64
|
||||
// CHECK-NEXT: [[ADD_I27_I_I:%.*]] = add i64 [[MUL_I25_I_I]], -48
|
||||
// CHECK-NEXT: [[SUB_I28_I_I:%.*]] = add i64 [[ADD_I27_I_I]], [[CONV5_I26_I_I]]
|
||||
// CHECK-NEXT: [[INCDEC_PTR_I29_I_I:%.*]] = getelementptr inbounds i8, ptr [[__TAGP_ADDR_0_I15_I_I]], i64 1
|
||||
// CHECK-NEXT: br label [[CLEANUP_I20_I_I]]
|
||||
// CHECK: cleanup.i20.i.i:
|
||||
// CHECK-NEXT: [[__TAGP_ADDR_1_I21_I_I]] = phi ptr [ [[INCDEC_PTR_I29_I_I]], [[IF_THEN_I24_I_I]] ], [ [[__TAGP_ADDR_0_I15_I_I]], [[WHILE_BODY_I18_I_I]] ]
|
||||
// CHECK-NEXT: [[__R_1_I22_I_I]] = phi i64 [ [[SUB_I28_I_I]], [[IF_THEN_I24_I_I]] ], [ [[__R_0_I16_I_I]], [[WHILE_BODY_I18_I_I]] ]
|
||||
// CHECK-NEXT: br i1 [[OR_COND_I19_I_I]], label [[WHILE_COND_I14_I_I]], label [[_ZL3NANPKC_EXIT]], !llvm.loop [[LOOP10]]
|
||||
// CHECK: _ZL3nanPKc.exit:
|
||||
// CHECK-NEXT: [[RETVAL_0_I_I:%.*]] = phi i64 [ 0, [[CLEANUP_I_I_I]] ], [ [[__R_0_I_I_I]], [[WHILE_COND_I_I_I]] ], [ 0, [[CLEANUP_I36_I_I]] ], [ [[__R_0_I32_I_I]], [[WHILE_COND_I30_I_I]] ], [ 0, [[CLEANUP_I20_I_I]] ], [ [[__R_0_I16_I_I]], [[WHILE_COND_I14_I_I]] ]
|
||||
// CHECK-NEXT: [[BF_VALUE_I:%.*]] = and i64 [[RETVAL_0_I_I]], 2251799813685247
|
||||
// CHECK-NEXT: [[BF_SET9_I:%.*]] = or disjoint i64 [[BF_VALUE_I]], 9221120237041090560
|
||||
// CHECK-NEXT: [[TMP10:%.*]] = bitcast i64 [[BF_SET9_I]] to double
|
||||
// CHECK-NEXT: ret double [[TMP10]]
|
||||
// DEFAULT-LABEL: @test_nan(
|
||||
// DEFAULT-NEXT: entry:
|
||||
// DEFAULT-NEXT: [[TMP0:%.*]] = load i8, ptr [[TAG:%.*]], align 1, !tbaa [[TBAA4]]
|
||||
// DEFAULT-NEXT: [[CMP_I_I:%.*]] = icmp eq i8 [[TMP0]], 48
|
||||
// DEFAULT-NEXT: br i1 [[CMP_I_I]], label [[IF_THEN_I_I:%.*]], label [[WHILE_COND_I14_I_I:%.*]]
|
||||
// DEFAULT: if.then.i.i:
|
||||
// DEFAULT-NEXT: [[INCDEC_PTR_I_I:%.*]] = getelementptr inbounds i8, ptr [[TAG]], i64 1
|
||||
// DEFAULT-NEXT: [[TMP1:%.*]] = load i8, ptr [[INCDEC_PTR_I_I]], align 1, !tbaa [[TBAA4]]
|
||||
// DEFAULT-NEXT: switch i8 [[TMP1]], label [[WHILE_COND_I_I_I:%.*]] [
|
||||
// DEFAULT-NEXT: i8 120, label [[WHILE_COND_I30_I_I_PREHEADER:%.*]]
|
||||
// DEFAULT-NEXT: i8 88, label [[WHILE_COND_I30_I_I_PREHEADER]]
|
||||
// DEFAULT-NEXT: ]
|
||||
// DEFAULT: while.cond.i30.i.i.preheader:
|
||||
// DEFAULT-NEXT: br label [[WHILE_COND_I30_I_I:%.*]]
|
||||
// DEFAULT: while.cond.i30.i.i:
|
||||
// DEFAULT-NEXT: [[__TAGP_ADDR_0_I31_I_I:%.*]] = phi ptr [ [[__TAGP_ADDR_1_I37_I_I:%.*]], [[CLEANUP_I36_I_I:%.*]] ], [ [[INCDEC_PTR_I_I]], [[WHILE_COND_I30_I_I_PREHEADER]] ]
|
||||
// DEFAULT-NEXT: [[__R_0_I32_I_I:%.*]] = phi i64 [ [[__R_2_I_I_I:%.*]], [[CLEANUP_I36_I_I]] ], [ 0, [[WHILE_COND_I30_I_I_PREHEADER]] ]
|
||||
// DEFAULT-NEXT: [[TMP2:%.*]] = load i8, ptr [[__TAGP_ADDR_0_I31_I_I]], align 1, !tbaa [[TBAA4]]
|
||||
// DEFAULT-NEXT: [[CMP_NOT_I33_I_I:%.*]] = icmp eq i8 [[TMP2]], 0
|
||||
// DEFAULT-NEXT: br i1 [[CMP_NOT_I33_I_I]], label [[_ZL3NANPKC_EXIT:%.*]], label [[WHILE_BODY_I34_I_I:%.*]]
|
||||
// DEFAULT: while.body.i34.i.i:
|
||||
// DEFAULT-NEXT: [[TMP3:%.*]] = add i8 [[TMP2]], -48
|
||||
// DEFAULT-NEXT: [[OR_COND_I35_I_I:%.*]] = icmp ult i8 [[TMP3]], 10
|
||||
// DEFAULT-NEXT: br i1 [[OR_COND_I35_I_I]], label [[IF_END31_I_I_I:%.*]], label [[IF_ELSE_I_I_I:%.*]]
|
||||
// DEFAULT: if.else.i.i.i:
|
||||
// DEFAULT-NEXT: [[TMP4:%.*]] = add i8 [[TMP2]], -97
|
||||
// DEFAULT-NEXT: [[OR_COND33_I_I_I:%.*]] = icmp ult i8 [[TMP4]], 6
|
||||
// DEFAULT-NEXT: br i1 [[OR_COND33_I_I_I]], label [[IF_END31_I_I_I]], label [[IF_ELSE17_I_I_I:%.*]]
|
||||
// DEFAULT: if.else17.i.i.i:
|
||||
// DEFAULT-NEXT: [[TMP5:%.*]] = add i8 [[TMP2]], -65
|
||||
// DEFAULT-NEXT: [[OR_COND34_I_I_I:%.*]] = icmp ult i8 [[TMP5]], 6
|
||||
// DEFAULT-NEXT: br i1 [[OR_COND34_I_I_I]], label [[IF_END31_I_I_I]], label [[CLEANUP_I36_I_I]]
|
||||
// DEFAULT: if.end31.i.i.i:
|
||||
// DEFAULT-NEXT: [[DOTSINK:%.*]] = phi i64 [ -48, [[WHILE_BODY_I34_I_I]] ], [ -87, [[IF_ELSE_I_I_I]] ], [ -55, [[IF_ELSE17_I_I_I]] ]
|
||||
// DEFAULT-NEXT: [[MUL24_I_I_I:%.*]] = shl i64 [[__R_0_I32_I_I]], 4
|
||||
// DEFAULT-NEXT: [[CONV25_I_I_I:%.*]] = zext nneg i8 [[TMP2]] to i64
|
||||
// DEFAULT-NEXT: [[ADD26_I_I_I:%.*]] = add i64 [[MUL24_I_I_I]], [[DOTSINK]]
|
||||
// DEFAULT-NEXT: [[ADD28_I_I_I:%.*]] = add i64 [[ADD26_I_I_I]], [[CONV25_I_I_I]]
|
||||
// DEFAULT-NEXT: [[INCDEC_PTR_I40_I_I:%.*]] = getelementptr inbounds i8, ptr [[__TAGP_ADDR_0_I31_I_I]], i64 1
|
||||
// DEFAULT-NEXT: br label [[CLEANUP_I36_I_I]]
|
||||
// DEFAULT: cleanup.i36.i.i:
|
||||
// DEFAULT-NEXT: [[__TAGP_ADDR_1_I37_I_I]] = phi ptr [ [[INCDEC_PTR_I40_I_I]], [[IF_END31_I_I_I]] ], [ [[__TAGP_ADDR_0_I31_I_I]], [[IF_ELSE17_I_I_I]] ]
|
||||
// DEFAULT-NEXT: [[__R_2_I_I_I]] = phi i64 [ [[ADD28_I_I_I]], [[IF_END31_I_I_I]] ], [ [[__R_0_I32_I_I]], [[IF_ELSE17_I_I_I]] ]
|
||||
// DEFAULT-NEXT: [[COND_I_I_I:%.*]] = phi i1 [ true, [[IF_END31_I_I_I]] ], [ false, [[IF_ELSE17_I_I_I]] ]
|
||||
// DEFAULT-NEXT: br i1 [[COND_I_I_I]], label [[WHILE_COND_I30_I_I]], label [[_ZL3NANPKC_EXIT]], !llvm.loop [[LOOP11]]
|
||||
// DEFAULT: while.cond.i.i.i:
|
||||
// DEFAULT-NEXT: [[__TAGP_ADDR_0_I_I_I:%.*]] = phi ptr [ [[__TAGP_ADDR_1_I_I_I:%.*]], [[CLEANUP_I_I_I:%.*]] ], [ [[INCDEC_PTR_I_I]], [[IF_THEN_I_I]] ]
|
||||
// DEFAULT-NEXT: [[__R_0_I_I_I:%.*]] = phi i64 [ [[__R_1_I_I_I:%.*]], [[CLEANUP_I_I_I]] ], [ 0, [[IF_THEN_I_I]] ]
|
||||
// DEFAULT-NEXT: [[TMP6:%.*]] = load i8, ptr [[__TAGP_ADDR_0_I_I_I]], align 1, !tbaa [[TBAA4]]
|
||||
// DEFAULT-NEXT: [[CMP_NOT_I_I_I:%.*]] = icmp eq i8 [[TMP6]], 0
|
||||
// DEFAULT-NEXT: br i1 [[CMP_NOT_I_I_I]], label [[_ZL3NANPKC_EXIT]], label [[WHILE_BODY_I_I_I:%.*]]
|
||||
// DEFAULT: while.body.i.i.i:
|
||||
// DEFAULT-NEXT: [[TMP7:%.*]] = and i8 [[TMP6]], -8
|
||||
// DEFAULT-NEXT: [[OR_COND_I_I_I:%.*]] = icmp eq i8 [[TMP7]], 48
|
||||
// DEFAULT-NEXT: br i1 [[OR_COND_I_I_I]], label [[IF_THEN_I_I_I:%.*]], label [[CLEANUP_I_I_I]]
|
||||
// DEFAULT: if.then.i.i.i:
|
||||
// DEFAULT-NEXT: [[MUL_I_I_I:%.*]] = shl i64 [[__R_0_I_I_I]], 3
|
||||
// DEFAULT-NEXT: [[CONV5_I_I_I:%.*]] = zext nneg i8 [[TMP6]] to i64
|
||||
// DEFAULT-NEXT: [[ADD_I_I_I:%.*]] = add i64 [[MUL_I_I_I]], -48
|
||||
// DEFAULT-NEXT: [[SUB_I_I_I:%.*]] = add i64 [[ADD_I_I_I]], [[CONV5_I_I_I]]
|
||||
// DEFAULT-NEXT: [[INCDEC_PTR_I_I_I:%.*]] = getelementptr inbounds i8, ptr [[__TAGP_ADDR_0_I_I_I]], i64 1
|
||||
// DEFAULT-NEXT: br label [[CLEANUP_I_I_I]]
|
||||
// DEFAULT: cleanup.i.i.i:
|
||||
// DEFAULT-NEXT: [[__TAGP_ADDR_1_I_I_I]] = phi ptr [ [[INCDEC_PTR_I_I_I]], [[IF_THEN_I_I_I]] ], [ [[__TAGP_ADDR_0_I_I_I]], [[WHILE_BODY_I_I_I]] ]
|
||||
// DEFAULT-NEXT: [[__R_1_I_I_I]] = phi i64 [ [[SUB_I_I_I]], [[IF_THEN_I_I_I]] ], [ [[__R_0_I_I_I]], [[WHILE_BODY_I_I_I]] ]
|
||||
// DEFAULT-NEXT: br i1 [[OR_COND_I_I_I]], label [[WHILE_COND_I_I_I]], label [[_ZL3NANPKC_EXIT]], !llvm.loop [[LOOP7]]
|
||||
// DEFAULT: while.cond.i14.i.i:
|
||||
// DEFAULT-NEXT: [[__TAGP_ADDR_0_I15_I_I:%.*]] = phi ptr [ [[__TAGP_ADDR_1_I21_I_I:%.*]], [[CLEANUP_I20_I_I:%.*]] ], [ [[TAG]], [[ENTRY:%.*]] ]
|
||||
// DEFAULT-NEXT: [[__R_0_I16_I_I:%.*]] = phi i64 [ [[__R_1_I22_I_I:%.*]], [[CLEANUP_I20_I_I]] ], [ 0, [[ENTRY]] ]
|
||||
// DEFAULT-NEXT: [[TMP8:%.*]] = load i8, ptr [[__TAGP_ADDR_0_I15_I_I]], align 1, !tbaa [[TBAA4]]
|
||||
// DEFAULT-NEXT: [[CMP_NOT_I17_I_I:%.*]] = icmp eq i8 [[TMP8]], 0
|
||||
// DEFAULT-NEXT: br i1 [[CMP_NOT_I17_I_I]], label [[_ZL3NANPKC_EXIT]], label [[WHILE_BODY_I18_I_I:%.*]]
|
||||
// DEFAULT: while.body.i18.i.i:
|
||||
// DEFAULT-NEXT: [[TMP9:%.*]] = add i8 [[TMP8]], -48
|
||||
// DEFAULT-NEXT: [[OR_COND_I19_I_I:%.*]] = icmp ult i8 [[TMP9]], 10
|
||||
// DEFAULT-NEXT: br i1 [[OR_COND_I19_I_I]], label [[IF_THEN_I24_I_I:%.*]], label [[CLEANUP_I20_I_I]]
|
||||
// DEFAULT: if.then.i24.i.i:
|
||||
// DEFAULT-NEXT: [[MUL_I25_I_I:%.*]] = mul i64 [[__R_0_I16_I_I]], 10
|
||||
// DEFAULT-NEXT: [[CONV5_I26_I_I:%.*]] = zext nneg i8 [[TMP8]] to i64
|
||||
// DEFAULT-NEXT: [[ADD_I27_I_I:%.*]] = add i64 [[MUL_I25_I_I]], -48
|
||||
// DEFAULT-NEXT: [[SUB_I28_I_I:%.*]] = add i64 [[ADD_I27_I_I]], [[CONV5_I26_I_I]]
|
||||
// DEFAULT-NEXT: [[INCDEC_PTR_I29_I_I:%.*]] = getelementptr inbounds i8, ptr [[__TAGP_ADDR_0_I15_I_I]], i64 1
|
||||
// DEFAULT-NEXT: br label [[CLEANUP_I20_I_I]]
|
||||
// DEFAULT: cleanup.i20.i.i:
|
||||
// DEFAULT-NEXT: [[__TAGP_ADDR_1_I21_I_I]] = phi ptr [ [[INCDEC_PTR_I29_I_I]], [[IF_THEN_I24_I_I]] ], [ [[__TAGP_ADDR_0_I15_I_I]], [[WHILE_BODY_I18_I_I]] ]
|
||||
// DEFAULT-NEXT: [[__R_1_I22_I_I]] = phi i64 [ [[SUB_I28_I_I]], [[IF_THEN_I24_I_I]] ], [ [[__R_0_I16_I_I]], [[WHILE_BODY_I18_I_I]] ]
|
||||
// DEFAULT-NEXT: br i1 [[OR_COND_I19_I_I]], label [[WHILE_COND_I14_I_I]], label [[_ZL3NANPKC_EXIT]], !llvm.loop [[LOOP10]]
|
||||
// DEFAULT: _ZL3nanPKc.exit:
|
||||
// DEFAULT-NEXT: [[RETVAL_0_I_I:%.*]] = phi i64 [ 0, [[CLEANUP_I_I_I]] ], [ [[__R_0_I_I_I]], [[WHILE_COND_I_I_I]] ], [ 0, [[CLEANUP_I36_I_I]] ], [ [[__R_0_I32_I_I]], [[WHILE_COND_I30_I_I]] ], [ 0, [[CLEANUP_I20_I_I]] ], [ [[__R_0_I16_I_I]], [[WHILE_COND_I14_I_I]] ]
|
||||
// DEFAULT-NEXT: [[BF_VALUE_I:%.*]] = and i64 [[RETVAL_0_I_I]], 2251799813685247
|
||||
// DEFAULT-NEXT: [[BF_SET9_I:%.*]] = or disjoint i64 [[BF_VALUE_I]], 9221120237041090560
|
||||
// DEFAULT-NEXT: [[TMP10:%.*]] = bitcast i64 [[BF_SET9_I]] to double
|
||||
// DEFAULT-NEXT: ret double [[TMP10]]
|
||||
//
|
||||
// FINITEONLY-LABEL: @test_nan(
|
||||
// FINITEONLY-NEXT: entry:
|
||||
// FINITEONLY-NEXT: ret double poison
|
||||
//
|
||||
// APPROX-LABEL: @test_nan(
|
||||
// APPROX-NEXT: entry:
|
||||
// APPROX-NEXT: [[TMP0:%.*]] = load i8, ptr [[TAG:%.*]], align 1, !tbaa [[TBAA4]]
|
||||
// APPROX-NEXT: [[CMP_I_I:%.*]] = icmp eq i8 [[TMP0]], 48
|
||||
// APPROX-NEXT: br i1 [[CMP_I_I]], label [[IF_THEN_I_I:%.*]], label [[WHILE_COND_I14_I_I:%.*]]
|
||||
// APPROX: if.then.i.i:
|
||||
// APPROX-NEXT: [[INCDEC_PTR_I_I:%.*]] = getelementptr inbounds i8, ptr [[TAG]], i64 1
|
||||
// APPROX-NEXT: [[TMP1:%.*]] = load i8, ptr [[INCDEC_PTR_I_I]], align 1, !tbaa [[TBAA4]]
|
||||
// APPROX-NEXT: switch i8 [[TMP1]], label [[WHILE_COND_I_I_I:%.*]] [
|
||||
// APPROX-NEXT: i8 120, label [[WHILE_COND_I30_I_I_PREHEADER:%.*]]
|
||||
// APPROX-NEXT: i8 88, label [[WHILE_COND_I30_I_I_PREHEADER]]
|
||||
// APPROX-NEXT: ]
|
||||
// APPROX: while.cond.i30.i.i.preheader:
|
||||
// APPROX-NEXT: br label [[WHILE_COND_I30_I_I:%.*]]
|
||||
// APPROX: while.cond.i30.i.i:
|
||||
// APPROX-NEXT: [[__TAGP_ADDR_0_I31_I_I:%.*]] = phi ptr [ [[__TAGP_ADDR_1_I37_I_I:%.*]], [[CLEANUP_I36_I_I:%.*]] ], [ [[INCDEC_PTR_I_I]], [[WHILE_COND_I30_I_I_PREHEADER]] ]
|
||||
// APPROX-NEXT: [[__R_0_I32_I_I:%.*]] = phi i64 [ [[__R_2_I_I_I:%.*]], [[CLEANUP_I36_I_I]] ], [ 0, [[WHILE_COND_I30_I_I_PREHEADER]] ]
|
||||
// APPROX-NEXT: [[TMP2:%.*]] = load i8, ptr [[__TAGP_ADDR_0_I31_I_I]], align 1, !tbaa [[TBAA4]]
|
||||
// APPROX-NEXT: [[CMP_NOT_I33_I_I:%.*]] = icmp eq i8 [[TMP2]], 0
|
||||
// APPROX-NEXT: br i1 [[CMP_NOT_I33_I_I]], label [[_ZL3NANPKC_EXIT:%.*]], label [[WHILE_BODY_I34_I_I:%.*]]
|
||||
// APPROX: while.body.i34.i.i:
|
||||
// APPROX-NEXT: [[TMP3:%.*]] = add i8 [[TMP2]], -48
|
||||
// APPROX-NEXT: [[OR_COND_I35_I_I:%.*]] = icmp ult i8 [[TMP3]], 10
|
||||
// APPROX-NEXT: br i1 [[OR_COND_I35_I_I]], label [[IF_END31_I_I_I:%.*]], label [[IF_ELSE_I_I_I:%.*]]
|
||||
// APPROX: if.else.i.i.i:
|
||||
// APPROX-NEXT: [[TMP4:%.*]] = add i8 [[TMP2]], -97
|
||||
// APPROX-NEXT: [[OR_COND33_I_I_I:%.*]] = icmp ult i8 [[TMP4]], 6
|
||||
// APPROX-NEXT: br i1 [[OR_COND33_I_I_I]], label [[IF_END31_I_I_I]], label [[IF_ELSE17_I_I_I:%.*]]
|
||||
// APPROX: if.else17.i.i.i:
|
||||
// APPROX-NEXT: [[TMP5:%.*]] = add i8 [[TMP2]], -65
|
||||
// APPROX-NEXT: [[OR_COND34_I_I_I:%.*]] = icmp ult i8 [[TMP5]], 6
|
||||
// APPROX-NEXT: br i1 [[OR_COND34_I_I_I]], label [[IF_END31_I_I_I]], label [[CLEANUP_I36_I_I]]
|
||||
// APPROX: if.end31.i.i.i:
|
||||
// APPROX-NEXT: [[DOTSINK:%.*]] = phi i64 [ -48, [[WHILE_BODY_I34_I_I]] ], [ -87, [[IF_ELSE_I_I_I]] ], [ -55, [[IF_ELSE17_I_I_I]] ]
|
||||
// APPROX-NEXT: [[MUL24_I_I_I:%.*]] = shl i64 [[__R_0_I32_I_I]], 4
|
||||
// APPROX-NEXT: [[CONV25_I_I_I:%.*]] = zext nneg i8 [[TMP2]] to i64
|
||||
// APPROX-NEXT: [[ADD26_I_I_I:%.*]] = add i64 [[MUL24_I_I_I]], [[DOTSINK]]
|
||||
// APPROX-NEXT: [[ADD28_I_I_I:%.*]] = add i64 [[ADD26_I_I_I]], [[CONV25_I_I_I]]
|
||||
// APPROX-NEXT: [[INCDEC_PTR_I40_I_I:%.*]] = getelementptr inbounds i8, ptr [[__TAGP_ADDR_0_I31_I_I]], i64 1
|
||||
// APPROX-NEXT: br label [[CLEANUP_I36_I_I]]
|
||||
// APPROX: cleanup.i36.i.i:
|
||||
// APPROX-NEXT: [[__TAGP_ADDR_1_I37_I_I]] = phi ptr [ [[INCDEC_PTR_I40_I_I]], [[IF_END31_I_I_I]] ], [ [[__TAGP_ADDR_0_I31_I_I]], [[IF_ELSE17_I_I_I]] ]
|
||||
// APPROX-NEXT: [[__R_2_I_I_I]] = phi i64 [ [[ADD28_I_I_I]], [[IF_END31_I_I_I]] ], [ [[__R_0_I32_I_I]], [[IF_ELSE17_I_I_I]] ]
|
||||
// APPROX-NEXT: [[COND_I_I_I:%.*]] = phi i1 [ true, [[IF_END31_I_I_I]] ], [ false, [[IF_ELSE17_I_I_I]] ]
|
||||
// APPROX-NEXT: br i1 [[COND_I_I_I]], label [[WHILE_COND_I30_I_I]], label [[_ZL3NANPKC_EXIT]], !llvm.loop [[LOOP11]]
|
||||
// APPROX: while.cond.i.i.i:
|
||||
// APPROX-NEXT: [[__TAGP_ADDR_0_I_I_I:%.*]] = phi ptr [ [[__TAGP_ADDR_1_I_I_I:%.*]], [[CLEANUP_I_I_I:%.*]] ], [ [[INCDEC_PTR_I_I]], [[IF_THEN_I_I]] ]
|
||||
// APPROX-NEXT: [[__R_0_I_I_I:%.*]] = phi i64 [ [[__R_1_I_I_I:%.*]], [[CLEANUP_I_I_I]] ], [ 0, [[IF_THEN_I_I]] ]
|
||||
// APPROX-NEXT: [[TMP6:%.*]] = load i8, ptr [[__TAGP_ADDR_0_I_I_I]], align 1, !tbaa [[TBAA4]]
|
||||
// APPROX-NEXT: [[CMP_NOT_I_I_I:%.*]] = icmp eq i8 [[TMP6]], 0
|
||||
// APPROX-NEXT: br i1 [[CMP_NOT_I_I_I]], label [[_ZL3NANPKC_EXIT]], label [[WHILE_BODY_I_I_I:%.*]]
|
||||
// APPROX: while.body.i.i.i:
|
||||
// APPROX-NEXT: [[TMP7:%.*]] = and i8 [[TMP6]], -8
|
||||
// APPROX-NEXT: [[OR_COND_I_I_I:%.*]] = icmp eq i8 [[TMP7]], 48
|
||||
// APPROX-NEXT: br i1 [[OR_COND_I_I_I]], label [[IF_THEN_I_I_I:%.*]], label [[CLEANUP_I_I_I]]
|
||||
// APPROX: if.then.i.i.i:
|
||||
// APPROX-NEXT: [[MUL_I_I_I:%.*]] = shl i64 [[__R_0_I_I_I]], 3
|
||||
// APPROX-NEXT: [[CONV5_I_I_I:%.*]] = zext nneg i8 [[TMP6]] to i64
|
||||
// APPROX-NEXT: [[ADD_I_I_I:%.*]] = add i64 [[MUL_I_I_I]], -48
|
||||
// APPROX-NEXT: [[SUB_I_I_I:%.*]] = add i64 [[ADD_I_I_I]], [[CONV5_I_I_I]]
|
||||
// APPROX-NEXT: [[INCDEC_PTR_I_I_I:%.*]] = getelementptr inbounds i8, ptr [[__TAGP_ADDR_0_I_I_I]], i64 1
|
||||
// APPROX-NEXT: br label [[CLEANUP_I_I_I]]
|
||||
// APPROX: cleanup.i.i.i:
|
||||
// APPROX-NEXT: [[__TAGP_ADDR_1_I_I_I]] = phi ptr [ [[INCDEC_PTR_I_I_I]], [[IF_THEN_I_I_I]] ], [ [[__TAGP_ADDR_0_I_I_I]], [[WHILE_BODY_I_I_I]] ]
|
||||
// APPROX-NEXT: [[__R_1_I_I_I]] = phi i64 [ [[SUB_I_I_I]], [[IF_THEN_I_I_I]] ], [ [[__R_0_I_I_I]], [[WHILE_BODY_I_I_I]] ]
|
||||
// APPROX-NEXT: br i1 [[OR_COND_I_I_I]], label [[WHILE_COND_I_I_I]], label [[_ZL3NANPKC_EXIT]], !llvm.loop [[LOOP7]]
|
||||
// APPROX: while.cond.i14.i.i:
|
||||
// APPROX-NEXT: [[__TAGP_ADDR_0_I15_I_I:%.*]] = phi ptr [ [[__TAGP_ADDR_1_I21_I_I:%.*]], [[CLEANUP_I20_I_I:%.*]] ], [ [[TAG]], [[ENTRY:%.*]] ]
|
||||
// APPROX-NEXT: [[__R_0_I16_I_I:%.*]] = phi i64 [ [[__R_1_I22_I_I:%.*]], [[CLEANUP_I20_I_I]] ], [ 0, [[ENTRY]] ]
|
||||
// APPROX-NEXT: [[TMP8:%.*]] = load i8, ptr [[__TAGP_ADDR_0_I15_I_I]], align 1, !tbaa [[TBAA4]]
|
||||
// APPROX-NEXT: [[CMP_NOT_I17_I_I:%.*]] = icmp eq i8 [[TMP8]], 0
|
||||
// APPROX-NEXT: br i1 [[CMP_NOT_I17_I_I]], label [[_ZL3NANPKC_EXIT]], label [[WHILE_BODY_I18_I_I:%.*]]
|
||||
// APPROX: while.body.i18.i.i:
|
||||
// APPROX-NEXT: [[TMP9:%.*]] = add i8 [[TMP8]], -48
|
||||
// APPROX-NEXT: [[OR_COND_I19_I_I:%.*]] = icmp ult i8 [[TMP9]], 10
|
||||
// APPROX-NEXT: br i1 [[OR_COND_I19_I_I]], label [[IF_THEN_I24_I_I:%.*]], label [[CLEANUP_I20_I_I]]
|
||||
// APPROX: if.then.i24.i.i:
|
||||
// APPROX-NEXT: [[MUL_I25_I_I:%.*]] = mul i64 [[__R_0_I16_I_I]], 10
|
||||
// APPROX-NEXT: [[CONV5_I26_I_I:%.*]] = zext nneg i8 [[TMP8]] to i64
|
||||
// APPROX-NEXT: [[ADD_I27_I_I:%.*]] = add i64 [[MUL_I25_I_I]], -48
|
||||
// APPROX-NEXT: [[SUB_I28_I_I:%.*]] = add i64 [[ADD_I27_I_I]], [[CONV5_I26_I_I]]
|
||||
// APPROX-NEXT: [[INCDEC_PTR_I29_I_I:%.*]] = getelementptr inbounds i8, ptr [[__TAGP_ADDR_0_I15_I_I]], i64 1
|
||||
// APPROX-NEXT: br label [[CLEANUP_I20_I_I]]
|
||||
// APPROX: cleanup.i20.i.i:
|
||||
// APPROX-NEXT: [[__TAGP_ADDR_1_I21_I_I]] = phi ptr [ [[INCDEC_PTR_I29_I_I]], [[IF_THEN_I24_I_I]] ], [ [[__TAGP_ADDR_0_I15_I_I]], [[WHILE_BODY_I18_I_I]] ]
|
||||
// APPROX-NEXT: [[__R_1_I22_I_I]] = phi i64 [ [[SUB_I28_I_I]], [[IF_THEN_I24_I_I]] ], [ [[__R_0_I16_I_I]], [[WHILE_BODY_I18_I_I]] ]
|
||||
// APPROX-NEXT: br i1 [[OR_COND_I19_I_I]], label [[WHILE_COND_I14_I_I]], label [[_ZL3NANPKC_EXIT]], !llvm.loop [[LOOP10]]
|
||||
// APPROX: _ZL3nanPKc.exit:
|
||||
// APPROX-NEXT: [[RETVAL_0_I_I:%.*]] = phi i64 [ 0, [[CLEANUP_I_I_I]] ], [ [[__R_0_I_I_I]], [[WHILE_COND_I_I_I]] ], [ 0, [[CLEANUP_I36_I_I]] ], [ [[__R_0_I32_I_I]], [[WHILE_COND_I30_I_I]] ], [ 0, [[CLEANUP_I20_I_I]] ], [ [[__R_0_I16_I_I]], [[WHILE_COND_I14_I_I]] ]
|
||||
// APPROX-NEXT: [[BF_VALUE_I:%.*]] = and i64 [[RETVAL_0_I_I]], 2251799813685247
|
||||
// APPROX-NEXT: [[BF_SET9_I:%.*]] = or disjoint i64 [[BF_VALUE_I]], 9221120237041090560
|
||||
// APPROX-NEXT: [[TMP10:%.*]] = bitcast i64 [[BF_SET9_I]] to double
|
||||
// APPROX-NEXT: ret double [[TMP10]]
|
||||
//
|
||||
extern "C" __device__ double test_nan(const char *tag) {
|
||||
return nan(tag);
|
||||
|
||||
@ -5921,6 +5921,61 @@ void computeKnownFPClass(const Value *V, const APInt &DemandedElts,
|
||||
|
||||
break;
|
||||
}
|
||||
case Instruction::BitCast: {
|
||||
const Value *Src;
|
||||
if (!match(Op, m_ElementWiseBitCast(m_Value(Src))) ||
|
||||
!Src->getType()->isIntOrIntVectorTy())
|
||||
break;
|
||||
|
||||
const Type *Ty = Op->getType()->getScalarType();
|
||||
KnownBits Bits(Ty->getScalarSizeInBits());
|
||||
computeKnownBits(Src, DemandedElts, Bits, Depth + 1, Q);
|
||||
|
||||
// Transfer information from the sign bit.
|
||||
if (Bits.isNonNegative())
|
||||
Known.signBitMustBeZero();
|
||||
else if (Bits.isNegative())
|
||||
Known.signBitMustBeOne();
|
||||
|
||||
if (Ty->isIEEE()) {
|
||||
// IEEE floats are NaN when all bits of the exponent plus at least one of
|
||||
// the fraction bits are 1. This means:
|
||||
// - If we assume unknown bits are 0 and the value is NaN, it will
|
||||
// always be NaN
|
||||
// - If we assume unknown bits are 1 and the value is not NaN, it can
|
||||
// never be NaN
|
||||
if (APFloat(Ty->getFltSemantics(), Bits.One).isNaN())
|
||||
Known.KnownFPClasses = fcNan;
|
||||
else if (!APFloat(Ty->getFltSemantics(), ~Bits.Zero).isNaN())
|
||||
Known.knownNot(fcNan);
|
||||
|
||||
// Build KnownBits representing Inf and check if it must be equal or
|
||||
// unequal to this value.
|
||||
auto InfKB = KnownBits::makeConstant(
|
||||
APFloat::getInf(Ty->getFltSemantics()).bitcastToAPInt());
|
||||
InfKB.Zero.clearSignBit();
|
||||
if (const auto InfResult = KnownBits::eq(Bits, InfKB)) {
|
||||
assert(!InfResult.value());
|
||||
Known.knownNot(fcInf);
|
||||
} else if (Bits == InfKB) {
|
||||
Known.KnownFPClasses = fcInf;
|
||||
}
|
||||
|
||||
// Build KnownBits representing Zero and check if it must be equal or
|
||||
// unequal to this value.
|
||||
auto ZeroKB = KnownBits::makeConstant(
|
||||
APFloat::getZero(Ty->getFltSemantics()).bitcastToAPInt());
|
||||
ZeroKB.Zero.clearSignBit();
|
||||
if (const auto ZeroResult = KnownBits::eq(Bits, ZeroKB)) {
|
||||
assert(!ZeroResult.value());
|
||||
Known.knownNot(fcZero);
|
||||
} else if (Bits == ZeroKB) {
|
||||
Known.KnownFPClasses = fcZero;
|
||||
}
|
||||
}
|
||||
|
||||
break;
|
||||
}
|
||||
default:
|
||||
break;
|
||||
}
|
||||
|
||||
@ -2685,11 +2685,291 @@ define <vscale x 4 x float> @scalable_splat_zero() {
|
||||
; See https://github.com/llvm/llvm-project/issues/78507
|
||||
|
||||
define double @call_abs(double noundef %__x) {
|
||||
; TUNIT: Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none)
|
||||
; TUNIT-LABEL: define noundef nofpclass(ninf nzero nsub nnorm) double @call_abs
|
||||
; TUNIT-SAME: (double noundef [[__X:%.*]]) #[[ATTR3]] {
|
||||
; TUNIT-NEXT: entry:
|
||||
; TUNIT-NEXT: [[ABS:%.*]] = tail call noundef nofpclass(ninf nzero nsub nnorm) double @llvm.fabs.f64(double noundef [[__X]]) #[[ATTR22]]
|
||||
; TUNIT-NEXT: ret double [[ABS]]
|
||||
;
|
||||
; CGSCC: Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none)
|
||||
; CGSCC-LABEL: define noundef nofpclass(ninf nzero nsub nnorm) double @call_abs
|
||||
; CGSCC-SAME: (double noundef [[__X:%.*]]) #[[ATTR3]] {
|
||||
; CGSCC-NEXT: entry:
|
||||
; CGSCC-NEXT: [[ABS:%.*]] = tail call noundef nofpclass(ninf nzero nsub nnorm) double @llvm.fabs.f64(double noundef [[__X]]) #[[ATTR19]]
|
||||
; CGSCC-NEXT: ret double [[ABS]]
|
||||
;
|
||||
entry:
|
||||
%abs = tail call double @llvm.fabs.f64(double %__x)
|
||||
ret double %abs
|
||||
}
|
||||
|
||||
define float @bitcast_to_float_sign_0(i32 %arg) {
|
||||
; CHECK: Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none)
|
||||
; CHECK-LABEL: define nofpclass(ninf nzero nsub nnorm) float @bitcast_to_float_sign_0
|
||||
; CHECK-SAME: (i32 [[ARG:%.*]]) #[[ATTR3]] {
|
||||
; CHECK-NEXT: [[SHR:%.*]] = lshr i32 [[ARG]], 1
|
||||
; CHECK-NEXT: [[CAST:%.*]] = bitcast i32 [[SHR]] to float
|
||||
; CHECK-NEXT: ret float [[CAST]]
|
||||
;
|
||||
%shr = lshr i32 %arg, 1
|
||||
%cast = bitcast i32 %shr to float
|
||||
ret float %cast
|
||||
}
|
||||
|
||||
define float @bitcast_to_float_nnan(i32 %arg) {
|
||||
; CHECK: Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none)
|
||||
; CHECK-LABEL: define nofpclass(nan inf nzero nsub nnorm) float @bitcast_to_float_nnan
|
||||
; CHECK-SAME: (i32 [[ARG:%.*]]) #[[ATTR3]] {
|
||||
; CHECK-NEXT: [[SHR:%.*]] = lshr i32 [[ARG]], 2
|
||||
; CHECK-NEXT: [[CAST:%.*]] = bitcast i32 [[SHR]] to float
|
||||
; CHECK-NEXT: ret float [[CAST]]
|
||||
;
|
||||
%shr = lshr i32 %arg, 2
|
||||
%cast = bitcast i32 %shr to float
|
||||
ret float %cast
|
||||
}
|
||||
|
||||
define float @bitcast_to_float_sign_1(i32 %arg) {
|
||||
; CHECK: Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none)
|
||||
; CHECK-LABEL: define nofpclass(pinf pzero psub pnorm) float @bitcast_to_float_sign_1
|
||||
; CHECK-SAME: (i32 [[ARG:%.*]]) #[[ATTR3]] {
|
||||
; CHECK-NEXT: [[OR:%.*]] = or i32 [[ARG]], -2147483648
|
||||
; CHECK-NEXT: [[CAST:%.*]] = bitcast i32 [[OR]] to float
|
||||
; CHECK-NEXT: ret float [[CAST]]
|
||||
;
|
||||
%or = or i32 %arg, -2147483648
|
||||
%cast = bitcast i32 %or to float
|
||||
ret float %cast
|
||||
}
|
||||
|
||||
define float @bitcast_to_float_nan(i32 %arg) {
|
||||
; CHECK: Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none)
|
||||
; CHECK-LABEL: define nofpclass(inf zero sub norm) float @bitcast_to_float_nan
|
||||
; CHECK-SAME: (i32 [[ARG:%.*]]) #[[ATTR3]] {
|
||||
; CHECK-NEXT: [[OR:%.*]] = or i32 [[ARG]], 2139095041
|
||||
; CHECK-NEXT: [[CAST:%.*]] = bitcast i32 [[OR]] to float
|
||||
; CHECK-NEXT: ret float [[CAST]]
|
||||
;
|
||||
%or = or i32 %arg, 2139095041
|
||||
%cast = bitcast i32 %or to float
|
||||
ret float %cast
|
||||
}
|
||||
|
||||
define float @bitcast_to_float_zero(i32 %arg) {
|
||||
; CHECK: Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none)
|
||||
; CHECK-LABEL: define nofpclass(nan inf sub norm) float @bitcast_to_float_zero
|
||||
; CHECK-SAME: (i32 [[ARG:%.*]]) #[[ATTR3]] {
|
||||
; CHECK-NEXT: [[SHL:%.*]] = shl i32 [[ARG]], 31
|
||||
; CHECK-NEXT: [[CAST:%.*]] = bitcast i32 [[SHL]] to float
|
||||
; CHECK-NEXT: ret float [[CAST]]
|
||||
;
|
||||
%shl = shl i32 %arg, 31
|
||||
%cast = bitcast i32 %shl to float
|
||||
ret float %cast
|
||||
}
|
||||
|
||||
define float @bitcast_to_float_nzero(i32 %arg) {
|
||||
; CHECK: Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none)
|
||||
; CHECK-LABEL: define nofpclass(zero) float @bitcast_to_float_nzero
|
||||
; CHECK-SAME: (i32 [[ARG:%.*]]) #[[ATTR3]] {
|
||||
; CHECK-NEXT: [[OR:%.*]] = or i32 [[ARG]], 134217728
|
||||
; CHECK-NEXT: [[CAST:%.*]] = bitcast i32 [[OR]] to float
|
||||
; CHECK-NEXT: ret float [[CAST]]
|
||||
;
|
||||
%or = or i32 %arg, 134217728
|
||||
%cast = bitcast i32 %or to float
|
||||
ret float %cast
|
||||
}
|
||||
|
||||
define float @bitcast_to_float_inf(i32 %arg) {
|
||||
; CHECK: Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none)
|
||||
; CHECK-LABEL: define nofpclass(nan zero sub norm) float @bitcast_to_float_inf
|
||||
; CHECK-SAME: (i32 [[ARG:%.*]]) #[[ATTR3]] {
|
||||
; CHECK-NEXT: [[SHR:%.*]] = shl i32 [[ARG]], 31
|
||||
; CHECK-NEXT: [[OR:%.*]] = or i32 [[SHR]], 2139095040
|
||||
; CHECK-NEXT: [[CAST:%.*]] = bitcast i32 [[OR]] to float
|
||||
; CHECK-NEXT: ret float [[CAST]]
|
||||
;
|
||||
%shr = shl i32 %arg, 31
|
||||
%or = or i32 %shr, 2139095040
|
||||
%cast = bitcast i32 %or to float
|
||||
ret float %cast
|
||||
}
|
||||
|
||||
define double @bitcast_to_double_sign_0(i64 %arg) {
|
||||
; CHECK: Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none)
|
||||
; CHECK-LABEL: define nofpclass(ninf nzero nsub nnorm) double @bitcast_to_double_sign_0
|
||||
; CHECK-SAME: (i64 [[ARG:%.*]]) #[[ATTR3]] {
|
||||
; CHECK-NEXT: [[SHR:%.*]] = lshr i64 [[ARG]], 1
|
||||
; CHECK-NEXT: [[CAST:%.*]] = bitcast i64 [[SHR]] to double
|
||||
; CHECK-NEXT: ret double [[CAST]]
|
||||
;
|
||||
%shr = lshr i64 %arg, 1
|
||||
%cast = bitcast i64 %shr to double
|
||||
ret double %cast
|
||||
}
|
||||
|
||||
define double @bitcast_to_double_nnan(i64 %arg) {
|
||||
; CHECK: Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none)
|
||||
; CHECK-LABEL: define nofpclass(nan inf nzero nsub nnorm) double @bitcast_to_double_nnan
|
||||
; CHECK-SAME: (i64 [[ARG:%.*]]) #[[ATTR3]] {
|
||||
; CHECK-NEXT: [[SHR:%.*]] = lshr i64 [[ARG]], 2
|
||||
; CHECK-NEXT: [[CAST:%.*]] = bitcast i64 [[SHR]] to double
|
||||
; CHECK-NEXT: ret double [[CAST]]
|
||||
;
|
||||
%shr = lshr i64 %arg, 2
|
||||
%cast = bitcast i64 %shr to double
|
||||
ret double %cast
|
||||
}
|
||||
|
||||
define double @bitcast_to_double_sign_1(i64 %arg) {
|
||||
; CHECK: Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none)
|
||||
; CHECK-LABEL: define nofpclass(pinf pzero psub pnorm) double @bitcast_to_double_sign_1
|
||||
; CHECK-SAME: (i64 [[ARG:%.*]]) #[[ATTR3]] {
|
||||
; CHECK-NEXT: [[OR:%.*]] = or i64 [[ARG]], -9223372036854775808
|
||||
; CHECK-NEXT: [[CAST:%.*]] = bitcast i64 [[OR]] to double
|
||||
; CHECK-NEXT: ret double [[CAST]]
|
||||
;
|
||||
%or = or i64 %arg, -9223372036854775808
|
||||
%cast = bitcast i64 %or to double
|
||||
ret double %cast
|
||||
}
|
||||
|
||||
define double @bitcast_to_double_nan(i64 %arg) {
|
||||
; CHECK: Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none)
|
||||
; CHECK-LABEL: define nofpclass(inf zero sub norm) double @bitcast_to_double_nan
|
||||
; CHECK-SAME: (i64 [[ARG:%.*]]) #[[ATTR3]] {
|
||||
; CHECK-NEXT: [[OR:%.*]] = or i64 [[ARG]], -4503599627370495
|
||||
; CHECK-NEXT: [[CAST:%.*]] = bitcast i64 [[OR]] to double
|
||||
; CHECK-NEXT: ret double [[CAST]]
|
||||
;
|
||||
%or = or i64 %arg, -4503599627370495
|
||||
%cast = bitcast i64 %or to double
|
||||
ret double %cast
|
||||
}
|
||||
|
||||
|
||||
define double @bitcast_to_double_zero(i64 %arg) {
|
||||
; CHECK: Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none)
|
||||
; CHECK-LABEL: define nofpclass(nan inf sub norm) double @bitcast_to_double_zero
|
||||
; CHECK-SAME: (i64 [[ARG:%.*]]) #[[ATTR3]] {
|
||||
; CHECK-NEXT: [[SHL:%.*]] = shl i64 [[ARG]], 63
|
||||
; CHECK-NEXT: [[CAST:%.*]] = bitcast i64 [[SHL]] to double
|
||||
; CHECK-NEXT: ret double [[CAST]]
|
||||
;
|
||||
%shl = shl i64 %arg, 63
|
||||
%cast = bitcast i64 %shl to double
|
||||
ret double %cast
|
||||
}
|
||||
|
||||
define double @bitcast_to_double_nzero(i64 %arg) {
|
||||
; CHECK: Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none)
|
||||
; CHECK-LABEL: define nofpclass(zero) double @bitcast_to_double_nzero
|
||||
; CHECK-SAME: (i64 [[ARG:%.*]]) #[[ATTR3]] {
|
||||
; CHECK-NEXT: [[OR:%.*]] = or i64 [[ARG]], 1152921504606846976
|
||||
; CHECK-NEXT: [[CAST:%.*]] = bitcast i64 [[OR]] to double
|
||||
; CHECK-NEXT: ret double [[CAST]]
|
||||
;
|
||||
%or = or i64 %arg, 1152921504606846976
|
||||
%cast = bitcast i64 %or to double
|
||||
ret double %cast
|
||||
}
|
||||
|
||||
define double @bitcast_to_double_inf(i64 %arg) {
|
||||
; CHECK: Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none)
|
||||
; CHECK-LABEL: define nofpclass(nan zero sub norm) double @bitcast_to_double_inf
|
||||
; CHECK-SAME: (i64 [[ARG:%.*]]) #[[ATTR3]] {
|
||||
; CHECK-NEXT: [[SHR:%.*]] = shl i64 [[ARG]], 63
|
||||
; CHECK-NEXT: [[OR:%.*]] = or i64 [[SHR]], 9218868437227405312
|
||||
; CHECK-NEXT: [[CAST:%.*]] = bitcast i64 [[OR]] to double
|
||||
; CHECK-NEXT: ret double [[CAST]]
|
||||
;
|
||||
%shr = shl i64 %arg, 63
|
||||
%or = or i64 %shr, 9218868437227405312
|
||||
%cast = bitcast i64 %or to double
|
||||
ret double %cast
|
||||
}
|
||||
|
||||
|
||||
define <2 x float> @bitcast_to_float_vect_sign_0(<2 x i32> %arg) {
|
||||
; CHECK: Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none)
|
||||
; CHECK-LABEL: define nofpclass(ninf nzero nsub nnorm) <2 x float> @bitcast_to_float_vect_sign_0
|
||||
; CHECK-SAME: (<2 x i32> [[ARG:%.*]]) #[[ATTR3]] {
|
||||
; CHECK-NEXT: [[SHR:%.*]] = lshr <2 x i32> [[ARG]], <i32 1, i32 2>
|
||||
; CHECK-NEXT: [[CAST:%.*]] = bitcast <2 x i32> [[SHR]] to <2 x float>
|
||||
; CHECK-NEXT: ret <2 x float> [[CAST]]
|
||||
;
|
||||
%shr = lshr <2 x i32> %arg, <i32 1, i32 2>
|
||||
%cast = bitcast <2 x i32> %shr to <2 x float>
|
||||
ret <2 x float> %cast
|
||||
}
|
||||
|
||||
define <2 x float> @bitcast_to_float_vect_nnan(<2 x i32> %arg) {
|
||||
; CHECK: Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none)
|
||||
; CHECK-LABEL: define nofpclass(nan inf nzero nsub nnorm) <2 x float> @bitcast_to_float_vect_nnan
|
||||
; CHECK-SAME: (<2 x i32> [[ARG:%.*]]) #[[ATTR3]] {
|
||||
; CHECK-NEXT: [[SHR:%.*]] = lshr <2 x i32> [[ARG]], <i32 4, i32 4>
|
||||
; CHECK-NEXT: [[CAST:%.*]] = bitcast <2 x i32> [[SHR]] to <2 x float>
|
||||
; CHECK-NEXT: ret <2 x float> [[CAST]]
|
||||
;
|
||||
%shr = lshr <2 x i32> %arg, <i32 4, i32 4>
|
||||
%cast = bitcast <2 x i32> %shr to <2 x float>
|
||||
ret <2 x float> %cast
|
||||
}
|
||||
|
||||
define <2 x float> @bitcast_to_float_vect_sign_1(<2 x i32> %arg) {
|
||||
; CHECK: Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none)
|
||||
; CHECK-LABEL: define nofpclass(pinf pzero psub pnorm) <2 x float> @bitcast_to_float_vect_sign_1
|
||||
; CHECK-SAME: (<2 x i32> [[ARG:%.*]]) #[[ATTR3]] {
|
||||
; CHECK-NEXT: [[OR:%.*]] = or <2 x i32> [[ARG]], <i32 -2147483648, i32 -2147483648>
|
||||
; CHECK-NEXT: [[CAST:%.*]] = bitcast <2 x i32> [[OR]] to <2 x float>
|
||||
; CHECK-NEXT: ret <2 x float> [[CAST]]
|
||||
;
|
||||
%or = or <2 x i32> %arg, <i32 -2147483648, i32 -2147483648>
|
||||
%cast = bitcast <2 x i32> %or to <2 x float>
|
||||
ret <2 x float> %cast
|
||||
}
|
||||
|
||||
define <2 x float> @bitcast_to_float_vect_nan(<2 x i32> %arg) {
|
||||
; CHECK: Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none)
|
||||
; CHECK-LABEL: define nofpclass(inf zero sub norm) <2 x float> @bitcast_to_float_vect_nan
|
||||
; CHECK-SAME: (<2 x i32> [[ARG:%.*]]) #[[ATTR3]] {
|
||||
; CHECK-NEXT: [[OR:%.*]] = or <2 x i32> [[ARG]], <i32 2139095041, i32 2139095041>
|
||||
; CHECK-NEXT: [[CAST:%.*]] = bitcast <2 x i32> [[OR]] to <2 x float>
|
||||
; CHECK-NEXT: ret <2 x float> [[CAST]]
|
||||
;
|
||||
%or = or <2 x i32> %arg, <i32 2139095041, i32 2139095041>
|
||||
%cast = bitcast <2 x i32> %or to <2 x float>
|
||||
ret <2 x float> %cast
|
||||
}
|
||||
|
||||
define <2 x float> @bitcast_to_float_vect_conservative_1(<2 x i32> %arg) {
|
||||
; CHECK: Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none)
|
||||
; CHECK-LABEL: define <2 x float> @bitcast_to_float_vect_conservative_1
|
||||
; CHECK-SAME: (<2 x i32> [[ARG:%.*]]) #[[ATTR3]] {
|
||||
; CHECK-NEXT: [[OR:%.*]] = or <2 x i32> [[ARG]], <i32 -2147483648, i32 0>
|
||||
; CHECK-NEXT: [[CAST:%.*]] = bitcast <2 x i32> [[OR]] to <2 x float>
|
||||
; CHECK-NEXT: ret <2 x float> [[CAST]]
|
||||
;
|
||||
%or = or <2 x i32> %arg, <i32 -2147483648, i32 0>
|
||||
%cast = bitcast <2 x i32> %or to <2 x float>
|
||||
ret <2 x float> %cast
|
||||
}
|
||||
|
||||
define <2 x float> @bitcast_to_float_vect_conservative_2(<2 x i32> %arg) {
|
||||
; CHECK: Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none)
|
||||
; CHECK-LABEL: define <2 x float> @bitcast_to_float_vect_conservative_2
|
||||
; CHECK-SAME: (<2 x i32> [[ARG:%.*]]) #[[ATTR3]] {
|
||||
; CHECK-NEXT: [[OR:%.*]] = or <2 x i32> [[ARG]], <i32 0, i32 2139095041>
|
||||
; CHECK-NEXT: [[CAST:%.*]] = bitcast <2 x i32> [[OR]] to <2 x float>
|
||||
; CHECK-NEXT: ret <2 x float> [[CAST]]
|
||||
;
|
||||
%or = or <2 x i32> %arg, <i32 0, i32 2139095041>
|
||||
%cast = bitcast <2 x i32> %or to <2 x float>
|
||||
ret <2 x float> %cast
|
||||
}
|
||||
|
||||
declare i64 @_Z13get_global_idj(i32 noundef)
|
||||
|
||||
attributes #0 = { "denormal-fp-math"="preserve-sign,preserve-sign" }
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user