Kareem Ergawy

[BUGFIX] Don't use DiagnosticsEngine without initialization.

2

This PR fixes a bug in src/command_line.cc -> RunQueryDbThread(). The DiagnosticsEngine was used without being properly initialized.

Constant expression for smallest i32 emits undef

2

The following code: ``` RUST extern "C" { fn print_int(i32) -> (); } fn main() -> i32 { let test : i32 = 1

Re-interpreting a value of a large type as an array of a smaller type

8

I want to re-interpret a value as an array of values of a smaller type. For example, an i32 as an array of 4 i8s. Also, the source (big) and...

Polymorphic functions broken

1

The following code generates an assertion at /impala/src/impala/sema/unifiable.h, Line 529: ``` fn f1[T](input: T) -> () {} fn f2[T](input: T) -> () {} ```

Error "currently only pointers to arrays supported" only when partial evaluation is not used

2

The following code, ``` RUST extern "thorin" { fn nvvm(i32, (i32, i32, i32), (i32, i32, i32), fn() -> ()) -> (); } extern "C" { fn thorin_alloc(i32, i64) -> &i8;...

For simple loops, we can now choose to map `do concurrent` to either the host (i.e. `omp parallel do`) or the device (i.e. `omp target teams distribute parallel do`). In...

[flang][OpenMP] Privatize locally destroyed values in `do concurent`

8

Locally destroyed values are those values for which the Fortran runtime calls `@_FortranADestroy` inside the loops body. If these values are allocated outside the loop, and the loop is mapped...

[flang][OpenMP] Handle non-const bounds in `do concurrent` mapping

2

Lifts a restriction we had so far for `do concurrent` -> OpenMP mapping by supporting non-const bounds in loop headers.

[flang][OpenMP] Implement more robust loop-nest detection logic

11

The previous loop-nest detection algorithm fell short, in some cases, to detect whether a pair of `do concurrent` loops are perfectly nested or not. This is a re-implementation using forward...