llvm/test/Transforms/IndVarSimplify/2020-12-15-trunc-bug-expensive-range-inference.ll

   1 ; RUN: opt < %s -indvars -S -scalar-evolution-use-expensive-range-sharpening | FileCheck %s
   2 ; RUN: opt < %s -passes=indvars -S -scalar-evolution-use-expensive-range-sharpening | FileCheck %s
   3
   4 target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128-ni:1-p2:32:8:8:32-ni:2"
   5 target triple = "x86_64-unknown-linux-gnu"
   6
   7 define void @test() {
   8 ; CHECK-LABEL: test
   9
  10 bb:
  11   br label %bb1
  12
  13 bb1:                                              ; preds = %bb10, %bb
  14   %tmp = phi i32 [ undef, %bb ], [ %tmp11, %bb10 ]
  15   %tmp2 = phi i32 [ 0, %bb ], [ 1, %bb10 ]
  16   br i1 false, label %bb3, label %bb4
  17
  18 bb3:                                              ; preds = %bb1
  19   br label %bb8
  20
  21 bb4:                                              ; preds = %bb1
  22   br label %bb16
  23
  24 bb5:                                              ; preds = %bb16
  25   %tmp6 = phi i64 [ %tmp21, %bb16 ]
  26   %tmp7 = phi i64 [ undef, %bb16 ]
  27   br label %bb8
  28
  29 bb8:                                              ; preds = %bb5, %bb3
  30   %tmp9 = phi i64 [ undef, %bb3 ], [ %tmp6, %bb5 ]
  31   br label %bb13
  32
  33 bb10:                                             ; preds = %bb13
  34   %tmp11 = phi i32 [ %tmp15, %bb13 ]
  35   br i1 undef, label %bb12, label %bb1
  36
  37 bb12:                                             ; preds = %bb10
  38   ret void
  39
  40 bb13:                                             ; preds = %bb13, %bb8
  41   %tmp14 = phi i32 [ %tmp, %bb8 ], [ %tmp15, %bb13 ]
  42   %tmp15 = add i32 %tmp14, undef
  43   br i1 undef, label %bb10, label %bb13
  44
  45 bb16:                                             ; preds = %bb16, %bb4
  46   %tmp17 = phi i32 [ %tmp27, %bb16 ], [ %tmp2, %bb4 ]
  47   %tmp18 = phi i64 [ %tmp21, %bb16 ], [ undef, %bb4 ]
  48   %tmp19 = sext i32 %tmp17 to i64
  49   %tmp20 = mul i64 undef, %tmp19
  50   %tmp21 = add i64 %tmp18, 1
  51   %tmp22 = add i32 %tmp17, %tmp
  52   %tmp23 = add i32 %tmp22, undef
  53   %tmp24 = add i32 %tmp23, undef
  54   %tmp25 = and i32 %tmp24, 31
  55   %tmp26 = lshr i32 undef, %tmp25
  56   %tmp27 = add nsw i32 %tmp17, 1
  57   %tmp28 = icmp sgt i32 %tmp17, 111
  58   br i1 %tmp28, label %bb5, label %bb16
  59 }