This is an archive of the discontinued LLVM Phabricator instance.

Differential D122561

[mlir][spirv] Mark SPV_UndefOp NoSideEffect
ClosedPublic

Authored by Hardcode84 on Mar 28 2022, 1:09 AM.

Details

Reviewers
antiagainst
Commits
rG6f792404303a: [mlir][spirv] Mark SPV_UndefOp NoSideEffect

Diff Detail

Event Timeline

Hardcode84 created this revision.Mar 28 2022, 1:09 AM
Herald added a reviewer: antiagainst. · View Herald TranscriptMar 28 2022, 1:09 AM
Herald added a project: Restricted Project. · View Herald Transcript
Herald added subscribers: sdasgup3, wenzhicui, wrengr and 21 others. · View Herald Transcript
Hardcode84 requested review of this revision.Mar 28 2022, 1:09 AM
Herald added a project: Restricted Project. · View Herald TranscriptMar 28 2022, 1:09 AM
Herald added subscribers: stephenneuendorffer, nicolasvasilache. · View Herald Transcript
antiagainst accepted this revision.Mar 29 2022, 6:21 AM
This revision is now accepted and ready to land.Mar 29 2022, 6:21 AM
This revision was landed with ongoing or failed builds.Mar 29 2022, 7:55 AM
Closed by commit rG6f792404303a: [mlir][spirv] Mark SPV_UndefOp NoSideEffect (authored by Hardcode84). · Explain Why
This revision was automatically updated to reflect the committed changes.
Hardcode84 added a commit: rG6f792404303a: [mlir][spirv] Mark SPV_UndefOp NoSideEffect.
Harbormaster completed remote builds in B156502: Diff 418512.Mar 29 2022, 8:11 PM

Revision Contents

PathSize
mlir/
include/
mlir/
Dialect/
SPIRV/
IR/
2 lines

Diff 418878

mlir/include/mlir/Dialect/SPIRV/IR/SPIRVMiscOps.td

Show First 20 Lines • Show All 50 Lines • ▼ Show 20 Linesdef SPV_AssumeTrueKHROp : SPV_Op<"AssumeTrueKHR", []> {
let results = (outs); let results = (outs);
let hasVerifier = 0; let hasVerifier = 0;
let assemblyFormat = "$condition attr-dict"; let assemblyFormat = "$condition attr-dict";
} }
// ----- // -----
def SPV_UndefOp : SPV_Op<"Undef", []> { def SPV_UndefOp : SPV_Op<"Undef", [NoSideEffect]> {
let summary = "Make an intermediate object whose value is undefined."; let summary = "Make an intermediate object whose value is undefined.";
let description = [{ let description = [{
Result Type is the type of object to make. Result Type is the type of object to make.
Each consumption of Result <id> yields an arbitrary, possibly different Each consumption of Result <id> yields an arbitrary, possibly different
bit pattern or abstract value resulting in possibly different concrete, bit pattern or abstract value resulting in possibly different concrete,
abstract, or opaque values. abstract, or opaque values.
Show All 32 Lines