blob: 9a3780d07cbb2b95835f83ab9c9d5009b79a2ca7 [file] [log] [blame]
// Copyright 2014 The Bazel Authors. All rights reserved.
//
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
// http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.
package com.google.devtools.build.lib.rules.cpp;
import com.google.common.base.Functions;
import com.google.common.base.Predicate;
import com.google.common.base.Predicates;
import com.google.common.collect.ImmutableList;
import com.google.common.collect.ImmutableMap;
import com.google.common.collect.ImmutableSet;
import com.google.common.collect.Iterables;
import com.google.devtools.build.lib.actions.ActionOwner;
import com.google.devtools.build.lib.actions.Artifact;
import com.google.devtools.build.lib.analysis.AnalysisEnvironment;
import com.google.devtools.build.lib.analysis.RuleConfiguredTarget.Mode;
import com.google.devtools.build.lib.analysis.RuleContext;
import com.google.devtools.build.lib.analysis.config.BuildConfiguration;
import com.google.devtools.build.lib.cmdline.Label;
import com.google.devtools.build.lib.collect.nestedset.NestedSet;
import com.google.devtools.build.lib.collect.nestedset.NestedSetBuilder;
import com.google.devtools.build.lib.rules.cpp.CcToolchainFeatures.FeatureConfiguration;
import com.google.devtools.build.lib.rules.cpp.CppCompileAction.DotdFile;
import com.google.devtools.build.lib.rules.cpp.CppCompileAction.SpecialInputsHandler;
import com.google.devtools.build.lib.util.FileType;
import com.google.devtools.build.lib.util.Preconditions;
import com.google.devtools.build.lib.vfs.PathFragment;
import java.util.ArrayList;
import java.util.Collection;
import java.util.LinkedHashMap;
import java.util.List;
import java.util.Map;
import java.util.UUID;
import java.util.regex.Pattern;
/**
* Builder class to construct C++ compile actions.
*/
public class CppCompileActionBuilder {
public static final UUID GUID = UUID.fromString("97493805-894f-493a-be66-9a698f45c31d");
private final ActionOwner owner;
private final List<String> features = new ArrayList<>();
private CcToolchainFeatures.FeatureConfiguration featureConfiguration;
private CcToolchainFeatures.Variables variables;
private final Artifact sourceFile;
private final Label sourceLabel;
private final NestedSetBuilder<Artifact> mandatoryInputsBuilder;
private Artifact optionalSourceFile;
private Artifact outputFile;
private Artifact dwoFile;
private PathFragment tempOutputFile;
private DotdFile dotdFile;
private Artifact gcnoFile;
private final BuildConfiguration configuration;
private CppCompilationContext context = CppCompilationContext.EMPTY;
private final List<String> copts = new ArrayList<>();
private final List<String> pluginOpts = new ArrayList<>();
private final List<Pattern> nocopts = new ArrayList<>();
private AnalysisEnvironment analysisEnvironment;
private ImmutableList<PathFragment> extraSystemIncludePrefixes = ImmutableList.of();
private boolean usePic;
private boolean allowUsingHeaderModules;
private SpecialInputsHandler specialInputsHandler = CppCompileAction.VOID_SPECIAL_INPUTS_HANDLER;
private UUID actionClassId = GUID;
private Class<? extends CppCompileActionContext> actionContext;
private CppConfiguration cppConfiguration;
private ImmutableMap<Artifact, IncludeScannable> lipoScannableMap;
private final ImmutableList.Builder<Artifact> additionalIncludeFiles =
new ImmutableList.Builder<>();
private RuleContext ruleContext = null;
private Boolean shouldScanIncludes;
private Map<String, String> environment = new LinkedHashMap<>();
private CppSemantics cppSemantics;
// New fields need to be added to the copy constructor.
/**
* Creates a builder from a rule. This also uses the configuration and
* artifact factory from the rule.
*/
public CppCompileActionBuilder(RuleContext ruleContext, Artifact sourceFile, Label sourceLabel) {
this.owner = ruleContext.getActionOwner();
this.actionContext = CppCompileActionContext.class;
this.cppConfiguration = ruleContext.getFragment(CppConfiguration.class);
this.analysisEnvironment = ruleContext.getAnalysisEnvironment();
this.sourceFile = sourceFile;
this.sourceLabel = sourceLabel;
this.configuration = ruleContext.getConfiguration();
this.mandatoryInputsBuilder = NestedSetBuilder.stableOrder();
this.lipoScannableMap = getLipoScannableMap(ruleContext);
this.ruleContext = ruleContext;
this.allowUsingHeaderModules = true;
features.addAll(ruleContext.getFeatures());
}
private static ImmutableMap<Artifact, IncludeScannable> getLipoScannableMap(
RuleContext ruleContext) {
if (!ruleContext.getFragment(CppConfiguration.class).isLipoOptimization()
// Rules that do not contain sources that are compiled into object files, but may
// contain headers, will still create CppCompileActions without providing a
// lipo_context_collector.
|| ruleContext.attributes().getAttributeDefinition(":lipo_context_collector") == null) {
return null;
}
LipoContextProvider provider = ruleContext.getPrerequisite(
":lipo_context_collector", Mode.DONT_CHECK, LipoContextProvider.class);
return provider.getIncludeScannables();
}
/**
* Creates a builder that is a copy of another builder.
*/
public CppCompileActionBuilder(CppCompileActionBuilder other) {
this.owner = other.owner;
this.features.addAll(other.features);
this.featureConfiguration = other.featureConfiguration;
this.sourceFile = other.sourceFile;
this.sourceLabel = other.sourceLabel;
this.mandatoryInputsBuilder = NestedSetBuilder.<Artifact>stableOrder()
.addTransitive(other.mandatoryInputsBuilder.build());
this.optionalSourceFile = other.optionalSourceFile;
this.outputFile = other.outputFile;
this.dwoFile = other.dwoFile;
this.tempOutputFile = other.tempOutputFile;
this.dotdFile = other.dotdFile;
this.gcnoFile = other.gcnoFile;
this.configuration = other.configuration;
this.context = other.context;
this.copts.addAll(other.copts);
this.pluginOpts.addAll(other.pluginOpts);
this.nocopts.addAll(other.nocopts);
this.analysisEnvironment = other.analysisEnvironment;
this.extraSystemIncludePrefixes = ImmutableList.copyOf(other.extraSystemIncludePrefixes);
this.specialInputsHandler = other.specialInputsHandler;
this.actionClassId = other.actionClassId;
this.actionContext = other.actionContext;
this.cppConfiguration = other.cppConfiguration;
this.usePic = other.usePic;
this.allowUsingHeaderModules = other.allowUsingHeaderModules;
this.lipoScannableMap = other.lipoScannableMap;
this.ruleContext = other.ruleContext;
this.shouldScanIncludes = other.shouldScanIncludes;
this.environment = new LinkedHashMap<>(other.environment);
this.cppSemantics = other.cppSemantics;
}
public PathFragment getTempOutputFile() {
return tempOutputFile;
}
public Artifact getSourceFile() {
return sourceFile;
}
public CppCompilationContext getContext() {
return context;
}
public NestedSet<Artifact> getMandatoryInputs() {
return mandatoryInputsBuilder.build();
}
private static Predicate<String> getNocoptPredicate(Collection<Pattern> patterns) {
final ImmutableList<Pattern> finalPatterns = ImmutableList.copyOf(patterns);
if (finalPatterns.isEmpty()) {
return Predicates.alwaysTrue();
} else {
return new Predicate<String>() {
@Override
public boolean apply(String option) {
for (Pattern pattern : finalPatterns) {
if (pattern.matcher(option).matches()) {
return false;
}
}
return true;
}
};
}
}
private Iterable<IncludeScannable> getLipoScannables(NestedSet<Artifact> realMandatoryInputs) {
return lipoScannableMap == null ? ImmutableList.<IncludeScannable>of() : Iterables.filter(
Iterables.transform(
Iterables.filter(
FileType.filter(
realMandatoryInputs,
CppFileTypes.C_SOURCE, CppFileTypes.CPP_SOURCE,
CppFileTypes.ASSEMBLER_WITH_C_PREPROCESSOR),
Predicates.not(Predicates.equalTo(getSourceFile()))),
Functions.forMap(lipoScannableMap, null)),
Predicates.notNull());
}
private String getActionName() {
PathFragment sourcePath = sourceFile.getExecPath();
if (CppFileTypes.CPP_MODULE_MAP.matches(sourcePath)) {
return CppCompileAction.CPP_MODULE_COMPILE;
} else if (CppFileTypes.CPP_HEADER.matches(sourcePath)) {
// TODO(bazel-team): Handle C headers that probably don't work in C++ mode.
if (featureConfiguration.isEnabled(CppRuleClasses.PARSE_HEADERS)) {
return CppCompileAction.CPP_HEADER_PARSING;
} else if (featureConfiguration.isEnabled(CppRuleClasses.PREPROCESS_HEADERS)) {
return CppCompileAction.CPP_HEADER_PREPROCESSING;
} else {
// CcCommon.collectCAndCppSources() ensures we do not add headers to
// the compilation artifacts unless either 'parse_headers' or
// 'preprocess_headers' is set.
throw new IllegalStateException();
}
} else if (CppFileTypes.C_SOURCE.matches(sourcePath)) {
return CppCompileAction.C_COMPILE;
} else if (CppFileTypes.CPP_SOURCE.matches(sourcePath)) {
return CppCompileAction.CPP_COMPILE;
} else if (CppFileTypes.OBJC_SOURCE.matches(sourcePath)) {
return CppCompileAction.OBJC_COMPILE;
} else if (CppFileTypes.OBJCPP_SOURCE.matches(sourcePath)) {
return CppCompileAction.OBJCPP_COMPILE;
} else if (CppFileTypes.ASSEMBLER.matches(sourcePath)) {
return CppCompileAction.ASSEMBLE;
} else if (CppFileTypes.ASSEMBLER_WITH_C_PREPROCESSOR.matches(sourcePath)) {
return CppCompileAction.PREPROCESS_ASSEMBLE;
} else if (CppFileTypes.CLIF_INPUT_PROTO.matches(sourcePath)) {
return CppCompileAction.CLIF_MATCH;
}
// CcLibraryHelper ensures CppCompileAction only gets instantiated for supported file types.
throw new IllegalStateException();
}
/**
* Builds the Action as configured and returns the to be generated Artifact.
*
* <p>This method may be called multiple times to create multiple compile
* actions (usually after calling some setters to modify the generated
* action).
*/
public CppCompileAction build() {
// This must be set either to false or true by CppSemantics, otherwise someone forgot to call
// finalizeCompileActionBuilder on this builder.
Preconditions.checkNotNull(shouldScanIncludes);
boolean useHeaderModules =
allowUsingHeaderModules
&& featureConfiguration.isEnabled(CppRuleClasses.USE_HEADER_MODULES);
boolean fake = tempOutputFile != null;
// Configuration can be null in tests.
NestedSetBuilder<Artifact> realMandatoryInputsBuilder = NestedSetBuilder.compileOrder();
realMandatoryInputsBuilder.addTransitive(mandatoryInputsBuilder.build());
if (!fake && !shouldScanIncludes) {
realMandatoryInputsBuilder.addTransitive(context.getDeclaredIncludeSrcs());
}
boolean shouldPruneModules = shouldScanIncludes && useHeaderModules;
if (useHeaderModules && !shouldPruneModules) {
realMandatoryInputsBuilder.addTransitive(context.getTransitiveModules(usePic));
}
realMandatoryInputsBuilder.addTransitive(context.getAdditionalInputs());
realMandatoryInputsBuilder.add(sourceFile);
// If the crosstool uses action_configs to configure cc compilation, collect execution info
// from there, otherwise, use no execution info.
// TODO(b/27903698): Assert that the crosstool has an action_config for this action.
ImmutableSet<String> executionRequirements = ImmutableSet.of();
if (featureConfiguration.actionIsConfigured(getActionName())) {
executionRequirements =
featureConfiguration.getToolForAction(getActionName()).getExecutionRequirements();
}
// Copying the collections is needed to make the builder reusable.
if (fake) {
return new FakeCppCompileAction(
owner,
ImmutableList.copyOf(features),
featureConfiguration,
variables,
sourceFile,
shouldScanIncludes,
shouldPruneModules,
usePic,
useHeaderModules,
sourceLabel,
realMandatoryInputsBuilder.build(),
outputFile,
tempOutputFile,
dotdFile,
configuration,
cppConfiguration,
context,
actionContext,
ImmutableList.copyOf(copts),
getNocoptPredicate(nocopts),
ruleContext,
cppSemantics);
} else {
NestedSet<Artifact> realMandatoryInputs = realMandatoryInputsBuilder.build();
return new CppCompileAction(
owner,
ImmutableList.copyOf(features),
featureConfiguration,
variables,
sourceFile,
shouldScanIncludes,
shouldPruneModules,
usePic,
useHeaderModules,
sourceLabel,
realMandatoryInputs,
outputFile,
dotdFile,
gcnoFile,
dwoFile,
optionalSourceFile,
configuration.getLocalShellEnvironment(),
configuration.isCodeCoverageEnabled(),
cppConfiguration,
context,
actionContext,
ImmutableList.copyOf(copts),
getNocoptPredicate(nocopts),
specialInputsHandler,
getLipoScannables(realMandatoryInputs),
additionalIncludeFiles.build(),
actionClassId,
executionRequirements,
ImmutableMap.copyOf(environment),
getActionName(),
ruleContext,
cppSemantics);
}
}
/**
* Sets the feature configuration to be used for the action.
*/
public CppCompileActionBuilder setFeatureConfiguration(
FeatureConfiguration featureConfiguration) {
this.featureConfiguration = featureConfiguration;
return this;
}
/**
* Sets the feature build variables to be used for the action.
*/
public CppCompileActionBuilder setVariables(CcToolchainFeatures.Variables variables) {
this.variables = variables;
return this;
}
public CppCompileActionBuilder addEnvironment(Map<String, String> environment) {
this.environment.putAll(environment);
return this;
}
public CppCompileActionBuilder setSpecialInputsHandler(
SpecialInputsHandler specialInputsHandler) {
this.specialInputsHandler = specialInputsHandler;
return this;
}
public CppCompileActionBuilder setCppConfiguration(CppConfiguration cppConfiguration) {
this.cppConfiguration = cppConfiguration;
return this;
}
public CppCompileActionBuilder setActionContext(
Class<? extends CppCompileActionContext> actionContext) {
this.actionContext = actionContext;
return this;
}
public CppCompileActionBuilder setActionClassId(UUID uuid) {
this.actionClassId = uuid;
return this;
}
/**
* Set an optional source file (usually with metadata of the main source file). The optional
* source file can only be set once, whether via this method or through the constructor
* {@link #CppCompileActionBuilder(CppCompileActionBuilder)}.
*/
public CppCompileActionBuilder addOptionalSourceFile(Artifact artifact) {
Preconditions.checkState(optionalSourceFile == null, "%s %s", optionalSourceFile, artifact);
optionalSourceFile = artifact;
return this;
}
public CppCompileActionBuilder addMandatoryInputs(Iterable<Artifact> artifacts) {
mandatoryInputsBuilder.addAll(artifacts);
return this;
}
public CppCompileActionBuilder addTransitiveMandatoryInputs(NestedSet<Artifact> artifacts) {
mandatoryInputsBuilder.addTransitive(artifacts);
return this;
}
public CppCompileActionBuilder addAdditionalIncludes(List<Artifact> includes) {
additionalIncludeFiles.addAll(includes);
return this;
}
public CppCompileActionBuilder setOutputsForTesting(Artifact outputFile, Artifact dotdFile) {
this.outputFile = outputFile;
this.dotdFile = dotdFile == null ? null : new DotdFile(dotdFile);
return this;
}
public CppCompileActionBuilder setOutputs(
ArtifactCategory outputCategory, String outputName, boolean generateDotd) {
this.outputFile = CppHelper.getCompileOutputArtifact(
ruleContext, CppHelper.getArtifactNameForCategory(ruleContext, outputCategory, outputName));
if (generateDotd) {
String dotdFileName = CppHelper.getDotdFileName(ruleContext, outputCategory, outputName);
if (configuration.getFragment(CppConfiguration.class).getInmemoryDotdFiles()) {
// Just set the path, no artifact is constructed
dotdFile = new DotdFile(
configuration.getBinDirectory(ruleContext.getRule().getRepository()).getExecPath()
.getRelative(CppHelper.getObjDirectory(ruleContext.getLabel()))
.getRelative(dotdFileName));
} else {
dotdFile = new DotdFile(CppHelper.getCompileOutputArtifact(ruleContext, dotdFileName));
}
} else {
dotdFile = null;
}
return this;
}
public CppCompileActionBuilder setDwoFile(Artifact dwoFile) {
this.dwoFile = dwoFile;
return this;
}
Artifact getOutputFile() {
return outputFile;
}
/**
* The temp output file is not an artifact, since it does not appear in the outputs of the
* action.
*
* <p>This is theoretically a problem if that file already existed before, since then Blaze
* does not delete it before executing the rule, but 1. that only applies for local
* execution which does not happen very often and 2. it is only a problem if the compiler is
* affected by the presence of this file, which it should not be.
*/
public CppCompileActionBuilder setTempOutputFile(PathFragment tempOutputFile) {
this.tempOutputFile = tempOutputFile;
return this;
}
public DotdFile getDotdFile() {
return this.dotdFile;
}
public CppCompileActionBuilder setGcnoFile(Artifact gcnoFile) {
this.gcnoFile = gcnoFile;
return this;
}
public CppCompileActionBuilder addCopt(String copt) {
copts.add(copt);
return this;
}
public CppCompileActionBuilder addCopts(Iterable<? extends String> copts) {
Iterables.addAll(this.copts, copts);
return this;
}
public CppCompileActionBuilder addCopts(int position, Iterable<? extends String> copts) {
this.copts.addAll(position, ImmutableList.copyOf(copts));
return this;
}
public CppCompileActionBuilder addNocopts(Pattern nocopts) {
this.nocopts.add(nocopts);
return this;
}
public CppCompileActionBuilder setContext(CppCompilationContext context) {
this.context = context;
return this;
}
/** Sets whether the CompileAction should use pic mode. */
public CppCompileActionBuilder setPicMode(boolean usePic) {
this.usePic = usePic;
return this;
}
/** Sets whether the CompileAction should use header modules. */
public CppCompileActionBuilder setAllowUsingHeaderModules(boolean allowUsingHeaderModules) {
this.allowUsingHeaderModules = allowUsingHeaderModules;
return this;
}
/** Sets the CppSemantics for this compile. */
public CppCompileActionBuilder setSemantics(CppSemantics semantics) {
this.cppSemantics = semantics;
return this;
}
public void setShouldScanIncludes(boolean shouldScanIncludes) {
this.shouldScanIncludes = shouldScanIncludes;
}
public boolean getShouldScanIncludes() {
return shouldScanIncludes;
}
}