1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
|
//===- GmpConv.cpp - Recreate LLVM IR from the Scop. ---------------------===//
//
// The LLVM Compiler Infrastructure
//
// This file is distributed under the University of Illinois Open Source
// License. See LICENSE.TXT for details.
//
//===----------------------------------------------------------------------===//
//
// Functions for converting between gmp objects and apint.
//
//===----------------------------------------------------------------------===//
#include "polly/Support/GICHelper.h"
#include "isl/set.h"
#include "isl/union_set.h"
#include "isl/map.h"
#include "isl/union_map.h"
#include "isl/schedule.h"
using namespace llvm;
void polly::MPZ_from_APInt (mpz_t v, const APInt apint, bool is_signed) {
// There is no sign taken from the data, rop will simply be a positive
// integer. An application can handle any sign itself, and apply it for
// instance with mpz_neg.
APInt abs;
if (is_signed)
abs = apint.abs();
else
abs = apint;
const uint64_t *rawdata = abs.getRawData();
unsigned numWords = abs.getNumWords();
// TODO: Check if this is true for all platforms.
mpz_import(v, numWords, 1, sizeof (uint64_t), 0, 0, rawdata);
if (is_signed && apint.isNegative()) mpz_neg(v, v);
}
APInt polly::APInt_from_MPZ (const mpz_t mpz) {
uint64_t *p = NULL;
size_t sz;
p = (uint64_t*) mpz_export(p, &sz, 1, sizeof(uint64_t), 0, 0, mpz);
if (p) {
APInt A((unsigned)mpz_sizeinbase(mpz, 2), (unsigned)sz , p);
A = A.zext(A.getBitWidth() + 1);
free(p);
if (mpz_sgn(mpz) == -1)
return -A;
else
return A;
} else {
uint64_t val = 0;
return APInt(1, 1, &val);
}
}
std::string polly::stringFromIslObj(/*__isl_keep*/ isl_map *map) {
isl_printer *p = isl_printer_to_str(isl_map_get_ctx(map));
isl_printer_print_map(p, map);
char *char_str = isl_printer_get_str(p);
std::string string(char_str);
free(char_str);
isl_printer_free(p);
return string;
}
std::string polly::stringFromIslObj(/*__isl_keep*/ isl_set *set) {
isl_printer *p = isl_printer_to_str(isl_set_get_ctx(set));
isl_printer_print_set(p, set);
char *char_str = isl_printer_get_str(p);
std::string string(char_str);
free(char_str);
isl_printer_free(p);
return string;
}
std::string polly::stringFromIslObj(/*__isl_keep*/ isl_union_map *umap) {
isl_printer *p = isl_printer_to_str(isl_union_map_get_ctx(umap));
isl_printer_print_union_map(p, umap);
char *char_str = isl_printer_get_str(p);
std::string string(char_str);
free(char_str);
isl_printer_free(p);
return string;
}
std::string polly::stringFromIslObj(/*__isl_keep*/ isl_union_set *uset) {
isl_printer *p = isl_printer_to_str(isl_union_set_get_ctx(uset));
isl_printer_print_union_set(p, uset);
char *char_str = isl_printer_get_str(p);
std::string string(char_str);
free(char_str);
isl_printer_free(p);
return string;
}
std::string polly::stringFromIslObj(/*__isl_keep*/ isl_schedule *schedule) {
isl_ctx *ctx = isl_union_map_get_ctx(isl_schedule_get_map(schedule));
isl_printer *p = isl_printer_to_str(ctx);
isl_printer_print_schedule(p, schedule);
char *char_str = isl_printer_get_str(p);
std::string string(char_str);
free(char_str);
isl_printer_free(p);
return string;
}
|
