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
|
//===--- ModRef.cpp - Memory effect modeling --------------------*- C++ -*-===//
//
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
// See https://llvm.org/LICENSE.txt for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
//===----------------------------------------------------------------------===//
//
// This file implements ModRef and MemoryEffects misc functions.
//
//===----------------------------------------------------------------------===//
#include "llvm/Support/ModRef.h"
#include "llvm/ADT/STLExtras.h"
#include "llvm/ADT/StringExtras.h"
using namespace llvm;
raw_ostream &llvm::operator<<(raw_ostream &OS, ModRefInfo MR) {
switch (MR) {
case ModRefInfo::NoModRef:
OS << "NoModRef";
break;
case ModRefInfo::Ref:
OS << "Ref";
break;
case ModRefInfo::Mod:
OS << "Mod";
break;
case ModRefInfo::ModRef:
OS << "ModRef";
break;
}
return OS;
}
raw_ostream &llvm::operator<<(raw_ostream &OS, MemoryEffects ME) {
interleaveComma(MemoryEffects::locations(), OS, [&](IRMemLocation Loc) {
switch (Loc) {
case IRMemLocation::ArgMem:
OS << "ArgMem: ";
break;
case IRMemLocation::InaccessibleMem:
OS << "InaccessibleMem: ";
break;
case IRMemLocation::ErrnoMem:
OS << "ErrnoMem: ";
break;
case IRMemLocation::Other:
OS << "Other: ";
break;
}
OS << ME.getModRef(Loc);
});
return OS;
}
raw_ostream &llvm::operator<<(raw_ostream &OS, CaptureComponents CC) {
if (capturesNothing(CC)) {
OS << "none";
return OS;
}
ListSeparator LS;
if (capturesAddressIsNullOnly(CC))
OS << LS << "address_is_null";
else if (capturesAddress(CC))
OS << LS << "address";
if (capturesReadProvenanceOnly(CC))
OS << LS << "read_provenance";
if (capturesFullProvenance(CC))
OS << LS << "provenance";
return OS;
}
raw_ostream &llvm::operator<<(raw_ostream &OS, CaptureInfo CI) {
ListSeparator LS;
CaptureComponents Other = CI.getOtherComponents();
CaptureComponents Ret = CI.getRetComponents();
OS << "captures(";
if (!capturesNothing(Other) || Other == Ret)
OS << LS << Other;
if (Other != Ret)
OS << LS << "ret: " << Ret;
OS << ")";
return OS;
}
|
