158 lines
6.3 KiB
LLVM
158 lines
6.3 KiB
LLVM
|
; RUN: opt < %s -analyze -enable-new-pm=0 -scalar-evolution | FileCheck %s
|
||
|
|
; RUN: opt < %s -disable-output "-passes=print<scalar-evolution>" 2>&1 | FileCheck %s
|
||
|
|
|
||
|
|
; SCEV would take a long time to compute SCEV expressions for this IR. If SCEV
|
||
|
|
; finishes in < 1 second then the bug is fixed.
|
||
|
|
|
||
|
|
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
|
||
|
|
target triple = "x86_64--linux-gnu"
|
||
|
|
|
||
|
|
define void @smax(i32 %tmp3) {
|
||
|
|
; CHECK-LABEL: Printing analysis 'Scalar Evolution Analysis' for function 'smax'
|
||
|
|
entry:
|
||
|
|
br label %bb4
|
||
|
|
|
||
|
|
bb4:
|
||
|
|
%tmp5 = phi i64 [ %tmp62, %bb61 ], [ 0, %entry ]
|
||
|
|
%tmp6 = trunc i64 %tmp5 to i32
|
||
|
|
%tmp7 = shl nsw i32 %tmp6, 8
|
||
|
|
%tmp8 = sub nsw i32 %tmp3, %tmp7
|
||
|
|
%tmp9 = icmp slt i32 %tmp8, 256
|
||
|
|
%tmp10 = select i1 %tmp9, i32 %tmp8, i32 256
|
||
|
|
%tmp11 = add nsw i32 %tmp10, 1
|
||
|
|
%tmp12 = icmp sgt i32 %tmp8, %tmp11
|
||
|
|
%tmp13 = select i1 %tmp12, i32 %tmp11, i32 %tmp8
|
||
|
|
%tmp14 = icmp slt i32 %tmp13, 256
|
||
|
|
%tmp15 = select i1 %tmp14, i32 %tmp13, i32 256
|
||
|
|
%tmp16 = add nsw i32 %tmp15, 1
|
||
|
|
%tmp17 = icmp sgt i32 %tmp8, %tmp16
|
||
|
|
%tmp18 = select i1 %tmp17, i32 %tmp16, i32 %tmp8
|
||
|
|
%tmp19 = icmp slt i32 %tmp18, 256
|
||
|
|
%tmp20 = select i1 %tmp19, i32 %tmp18, i32 256
|
||
|
|
%tmp21 = add nsw i32 %tmp20, 1
|
||
|
|
%tmp22 = icmp sgt i32 %tmp8, %tmp21
|
||
|
|
%tmp23 = select i1 %tmp22, i32 %tmp21, i32 %tmp8
|
||
|
|
%tmp24 = icmp slt i32 %tmp23, 256
|
||
|
|
%tmp25 = select i1 %tmp24, i32 %tmp23, i32 256
|
||
|
|
%tmp26 = add nsw i32 %tmp25, 1
|
||
|
|
%tmp27 = icmp sgt i32 %tmp8, %tmp26
|
||
|
|
%tmp28 = select i1 %tmp27, i32 %tmp26, i32 %tmp8
|
||
|
|
%tmp29 = icmp slt i32 %tmp28, 256
|
||
|
|
%tmp30 = select i1 %tmp29, i32 %tmp28, i32 256
|
||
|
|
%tmp31 = add nsw i32 %tmp30, 1
|
||
|
|
%tmp32 = icmp sgt i32 %tmp8, %tmp31
|
||
|
|
%tmp33 = select i1 %tmp32, i32 %tmp31, i32 %tmp8
|
||
|
|
%tmp34 = icmp slt i32 %tmp33, 256
|
||
|
|
%tmp35 = select i1 %tmp34, i32 %tmp33, i32 256
|
||
|
|
%tmp36 = add nsw i32 %tmp35, 1
|
||
|
|
%tmp37 = icmp sgt i32 %tmp8, %tmp36
|
||
|
|
%tmp38 = select i1 %tmp37, i32 %tmp36, i32 %tmp8
|
||
|
|
%tmp39 = icmp slt i32 %tmp38, 256
|
||
|
|
%tmp40 = select i1 %tmp39, i32 %tmp38, i32 256
|
||
|
|
%tmp41 = add nsw i32 %tmp40, 1
|
||
|
|
%tmp42 = icmp sgt i32 %tmp8, %tmp41
|
||
|
|
%tmp43 = select i1 %tmp42, i32 %tmp41, i32 %tmp8
|
||
|
|
%tmp44 = add nsw i32 %tmp10, 7
|
||
|
|
%tmp45 = icmp slt i32 %tmp43, 256
|
||
|
|
%tmp46 = select i1 %tmp45, i32 %tmp43, i32 256
|
||
|
|
; CHECK: %tmp46 = select i1 %tmp45, i32 %tmp43, i32 256
|
||
|
|
; CHECK-NEXT: --> (256 smin (1 + (256 smin (1 + (256 smin (1 + (256 smin (1 + (256 smin (1 + (256 smin (1 + (256 smin (1 + (256 smin {%tmp3,+,-256}<%bb4>))<nsw> smin {%tmp3,+,-256}<%bb4>))<nsw> smin {%tmp3,+,-256}<%bb4>))<nsw> smin {%tmp3,+,-256}<%bb4>))<nsw> smin {%tmp3,+,-256}<%bb4>))<nsw> smin {%tmp3,+,-256}<%bb4>))<nsw> smin {%tmp3,+,-256}<%bb4>))<nsw> smin {%tmp3,+,-256}<%bb4>) U: [-2147483648,257) S: [-2147483648,257)
|
||
|
|
%tmp47 = icmp sgt i32 %tmp44, %tmp46
|
||
|
|
%tmp48 = select i1 %tmp47, i32 %tmp44, i32 %tmp46
|
||
|
|
%tmp49 = ashr i32 %tmp48, 3
|
||
|
|
%tmp50 = icmp sgt i32 %tmp49, 0
|
||
|
|
%tmp51 = select i1 %tmp50, i32 %tmp49, i32 0
|
||
|
|
%tmp52 = zext i32 %tmp51 to i64
|
||
|
|
br label %bb53
|
||
|
|
|
||
|
|
bb53:
|
||
|
|
%tmp54 = phi i64 [ undef, %bb4 ], [ %tmp59, %bb53 ]
|
||
|
|
%tmp55 = trunc i64 %tmp54 to i32
|
||
|
|
%tmp56 = shl nsw i32 %tmp55, 3
|
||
|
|
%tmp57 = sext i32 %tmp56 to i64
|
||
|
|
%tmp58 = getelementptr inbounds i8, i8* null, i64 %tmp57
|
||
|
|
store i8 undef, i8* %tmp58, align 8
|
||
|
|
%tmp59 = add nsw i64 %tmp54, 1
|
||
|
|
%tmp60 = icmp eq i64 %tmp59, %tmp52
|
||
|
|
br i1 %tmp60, label %bb61, label %bb53
|
||
|
|
|
||
|
|
bb61:
|
||
|
|
%tmp62 = add nuw nsw i64 %tmp5, 1
|
||
|
|
br label %bb4
|
||
|
|
}
|
||
|
|
|
||
|
|
|
||
|
|
define void @umax(i32 %tmp3) {
|
||
|
|
; CHECK-LABEL: Printing analysis 'Scalar Evolution Analysis' for function 'umax'
|
||
|
|
entry:
|
||
|
|
br label %bb4
|
||
|
|
|
||
|
|
bb4:
|
||
|
|
%tmp5 = phi i64 [ %tmp62, %bb61 ], [ 0, %entry ]
|
||
|
|
%tmp6 = trunc i64 %tmp5 to i32
|
||
|
|
%tmp7 = shl nsw i32 %tmp6, 8
|
||
|
|
%tmp8 = sub nsw i32 %tmp3, %tmp7
|
||
|
|
%tmp9 = icmp ult i32 %tmp8, 256
|
||
|
|
%tmp10 = select i1 %tmp9, i32 %tmp8, i32 256
|
||
|
|
%tmp11 = add nsw i32 %tmp10, 1
|
||
|
|
%tmp12 = icmp ugt i32 %tmp8, %tmp11
|
||
|
|
%tmp13 = select i1 %tmp12, i32 %tmp11, i32 %tmp8
|
||
|
|
%tmp14 = icmp ult i32 %tmp13, 256
|
||
|
|
%tmp15 = select i1 %tmp14, i32 %tmp13, i32 256
|
||
|
|
%tmp16 = add nsw i32 %tmp15, 1
|
||
|
|
%tmp17 = icmp ugt i32 %tmp8, %tmp16
|
||
|
|
%tmp18 = select i1 %tmp17, i32 %tmp16, i32 %tmp8
|
||
|
|
%tmp19 = icmp ult i32 %tmp18, 256
|
||
|
|
%tmp20 = select i1 %tmp19, i32 %tmp18, i32 256
|
||
|
|
%tmp21 = add nsw i32 %tmp20, 1
|
||
|
|
%tmp22 = icmp ugt i32 %tmp8, %tmp21
|
||
|
|
%tmp23 = select i1 %tmp22, i32 %tmp21, i32 %tmp8
|
||
|
|
%tmp24 = icmp ult i32 %tmp23, 256
|
||
|
|
%tmp25 = select i1 %tmp24, i32 %tmp23, i32 256
|
||
|
|
%tmp26 = add nsw i32 %tmp25, 1
|
||
|
|
%tmp27 = icmp ugt i32 %tmp8, %tmp26
|
||
|
|
%tmp28 = select i1 %tmp27, i32 %tmp26, i32 %tmp8
|
||
|
|
%tmp29 = icmp ult i32 %tmp28, 256
|
||
|
|
%tmp30 = select i1 %tmp29, i32 %tmp28, i32 256
|
||
|
|
%tmp31 = add nsw i32 %tmp30, 1
|
||
|
|
%tmp32 = icmp ugt i32 %tmp8, %tmp31
|
||
|
|
%tmp33 = select i1 %tmp32, i32 %tmp31, i32 %tmp8
|
||
|
|
%tmp34 = icmp ult i32 %tmp33, 256
|
||
|
|
%tmp35 = select i1 %tmp34, i32 %tmp33, i32 256
|
||
|
|
%tmp36 = add nsw i32 %tmp35, 1
|
||
|
|
%tmp37 = icmp ugt i32 %tmp8, %tmp36
|
||
|
|
%tmp38 = select i1 %tmp37, i32 %tmp36, i32 %tmp8
|
||
|
|
%tmp39 = icmp ult i32 %tmp38, 256
|
||
|
|
%tmp40 = select i1 %tmp39, i32 %tmp38, i32 256
|
||
|
|
%tmp41 = add nsw i32 %tmp40, 1
|
||
|
|
%tmp42 = icmp ugt i32 %tmp8, %tmp41
|
||
|
|
%tmp43 = select i1 %tmp42, i32 %tmp41, i32 %tmp8
|
||
|
|
%tmp44 = add nsw i32 %tmp10, 7
|
||
|
|
%tmp45 = icmp ult i32 %tmp43, 256
|
||
|
|
%tmp46 = select i1 %tmp45, i32 %tmp43, i32 256
|
||
|
|
; CHECK: %tmp46 = select i1 %tmp45, i32 %tmp43, i32 256
|
||
|
|
; CHECK-NEXT: --> (256 umin (1 + (256 umin (1 + (256 umin (1 + (256 umin (1 + (256 umin (1 + (256 umin (1 + (256 umin (1 + (256 umin {%tmp3,+,-256}<%bb4>))<nuw><nsw> umin {%tmp3,+,-256}<%bb4>))<nuw><nsw> umin {%tmp3,+,-256}<%bb4>))<nuw><nsw> umin {%tmp3,+,-256}<%bb4>))<nuw><nsw> umin {%tmp3,+,-256}<%bb4>))<nuw><nsw> umin {%tmp3,+,-256}<%bb4>))<nuw><nsw> umin {%tmp3,+,-256}<%bb4>))<nuw><nsw> umin {%tmp3,+,-256}<%bb4>) U: [0,257) S: [0,257)
|
||
|
|
%tmp47 = icmp ugt i32 %tmp44, %tmp46
|
||
|
|
%tmp48 = select i1 %tmp47, i32 %tmp44, i32 %tmp46
|
||
|
|
%tmp49 = ashr i32 %tmp48, 3
|
||
|
|
%tmp50 = icmp ugt i32 %tmp49, 0
|
||
|
|
%tmp51 = select i1 %tmp50, i32 %tmp49, i32 0
|
||
|
|
%tmp52 = zext i32 %tmp51 to i64
|
||
|
|
br label %bb53
|
||
|
|
|
||
|
|
bb53:
|
||
|
|
%tmp54 = phi i64 [ undef, %bb4 ], [ %tmp59, %bb53 ]
|
||
|
|
%tmp55 = trunc i64 %tmp54 to i32
|
||
|
|
%tmp56 = shl nsw i32 %tmp55, 3
|
||
|
|
%tmp57 = sext i32 %tmp56 to i64
|
||
|
|
%tmp58 = getelementptr inbounds i8, i8* null, i64 %tmp57
|
||
|
|
store i8 undef, i8* %tmp58, align 8
|
||
|
|
%tmp59 = add nsw i64 %tmp54, 1
|
||
|
|
%tmp60 = icmp eq i64 %tmp59, %tmp52
|
||
|
|
br i1 %tmp60, label %bb61, label %bb53
|
||
|
|
|
||
|
|
bb61:
|
||
|
|
%tmp62 = add nuw nsw i64 %tmp5, 1
|
||
|
|
br label %bb4
|
||
|
|
}
|