• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 // Copyright (c) 2020 Vasyl Teliman
2 //
3 // Licensed under the Apache License, Version 2.0 (the "License");
4 // you may not use this file except in compliance with the License.
5 // You may obtain a copy of the License at
6 //
7 //     http://www.apache.org/licenses/LICENSE-2.0
8 //
9 // Unless required by applicable law or agreed to in writing, software
10 // distributed under the License is distributed on an "AS IS" BASIS,
11 // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
12 // See the License for the specific language governing permissions and
13 // limitations under the License.
14 
15 #ifndef SOURCE_FUZZ_TRANSFORMATION_PERMUTE_FUNCTION_PARAMETERS_H_
16 #define SOURCE_FUZZ_TRANSFORMATION_PERMUTE_FUNCTION_PARAMETERS_H_
17 
18 #include "source/fuzz/protobufs/spirvfuzz_protobufs.h"
19 #include "source/fuzz/transformation.h"
20 #include "source/fuzz/transformation_context.h"
21 #include "source/opt/ir_context.h"
22 
23 namespace spvtools {
24 namespace fuzz {
25 
26 class TransformationPermuteFunctionParameters : public Transformation {
27  public:
28   explicit TransformationPermuteFunctionParameters(
29       const protobufs::TransformationPermuteFunctionParameters& message);
30 
31   TransformationPermuteFunctionParameters(
32       uint32_t function_id, uint32_t new_type_id,
33       const std::vector<uint32_t>& permutation);
34 
35   // - |function_id| is a valid non-entry-point OpFunction instruction
36   // - |new_type_id| is a result id of a valid OpTypeFunction instruction.
37   //   New type is valid if:
38   //     - it has the same number of operands as the old one
39   //     - function's result type is the same as the old one
40   //     - function's arguments are permuted according to |permutation| vector
41   // - |permutation| is a set of [0..(n - 1)], where n is a number of arguments
42   //   to the function
43   bool IsApplicable(
44       opt::IRContext* ir_context,
45       const TransformationContext& transformation_context) const override;
46 
47   // - OpFunction instruction with |result_id == function_id| is changed.
48   //   Its arguments are permuted according to the |permutation| vector
49   // - Changed function gets a new type specified by |type_id|
50   // - Calls to the function are adjusted accordingly
51   void Apply(opt::IRContext* ir_context,
52              TransformationContext* transformation_context) const override;
53 
54   protobufs::Transformation ToMessage() const override;
55 
56  private:
57   protobufs::TransformationPermuteFunctionParameters message_;
58 };
59 
60 }  // namespace fuzz
61 }  // namespace spvtools
62 
63 #endif  // SOURCE_FUZZ_TRANSFORMATION_PERMUTE_FUNCTION_PARAMETERS_H_
64