if (match(Op0, m_Zero()) && match(Op1, m_Zero()))
return ConstantInt::getNullValue(F->getReturnType());
+ // Rotating -1 by anything is -1.
+ if (match(Op0, m_AllOnes()) && match(Op1, m_AllOnes()))
+ return ConstantInt::getAllOnesValue(F->getReturnType());
+
return nullptr;
}
case Intrinsic::experimental_constrained_fma: {
define <2 x i7> @fshl_ones_vec(<2 x i7> %shamt) {
; CHECK-LABEL: @fshl_ones_vec(
-; CHECK-NEXT: [[R:%.*]] = call <2 x i7> @llvm.fshl.v2i7(<2 x i7> <i7 undef, i7 -1>, <2 x i7> <i7 -1, i7 undef>, <2 x i7> [[SHAMT:%.*]])
-; CHECK-NEXT: ret <2 x i7> [[R]]
+; CHECK-NEXT: ret <2 x i7> <i7 -1, i7 -1>
;
%r = call <2 x i7> @llvm.fshl.v2i7(<2 x i7> <i7 undef, i7 -1>, <2 x i7> <i7 -1, i7 undef>, <2 x i7> %shamt)
ret <2 x i7> %r
define i9 @fshr_ones(i9 %shamt) {
; CHECK-LABEL: @fshr_ones(
-; CHECK-NEXT: [[R:%.*]] = call i9 @llvm.fshr.i9(i9 -1, i9 -1, i9 [[SHAMT:%.*]])
-; CHECK-NEXT: ret i9 [[R]]
+; CHECK-NEXT: ret i9 -1
;
%r = call i9 @llvm.fshr.i9(i9 -1, i9 -1, i9 %shamt)
ret i9 %r