// type of OpI doesn't enter into things at all. We simply evaluate
// in whichever source type is larger, then convert to the
// destination type.
- Value *NewLHS = LHSOrig, *NewRHS = RHSOrig;
if (LHSWidth < SrcWidth)
- NewLHS = Builder->CreateFPExt(NewLHS, RHSOrig->getType());
+ LHSOrig = Builder->CreateFPExt(LHSOrig, RHSOrig->getType());
else if (RHSWidth <= SrcWidth)
- NewRHS = Builder->CreateFPExt(NewRHS, LHSOrig->getType());
- if (NewLHS != LHSOrig || NewRHS != RHSOrig) {
- Value *ExactResult = Builder->CreateFRem(NewLHS, NewRHS);
- if (Instruction *RI = dyn_cast<Instruction>(ExactResult))
- RI->copyFastMathFlags(OpI);
- return CastInst::CreateFPCast(ExactResult, CI.getType());
- }
+ RHSOrig = Builder->CreateFPExt(RHSOrig, LHSOrig->getType());
+ Value *ExactResult = Builder->CreateFRem(LHSOrig, RHSOrig);
+ if (Instruction *RI = dyn_cast<Instruction>(ExactResult))
+ RI->copyFastMathFlags(OpI);
+ return CastInst::CreateFPCast(ExactResult, CI.getType());
}
// (fptrunc (fneg x)) -> (fneg (fptrunc x))
}
declare float @llvm.fabs.f32(float) nounwind readonly
-
-define <1 x float> @test6(<1 x double> %V) {
- %frem = frem <1 x double> %V, %V
- %trunc = fptrunc <1 x double> %frem to <1 x float>
- ret <1 x float> %trunc
-; CHECK-LABEL: @test6
-; CHECK-NEXT: %[[frem:.*]] = frem <1 x double> %V, %V
-; CHECK-NEXT: %[[trunc:.*]] = fptrunc <1 x double> %[[frem]] to <1 x float>
-; CHECK-NEXT: ret <1 x float> %trunc
-}