[all-commits] [llvm/llvm-project] ffdbd2: [Attributor] Look through (some) casts in AAValueC...

[Johannes Doerfert via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: ffdbd2a06ca2a2703647fb87140b8965b3b0218c
      https://github.com/llvm/llvm-project/commit/ffdbd2a06ca2a2703647fb87140b8965b3b0218c
  Author: Johannes Doerfert <johannes at jdoerfert.de>
  Date:   2020-02-10 (Mon, 10 Feb 2020)

  Changed paths:
    M llvm/lib/Transforms/IPO/Attributor.cpp
    M llvm/test/Transforms/Attributor/IPConstantProp/PR16052.ll
    M llvm/test/Transforms/Attributor/range.ll

  Log Message:
  -----------
  [Attributor] Look through (some) casts in AAValueConstantRangeFloating

Casts can be handled natively by the ConstantRange class. We do limit it
to extends for now as we assume an integer type in different locations.
A TODO and a test case with a FIXME was added to remove that restriction
in the future.