[llvm-dev] Printing the analysis result of lazy value info

[John Regehr via llvm-dev]

Juneyoung, I don't know if this meets your requirements but I have a 
silly little pass that I use to see what the LVI, SCEV, demanded bits, 
and known bits analyses think about a module:

https://github.com/regehr/llvm-transformation-pass/blob/master/hello/hello.cpp

John


On 3/7/19 4:15 AM, Juneyoung Lee via llvm-dev wrote:
> Hello all,
> 
> How can I see the result of lazy value info analysis?
> 
> I ran a command `opt -lazy-value-info -correlated-propagation 
> -print-lazy-value-info example.ll -disable-output` with a following 
> program as the input:
> 
> ```
> define i32 @f(i32 %a, i32 %b) {
>    %i = icmp eq i32 %a, 10
>    br i1 %i, label %A, label %B
> A:
>    %c = add i32 %a, 20
>    ret i32 %c
> B:
>    ret i32 0
> }
> ```
> 
> However, it shows a following line only:
> 
> ```
> LVI for function 'f':
> ```
> 
> Thank you :)
> Juneyoung Lee
> 
> 
> _______________________________________________
> LLVM Developers mailing list
> llvm-dev at lists.llvm.org
> https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev
>