compiler/testData/codegen/box/evaluate/nanBitPattern.ll.fir.txt

FILE: nanBitPattern.kt
    public final const [EvaluatedValue=Int(2143289344)] val floatNaNBits: R|kotlin/Int| = Int(2143289344)
        public get(): R|kotlin/Int|
    public final const [EvaluatedValue=Long(9221120237041090560)] val doubleNaNBits: R|kotlin/Long| = Long(9221120237041090560)
        public get(): R|kotlin/Long|
    public final const [EvaluatedValue=Float(NaN)] val floatNaN: R|kotlin/Float| = Q|kotlin/Float|.R|kotlin/Float.Companion.NaN|
        public get(): R|kotlin/Float|
    public final const [EvaluatedValue=Double(NaN)] val doubleNaN: R|kotlin/Double| = Q|kotlin/Double|.R|kotlin/Double.Companion.NaN|
        public get(): R|kotlin/Double|
    public final const [EvaluatedValue=Float(NaN)] val floatPositiveDivisionNaN: R|kotlin/Float| = Float(0.0).R|kotlin/Float.div|(Float(0.0))
        public get(): R|kotlin/Float|
    public final const [EvaluatedValue=Float(NaN)] val floatNegativeDivisionNaN: R|kotlin/Float| = Float(0.0).R|kotlin/Float.div|(Float(0.0)).R|kotlin/Float.unaryMinus|()
        public get(): R|kotlin/Float|
    public final const [EvaluatedValue=Double(NaN)] val doublePositiveDivisionNaN: R|kotlin/Double| = Double(0.0).R|kotlin/Double.div|(Double(0.0))
        public get(): R|kotlin/Double|
    public final const [EvaluatedValue=Double(NaN)] val doubleNegativeDivisionNaN: R|kotlin/Double| = Double(0.0).R|kotlin/Double.div|(Double(0.0)).R|kotlin/Double.unaryMinus|()
        public get(): R|kotlin/Double|
    public final fun box(): R|kotlin/String| {
        when () {
            !=(R|/floatNaN|.<Unresolved name: toRawBits>#(), R|/floatNaNBits|) ->  {
                ^box <strcat>(String(Fail Float.NaN ), R|/floatNaN|.<Unresolved name: toRawBits>#(), String( != ), R|/floatNaNBits|)
            }
        }

        when () {
            !=(R|/doubleNaN|.<Unresolved name: toRawBits>#(), R|/doubleNaNBits|) ->  {
                ^box <strcat>(String(Fail Double.NaN ), R|/doubleNaN|.<Unresolved name: toRawBits>#(), String( != ), R|/doubleNaNBits|)
            }
        }

        when () {
            !=(R|/floatPositiveDivisionNaN|.<Unresolved name: toRawBits>#(), R|/floatNaNBits|) ->  {
                ^box <strcat>(String(Fail floatPositiveDivisionNaN ), R|/floatPositiveDivisionNaN|.<Unresolved name: toRawBits>#(), String( != ), R|/floatNaNBits|)
            }
        }

        when () {
            !=(R|/floatNegativeDivisionNaN|.<Unresolved name: toRawBits>#(), R|/floatNaNBits|) ->  {
                ^box <strcat>(String(Fail floatNegativeDivisionNaN ), R|/floatNegativeDivisionNaN|.<Unresolved name: toRawBits>#(), String( != ), R|/floatNaNBits|)
            }
        }

        when () {
            !=(R|/doublePositiveDivisionNaN|.<Unresolved name: toRawBits>#(), R|/doubleNaNBits|) ->  {
                ^box <strcat>(String(Fail doublePositiveDivisionNaN ), R|/doublePositiveDivisionNaN|.<Unresolved name: toRawBits>#(), String( != ), R|/doubleNaNBits|)
            }
        }

        when () {
            !=(R|/doubleNegativeDivisionNaN|.<Unresolved name: toRawBits>#(), R|/doubleNaNBits|) ->  {
                ^box <strcat>(String(Fail doubleNegativeDivisionNaN ), R|/doubleNegativeDivisionNaN|.<Unresolved name: toRawBits>#(), String( != ), R|/doubleNaNBits|)
            }
        }

        ^box String(OK)
    }