1. 28 7月, 2016 1 次提交
  2. 22 7月, 2016 1 次提交
    • P
      kvm-irqchip: i386: add hook for add/remove virq · 38d87493
      Peter Xu 提交于
      Adding two hooks to be notified when adding/removing msi routes. There
      are two kinds of MSI routes:
      
      - in kvm_irqchip_add_irq_route(): before assigning IRQFD. Used by
        vhost, vfio, etc.
      
      - in kvm_irqchip_send_msi(): when sending direct MSI message, if
        direct MSI not allowed, we will first create one MSI route entry
        in the kernel, then trigger it.
      
      This patch only hooks the first one (irqfd case). We do not need to
      take care for the 2nd one, since it's only used by QEMU userspace
      (kvm-apic) and the messages will always do in-time translation when
      triggered. While we need to note them down for the 1st one, so that we
      can notify the kernel when cache invalidation happens.
      
      Also, we do not hook IOAPIC msi routes (we have explicit notifier for
      IOAPIC to keep its cache updated). We only need to care about irqfd
      users.
      Signed-off-by: NPeter Xu <peterx@redhat.com>
      Reviewed-by: NPaolo Bonzini <pbonzini@redhat.com>
      Reviewed-by: NMichael S. Tsirkin <mst@redhat.com>
      Signed-off-by: NMichael S. Tsirkin <mst@redhat.com>
      38d87493
  3. 12 7月, 2016 9 次提交
  4. 29 6月, 2016 1 次提交
  5. 24 6月, 2016 6 次提交
    • A
      target-mips: Add FCR31's FS bit definition · 77be4199
      Aleksandar Markovic 提交于
      Add preprocessor definition of FCR31's FS bit, and update related
      code for setting this bit.
      Signed-off-by: NAleksandar Markovic <aleksandar.markovic@imgtec.com>
      Reviewed-by: NLeon Alrae <leon.alrae@imgtec.com>
      Signed-off-by: NLeon Alrae <leon.alrae@imgtec.com>
      77be4199
    • A
      target-mips: Implement FCR31's R/W bitmask and related functionalities · 599bc5e8
      Aleksandar Markovic 提交于
      This patch implements read and write access rules for Mips floating
      point control and status register (FCR31). The change can be divided
      into following parts:
      
      - Add fields that will keep FCR31's R/W bitmask in procesor
        definitions and processor float_status structure.
      
      - Add appropriate value for FCR31's R/W bitmask for each supported
        processor.
      
      - Add function for setting snan_bit_is_one, and integrate it in
        appropriate places.
      
      - Modify handling of CTC1 (case 31) instruction to use FCR31's R/W
        bitmask.
      
      - Modify handling user mode executables for Mips, in relation to the
        bit EF_MIPS_NAN2008 from ELF header, that is in turn related to
        reading and writing to FCR31.
      
      - Modify gdb behavior in relation to FCR31.
      Signed-off-by: NThomas Schwinge <thomas@codesourcery.com>
      Signed-off-by: NMaciej W. Rozycki <macro@codesourcery.com>
      Signed-off-by: NAleksandar Markovic <aleksandar.markovic@imgtec.com>
      Reviewed-by: NLeon Alrae <leon.alrae@imgtec.com>
      Signed-off-by: NLeon Alrae <leon.alrae@imgtec.com>
      599bc5e8
    • A
      target-mips: Add nan2008 flavor of <CEIL|CVT|FLOOR|ROUND|TRUNC>.<L|W>.<S|D> · 87552089
      Aleksandar Markovic 提交于
      New set of helpers for handling nan2008-syle versions of instructions
      <CEIL|CVT|FLOOR|ROUND|TRUNC>.<L|W>.<S|D>, for Mips R6.
      
      All involved instructions have float operand and integer result. Their
      core functionality is implemented via invocations of appropriate SoftFloat
      functions. The problematic cases are when the operand is a NaN, and also
      when the operand (float) is out of the range of the result.
      
      Here one can distinguish three cases:
      
      CASE MIPS-A: (FCR31.NAN2008 == 1)
      
         1. Operand is a NaN, result should be 0;
         2. Operand is larger than INT_MAX, result should be INT_MAX;
         3. Operand is smaller than INT_MIN, result should be INT_MIN.
      
      CASE MIPS-B: (FCR31.NAN2008 == 0)
      
         1. Operand is a NaN, result should be INT_MAX;
         2. Operand is larger than INT_MAX, result should be INT_MAX;
         3. Operand is smaller than INT_MIN, result should be INT_MAX.
      
      CASE SoftFloat:
      
         1. Operand is a NaN, result is INT_MAX;
         2. Operand is larger than INT_MAX, result is INT_MAX;
         3. Operand is smaller than INT_MIN, result is INT_MIN.
      
      Current implementation of <CEIL|CVT|FLOOR|ROUND|TRUNC>.<L|W>.<S|D>
      implements case MIPS-B. This patch relates to case MIPS-A. For case
      MIPS-A, only return value for NaN-operands should be corrected after
      appropriate SoftFloat library function is called.
      
      Related MSA instructions FTRUNC_S and FTINT_S already handle well
      all cases, in the fashion similar to the code from this patch.
      Signed-off-by: NAleksandar Markovic <aleksandar.markovic@imgtec.com>
      Reviewed-by: NLeon Alrae <leon.alrae@imgtec.com>
      [leon.alrae@imgtec.com:
       * removed a statement from the description which caused slight confusion]
      Signed-off-by: NLeon Alrae <leon.alrae@imgtec.com>
      87552089
    • A
      target-mips: Add abs2008 flavor of <ABS|NEG>.<S|D> · 6be77480
      Aleksandar Markovic 提交于
      Updated handling of instructions <ABS|NEG>.<S|D>. Note that legacy
      (pre-abs2008) ABS and NEG instructions are arithmetic (and, therefore,
      any NaN operand causes signaling invalid operation), while abs2008
      ones are non-arithmetic, always and only changing the sign bit, even
      for NaN-like operands. Details on these instructions are documented
      in [1] p. 35 and 359.
      
      Implementation-wise, abs2008 versions are implemented without helpers,
      for simplicity and performance sake.
      
      [1] "MIPS Architecture For Programmers Volume II-A:
          The MIPS64 Instruction Set Reference Manual",
          Imagination Technologies LTD, Revision 6.04, November 13, 2015
      Signed-off-by: NThomas Schwinge <thomas@codesourcery.com>
      Signed-off-by: NMaciej W. Rozycki <macro@codesourcery.com>
      Signed-off-by: NAleksandar Markovic <aleksandar.markovic@imgtec.com>
      Reviewed-by: NLeon Alrae <leon.alrae@imgtec.com>
      Signed-off-by: NLeon Alrae <leon.alrae@imgtec.com>
      6be77480
    • A
      target-mips: Activate IEEE 754-2008 signaling NaN bit meaning for MSA · 40bd6dd4
      Aleksandar Markovic 提交于
      Function msa_reset() is updated so that flag snan_bit_is_one is
      properly set to 0.
      
      By applying this patch, a number of incorrect MSA behaviors that
      require IEEE 754-2008 compliance will be fixed. Those are behaviors
      that (up to the moment of applying this patch) did not get the desired
      functionality from SoftFloat library with respect to distinguishing
      between quiet and signaling NaN, getting default NaN values (both
      quiet and signaling), establishing if a floating point number is NaN
      or not, etc.
      
      Two examples:
      
      * FMAX, FMIN will now correctly detect and propagate NaNs.
      * FCLASS.D ans FCLASS.S will now correcty detect NaN flavors.
      Signed-off-by: NAleksandar Markovic <aleksandar.markovic@imgtec.com>
      Reviewed-by: NLeon Alrae <leon.alrae@imgtec.com>
      Signed-off-by: NLeon Alrae <leon.alrae@imgtec.com>
      40bd6dd4
    • A
      softfloat: Implement run-time-configurable meaning of signaling NaN bit · af39bc8c
      Aleksandar Markovic 提交于
      This patch modifies SoftFloat library so that it can be configured in
      run-time in relation to the meaning of signaling NaN bit, while, at the
      same time, strictly preserving its behavior on all existing platforms.
      
      Background:
      
      In floating-point calculations, there is a need for denoting undefined or
      unrepresentable values. This is achieved by defining certain floating-point
      numerical values to be NaNs (which stands for "not a number"). For additional
      reasons, virtually all modern floating-point unit implementations use two
      kinds of NaNs: quiet and signaling. The binary representations of these two
      kinds of NaNs, as a rule, differ only in one bit (that bit is, traditionally,
      the first bit of mantissa).
      
      Up to 2008, standards for floating-point did not specify all details about
      binary representation of NaNs. More specifically, the meaning of the bit
      that is used for distinguishing between signaling and quiet NaNs was not
      strictly prescribed. (IEEE 754-2008 was the first floating-point standard
      that defined that meaning clearly, see [1], p. 35) As a result, different
      platforms took different approaches, and that presented considerable
      challenge for multi-platform emulators like QEMU.
      
      Mips platform represents the most complex case among QEMU-supported
      platforms regarding signaling NaN bit. Up to the Release 6 of Mips
      architecture, "1" in signaling NaN bit denoted signaling NaN, which is
      opposite to IEEE 754-2008 standard. From Release 6 on, Mips architecture
      adopted IEEE standard prescription, and "0" denotes signaling NaN. On top of
      that, Mips architecture for SIMD (also known as MSA, or vector instructions)
      also specifies signaling bit in accordance to IEEE standard. MSA unit can be
      implemented with both pre-Release 6 and Release 6 main processor units.
      
      QEMU uses SoftFloat library to implement various floating-point-related
      instructions on all platforms. The current QEMU implementation allows for
      defining meaning of signaling NaN bit during build time, and is implemented
      via preprocessor macro called SNAN_BIT_IS_ONE.
      
      On the other hand, the change in this patch enables SoftFloat library to be
      configured in run-time. This configuration is meant to occur during CPU
      initialization, at the moment when it is definitely known what desired
      behavior for particular CPU (or any additional FPUs) is.
      
      The change is implemented so that it is consistent with existing
      implementation of similar cases. This means that structure float_status is
      used for passing the information about desired signaling NaN bit on each
      invocation of SoftFloat functions. The additional field in float_status is
      called snan_bit_is_one, which supersedes macro SNAN_BIT_IS_ONE.
      
      IMPORTANT:
      
      This change is not meant to create any change in emulator behavior or
      functionality on any platform. It just provides the means for SoftFloat
      library to be used in a more flexible way - in other words, it will just
      prepare SoftFloat library for usage related to Mips platform and its
      specifics regarding signaling bit meaning, which is done in some of
      subsequent patches from this series.
      
      Further break down of changes:
      
        1) Added field snan_bit_is_one to the structure float_status, and
           correspondent setter function set_snan_bit_is_one().
      
        2) Constants <float16|float32|float64|floatx80|float128>_default_nan
           (used both internally and externally) converted to functions
           <float16|float32|float64|floatx80|float128>_default_nan(float_status*).
           This is necessary since they are dependent on signaling bit meaning.
           At the same time, for the sake of code cleanup and simplicity, constants
           <floatx80|float128>_default_nan_<low|high> (used only internally within
           SoftFloat library) are removed, as not needed.
      
        3) Added a float_status* argument to SoftFloat library functions
           XXX_is_quiet_nan(XXX a_), XXX_is_signaling_nan(XXX a_),
           XXX_maybe_silence_nan(XXX a_). This argument must be present in
           order to enable correct invocation of new version of functions
           XXX_default_nan(). (XXX is <float16|float32|float64|floatx80|float128>
           here)
      
        4) Updated code for all platforms to reflect changes in SoftFloat library.
           This change is twofolds: it includes modifications of SoftFloat library
           functions invocations, and an addition of invocation of function
           set_snan_bit_is_one() during CPU initialization, with arguments that
           are appropriate for each particular platform. It was established that
           all platforms zero their main CPU data structures, so snan_bit_is_one(0)
           in appropriate places is not added, as it is not needed.
      
      [1] "IEEE Standard for Floating-Point Arithmetic",
          IEEE Computer Society, August 29, 2008.
      Signed-off-by: NThomas Schwinge <thomas@codesourcery.com>
      Signed-off-by: NMaciej W. Rozycki <macro@codesourcery.com>
      Signed-off-by: NAleksandar Markovic <aleksandar.markovic@imgtec.com>
      Tested-by: NBastian Koppelmann <kbastian@mail.uni-paderborn.de>
      Reviewed-by: NLeon Alrae <leon.alrae@imgtec.com>
      Tested-by: NLeon Alrae <leon.alrae@imgtec.com>
      Reviewed-by: NPeter Maydell <peter.maydell@linaro.org>
      [leon.alrae@imgtec.com:
       * cherry-picked 2 chunks from patch #2 to fix compilation warnings]
      Signed-off-by: NLeon Alrae <leon.alrae@imgtec.com>
      af39bc8c
  6. 20 6月, 2016 2 次提交
  7. 17 6月, 2016 1 次提交
  8. 06 6月, 2016 1 次提交
  9. 19 5月, 2016 5 次提交
  10. 18 5月, 2016 1 次提交
  11. 13 5月, 2016 2 次提交
  12. 12 5月, 2016 1 次提交
  13. 28 4月, 2016 1 次提交
    • J
      target-mips: Fix RDHWR exception host PC · d96391c1
      James Hogan 提交于
      Commit b00c7218 ("target-mips: add PC, XNP reg numbers to RDHWR")
      changed the rdhwr helpers to use check_hwrena() to check the register
      being accessed is enabled in CP0_HWREna when used from user mode. If
      that check fails an EXCP_RI exception is raised at the host PC
      calculated with GETPC().
      
      However check_hwrena() may not be fully inlined as the
      do_raise_exception() part of it is common regardless of the arguments.
      This causes GETPC() to calculate the address in the call in the helper
      instead of the generated code calling the helper. No TB will be found
      and the EPC reported with the resulting guest RI exception points to the
      beginning of the TB instead of the RDHWR instruction.
      
      We can't reliably force check_hwrena() to be inlined, and converting it
      to a macro would be ugly, so instead pass the host PC in as an argument,
      with each rdhwr helper passing GETPC(). This should avoid any dependence
      on compiler behaviour, and in practice seems to ensure the full inlining
      of check_hwrena() on x86_64.
      
      This issue causes failures when running a MIPS KVM (trap & emulate)
      guest in a MIPS QEMU TCG guest, as the inner guest kernel will do a
      RDHWR of counter, which is disabled in the outer guest's CP0_HWREna by
      KVM so it can emulate the inner guest's counter. The emulation fails and
      the RI exception is passed to the inner guest.
      
      Fixes: b00c7218 ("target-mips: add PC, XNP reg numbers to RDHWR")
      Signed-off-by: NJames Hogan <james.hogan@imgtec.com>
      Cc: Leon Alrae <leon.alrae@imgtec.com>
      Cc: Yongbok Kim <yongbok.kim@imgtec.com>
      Cc: Aurelien Jarno <aurelien@aurel32.net>
      Reviewed-by: NAurelien Jarno <aurelien@aurel32.net>
      Reviewed-by: NLeon Alrae <leon.alrae@imgtec.com>
      Signed-off-by: NLeon Alrae <leon.alrae@imgtec.com>
      d96391c1
  14. 30 3月, 2016 8 次提交