llvm/test/Transforms/InstCombine/pr96012.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 5
   2 ; RUN: opt -S -passes=instcombine < %s | FileCheck %s
   3
   4 target datalayout = "e-m:e-p:64:64-i64:64-i128:128-n32:64-S128"
   5
   6 ; Make sure we don't hang here.
   7 define i32 @pr96012() {
   8 ; CHECK-LABEL: define i32 @pr96012() {
   9 ; CHECK-NEXT:  [[ENTRY:.*:]]
  10 ; CHECK-NEXT:    br label %[[FOR_COND:.*]]
  11 ; CHECK:       [[FOR_COND]]:
  12 ; CHECK-NEXT:    br label %[[FOR_COND]]
  13 ;
  14 entry:
  15   br label %for.cond
  16
  17 for.cond:
  18   %indvar = phi i32 [ 1, %entry ], [ %shl, %for.cond ]
  19   %conv1 = trunc i32 %indvar to i8
  20   %neg = sub i8 0, %conv1
  21   %conv2 = zext i8 %neg to i32
  22   %shl = shl nuw i32 %conv2, 24
  23   br label %for.cond
  24 }