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)