diff --git a/test/Transforms/InstCombine/vector-urem.ll b/test/Transforms/InstCombine/vector-urem.ll new file mode 100644 index 00000000000..6cecc16069d --- /dev/null +++ b/test/Transforms/InstCombine/vector-urem.ll @@ -0,0 +1,29 @@ +; NOTE: Assertions have been autogenerated by utils/update_test_checks.py +; RUN: opt < %s -instcombine -S | FileCheck %s + +define <4 x i32> @test_v4i32_splatconst_pow2(<4 x i32> %a0) { +; CHECK-LABEL: @test_v4i32_splatconst_pow2( +; CHECK-NEXT: [[TMP1:%.*]] = and <4 x i32> %a0, +; CHECK-NEXT: ret <4 x i32> [[TMP1]] +; + %1 = urem <4 x i32> %a0, + ret <4 x i32> %1 +} + +define <4 x i32> @test_v4i32_const_pow2(<4 x i32> %a0) { +; CHECK-LABEL: @test_v4i32_const_pow2( +; CHECK-NEXT: [[TMP1:%.*]] = urem <4 x i32> %a0, +; CHECK-NEXT: ret <4 x i32> [[TMP1]] +; + %1 = urem <4 x i32> %a0, + ret <4 x i32> %1 +} + +define <4 x i32> @test_v4i32_const_pow2_or_zero(<4 x i32> %a0) { +; CHECK-LABEL: @test_v4i32_const_pow2_or_zero( +; CHECK-NEXT: [[TMP1:%.*]] = urem <4 x i32> %a0, +; CHECK-NEXT: ret <4 x i32> [[TMP1]] +; + %1 = urem <4 x i32> %a0, + ret <4 x i32> %1 +}