15821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)//===-- ubsan_value.cc ----------------------------------------------------===//
25821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)//
35821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)//                     The LLVM Compiler Infrastructure
45821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)//
55821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// This file is distributed under the University of Illinois Open Source
65821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// License. See LICENSE.TXT for details.
7a36e5920737c6adbddd3e43b760e5de8431db6e0Torne (Richard Coles)//
8a36e5920737c6adbddd3e43b760e5de8431db6e0Torne (Richard Coles)//===----------------------------------------------------------------------===//
9d0247b1b59f9c528cb6df88b4f2b9afaf80d181eTorne (Richard Coles)//
105821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// Representation of a runtime value, as marshaled from the generated code to
11eb525c5499e34cc9c4b825d6d9e75bb07cc06aceBen Murdoch// the ubsan runtime.
12868fa2fe829687343ffae624259930155e16dbd8Torne (Richard Coles)//
135821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)//===----------------------------------------------------------------------===//
142a99a7e74a7f215066514fe81d2bfa6639d9edddTorne (Richard Coles)
15a36e5920737c6adbddd3e43b760e5de8431db6e0Torne (Richard Coles)#include "ubsan_value.h"
165821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)#include "sanitizer_common/sanitizer_common.h"
175821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)#include "sanitizer_common/sanitizer_libc.h"
185821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)
19558790d6acca3451cf3a6b497803a5f07d0bec58Ben Murdochusing namespace __ubsan;
205821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)
215821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)SIntMax Value::getSIntValue() const {
222a99a7e74a7f215066514fe81d2bfa6639d9edddTorne (Richard Coles)  CHECK(getType().isSignedIntegerTy());
232a99a7e74a7f215066514fe81d2bfa6639d9edddTorne (Richard Coles)  if (isInlineInt()) {
242a99a7e74a7f215066514fe81d2bfa6639d9edddTorne (Richard Coles)    // Val was zero-extended to ValueHandle. Sign-extend from original width
252a99a7e74a7f215066514fe81d2bfa6639d9edddTorne (Richard Coles)    // to SIntMax.
265821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)    const unsigned ExtraBits =
275821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)      sizeof(SIntMax) * 8 - getType().getIntegerBitWidth();
285821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)    return SIntMax(Val) << ExtraBits >> ExtraBits;
295821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)  }
305821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)  if (getType().getIntegerBitWidth() == 64)
315821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)    return *reinterpret_cast<s64*>(Val);
325821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)#if HAVE_INT128_T
335821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)  if (getType().getIntegerBitWidth() == 128)
345821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)    return *reinterpret_cast<s128*>(Val);
355821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)#else
365821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)  if (getType().getIntegerBitWidth() == 128)
37bbcdd45c55eb7c4641ab97aef9889b0fc828e7d3Ben Murdoch    UNREACHABLE("libclang_rt.ubsan was built without __int128 support");
38bbcdd45c55eb7c4641ab97aef9889b0fc828e7d3Ben Murdoch#endif
395821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)  UNREACHABLE("unexpected bit width");
40bbcdd45c55eb7c4641ab97aef9889b0fc828e7d3Ben Murdoch}
41bbcdd45c55eb7c4641ab97aef9889b0fc828e7d3Ben Murdoch
425821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)UIntMax Value::getUIntValue() const {
435821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)  CHECK(getType().isUnsignedIntegerTy());
4458537e28ecd584eab876aee8be7156509866d23aTorne (Richard Coles)  if (isInlineInt())
455821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)    return Val;
46d0247b1b59f9c528cb6df88b4f2b9afaf80d181eTorne (Richard Coles)  if (getType().getIntegerBitWidth() == 64)
475821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)    return *reinterpret_cast<u64*>(Val);
485821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)#if HAVE_INT128_T
495821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)  if (getType().getIntegerBitWidth() == 128)
50a93a17c8d99d686bd4a1511e5504e5e6cc9fcadfTorne (Richard Coles)    return *reinterpret_cast<u128*>(Val);
51a93a17c8d99d686bd4a1511e5504e5e6cc9fcadfTorne (Richard Coles)#else
52a93a17c8d99d686bd4a1511e5504e5e6cc9fcadfTorne (Richard Coles)  if (getType().getIntegerBitWidth() == 128)
53a93a17c8d99d686bd4a1511e5504e5e6cc9fcadfTorne (Richard Coles)    UNREACHABLE("libclang_rt.ubsan was built without __int128 support");
54a93a17c8d99d686bd4a1511e5504e5e6cc9fcadfTorne (Richard Coles)#endif
555821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)  UNREACHABLE("unexpected bit width");
565821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)}
575821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)
585821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)UIntMax Value::getPositiveIntValue() const {
595821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)  if (getType().isUnsignedIntegerTy())
605821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)    return getUIntValue();
615821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)  SIntMax Val = getSIntValue();
625821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)  CHECK(Val >= 0);
635821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)  return Val;
645821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)}
655821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)
66eb525c5499e34cc9c4b825d6d9e75bb07cc06aceBen Murdoch/// Get the floating-point value of this object, extended to a long double.
67eb525c5499e34cc9c4b825d6d9e75bb07cc06aceBen Murdoch/// These are always passed by address (our calling convention doesn't allow
68eb525c5499e34cc9c4b825d6d9e75bb07cc06aceBen Murdoch/// them to be passed in floating-point registers, so this has little cost).
69eb525c5499e34cc9c4b825d6d9e75bb07cc06aceBen MurdochFloatMax Value::getFloatValue() const {
70eb525c5499e34cc9c4b825d6d9e75bb07cc06aceBen Murdoch  CHECK(getType().isFloatTy());
71eb525c5499e34cc9c4b825d6d9e75bb07cc06aceBen Murdoch  if (isInlineFloat()) {
72eb525c5499e34cc9c4b825d6d9e75bb07cc06aceBen Murdoch    switch (getType().getFloatBitWidth()) {
73eb525c5499e34cc9c4b825d6d9e75bb07cc06aceBen Murdoch#if 0
74eb525c5499e34cc9c4b825d6d9e75bb07cc06aceBen Murdoch      // FIXME: OpenCL / NEON 'half' type. LLVM can't lower the conversion
75eb525c5499e34cc9c4b825d6d9e75bb07cc06aceBen Murdoch      //        from '__fp16' to 'long double'.
76eb525c5499e34cc9c4b825d6d9e75bb07cc06aceBen Murdoch      case 16: {
77eb525c5499e34cc9c4b825d6d9e75bb07cc06aceBen Murdoch        __fp16 Value;
78eb525c5499e34cc9c4b825d6d9e75bb07cc06aceBen Murdoch        internal_memcpy(&Value, &Val, 4);
79eb525c5499e34cc9c4b825d6d9e75bb07cc06aceBen Murdoch        return Value;
80eb525c5499e34cc9c4b825d6d9e75bb07cc06aceBen Murdoch      }
81eb525c5499e34cc9c4b825d6d9e75bb07cc06aceBen Murdoch#endif
82eb525c5499e34cc9c4b825d6d9e75bb07cc06aceBen Murdoch      case 32: {
835821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)        float Value;
845821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)        internal_memcpy(&Value, &Val, 4);
855821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)        return Value;
865821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)      }
875821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)      case 64: {
885821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)        double Value;
892a99a7e74a7f215066514fe81d2bfa6639d9edddTorne (Richard Coles)        internal_memcpy(&Value, &Val, 8);
905821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)        return Value;
915821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)      }
922a99a7e74a7f215066514fe81d2bfa6639d9edddTorne (Richard Coles)    }
932a99a7e74a7f215066514fe81d2bfa6639d9edddTorne (Richard Coles)  } else {
942a99a7e74a7f215066514fe81d2bfa6639d9edddTorne (Richard Coles)    switch (getType().getFloatBitWidth()) {
952a99a7e74a7f215066514fe81d2bfa6639d9edddTorne (Richard Coles)    case 64: return *reinterpret_cast<double*>(Val);
962a99a7e74a7f215066514fe81d2bfa6639d9edddTorne (Richard Coles)    case 80: return *reinterpret_cast<long double*>(Val);
972a99a7e74a7f215066514fe81d2bfa6639d9edddTorne (Richard Coles)    case 96: return *reinterpret_cast<long double*>(Val);
982a99a7e74a7f215066514fe81d2bfa6639d9edddTorne (Richard Coles)    case 128: return *reinterpret_cast<long double*>(Val);
995821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)    }
1005821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)  }
1012a99a7e74a7f215066514fe81d2bfa6639d9edddTorne (Richard Coles)  UNREACHABLE("unexpected floating point bit width");
1022a99a7e74a7f215066514fe81d2bfa6639d9edddTorne (Richard Coles)}
1035821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)