@@ -1010,3 +1010,47 @@ define <2 x i32> @fshr_vec_zero_elem(<2 x i32> %x, <2 x i32> %y) {
1010
1010
%fsh = call <2 x i32 > @llvm.fshr.v2i32 (<2 x i32 > %x , <2 x i32 > %y , <2 x i32 > <i32 2 , i32 0 >)
1011
1011
ret <2 x i32 > %fsh
1012
1012
}
1013
+
1014
+ define i16 @fshl_i16_shl (i16 %x , i16 %y ) {
1015
+ ; CHECK-LABEL: @fshl_i16_shl(
1016
+ ; CHECK-NEXT: entry:
1017
+ ; CHECK-NEXT: [[RES:%.*]] = call i16 @llvm.fshl.i16(i16 [[X:%.*]], i16 0, i16 [[Y:%.*]])
1018
+ ; CHECK-NEXT: ret i16 [[RES]]
1019
+ ;
1020
+ entry:
1021
+ %res = call i16 @llvm.fshl.i16 (i16 %x , i16 0 , i16 %y )
1022
+ ret i16 %res
1023
+ }
1024
+
1025
+ define i32 @fshl_i32_shl (i32 %x , i32 %y ) {
1026
+ ; CHECK-LABEL: @fshl_i32_shl(
1027
+ ; CHECK-NEXT: entry:
1028
+ ; CHECK-NEXT: [[RES:%.*]] = call i32 @llvm.fshl.i32(i32 [[X:%.*]], i32 0, i32 [[Y:%.*]])
1029
+ ; CHECK-NEXT: ret i32 [[RES]]
1030
+ ;
1031
+ entry:
1032
+ %res = call i32 @llvm.fshl.i32 (i32 %x , i32 0 , i32 %y )
1033
+ ret i32 %res
1034
+ }
1035
+
1036
+ define <2 x i16 > @fshl_vi16_shl (<2 x i16 > %x , <2 x i16 > %y ) {
1037
+ ; CHECK-LABEL: @fshl_vi16_shl(
1038
+ ; CHECK-NEXT: entry:
1039
+ ; CHECK-NEXT: [[RES:%.*]] = call <2 x i16> @llvm.fshl.v2i16(<2 x i16> [[X:%.*]], <2 x i16> zeroinitializer, <2 x i16> [[Y:%.*]])
1040
+ ; CHECK-NEXT: ret <2 x i16> [[RES]]
1041
+ ;
1042
+ entry:
1043
+ %res = call <2 x i16 > @llvm.fshl.v2i16 (<2 x i16 > %x , <2 x i16 > zeroinitializer , <2 x i16 > %y )
1044
+ ret <2 x i16 > %res
1045
+ }
1046
+
1047
+ define <2 x i31 > @fshl_vi31_shl_negative_test (<2 x i31 > %x , <2 x i31 > %y ) {
1048
+ ; CHECK-LABEL: @fshl_vi31_shl_negative_test(
1049
+ ; CHECK-NEXT: entry:
1050
+ ; CHECK-NEXT: [[RES:%.*]] = call <2 x i31> @llvm.fshl.v2i31(<2 x i31> [[X:%.*]], <2 x i31> zeroinitializer, <2 x i31> [[Y:%.*]])
1051
+ ; CHECK-NEXT: ret <2 x i31> [[RES]]
1052
+ ;
1053
+ entry:
1054
+ %res = call <2 x i31 > @llvm.fshl.v2i31 (<2 x i31 > %x , <2 x i31 > zeroinitializer , <2 x i31 > %y )
1055
+ ret <2 x i31 > %res
1056
+ }
0 commit comments