[clang][bytecode] Add init link for the RVO ptr (#122904)

[clang][bytecode] Change the way we do init chains (#122871)

See the comment in Compiler<>::VisitCXXThisExpr.
We need to mark the InitList explicitly, so we later know what to refer
to when the init

[clang][bytecode] Change the way we do init chains (#122871)

See the comment in Compiler<>::VisitCXXThisExpr.
We need to mark the InitList explicitly, so we later know what to refer
to when the init chain is active.

show more ...

[clang][bytecode] Add support for typeid pointers (#121251)

Add it as another kind of pointer, saving both a `Type*` for the result
of the typeid() expression as well as one for the type of the type

[clang][bytecode] Add support for typeid pointers (#121251)

Add it as another kind of pointer, saving both a `Type*` for the result
of the typeid() expression as well as one for the type of the typeid
expression.

show more ...

[clang][bytecode] Support ImplicitValueInitExpr for multi-dim arrays (#117312)

The attached test case from
https://github.com/llvm/llvm-project/issues/117294 used to cause an
assertion because we ca

[clang][bytecode] Support ImplicitValueInitExpr for multi-dim arrays (#117312)

The attached test case from
https://github.com/llvm/llvm-project/issues/117294 used to cause an
assertion because we called classifPrim() on an array type.

The new result doesn't crash but isn't exactly perfect either. Since the
problem arises when evaluating an ImplicitValueInitExpr, we have no
proper source location to point to. Point to the caller instead.

show more ...

[clang][bytecode] Start implementing __builtin_bit_cast (#112126)

This is a subset of #68288, with hopefully narrower scope. It does not
support bitcasting to non-integral types yet.
Bitfields are

[clang][bytecode] Start implementing __builtin_bit_cast (#112126)

This is a subset of #68288, with hopefully narrower scope. It does not
support bitcasting to non-integral types yet.
Bitfields are supported, but only if they result in a full byte-sized
final buffer. It does not support casting from null-pointers yet or
casting from indeterminate bits.


The tests are from #68288 and partially from #74775.

The `BitcastBuffer` struct is currently always working in single bits,
but I plan to (try to) optimize this for the common full-byte case.

show more ...

[clang][bytecode] Create dummy pointers for non-reference DeclRefExprs (#113202)

... with non-constant initializers.

[clang][bytecode] Fix temporary lvalue base expression (#111808)

We need to use the MaterializeTemporaryExpr here so the checks in
ExprConstant.cpp do the right thing.

[clang][bytecode] Implement fixed-point-to-int casts (#110417)

And some cleanups around overflow handling.

[clang][bytecode] Implement (N)EQ between fixed point and integral (#110358)

Convert the non-fixed-point side to a fixed-point type before doing the
comparison.

[clang][bytecode] Start implementing fixed point types (#110216)

Add the primitive type and implement to-bool casts.

[clang][bytecode] Add a source location to destructor calls (#110121)

The added test case is still diagnosed differently, but I'm not sure
which version is better.

[clang][bytecode] Fix local destructor order (#107951)

Add appropriate scopes and use reverse-order iteration in
LocalScope::emitDestructors().

[clang][bytecode] Fix a variable scope problem with continue/break jumps (#107738)

Cleaning up _all_ the scopes is a little too much. Only clean up until
the point here we started the scope relevan

[clang][bytecode] Fix a variable scope problem with continue/break jumps (#107738)

Cleaning up _all_ the scopes is a little too much. Only clean up until
the point here we started the scope relevant for the break/continue
statement.

show more ...

[clang][bytecode] Implement using operator new/operator delete (#107679)

Reuse the __builtin_operator_{new,delete} implementations.

[clang][bytecode] Allow continuing when discarded MemberExpr Base fails (#107231)

We don't need the value in this case, since we're discarding it anyway.
Allow continuing the interpretation but not

[clang][bytecode] Allow continuing when discarded MemberExpr Base fails (#107231)

We don't need the value in this case, since we're discarding it anyway.
Allow continuing the interpretation but note the side effect.

show more ...

[clang][bytecode] Implement comparsion operators for vector type (#107258)

Implement ==, !=, <, <=, >, >= comparsion operators for vector type.

---------

Signed-off-by: yronglin <yronglin777@g

[clang][bytecode] Implement comparsion operators for vector type (#107258)

Implement ==, !=, <, <=, >, >= comparsion operators for vector type.

---------

Signed-off-by: yronglin <yronglin777@gmail.com>

show more ...

[clang][bytecode] Pass FPOptions to floating point ops (#107063)

So we don't have to retrieve them from the InterpFrame, which is slow.

[clang][bytecode] Implement constexpr vector unary operators +, -, ~, ! (#105996)

Implement constexpr vector unary operators +, -, ~ and ! .

- Follow the current constant interpreter. All of our

[clang][bytecode] Implement constexpr vector unary operators +, -, ~, ! (#105996)

Implement constexpr vector unary operators +, -, ~ and ! .

- Follow the current constant interpreter. All of our boolean operations
on vector types should be '-1' for the 'truth' type.
- Move the following functions from `Sema` to `ASTContext`, because we
used it in new interpreter.
```C++
QualType GetSignedVectorType(QualType V);
QualType GetSignedSizelessVectorType(QualType V);
```

---------

Signed-off-by: yronglin <yronglin777@gmail.com>

show more ...

[clang][bytecode] Support ObjC blocks (#104551)

I started out by adding a new pointer type for blocks, and I was fully
prepared to compile their AST to bytecode and later call them.

... then I f

[clang][bytecode] Support ObjC blocks (#104551)

I started out by adding a new pointer type for blocks, and I was fully
prepared to compile their AST to bytecode and later call them.

... then I found out that the current interpreter doesn't support
calling blocks at all. So we reuse `Function` to support sources other
than `FunctionDecl`s and classify `BlockPointerType` as `PT_FnPtr`.

show more ...

[clang] Rename all AST/Interp stuff to AST/ByteCode (#104552)

"Interp" clashes with the clang interpreter and people often confuse
this.