[PATCH] D88806: [SCEV] Model ptrtoint(SCEVUnknown) cast not as unknown, but as zext/trunc/self of SCEVUnknown

[Roman Lebedev via Phabricator via llvm-commits]

lebedev.ri added a comment.

In D88806#2326944 <https://reviews.llvm.org/D88806#2326944>, @uabelho wrote:

> Hi,
>
> I got my share of doom too, even after the fix.
> So
>
>   opt -S -o - bbi-48445.ll -indvars
>
> crashes with
>
>   opt: ../lib/IR/Constants.cpp:1896: static llvm::Constant *llvm::ConstantExpr::getZExt(llvm::Constant *, llvm::Type *, bool): Assertion `C->getType()->isIntOrIntVectorTy() && "ZEXt operand must be integral"' failed.
>
> for the following input:
>
>   target datalayout = "p:16:16"
>   
>   @a_i32 = external global [21 x i32], section ".bss,bss", align 1
>   
>   define void @test_array_ldm_i32() {
>   entry:
>     br label %for.body42
>   
>   crit_edge:                                        ; preds = %for.body42
>     %split = phi i32 [ %add58, %for.body42 ]
>     %add132 = add i32 %split, undef
>     unreachable
>   
>   for.body42:                                       ; preds = %for.body42, %entry
>     %sub.ptr.sub49 = sub i32 undef, ptrtoint ([21 x i32]* @a_i32 to i32)
>     %sub.ptr.div50 = sdiv exact i32 %sub.ptr.sub49, 2
>     %conv51 = sext i32 %sub.ptr.div50 to i64
>     %cmp53 = icmp eq i64 %conv51, undef
>     %cond55 = select i1 %cmp53, i16 0, i16 1
>     %conv56 = sext i16 %cond55 to i32
>     %add57 = add i32 65536, %conv56
>     %add58 = add i32 undef, %add57
>     br i1 false, label %for.body42, label %crit_edge
>   }

Perfect, thank you. That's the test case i was missing. Will fix in a moment.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D88806