search for: tmp96

...ange for an LLVM Value. I found that some times they do not agree, may be I interpreted them incorrectly For example in the following IR: bb85: ; preds = %bb85, %bb73 %tmp86 = phi i32 [ 1, %bb73 ], [ %tmp95, %bb85 ] %tmp95 = add nsw i32 %tmp86, 1 %tmp96 = icmp slt i32 %tmp95, 20 br i1 %tmp96, label %bb85, label %bb97 LazyValueInfo give: POP %tmp86 = phi i32 [ 1, %bb73 ], [ %tmp95, %bb85 ] in bb85 = constantrange<-2147483648, 20> While ScalarEvolution give: %tmp86 = phi i32 [ 1, %bb73 ], [ %tmp95, %bb85 ] --> {1,+,1}<nuw>...

...I interpreted them >> incorrectly >> >> For example in the following IR: >> >> bb85: ; preds = %bb85, %bb73 >> %tmp86 = phi i32 [ 1, %bb73 ], [ %tmp95, %bb85 ] >> %tmp95 = add nsw i32 %tmp86, 1 >> %tmp96 = icmp slt i32 %tmp95, 20 >> br i1 %tmp96, label %bb85, label %bb97 >> >> LazyValueInfo give: >> >> POP %tmp86 = phi i32 [ 1, %bb73 ], [ %tmp95, %bb85 ] in bb85 = >> constantrange<-2147483648, 20> >> >> While ScalarEvolution give: >>...