[clang] [clang][bytecode] Implement arithmetic, bitwise and compound assignment operator (PR #108949)

Tue Sep 24 02:55:07 PDT 2024

nikic wrote:

We're seeing failures on s390x as well (which is big endian):

```

******************** TEST 'Clang :: SemaCXX/constexpr-vectors.cpp' FAILED ********************
Exit Code: 1

Command Output (stderr):
--
RUN: at line 1: /builddir/build/BUILD/llvm-project-00629752e622814649e67d6e5ecb02bf131b537d/llvm/s390x-redhat-linux-gnu/bin/clang -cc1 -internal-isystem /builddir/build/BUILD/llvm-project-00629752e622814649e67d6e5ecb02bf131b537d/llvm/s390x-redhat-linux-gnu/bin/../lib/clang/20/include -nostdsysteminc /builddir/build/BUILD/llvm-project-00629752e622814649e67d6e5ecb02bf131b537d/clang/test/SemaCXX/constexpr-vectors.cpp -triple x86_64-linux-gnu -Wno-uninitialized -std=c++14 -fsyntax-only -verify
+ /builddir/build/BUILD/llvm-project-00629752e622814649e67d6e5ecb02bf131b537d/llvm/s390x-redhat-linux-gnu/bin/clang -cc1 -internal-isystem /builddir/build/BUILD/llvm-project-00629752e622814649e67d6e5ecb02bf131b537d/llvm/s390x-redhat-linux-gnu/bin/../lib/clang/20/include -nostdsysteminc /builddir/build/BUILD/llvm-project-00629752e622814649e67d6e5ecb02bf131b537d/clang/test/SemaCXX/constexpr-vectors.cpp -triple x86_64-linux-gnu -Wno-uninitialized -std=c++14 -fsyntax-only -verify
RUN: at line 2: /builddir/build/BUILD/llvm-project-00629752e622814649e67d6e5ecb02bf131b537d/llvm/s390x-redhat-linux-gnu/bin/clang -cc1 -internal-isystem /builddir/build/BUILD/llvm-project-00629752e622814649e67d6e5ecb02bf131b537d/llvm/s390x-redhat-linux-gnu/bin/../lib/clang/20/include -nostdsysteminc /builddir/build/BUILD/llvm-project-00629752e622814649e67d6e5ecb02bf131b537d/clang/test/SemaCXX/constexpr-vectors.cpp -triple x86_64-linux-gnu -Wno-uninitialized -std=c++14 -fsyntax-only -verify -fexperimental-new-constant-interpreter
+ /builddir/build/BUILD/llvm-project-00629752e622814649e67d6e5ecb02bf131b537d/llvm/s390x-redhat-linux-gnu/bin/clang -cc1 -internal-isystem /builddir/build/BUILD/llvm-project-00629752e622814649e67d6e5ecb02bf131b537d/llvm/s390x-redhat-linux-gnu/bin/../lib/clang/20/include -nostdsysteminc /builddir/build/BUILD/llvm-project-00629752e622814649e67d6e5ecb02bf131b537d/clang/test/SemaCXX/constexpr-vectors.cpp -triple x86_64-linux-gnu -Wno-uninitialized -std=c++14 -fsyntax-only -verify -fexperimental-new-constant-interpreter
error: 'expected-error' diagnostics seen but not expected: 
  File /builddir/build/BUILD/llvm-project-00629752e622814649e67d6e5ecb02bf131b537d/clang/test/SemaCXX/constexpr-vectors.cpp Line 215: static assertion failed due to requirement 's[0] == 12': 
  File /builddir/build/BUILD/llvm-project-00629752e622814649e67d6e5ecb02bf131b537d/clang/test/SemaCXX/constexpr-vectors.cpp Line 218: static assertion failed due to requirement 't[0] == 9': 
  File /builddir/build/BUILD/llvm-project-00629752e622814649e67d6e5ecb02bf131b537d/clang/test/SemaCXX/constexpr-vectors.cpp Line 402: static assertion failed due to requirement 's[0] == 12': 
  File /builddir/build/BUILD/llvm-project-00629752e622814649e67d6e5ecb02bf131b537d/clang/test/SemaCXX/constexpr-vectors.cpp Line 405: static assertion failed due to requirement 't[0] == 9': 
error: 'expected-note' diagnostics seen but not expected: 
  File /builddir/build/BUILD/llvm-project-00629752e622814649e67d6e5ecb02bf131b537d/clang/test/SemaCXX/constexpr-vectors.cpp Line 215: expression evaluates to ''<U+0006>' (0x06, 6) == 12'
  File /builddir/build/BUILD/llvm-project-00629752e622814649e67d6e5ecb02bf131b537d/clang/test/SemaCXX/constexpr-vectors.cpp Line 218: expression evaluates to ''<U+0013>' (0x13, 19) == 9'
  File /builddir/build/BUILD/llvm-project-00629752e622814649e67d6e5ecb02bf131b537d/clang/test/SemaCXX/constexpr-vectors.cpp Line 402: expression evaluates to ''<U+0006>' (0x06, 6) == 12'
  File /builddir/build/BUILD/llvm-project-00629752e622814649e67d6e5ecb02bf131b537d/clang/test/SemaCXX/constexpr-vectors.cpp Line 405: expression evaluates to ''<U+0013>' (0x13, 19) == 9'
8 errors generated.

--

********************

******************** TEST 'Clang :: AST/ByteCode/constexpr-vectors.cpp' FAILED ********************
Exit Code: 1

Command Output (stderr):
--
RUN: at line 1: /builddir/build/BUILD/llvm-project-00629752e622814649e67d6e5ecb02bf131b537d/llvm/s390x-redhat-linux-gnu/bin/clang -cc1 -internal-isystem /builddir/build/BUILD/llvm-project-00629752e622814649e67d6e5ecb02bf131b537d/llvm/s390x-redhat-linux-gnu/bin/../lib/clang/20/include -nostdsysteminc /builddir/build/BUILD/llvm-project-00629752e622814649e67d6e5ecb02bf131b537d/clang/test/AST/ByteCode/constexpr-vectors.cpp -triple x86_64-linux-gnu -std=c++14 -fsyntax-only -verify
+ /builddir/build/BUILD/llvm-project-00629752e622814649e67d6e5ecb02bf131b537d/llvm/s390x-redhat-linux-gnu/bin/clang -cc1 -internal-isystem /builddir/build/BUILD/llvm-project-00629752e622814649e67d6e5ecb02bf131b537d/llvm/s390x-redhat-linux-gnu/bin/../lib/clang/20/include -nostdsysteminc /builddir/build/BUILD/llvm-project-00629752e622814649e67d6e5ecb02bf131b537d/clang/test/AST/ByteCode/constexpr-vectors.cpp -triple x86_64-linux-gnu -std=c++14 -fsyntax-only -verify
RUN: at line 2: /builddir/build/BUILD/llvm-project-00629752e622814649e67d6e5ecb02bf131b537d/llvm/s390x-redhat-linux-gnu/bin/clang -cc1 -internal-isystem /builddir/build/BUILD/llvm-project-00629752e622814649e67d6e5ecb02bf131b537d/llvm/s390x-redhat-linux-gnu/bin/../lib/clang/20/include -nostdsysteminc /builddir/build/BUILD/llvm-project-00629752e622814649e67d6e5ecb02bf131b537d/clang/test/AST/ByteCode/constexpr-vectors.cpp -triple x86_64-linux-gnu -fexperimental-new-constant-interpreter -std=c++14 -fsyntax-only -verify
+ /builddir/build/BUILD/llvm-project-00629752e622814649e67d6e5ecb02bf131b537d/llvm/s390x-redhat-linux-gnu/bin/clang -cc1 -internal-isystem /builddir/build/BUILD/llvm-project-00629752e622814649e67d6e5ecb02bf131b537d/llvm/s390x-redhat-linux-gnu/bin/../lib/clang/20/include -nostdsysteminc /builddir/build/BUILD/llvm-project-00629752e622814649e67d6e5ecb02bf131b537d/clang/test/AST/ByteCode/constexpr-vectors.cpp -triple x86_64-linux-gnu -fexperimental-new-constant-interpreter -std=c++14 -fsyntax-only -verify
error: 'expected-error' diagnostics seen but not expected: 
  File /builddir/build/BUILD/llvm-project-00629752e622814649e67d6e5ecb02bf131b537d/clang/test/AST/ByteCode/constexpr-vectors.cpp Line 229: static assertion failed due to requirement 's[0] == 12': 
  File /builddir/build/BUILD/llvm-project-00629752e622814649e67d6e5ecb02bf131b537d/clang/test/AST/ByteCode/constexpr-vectors.cpp Line 232: static assertion failed due to requirement 't[0] == 9': 
  File /builddir/build/BUILD/llvm-project-00629752e622814649e67d6e5ecb02bf131b537d/clang/test/AST/ByteCode/constexpr-vectors.cpp Line 416: static assertion failed due to requirement 's[0] == 12': 
  File /builddir/build/BUILD/llvm-project-00629752e622814649e67d6e5ecb02bf131b537d/clang/test/AST/ByteCode/constexpr-vectors.cpp Line 419: static assertion failed due to requirement 't[0] == 9': 
error: 'expected-note' diagnostics seen but not expected: 
  File /builddir/build/BUILD/llvm-project-00629752e622814649e67d6e5ecb02bf131b537d/clang/test/AST/ByteCode/constexpr-vectors.cpp Line 229: expression evaluates to ''<U+0006>' (0x06, 6) == 12'
  File /builddir/build/BUILD/llvm-project-00629752e622814649e67d6e5ecb02bf131b537d/clang/test/AST/ByteCode/constexpr-vectors.cpp Line 232: expression evaluates to ''<U+0013>' (0x13, 19) == 9'
  File /builddir/build/BUILD/llvm-project-00629752e622814649e67d6e5ecb02bf131b537d/clang/test/AST/ByteCode/constexpr-vectors.cpp Line 416: expression evaluates to ''<U+0006>' (0x06, 6) == 12'
  File /builddir/build/BUILD/llvm-project-00629752e622814649e67d6e5ecb02bf131b537d/clang/test/AST/ByteCode/constexpr-vectors.cpp Line 419: expression evaluates to ''<U+0013>' (0x13, 19) == 9'
8 errors generated.

--

********************
```

https://github.com/llvm/llvm-project/pull/108949