1 //===- IntegerDivision.cpp - Unit tests for the integer division code -----===//
3 // The LLVM Compiler Infrastructure
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
8 //===----------------------------------------------------------------------===//
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"
22 TEST(IntegerDivision, SDiv) {
23 LLVMContext &C(getGlobalContext());
24 Module M("test division", C);
25 IRBuilder<> Builder(C);
27 SmallVector<Type*, 2> ArgTys(2, Builder.getInt32Ty());
28 Function *F = Function::Create(FunctionType::get(Builder.getInt32Ty(),
30 GlobalValue::ExternalLinkage, "F", &M);
31 assert(F->getArgumentList().size() == 2);
33 BasicBlock *BB = BasicBlock::Create(C, "", F);
34 Builder.SetInsertPoint(BB);
36 Function::arg_iterator AI = F->arg_begin();
40 Value *Div = Builder.CreateSDiv(A, B);
41 EXPECT_TRUE(BB->front().getOpcode() == Instruction::SDiv);
43 Value *Ret = Builder.CreateRet(Div);
45 expandDivision(cast<BinaryOperator>(Div));
46 EXPECT_TRUE(BB->front().getOpcode() == Instruction::AShr);
48 Instruction* Quotient = dyn_cast<Instruction>(cast<User>(Ret)->getOperand(0));
49 EXPECT_TRUE(Quotient && Quotient->getOpcode() == Instruction::Sub);
51 Builder.SetInsertPoint(BB->end());
54 TEST(IntegerDivision, UDiv) {
55 LLVMContext &C(getGlobalContext());
56 Module M("test division", C);
57 IRBuilder<> Builder(C);
59 SmallVector<Type*, 2> ArgTys(2, Builder.getInt32Ty());
60 Function *F = Function::Create(FunctionType::get(Builder.getInt32Ty(),
62 GlobalValue::ExternalLinkage, "F", &M);
63 assert(F->getArgumentList().size() == 2);
65 BasicBlock *BB = BasicBlock::Create(C, "", F);
66 Builder.SetInsertPoint(BB);
68 Function::arg_iterator AI = F->arg_begin();
72 Value *Div = Builder.CreateUDiv(A, B);
73 EXPECT_TRUE(BB->front().getOpcode() == Instruction::UDiv);
75 Value *Ret = Builder.CreateRet(Div);
77 expandDivision(cast<BinaryOperator>(Div));
78 EXPECT_TRUE(BB->front().getOpcode() == Instruction::ICmp);
80 Instruction* Quotient = dyn_cast<Instruction>(cast<User>(Ret)->getOperand(0));
81 EXPECT_TRUE(Quotient && Quotient->getOpcode() == Instruction::PHI);
83 Builder.SetInsertPoint(BB->end());
87 TEST(IntegerDivision, SRem) {
88 LLVMContext &C(getGlobalContext());
89 Module M("test remainder", C);
90 IRBuilder<> Builder(C);
92 SmallVector<Type*, 2> ArgTys(2, Builder.getInt32Ty());
93 Function *F = Function::Create(FunctionType::get(Builder.getInt32Ty(),
95 GlobalValue::ExternalLinkage, "F", &M);
96 assert(F->getArgumentList().size() == 2);
98 BasicBlock *BB = BasicBlock::Create(C, "", F);
99 Builder.SetInsertPoint(BB);
101 Function::arg_iterator AI = F->arg_begin();
105 Value *Rem = Builder.CreateSRem(A, B);
106 EXPECT_TRUE(BB->front().getOpcode() == Instruction::SRem);
108 Value *Ret = Builder.CreateRet(Rem);
110 expandRemainder(cast<BinaryOperator>(Rem));
111 EXPECT_TRUE(BB->front().getOpcode() == Instruction::AShr);
113 Instruction* Remainder = dyn_cast<Instruction>(cast<User>(Ret)->getOperand(0));
114 EXPECT_TRUE(Remainder && Remainder->getOpcode() == Instruction::Sub);
116 Builder.SetInsertPoint(BB->end());
119 TEST(IntegerDivision, URem) {
120 LLVMContext &C(getGlobalContext());
121 Module M("test remainder", C);
122 IRBuilder<> Builder(C);
124 SmallVector<Type*, 2> ArgTys(2, Builder.getInt32Ty());
125 Function *F = Function::Create(FunctionType::get(Builder.getInt32Ty(),
127 GlobalValue::ExternalLinkage, "F", &M);
128 assert(F->getArgumentList().size() == 2);
130 BasicBlock *BB = BasicBlock::Create(C, "", F);
131 Builder.SetInsertPoint(BB);
133 Function::arg_iterator AI = F->arg_begin();
137 Value *Rem = Builder.CreateURem(A, B);
138 EXPECT_TRUE(BB->front().getOpcode() == Instruction::URem);
140 Value *Ret = Builder.CreateRet(Rem);
142 expandRemainder(cast<BinaryOperator>(Rem));
143 EXPECT_TRUE(BB->front().getOpcode() == Instruction::ICmp);
145 Instruction* Remainder = dyn_cast<Instruction>(cast<User>(Ret)->getOperand(0));
146 EXPECT_TRUE(Remainder && Remainder->getOpcode() == Instruction::Sub);
148 Builder.SetInsertPoint(BB->end());