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

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