Started 11 days ago
Took 1 hr 19 min on green-dragon-17

Success Build rL:371339 - C:371326 - #497 (Sep 8, 2019 11:52:19 AM)

Revisions
  • http://llvm.org/svn/llvm-project/llvm/trunk : 371339
  • http://llvm.org/svn/llvm-project/cfe/trunk : 371326
  • http://llvm.org/svn/llvm-project/compiler-rt/trunk : 371338
  • http://llvm.org/svn/llvm-project/debuginfo-tests/trunk : 364589
  • http://llvm.org/svn/llvm-project/zorg/trunk : 371154
  • http://llvm.org/svn/llvm-project/libcxx/trunk : 371324
  • http://llvm.org/svn/llvm-project/clang-tools-extra/trunk : 371250
Changes
  1. [NFC][InstSimplify] Some tests for dropping null check after uadd.with.overflow of non-null (PR43246)

    https://rise4fun.com/Alive/WRzq

    Name: C <= Y && Y != 0  -->  C <= Y  iff C != 0
    Pre: C != 0
      %y_is_nonnull = icmp ne i64 %y, 0
      %no_overflow = icmp ule i64 C, %y
      %r = and i1 %y_is_nonnull, %no_overflow
    =>
      %r = %no_overflow

    Name: C <= Y || Y != 0  -->  Y != 0  iff C != 0
    Pre: C != 0
      %y_is_nonnull = icmp ne i64 %y, 0
      %no_overflow = icmp ule i64 C, %y
      %r = or i1 %y_is_nonnull, %no_overflow
    =>
      %r = %y_is_nonnull

    Name: C > Y || Y == 0  -->  C > Y  iff C != 0
    Pre: C != 0
      %y_is_null = icmp eq i64 %y, 0
      %overflow = icmp ugt i64 C, %y
      %r = or i1 %y_is_null, %overflow
    =>
      %r = %overflow

    Name: C > Y && Y == 0  -->  Y == 0  iff C != 0
    Pre: C != 0
      %y_is_null = icmp eq i64 %y, 0
      %overflow = icmp ugt i64 C, %y
      %r = and i1 %y_is_null, %overflow
    =>
      %r = %y_is_null

    https://bugs.llvm.org/show_bug.cgi?id=43246 (detail/ViewSVN)
    by lebedevri

Started by an SCM change

This run spent:

  • 1 hr 0 min waiting;
  • 1 hr 19 min build duration;
  • 2 hr 19 min total from scheduled to completion.
LLVM/Clang Warnings: 1 warning.
    Test Result (no failures)