[PATCH] D144467: [IPSCCP] Don't require noundef for !range annotation

[Nikita Popov via Phabricator via llvm-commits]

nikic added a comment.

@tingwang Thanks for the report. Here's a reduced test case:

  define internal <2 x i64> @ctlz(<2 x i64> %arg) {
    %res = call <2 x i64> @llvm.ctlz.v2i64(<2 x i64> %arg, i1 false)
    ret <2 x i64> %res
  }
  
  define <2 x i64> @caller(<2 x i64> %arg) {
    %res = call <2 x i64> @ctlz(<2 x i64> %arg)
    ret <2 x i64> %res
  }
  
  declare <2 x i64> @llvm.ctlz.v2i64(<2 x i64>, i1)

The problem is that `!range` is currently not supported for vector types.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D144467/new/

https://reviews.llvm.org/D144467