OSchip
/
llvm-project
mirror of https://github.com/THU-DSP-LAB/llvm-project.git
13
0
Fork 6
Code Issues Packages Projects Releases Wiki Activity

[InstCombine] Add test cases with vector constants to fpextend.ll 

llvm-svn: 326115
This commit is contained in:
Craig Topper 2018-02-26 19:36:37 +00:00
parent b284e8b9b4
commit 43fb1cdef7
1 changed files with 41 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

41
llvm/test/Transforms/InstCombine/fpextend.ll
View File

@ -3,6 +3,7 @@
@X = external global float @X = external global float
@Y = external global float @Y = external global float
@Z = external global <2 x float>
define void @test() nounwind { define void @test() nounwind {
; CHECK-LABEL: @test( ; CHECK-LABEL: @test(
@ -77,3 +78,43 @@ entry:
store float %tmp34, float* @X, align 4 store float %tmp34, float* @X, align 4
ret void ret void
} }
; Test with vector splat constant
define void @test5() nounwind {
; CHECK-LABEL: @test5(
; CHECK-NEXT: entry:
; CHECK-NEXT: [[TMP:%.*]] = load <2 x float>, <2 x float>* @Z, align 8
; CHECK-NEXT: [[TMP1:%.*]] = fpext <2 x float> [[TMP]] to <2 x double>
; CHECK-NEXT: [[TMP3:%.*]] = fadd <2 x double> [[TMP1]], zeroinitializer
; CHECK-NEXT: [[TMP34:%.*]] = fptrunc <2 x double> [[TMP3]] to <2 x float>
; CHECK-NEXT: store <2 x float> [[TMP34]], <2 x float>* @Z, align 8
; CHECK-NEXT: ret void
;
entry:
%tmp = load <2 x float>, <2 x float>* @Z, align 4
%tmp1 = fpext <2 x float> %tmp to <2 x double>
%tmp3 = fadd <2 x double> %tmp1, <double 0.000000e+00, double 0.000000e+00>
%tmp34 = fptrunc <2 x double> %tmp3 to <2 x float>
store <2 x float> %tmp34, <2 x float>* @Z, align 4
ret void
}
; Test with a non-splat constant
define void @test6() nounwind {
; CHECK-LABEL: @test6(
; CHECK-NEXT: entry:
; CHECK-NEXT: [[TMP:%.*]] = load <2 x float>, <2 x float>* @Z, align 8
; CHECK-NEXT: [[TMP1:%.*]] = fpext <2 x float> [[TMP]] to <2 x double>
; CHECK-NEXT: [[TMP3:%.*]] = fadd <2 x double> [[TMP1]], <double 0.000000e+00, double -0.000000e+00>
; CHECK-NEXT: [[TMP34:%.*]] = fptrunc <2 x double> [[TMP3]] to <2 x float>
; CHECK-NEXT: store <2 x float> [[TMP34]], <2 x float>* @Z, align 8
; CHECK-NEXT: ret void
;
entry:
%tmp = load <2 x float>, <2 x float>* @Z, align 4
%tmp1 = fpext <2 x float> %tmp to <2 x double>
%tmp3 = fadd <2 x double> %tmp1, <double 0.000000e+00, double -0.000000e+00>
%tmp34 = fptrunc <2 x double> %tmp3 to <2 x float>
store <2 x float> %tmp34, <2 x float>* @Z, align 4
ret void
}