[llvm] r229337 - Format: Modernize using variadic templates.

Filipe Cabecinhas filcab at gmail.com
Mon Feb 16 08:38:11 PST 2015


Yes, it made it start working. No worries on your side, now :-)

Thanks,

  Filipe

On Mon, Feb 16, 2015 at 2:20 AM, Benjamin Kramer <benny.kra at gmail.com>
wrote:

>
> > On 16.02.2015, at 00:39, Filipe Cabecinhas <filcab at gmail.com> wrote:
> >
> > This broke our Windows builders.
> >
> > VS 2013, x64. This was the only commit in the build, and all subsequent
> builds fail.
> > Can you take a look, please? :-)
> >
> > Error output:
> > -------------
> > [967/1550] Building CXX object
> lib\Target\X86\Utils\CMakeFiles\LLVMX86Utils.dir\X86ShuffleDecode.cpp.obj
> > [968/1550] Building CXX object
> lib\Target\X86\MCTargetDesc\CMakeFiles\LLVMX86Desc.dir\X86AsmBackend.cpp.obj
> > FAILED: C:\PROGRA~2\MICROS~1.0\VC\bin\amd64\cl.exe   /nologo /TP /DWIN32
> /D_WINDOWS /W3   /MD /O2 /Ob2 /D NDEBUG -Ilib\Target\X86\InstPrinter
> -IC:\Buildbot\Slave\builds\1.LLVM.Windows.Phase.1\llvm.src\lib\Target\X86\InstPrinter
> -IC:\Buildbot\Slave\builds\1.LLVM.Windows.Phase.1\llvm.src\lib\Target\X86
> -Ilib\Target\X86 -Iinclude
> -IC:\Buildbot\Slave\builds\1.LLVM.Windows.Phase.1\llvm.src\include
> -wd4146 -wd4180 -wd4244 -wd4258 -wd4267 -wd4291 -wd4345 -wd4351 -wd4355
> -wd4456 -wd4457 -wd4458 -wd4459 -wd4503 -wd4624 -wd4722 -wd4800 -w14062
> -we4238 /EHs-c- /GR- /showIncludes -DGTEST_HAS_RTTI=0
> -D_CRT_NONSTDC_NO_DEPRECATE -D_CRT_NONSTDC_NO_WARNINGS
> -D_CRT_SECURE_NO_DEPRECATE -D_CRT_SECURE_NO_WARNINGS -D_HAS_EXCEPTIONS=0
> -D_SCL_SECURE_NO_DEPRECATE -D_SCL_SECURE_NO_WARNINGS
> -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS
> /Folib\Target\X86\InstPrinter\CMakeFiles\LLVMX86AsmPrinter.dir\X86ATTInstPrinter.cpp.obj
> /Fdlib\Target\X86\InstPrinter\CMakeFiles\LLVMX86AsmPrinter.dir\ /FS -c
> C:\Buildbot\Slave\builds\1.LLVM.Windows.Phase.1\llvm.src\lib\Target\X86\InstPrinter\X86ATTInstPrinter.cpp
> > lib\Target\X86\X86GenAsmWriter.inc(20509) : error C2022: '13108704' :
> too big for character
> > lib\Target\X86\X86GenRegisterInfo.inc(5798) : warning C4305:
> 'initializing' : truncation from 'int' to 'uint8_t'
> > lib\Target\X86\X86GenRegisterInfo.inc(5798) : warning C4309:
> 'initializing' : truncation of constant value
> > ninja: build stopped: subcommand failed.
> > --------
>
> Ugh, this looks really ugly. Did r229362 help?
>
> - Ben
>
> >
> > On Sun, Feb 15, 2015 at 2:15 PM, Benjamin Kramer <
> benny.kra at googlemail.com> wrote:
> > Author: d0k
> > Date: Sun Feb 15 16:15:41 2015
> > New Revision: 229337
> >
> > URL: http://llvm.org/viewvc/llvm-project?rev=229337&view=rev
> > Log:
> > Format: Modernize using variadic templates.
> >
> > Introduces a subset of C++14 integer sequences in STLExtras. This is
> > just enough to support unpacking a std::tuple into the arguments of
> > snprintf, we can add more of it when it's actually needed.
> >
> > Also removes an ancient macro hack that leaks a macro into the global
> > namespace. Clean up users that made use of the convenient hack.
> >
> > Modified:
> >     llvm/trunk/include/llvm/ADT/STLExtras.h
> >     llvm/trunk/include/llvm/MC/MCInstPrinter.h
> >     llvm/trunk/include/llvm/Support/Format.h
> >     llvm/trunk/lib/MC/MCInstPrinter.cpp
> >     llvm/trunk/lib/Support/raw_ostream.cpp
> >     llvm/trunk/unittests/IR/UseTest.cpp
> >
> > Modified: llvm/trunk/include/llvm/ADT/STLExtras.h
> > URL:
> http://llvm.org/viewvc/llvm-project/llvm/trunk/include/llvm/ADT/STLExtras.h?rev=229337&r1=229336&r2=229337&view=diff
> >
> ==============================================================================
> > --- llvm/trunk/include/llvm/ADT/STLExtras.h (original)
> > +++ llvm/trunk/include/llvm/ADT/STLExtras.h Sun Feb 15 16:15:41 2015
> > @@ -194,6 +194,28 @@ struct less_second {
> >    }
> >  };
> >
> > +// A subset of N3658. More stuff can be added as-needed.
> > +
> > +/// \brief Represents a compile-time sequence of integers.
> > +template <class T, T... I> struct integer_sequence {
> > +  typedef T value_type;
> > +
> > +  static LLVM_CONSTEXPR size_t size() { return sizeof...(I); }
> > +};
> > +
> > +template <std::size_t N, std::size_t... I>
> > +struct build_index_impl : build_index_impl<N - 1, N - 1, I...> {};
> > +template <std::size_t... I>
> > +struct build_index_impl<0, I...> : integer_sequence<std::size_t, I...>
> {};
> > +
> > +/// \brief Alias for the common case of a sequence of size_ts.
> > +template <size_t... I>
> > +using index_sequence = integer_sequence<std::size_t, I...>;
> > +
> > +/// \brief Creates a compile-time integer sequence for a parameter pack.
> > +template <class... Ts>
> > +using index_sequence_for = build_index_impl<sizeof...(Ts)>;
> > +
> >
> //===----------------------------------------------------------------------===//
> >  //     Extra additions for arrays
> >
> //===----------------------------------------------------------------------===//
> >
> > Modified: llvm/trunk/include/llvm/MC/MCInstPrinter.h
> > URL:
> http://llvm.org/viewvc/llvm-project/llvm/trunk/include/llvm/MC/MCInstPrinter.h?rev=229337&r1=229336&r2=229337&view=diff
> >
> ==============================================================================
> > --- llvm/trunk/include/llvm/MC/MCInstPrinter.h (original)
> > +++ llvm/trunk/include/llvm/MC/MCInstPrinter.h Sun Feb 15 16:15:41 2015
> > @@ -95,14 +95,14 @@ public:
> >    void setPrintImmHex(HexStyle::Style Value) { PrintHexStyle = Value; }
> >
> >    /// Utility function to print immediates in decimal or hex.
> > -  format_object1<int64_t> formatImm(const int64_t Value) const {
> > +  format_object<int64_t> formatImm(int64_t Value) const {
> >      return PrintImmHex ? formatHex(Value) : formatDec(Value);
> >    }
> >
> >    /// Utility functions to print decimal/hexadecimal values.
> > -  format_object1<int64_t> formatDec(const int64_t Value) const;
> > -  format_object1<int64_t> formatHex(const int64_t Value) const;
> > -  format_object1<uint64_t> formatHex(const uint64_t Value) const;
> > +  format_object<int64_t> formatDec(int64_t Value) const;
> > +  format_object<int64_t> formatHex(int64_t Value) const;
> > +  format_object<uint64_t> formatHex(uint64_t Value) const;
> >  };
> >
> >  } // namespace llvm
> >
> > Modified: llvm/trunk/include/llvm/Support/Format.h
> > URL:
> http://llvm.org/viewvc/llvm-project/llvm/trunk/include/llvm/Support/Format.h?rev=229337&r1=229336&r2=229337&view=diff
> >
> ==============================================================================
> > --- llvm/trunk/include/llvm/Support/Format.h (original)
> > +++ llvm/trunk/include/llvm/Support/Format.h Sun Feb 15 16:15:41 2015
> > @@ -23,18 +23,12 @@
> >  #ifndef LLVM_SUPPORT_FORMAT_H
> >  #define LLVM_SUPPORT_FORMAT_H
> >
> > +#include "llvm/ADT/STLExtras.h"
> >  #include "llvm/ADT/StringRef.h"
> >  #include "llvm/Support/DataTypes.h"
> >  #include <cassert>
> >  #include <cstdio>
> > -#ifdef _MSC_VER
> > -// FIXME: This define is wrong:
> > -//  - _snprintf does not guarantee that trailing null is always added -
> if
> > -//    there is no space for null, it does not report any error.
> > -//  - According to C++ standard, snprintf should be visible in the 'std'
> > -//    namespace - this define makes this impossible.
> > -#define snprintf _snprintf
> > -#endif
> > +#include <tuple>
> >
> >  namespace llvm {
> >
> > @@ -80,101 +74,26 @@ public:
> >  /// printed, this synthesizes the string into a temporary buffer
> provided and
> >  /// returns whether or not it is big enough.
> >
> > -template <typename T>
> > -class format_object1 final : public format_object_base {
> > -  T Val;
> > -public:
> > -  format_object1(const char *fmt, const T &val)
> > -    : format_object_base(fmt), Val(val) {
> > -  }
> > -
> > -  int snprint(char *Buffer, unsigned BufferSize) const override {
> > -    return snprintf(Buffer, BufferSize, Fmt, Val);
> > -  }
> > -};
> > -
> > -template <typename T1, typename T2>
> > -class format_object2 final : public format_object_base {
> > -  T1 Val1;
> > -  T2 Val2;
> > -public:
> > -  format_object2(const char *fmt, const T1 &val1, const T2 &val2)
> > -  : format_object_base(fmt), Val1(val1), Val2(val2) {
> > -  }
> > -
> > -  int snprint(char *Buffer, unsigned BufferSize) const override {
> > -    return snprintf(Buffer, BufferSize, Fmt, Val1, Val2);
> > -  }
> > -};
> > -
> > -template <typename T1, typename T2, typename T3>
> > -class format_object3 final : public format_object_base {
> > -  T1 Val1;
> > -  T2 Val2;
> > -  T3 Val3;
> > -public:
> > -  format_object3(const char *fmt, const T1 &val1, const T2 &val2,const
> T3 &val3)
> > -    : format_object_base(fmt), Val1(val1), Val2(val2), Val3(val3) {
> > -  }
> > -
> > -  int snprint(char *Buffer, unsigned BufferSize) const override {
> > -    return snprintf(Buffer, BufferSize, Fmt, Val1, Val2, Val3);
> > -  }
> > -};
> > -
> > -template <typename T1, typename T2, typename T3, typename T4>
> > -class format_object4 final : public format_object_base {
> > -  T1 Val1;
> > -  T2 Val2;
> > -  T3 Val3;
> > -  T4 Val4;
> > -public:
> > -  format_object4(const char *fmt, const T1 &val1, const T2 &val2,
> > -                 const T3 &val3, const T4 &val4)
> > -    : format_object_base(fmt), Val1(val1), Val2(val2), Val3(val3),
> Val4(val4) {
> > -  }
> > -
> > -  int snprint(char *Buffer, unsigned BufferSize) const override {
> > -    return snprintf(Buffer, BufferSize, Fmt, Val1, Val2, Val3, Val4);
> > +template <typename... Ts>
> > +class format_object final : public format_object_base {
> > +  std::tuple<Ts...> Vals;
> > +
> > +  template <std::size_t... Is>
> > +  int snprint_tuple(char *Buffer, unsigned BufferSize,
> > +                    index_sequence<Is...>) const {
> > +#ifdef _MSC_VER
> > +    return _snprintf(Buffer, BufferSize, Fmt, std::get<Is>(Vals)...);
> > +#else
> > +    return std::snprintf(Buffer, BufferSize, Fmt,
> std::get<Is>(Vals)...);
> > +#endif
> >    }
> > -};
> >
> > -template <typename T1, typename T2, typename T3, typename T4, typename
> T5>
> > -class format_object5 final : public format_object_base {
> > -  T1 Val1;
> > -  T2 Val2;
> > -  T3 Val3;
> > -  T4 Val4;
> > -  T5 Val5;
> >  public:
> > -  format_object5(const char *fmt, const T1 &val1, const T2 &val2,
> > -                 const T3 &val3, const T4 &val4, const T5 &val5)
> > -    : format_object_base(fmt), Val1(val1), Val2(val2), Val3(val3),
> Val4(val4),
> > -      Val5(val5) {
> > -  }
> > +  format_object(const char *fmt, const Ts &... vals)
> > +      : format_object_base(fmt), Vals(vals...) {}
> >
> >    int snprint(char *Buffer, unsigned BufferSize) const override {
> > -    return snprintf(Buffer, BufferSize, Fmt, Val1, Val2, Val3, Val4,
> Val5);
> > -  }
> > -};
> > -
> > -template <typename T1, typename T2, typename T3, typename T4, typename
> T5,
> > -          typename T6>
> > -class format_object6 final : public format_object_base {
> > -  T1 Val1;
> > -  T2 Val2;
> > -  T3 Val3;
> > -  T4 Val4;
> > -  T5 Val5;
> > -  T6 Val6;
> > -public:
> > -  format_object6(const char *Fmt, const T1 &Val1, const T2 &Val2,
> > -                 const T3 &Val3, const T4 &Val4, const T5 &Val5, const
> T6 &Val6)
> > -    : format_object_base(Fmt), Val1(Val1), Val2(Val2), Val3(Val3),
> Val4(Val4),
> > -      Val5(Val5), Val6(Val6) { }
> > -
> > -  int snprint(char *Buffer, unsigned BufferSize) const override {
> > -    return snprintf(Buffer, BufferSize, Fmt, Val1, Val2, Val3, Val4,
> Val5, Val6);
> > +    return snprint_tuple(Buffer, BufferSize,
> index_sequence_for<Ts...>());
> >    }
> >  };
> >
> > @@ -187,44 +106,9 @@ public:
> >  ///   OS << format("%0.4f", myfloat) << '\n';
> >  /// \endcode
> >
> > -template <typename T>
> > -inline format_object1<T> format(const char *Fmt, const T &Val) {
> > -  return format_object1<T>(Fmt, Val);
> > -}
> > -
> > -template <typename T1, typename T2>
> > -inline format_object2<T1, T2> format(const char *Fmt, const T1 &Val1,
> > -                                     const T2 &Val2) {
> > -  return format_object2<T1, T2>(Fmt, Val1, Val2);
> > -}
> > -
> > -template <typename T1, typename T2, typename T3>
> > -  inline format_object3<T1, T2, T3> format(const char *Fmt, const T1
> &Val1,
> > -                                           const T2 &Val2, const T3
> &Val3) {
> > -  return format_object3<T1, T2, T3>(Fmt, Val1, Val2, Val3);
> > -}
> > -
> > -template <typename T1, typename T2, typename T3, typename T4>
> > -inline format_object4<T1, T2, T3, T4> format(const char *Fmt, const T1
> &Val1,
> > -                                             const T2 &Val2, const T3
> &Val3,
> > -                                             const T4 &Val4) {
> > -  return format_object4<T1, T2, T3, T4>(Fmt, Val1, Val2, Val3, Val4);
> > -}
> > -
> > -template <typename T1, typename T2, typename T3, typename T4, typename
> T5>
> > -inline format_object5<T1, T2, T3, T4, T5> format(const char *Fmt,const
> T1 &Val1,
> > -                                             const T2 &Val2, const T3
> &Val3,
> > -                                             const T4 &Val4, const T5
> &Val5) {
> > -  return format_object5<T1, T2, T3, T4, T5>(Fmt, Val1, Val2, Val3,
> Val4, Val5);
> > -}
> > -
> > -template <typename T1, typename T2, typename T3, typename T4, typename
> T5,
> > -          typename T6>
> > -inline format_object6<T1, T2, T3, T4, T5, T6>
> > -format(const char *Fmt, const T1 &Val1, const T2 &Val2, const T3 &Val3,
> > -       const T4 &Val4, const T5 &Val5, const T6 &Val6) {
> > -  return format_object6<T1, T2, T3, T4, T5, T6>(Fmt, Val1, Val2, Val3,
> Val4,
> > -                                                Val5, Val6);
> > +template <typename... Ts>
> > +inline format_object<Ts...> format(const char *Fmt, const Ts &... Vals)
> {
> > +  return format_object<Ts...>(Fmt, Vals...);
> >  }
> >
> >  /// This is a helper class used for left_justify() and right_justify().
> >
> > Modified: llvm/trunk/lib/MC/MCInstPrinter.cpp
> > URL:
> http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/MC/MCInstPrinter.cpp?rev=229337&r1=229336&r2=229337&view=diff
> >
> ==============================================================================
> > --- llvm/trunk/lib/MC/MCInstPrinter.cpp (original)
> > +++ llvm/trunk/lib/MC/MCInstPrinter.cpp Sun Feb 15 16:15:41 2015
> > @@ -69,11 +69,11 @@ static bool needsLeadingZero(uint64_t Va
> >    return false;
> >  }
> >
> > -format_object1<int64_t> MCInstPrinter::formatDec(const int64_t Value)
> const {
> > +format_object<int64_t> MCInstPrinter::formatDec(int64_t Value) const {
> >    return format("%" PRId64, Value);
> >  }
> >
> > -format_object1<int64_t> MCInstPrinter::formatHex(const int64_t Value)
> const {
> > +format_object<int64_t> MCInstPrinter::formatHex(int64_t Value) const {
> >    switch(PrintHexStyle) {
> >    case HexStyle::C:
> >      if (Value < 0)
> > @@ -96,7 +96,7 @@ format_object1<int64_t> MCInstPrinter::f
> >    llvm_unreachable("unsupported print style");
> >  }
> >
> > -format_object1<uint64_t> MCInstPrinter::formatHex(const uint64_t Value)
> const {
> > +format_object<uint64_t> MCInstPrinter::formatHex(uint64_t Value) const {
> >    switch(PrintHexStyle) {
> >    case HexStyle::C:
> >       return format("0x%" PRIx64, Value);
> >
> > Modified: llvm/trunk/lib/Support/raw_ostream.cpp
> > URL:
> http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Support/raw_ostream.cpp?rev=229337&r1=229336&r2=229337&view=diff
> >
> ==============================================================================
> > --- llvm/trunk/lib/Support/raw_ostream.cpp (original)
> > +++ llvm/trunk/lib/Support/raw_ostream.cpp Sun Feb 15 16:15:41 2015
> > @@ -242,7 +242,7 @@ raw_ostream &raw_ostream::operator<<(dou
> >
> >    char buf[16];
> >    unsigned len;
> > -  len = snprintf(buf, sizeof(buf), "%e", N);
> > +  len = format("%e", N).snprint(buf, sizeof(buf));
> >    if (len <= sizeof(buf) - 2) {
> >      if (len >= 5 && buf[len - 5] == 'e' && buf[len - 3] == '0') {
> >        int cs = buf[len - 4];
> >
> > Modified: llvm/trunk/unittests/IR/UseTest.cpp
> > URL:
> http://llvm.org/viewvc/llvm-project/llvm/trunk/unittests/IR/UseTest.cpp?rev=229337&r1=229336&r2=229337&view=diff
> >
> ==============================================================================
> > --- llvm/trunk/unittests/IR/UseTest.cpp (original)
> > +++ llvm/trunk/unittests/IR/UseTest.cpp Sun Feb 15 16:15:41 2015
> > @@ -50,7 +50,7 @@ TEST(UseTest, sort) {
> >    });
> >    unsigned I = 0;
> >    for (User *U : X.users()) {
> > -    snprintf(vnbuf, sizeof(vnbuf), "v%u", I++);
> > +    format("v%u", I++).snprint(vnbuf, sizeof(vnbuf));
> >      EXPECT_EQ(vnbuf, U->getName());
> >    }
> >    ASSERT_EQ(8u, I);
> > @@ -60,7 +60,7 @@ TEST(UseTest, sort) {
> >    });
> >    I = 0;
> >    for (User *U : X.users()) {
> > -    snprintf(vnbuf, sizeof(vnbuf), "v%u", (7 - I++));
> > +    format("v%u", (7 - I++)).snprint(vnbuf, sizeof(vnbuf));
> >      EXPECT_EQ(vnbuf, U->getName());
> >    }
> >    ASSERT_EQ(8u, I);
> > @@ -95,7 +95,7 @@ TEST(UseTest, reverse) {
> >    });
> >    unsigned I = 0;
> >    for (User *U : X.users()) {
> > -    snprintf(vnbuf, sizeof(vnbuf), "v%u", I++);
> > +    format("v%u", I++).snprint(vnbuf, sizeof(vnbuf));
> >      EXPECT_EQ(vnbuf, U->getName());
> >    }
> >    ASSERT_EQ(8u, I);
> > @@ -103,7 +103,7 @@ TEST(UseTest, reverse) {
> >    X.reverseUseList();
> >    I = 0;
> >    for (User *U : X.users()) {
> > -    snprintf(vnbuf, sizeof(vnbuf), "v%u", (7 - I++));
> > +    format("v%u", (7 - I++)).snprint(vnbuf, sizeof(vnbuf));
> >      EXPECT_EQ(vnbuf, U->getName());
> >    }
> >    ASSERT_EQ(8u, I);
> >
> >
> > _______________________________________________
> > llvm-commits mailing list
> > llvm-commits at cs.uiuc.edu
> > http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits
> >
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20150216/2831fb34/attachment.html>


More information about the llvm-commits mailing list