B3ReduceStrength should reduce EqualOrUnordered over const float input
[WebKit-https.git] / Source / JavaScriptCore / b3 / B3ConstFloatValue.h
1 /*
2  * Copyright (C) 2015-2016 Apple Inc. All rights reserved.
3  *
4  * Redistribution and use in source and binary forms, with or without
5  * modification, are permitted provided that the following conditions
6  * are met:
7  * 1. Redistributions of source code must retain the above copyright
8  *    notice, this list of conditions and the following disclaimer.
9  * 2. Redistributions in binary form must reproduce the above copyright
10  *    notice, this list of conditions and the following disclaimer in the
11  *    documentation and/or other materials provided with the distribution.
12  *
13  * THIS SOFTWARE IS PROVIDED BY APPLE INC. ``AS IS'' AND ANY
14  * EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
15  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
16  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL APPLE INC. OR
17  * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
18  * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
19  * PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
20  * PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY
21  * OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
22  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
23  * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 
24  */
25
26 #pragma once
27
28 #if ENABLE(B3_JIT)
29
30 #include "B3Value.h"
31
32 namespace JSC { namespace B3 {
33
34 class JS_EXPORT_PRIVATE ConstFloatValue : public Value {
35 public:
36     static bool accepts(Kind kind) { return kind == ConstFloat; }
37
38     ~ConstFloatValue();
39
40     float value() const { return m_value; }
41
42     Value* negConstant(Procedure&) const override;
43     Value* addConstant(Procedure&, int32_t other) const override;
44     Value* addConstant(Procedure&, const Value* other) const override;
45     Value* subConstant(Procedure&, const Value* other) const override;
46     Value* divConstant(Procedure&, const Value* other) const override;
47     Value* mulConstant(Procedure&, const Value* other) const override;
48     Value* bitAndConstant(Procedure&, const Value* other) const override;
49     Value* bitOrConstant(Procedure&, const Value* other) const override;
50     Value* bitXorConstant(Procedure&, const Value* other) const override;
51     Value* bitwiseCastConstant(Procedure&) const override;
52     Value* floatToDoubleConstant(Procedure&) const override;
53     Value* absConstant(Procedure&) const override;
54     Value* ceilConstant(Procedure&) const override;
55     Value* floorConstant(Procedure&) const override;
56     Value* sqrtConstant(Procedure&) const override;
57
58     TriState equalConstant(const Value* other) const override;
59     TriState notEqualConstant(const Value* other) const override;
60     TriState lessThanConstant(const Value* other) const override;
61     TriState greaterThanConstant(const Value* other) const override;
62     TriState lessEqualConstant(const Value* other) const override;
63     TriState greaterEqualConstant(const Value* other) const override;
64     TriState equalOrUnorderedConstant(const Value* other) const override;
65
66 protected:
67     void dumpMeta(CommaPrinter&, PrintStream&) const override;
68
69     Value* cloneImpl() const override;
70
71 private:
72     friend class Procedure;
73
74     ConstFloatValue(Origin origin, float value)
75         : Value(CheckedOpcode, ConstFloat, Float, origin)
76         , m_value(value)
77     {
78     }
79
80     float m_value;
81 };
82
83 } } // namespace JSC::B3
84
85 #endif // ENABLE(B3_JIT)