forked from OSchip/llvm-project
81 lines
1.7 KiB
Protocol Buffer
81 lines
1.7 KiB
Protocol Buffer
//===-- cxx_loop_proto.proto - Protobuf description of C++ with for loops -===//
|
|
//
|
|
// The LLVM Compiler Infrastructure
|
|
//
|
|
// This file is distributed under the University of Illinois Open Source
|
|
// License. See LICENSE.TXT for details.
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
///
|
|
/// \file
|
|
/// This file describes a subset of C++ as a protobuf. It is used to
|
|
/// more easily find interesting inputs for fuzzing Clang. This subset
|
|
/// differs from the one defined in cxx_proto.proto by eliminating while
|
|
/// loops and conditionals. The goal is that the C++ code generated will be
|
|
/// more likely to stress the LLVM loop vectorizer.
|
|
///
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
syntax = "proto2";
|
|
|
|
message Const {
|
|
required int32 val = 1;
|
|
}
|
|
|
|
message VarRef {
|
|
// Add an enum for each array in function signature
|
|
enum Arr {
|
|
ARR_A = 0;
|
|
ARR_B = 1;
|
|
ARR_C = 2;
|
|
};
|
|
required Arr arr = 1;
|
|
}
|
|
|
|
message BinaryOp {
|
|
enum Op {
|
|
PLUS = 0;
|
|
MINUS = 1;
|
|
MUL = 2;
|
|
XOR = 3;
|
|
AND = 4;
|
|
OR = 5;
|
|
EQ = 6;
|
|
NE = 7;
|
|
LE = 8;
|
|
GE = 9;
|
|
LT = 10;
|
|
GT = 11;
|
|
};
|
|
required Op op = 1;
|
|
required Rvalue left = 2;
|
|
required Rvalue right = 3;
|
|
}
|
|
|
|
message Rvalue {
|
|
oneof rvalue_oneof {
|
|
Const cons = 1;
|
|
BinaryOp binop = 2;
|
|
VarRef varref = 3;
|
|
}
|
|
}
|
|
|
|
message AssignmentStatement {
|
|
required VarRef varref = 1;
|
|
required Rvalue rvalue = 2;
|
|
}
|
|
|
|
message Statement {
|
|
required AssignmentStatement assignment = 1;
|
|
}
|
|
|
|
message StatementSeq {
|
|
repeated Statement statements = 1;
|
|
}
|
|
|
|
message LoopFunction {
|
|
required StatementSeq statements = 1;
|
|
}
|
|
|
|
package clang_fuzzer;
|