[all-commits] [llvm/llvm-project] 883887: [SimplifyCFG] Check alignment when speculating stores

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 883887493c882d656d5da100ee637a348e81357c
      https://github.com/llvm/llvm-project/commit/883887493c882d656d5da100ee637a348e81357c
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2024-04-23 (Tue, 23 Apr 2024)

  Changed paths:
    M llvm/lib/Transforms/Utils/SimplifyCFG.cpp
    M llvm/test/Transforms/SimplifyCFG/speculate-store.ll

  Log Message:
  -----------
  [SimplifyCFG] Check alignment when speculating stores

When speculating a store based on a preceding load/store, we need
to ensure that the speculated store does not have a higher
alignment (which might only be guaranteed by the branch condition).

There are various ways in which this could be strengthened (we
could get or enforce the alignment), but for now just do the
simple check against the preceding load/store.

Fixes https://github.com/llvm/llvm-project/issues/89672.



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