blob: e5b84b893d39b3f6c6a2d37ba7c8303f7b5cdd38 [file] [log] [blame]
Michael Ilseman02a6bab2012-09-25 01:33:33 +00001//===- 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
18using namespace llvm;
19
20namespace {
21
22TEST(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
Michael Ilsemana398d4c2012-09-26 01:55:01 +000054TEST(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
86TEST(IntegerDivision, SRem) {
87 LLVMContext &C(getGlobalContext());
88 Module M("test remainder", C);
89 IRBuilder<> Builder(C);
90
91 SmallVector<Type*, 2> ArgTys(2, Builder.getInt32Ty());
92 Function *F = Function::Create(FunctionType::get(Builder.getInt32Ty(),
93 ArgTys, false),
94 GlobalValue::ExternalLinkage, "F", &M);
95 assert(F->getArgumentList().size() == 2);
96
97 BasicBlock *BB = BasicBlock::Create(C, "", F);
98 Builder.SetInsertPoint(BB);
99
100 Function::arg_iterator AI = F->arg_begin();
101 Value *A = AI++;
102 Value *B = AI++;
103
104 Value *Rem = Builder.CreateSRem(A, B);
105 EXPECT_TRUE(BB->front().getOpcode() == Instruction::SRem);
106
107 Value *Ret = Builder.CreateRet(Rem);
108
109 expandRemainder(cast<BinaryOperator>(Rem));
110 EXPECT_TRUE(BB->front().getOpcode() == Instruction::AShr);
111
112 Instruction* Remainder = dyn_cast<Instruction>(cast<User>(Ret)->getOperand(0));
113 EXPECT_TRUE(Remainder && Remainder->getOpcode() == Instruction::Sub);
114
115 Builder.SetInsertPoint(BB->end());
116}
117
118TEST(IntegerDivision, URem) {
119 LLVMContext &C(getGlobalContext());
120 Module M("test remainder", C);
121 IRBuilder<> Builder(C);
122
123 SmallVector<Type*, 2> ArgTys(2, Builder.getInt32Ty());
124 Function *F = Function::Create(FunctionType::get(Builder.getInt32Ty(),
125 ArgTys, false),
126 GlobalValue::ExternalLinkage, "F", &M);
127 assert(F->getArgumentList().size() == 2);
128
129 BasicBlock *BB = BasicBlock::Create(C, "", F);
130 Builder.SetInsertPoint(BB);
131
132 Function::arg_iterator AI = F->arg_begin();
133 Value *A = AI++;
134 Value *B = AI++;
135
136 Value *Rem = Builder.CreateURem(A, B);
137 EXPECT_TRUE(BB->front().getOpcode() == Instruction::URem);
138
139 Value *Ret = Builder.CreateRet(Rem);
140
141 expandRemainder(cast<BinaryOperator>(Rem));
142 EXPECT_TRUE(BB->front().getOpcode() == Instruction::ICmp);
143
144 Instruction* Remainder = dyn_cast<Instruction>(cast<User>(Ret)->getOperand(0));
145 EXPECT_TRUE(Remainder && Remainder->getOpcode() == Instruction::Sub);
146
147 Builder.SetInsertPoint(BB->end());
148}
149
Michael Ilseman02a6bab2012-09-25 01:33:33 +0000150}