53 lines · plain
1; RUN: opt -mtriple=amdgcn -passes="expand-fp<O0>" %s -S -o - | FileCheck --check-prefixes CHECK %s2; RUN: opt -mtriple=amdgcn -passes="expand-fp<O1>" %s -S -o - | FileCheck --check-prefixes CHECK,OPT1 %s3 4; Check the handling of potentially infinite numerators in the frem5; expansion at different optimization levels and with different6; fast-math flags.7 8; CHECK-LABEL: define float @frem_x_maybe_inf(float %x, float %y)9; CHECK: 2:10; CHECK: [[FABS:%.*]] = call float @llvm.fabs.f32(float %x)11; CHECK: [[FCMP:%.*]] = fcmp ult float [[FABS]], 0x7FF000000000000012; CHECK-NEXT: %ret = select i1 [[FCMP]], float %{{.*}}, float 0x7FF800000000000013; CHECK-NEXT: ret float %ret14; CHECK-LABEL: }15define float @frem_x_maybe_inf(float %x, float %y) {16 %ret = frem float %x, %y17 ret float %ret18}19 20; OPT1-LABEL: define float @frem_x_assumed_non_inf(float %x, float %y)21; OPT1: 2:22; OPT1-NOT: call float @llvm.fabs.f32(float %x)23; OPT1-NOT: fcmp ult float [[FABS]], 0x7FF000000000000024; OPT1: %ret = select i1 true, float %{{.*}}, float 0x7FF800000000000025; OPT1-NEXT: ret float %ret26; OPT1-LABEL: }27; OPT0-LABEL: define float @frem_x_assumed_non_inf(float %x, float %y)28; OPT0: 2:29; OPT0: [[FABS:%.*]] = call float @llvm.fabs.f32(float %x)30; OPT0: [[FCMP:%.*]] = fcmp ult float [[FABS]], 0x7FF000000000000031; OPT0-NEXT: %ret = select i1 [[FCMP]], float %{{.*}}, float 0x7FF800000000000032; OPT0-NEXT: ret float %ret33; OPT0-LABEL: }34define float @frem_x_assumed_non_inf(float %x, float %y) {35 %absx = call float @llvm.fabs.f32(float %x)36 %noninf = fcmp ult float %absx, 0x7FF000000000000037 call void @llvm.assume(i1 %noninf)38 %ret = frem float %x, %y39 ret float %ret40}41 42; CHECK-LABEL: define float @frem_ninf(float %x, float %y)43; CHECK: 2:44; CHECK-NOT: call float @llvm.fabs.f32(float %x)45; CHECK-NOT: fcmp ult float [[FABS]], 0x7FF000000000000046; CHECK: %ret = select ninf i1 true, float %{{.*}}, float 0x7FF800000000000047; CHECK-NEXT: ret float %ret48; CHECK-LABEL: }49define float @frem_ninf(float %x, float %y) {50 %ret = frem ninf float %x, %y51 ret float %ret52}53