[all-commits] [llvm/llvm-project] f3c9e5: Analysis: Fix assertion when load alignment exceed...

[Matt Arsenault via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: f3c9e5807fe91ef1f96d03e3a11e5971006d1efe
      https://github.com/llvm/llvm-project/commit/f3c9e5807fe91ef1f96d03e3a11e5971006d1efe
  Author: Matt Arsenault <Matthew.Arsenault at amd.com>
  Date:   2023-06-30 (Fri, 30 Jun 2023)

  Changed paths:
    M llvm/lib/Analysis/Loads.cpp
    A llvm/test/Transforms/ArgumentPromotion/load-alignment-value-overflows-addrspace-size.ll

  Log Message:
  -----------
  Analysis: Fix assertion when load alignment exceeds address space size

Apparently the maximum alignment no longer fits in 32-bits now, which
overflows a 32-bit offset and would fail on the isPowerOf2 assert.


  Commit: a2ce822a096517e36fbc6ac9404b0b5ef5e6a2bc
      https://github.com/llvm/llvm-project/commit/a2ce822a096517e36fbc6ac9404b0b5ef5e6a2bc
  Author: Matt Arsenault <Matthew.Arsenault at amd.com>
  Date:   2023-06-30 (Fri, 30 Jun 2023)

  Changed paths:
    M llvm/lib/IR/Verifier.cpp
    A llvm/test/Assembler/range.ll
    M llvm/test/Verifier/range-1.ll

  Log Message:
  -----------
  Verifier: Fix assertion on range metadata with equal bounds

This only worked if the same values were the min or max. We also seem
to be missing proper assembler tests for this.


  Commit: 53acadafdd388e5ecdf060b47766c2b73f185317
      https://github.com/llvm/llvm-project/commit/53acadafdd388e5ecdf060b47766c2b73f185317
  Author: Matt Arsenault <Matthew.Arsenault at amd.com>
  Date:   2023-06-30 (Fri, 30 Jun 2023)

  Changed paths:
    M llvm/lib/IR/Verifier.cpp
    A llvm/test/Assembler/absolute_symbol.ll
    M llvm/test/CodeGen/X86/absolute-constant.ll
    A llvm/test/Verifier/absolute_symbol.ll

  Log Message:
  -----------
  Verifier: Verify absolute_symbol metadata

This is the same as !range except for one edge case.


Compare: https://github.com/llvm/llvm-project/compare/df52a22b1b7d...53acadafdd38