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 function_type_fresh_id,
33       const std::vector<uint32_t>& permutation);
34 
35   // - |function_id| is a valid non-entry-point OpFunction instruction
36   // - |function_type_fresh_id| is a fresh id.
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   // - Adjusts function's type to accommodate for permuted parameters.
50   // - Calls to the function are adjusted accordingly
51   void Apply(opt::IRContext* ir_context,
52              TransformationContext* transformation_context) const override;
53 
54   std::unordered_set<uint32_t> GetFreshIds() const override;
55 
56   protobufs::Transformation ToMessage() const override;
57 
58  private:
59   protobufs::TransformationPermuteFunctionParameters message_;
60 };
61 
62 }  // namespace fuzz
63 }  // namespace spvtools
64 
65 #endif  // SOURCE_FUZZ_TRANSFORMATION_PERMUTE_FUNCTION_PARAMETERS_H_
66