Expansions for u/srem, using the udiv expansion. More unit tests for udiv and u/srem.
[oota-llvm.git] / unittests / Transforms / Utils / IntegerDivision.cpp
1 //===- IntegerDivision.cpp - Unit tests for the integer division code -----===//
2 //
3 //                     The LLVM Compiler Infrastructure
4 //
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
7 //
8 //===----------------------------------------------------------------------===//
9
10 #include "gtest/gtest.h"
11 #include "llvm/BasicBlock.h"
12 #include "llvm/GlobalValue.h"
13 #include "llvm/Function.h"
14 #include "llvm/IRBuilder.h"
15 #include "llvm/Module.h"
16 #include "llvm/Transforms/Utils/IntegerDivision.h"
17
18 using namespace llvm;
19
20 namespace {
21
22 TEST(IntegerDivision, SDiv) {
23   LLVMContext &C(getGlobalContext());
24   Module M("test division", C);
25   IRBuilder<> Builder(C);
26
27   SmallVector<Type*, 2> ArgTys(2, Builder.getInt32Ty());
28   Function *F = Function::Create(FunctionType::get(Builder.getInt32Ty(),
29                                                    ArgTys, false),
30                                  GlobalValue::ExternalLinkage, "F", &M);
31   assert(F->getArgumentList().size() == 2);
32
33   BasicBlock *BB = BasicBlock::Create(C, "", F);
34   Builder.SetInsertPoint(BB);
35
36   Function::arg_iterator AI = F->arg_begin();
37   Value *A = AI++;
38   Value *B = AI++;
39
40   Value *Div = Builder.CreateSDiv(A, B);
41   EXPECT_TRUE(BB->front().getOpcode() == Instruction::SDiv);
42
43   Value *Ret = Builder.CreateRet(Div);
44
45   expandDivision(cast<BinaryOperator>(Div));
46   EXPECT_TRUE(BB->front().getOpcode() == Instruction::AShr);
47
48   Instruction* Quotient = dyn_cast<Instruction>(cast<User>(Ret)->getOperand(0));
49   EXPECT_TRUE(Quotient && Quotient->getOpcode() == Instruction::Sub);
50
51   Builder.SetInsertPoint(BB->end());
52 }
53
54 TEST(IntegerDivision, UDiv) {
55   LLVMContext &C(getGlobalContext());
56   Module M("test division", C);
57   IRBuilder<> Builder(C);
58
59   SmallVector<Type*, 2> ArgTys(2, Builder.getInt32Ty());
60   Function *F = Function::Create(FunctionType::get(Builder.getInt32Ty(),
61                                                    ArgTys, false),
62                                  GlobalValue::ExternalLinkage, "F", &M);
63   assert(F->getArgumentList().size() == 2);
64
65   BasicBlock *BB = BasicBlock::Create(C, "", F);
66   Builder.SetInsertPoint(BB);
67
68   Function::arg_iterator AI = F->arg_begin();
69   Value *A = AI++;
70   Value *B = AI++;
71
72   Value *Div = Builder.CreateUDiv(A, B);
73   EXPECT_TRUE(BB->front().getOpcode() == Instruction::UDiv);
74
75   Value *Ret = Builder.CreateRet(Div);
76
77   expandDivision(cast<BinaryOperator>(Div));
78   EXPECT_TRUE(BB->front().getOpcode() == Instruction::ICmp);
79
80   Instruction* Quotient = dyn_cast<Instruction>(cast<User>(Ret)->getOperand(0));
81   EXPECT_TRUE(Quotient && Quotient->getOpcode() == Instruction::PHI);
82
83   Builder.SetInsertPoint(BB->end());
84 }
85
86
87 TEST(IntegerDivision, SRem) {
88   LLVMContext &C(getGlobalContext());
89   Module M("test remainder", C);
90   IRBuilder<> Builder(C);
91
92   SmallVector<Type*, 2> ArgTys(2, Builder.getInt32Ty());
93   Function *F = Function::Create(FunctionType::get(Builder.getInt32Ty(),
94                                                    ArgTys, false),
95                                  GlobalValue::ExternalLinkage, "F", &M);
96   assert(F->getArgumentList().size() == 2);
97
98   BasicBlock *BB = BasicBlock::Create(C, "", F);
99   Builder.SetInsertPoint(BB);
100
101   Function::arg_iterator AI = F->arg_begin();
102   Value *A = AI++;
103   Value *B = AI++;
104
105   Value *Rem = Builder.CreateSRem(A, B);
106   EXPECT_TRUE(BB->front().getOpcode() == Instruction::SRem);
107
108   Value *Ret = Builder.CreateRet(Rem);
109
110   expandRemainder(cast<BinaryOperator>(Rem));
111   EXPECT_TRUE(BB->front().getOpcode() == Instruction::AShr);
112
113   Instruction* Remainder = dyn_cast<Instruction>(cast<User>(Ret)->getOperand(0));
114   EXPECT_TRUE(Remainder && Remainder->getOpcode() == Instruction::Sub);
115
116   Builder.SetInsertPoint(BB->end());
117 }
118
119 TEST(IntegerDivision, URem) {
120   LLVMContext &C(getGlobalContext());
121   Module M("test remainder", C);
122   IRBuilder<> Builder(C);
123
124   SmallVector<Type*, 2> ArgTys(2, Builder.getInt32Ty());
125   Function *F = Function::Create(FunctionType::get(Builder.getInt32Ty(),
126                                                    ArgTys, false),
127                                  GlobalValue::ExternalLinkage, "F", &M);
128   assert(F->getArgumentList().size() == 2);
129
130   BasicBlock *BB = BasicBlock::Create(C, "", F);
131   Builder.SetInsertPoint(BB);
132
133   Function::arg_iterator AI = F->arg_begin();
134   Value *A = AI++;
135   Value *B = AI++;
136
137   Value *Rem = Builder.CreateURem(A, B);
138   EXPECT_TRUE(BB->front().getOpcode() == Instruction::URem);
139
140   Value *Ret = Builder.CreateRet(Rem);
141
142   expandRemainder(cast<BinaryOperator>(Rem));
143   EXPECT_TRUE(BB->front().getOpcode() == Instruction::ICmp);
144
145   Instruction* Remainder = dyn_cast<Instruction>(cast<User>(Ret)->getOperand(0));
146   EXPECT_TRUE(Remainder && Remainder->getOpcode() == Instruction::Sub);
147
148   Builder.SetInsertPoint(BB->end());
149 }
150
151 }