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 "llvm/Transforms/Utils/IntegerDivision.h"
11 #include "llvm/BasicBlock.h"
12 #include "llvm/Function.h"
13 #include "llvm/GlobalValue.h"
14 #include "llvm/IRBuilder.h"
15 #include "llvm/Module.h"
16 #include "gtest/gtest.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);
52 TEST(IntegerDivision, UDiv) {
53 LLVMContext &C(getGlobalContext());
54 Module M("test division", C);
55 IRBuilder<> Builder(C);
57 SmallVector<Type*, 2> ArgTys(2, Builder.getInt32Ty());
58 Function *F = Function::Create(FunctionType::get(Builder.getInt32Ty(),
60 GlobalValue::ExternalLinkage, "F", &M);
61 assert(F->getArgumentList().size() == 2);
63 BasicBlock *BB = BasicBlock::Create(C, "", F);
64 Builder.SetInsertPoint(BB);
66 Function::arg_iterator AI = F->arg_begin();
70 Value *Div = Builder.CreateUDiv(A, B);
71 EXPECT_TRUE(BB->front().getOpcode() == Instruction::UDiv);
73 Value *Ret = Builder.CreateRet(Div);
75 expandDivision(cast<BinaryOperator>(Div));
76 EXPECT_TRUE(BB->front().getOpcode() == Instruction::ICmp);
78 Instruction* Quotient = dyn_cast<Instruction>(cast<User>(Ret)->getOperand(0));
79 EXPECT_TRUE(Quotient && Quotient->getOpcode() == Instruction::PHI);
82 TEST(IntegerDivision, SRem) {
83 LLVMContext &C(getGlobalContext());
84 Module M("test remainder", C);
85 IRBuilder<> Builder(C);
87 SmallVector<Type*, 2> ArgTys(2, Builder.getInt32Ty());
88 Function *F = Function::Create(FunctionType::get(Builder.getInt32Ty(),
90 GlobalValue::ExternalLinkage, "F", &M);
91 assert(F->getArgumentList().size() == 2);
93 BasicBlock *BB = BasicBlock::Create(C, "", F);
94 Builder.SetInsertPoint(BB);
96 Function::arg_iterator AI = F->arg_begin();
100 Value *Rem = Builder.CreateSRem(A, B);
101 EXPECT_TRUE(BB->front().getOpcode() == Instruction::SRem);
103 Value *Ret = Builder.CreateRet(Rem);
105 expandRemainder(cast<BinaryOperator>(Rem));
106 EXPECT_TRUE(BB->front().getOpcode() == Instruction::AShr);
108 Instruction* Remainder = dyn_cast<Instruction>(cast<User>(Ret)->getOperand(0));
109 EXPECT_TRUE(Remainder && Remainder->getOpcode() == Instruction::Sub);
112 TEST(IntegerDivision, URem) {
113 LLVMContext &C(getGlobalContext());
114 Module M("test remainder", C);
115 IRBuilder<> Builder(C);
117 SmallVector<Type*, 2> ArgTys(2, Builder.getInt32Ty());
118 Function *F = Function::Create(FunctionType::get(Builder.getInt32Ty(),
120 GlobalValue::ExternalLinkage, "F", &M);
121 assert(F->getArgumentList().size() == 2);
123 BasicBlock *BB = BasicBlock::Create(C, "", F);
124 Builder.SetInsertPoint(BB);
126 Function::arg_iterator AI = F->arg_begin();
130 Value *Rem = Builder.CreateURem(A, B);
131 EXPECT_TRUE(BB->front().getOpcode() == Instruction::URem);
133 Value *Ret = Builder.CreateRet(Rem);
135 expandRemainder(cast<BinaryOperator>(Rem));
136 EXPECT_TRUE(BB->front().getOpcode() == Instruction::ICmp);
138 Instruction* Remainder = dyn_cast<Instruction>(cast<User>(Ret)->getOperand(0));
139 EXPECT_TRUE(Remainder && Remainder->getOpcode() == Instruction::Sub);