[all-commits] [llvm/llvm-project] b0f363: [mlir][Arith] Specify evaluation order of `getExpr`

[Matthias Springer via All-commits]

  Branch: refs/heads/users/matthias-springer/disambiguate_get_expr_calls
  Home:   https://github.com/llvm/llvm-project
  Commit: b0f3633afd30793b8169c8625707ed697a78b3f9
      https://github.com/llvm/llvm-project/commit/b0f3633afd30793b8169c8625707ed697a78b3f9
  Author: Matthias Springer <springerm at google.com>
  Date:   2024-04-06 (Sat, 06 Apr 2024)

  Changed paths:
    M mlir/lib/Dialect/Arith/IR/ValueBoundsOpInterfaceImpl.cpp

  Log Message:
  -----------
  [mlir][Arith] Specify evaluation order of `getExpr`

The C++ standard does not specify an evaluation order for addition/...
operands. E.g., in `a() + b()`, the compiler is free to evaluate `a` or
`b` first.

This lead to different `mlir-opt` outputs in #85895. (FileCheck passed
when compiled with LLVM but failed when compiled with gcc.)



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications