aboutsummaryrefslogtreecommitdiffstats
path: root/test/Transforms/InstCombine/udiv_select_to_select_shift.ll
diff options
context:
space:
mode:
Diffstat (limited to 'test/Transforms/InstCombine/udiv_select_to_select_shift.ll')
-rw-r--r--test/Transforms/InstCombine/udiv_select_to_select_shift.ll17
1 files changed, 17 insertions, 0 deletions
diff --git a/test/Transforms/InstCombine/udiv_select_to_select_shift.ll b/test/Transforms/InstCombine/udiv_select_to_select_shift.ll
new file mode 100644
index 0000000..fe05741
--- /dev/null
+++ b/test/Transforms/InstCombine/udiv_select_to_select_shift.ll
@@ -0,0 +1,17 @@
+; Test that this transform works:
+; udiv X, (Select Cond, C1, C2) --> Select Cond, (shr X, C1), (shr X, C2)
+;
+; RUN: llvm-as < %s | opt -instcombine | llvm-dis -f -o %t
+; RUN: grep select %t | wc -l | grep 1
+; RUN: grep lshr %t | wc -l | grep 2
+; RUN: ignore grep udiv %t | wc -l | grep 0
+
+define i64 @test(i64 %X, i1 %Cond ) {
+entry:
+ %divisor1 = select i1 %Cond, i64 8, i64 16
+ %quotient1 = udiv i64 %X, %divisor1
+ %divisor2 = select i1 %Cond, i64 8, i64 0
+ %quotient2 = udiv i64 %X, %divisor2
+ %sum = add i64 %quotient1, %quotient2
+ ret i64 %sum
+}