llvm/test/CodeGen/X86/2006-10-10-FindModifiedNodeSlotBug.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc < %s -mtriple=i686-- | FileCheck %s
   3 ; Bug in FindModifiedNodeSlot cause tmp14 load to become a zextload and shr 31
   4 ; is then optimized away.
   5 @tree_code_type = external dso_local global [0 x i32]           ; <ptr> [#uses=1]
   6
   7 define void @copy_if_shared_r() {
   8 ; CHECK-LABEL: copy_if_shared_r:
   9 ; CHECK:       # %bb.0:
  10 ; CHECK-NEXT:    movl 0, %eax
  11 ; CHECK-NEXT:    movzbl %al, %ecx
  12 ; CHECK-NEXT:    movl tree_code_type(,%ecx,4), %ecx
  13 ; CHECK-NEXT:    decl %ecx
  14 ; CHECK-NEXT:    cmpl $2, %ecx
  15 ; CHECK-NEXT:    ja .LBB0_2
  16 ; CHECK-NEXT:  # %bb.1: # %cond_true
  17 ; CHECK-NEXT:    shrl $31, %eax
  18 ; CHECK-NEXT:    testb %al, %al
  19 ; CHECK-NEXT:  .LBB0_2: # %cond_true17
  20 ; CHECK-NEXT:    retl
  21         %tmp = load i32, ptr null               ; <i32> [#uses=1]
  22         %tmp56 = and i32 %tmp, 255              ; <i32> [#uses=1]
  23         %gep.upgrd.1 = zext i32 %tmp56 to i64           ; <i64> [#uses=1]
  24         %tmp8 = getelementptr [0 x i32], ptr @tree_code_type, i32 0, i64 %gep.upgrd.1   ; <ptr> [#uses=1]
  25         %tmp9 = load i32, ptr %tmp8             ; <i32> [#uses=1]
  26         %tmp10 = add i32 %tmp9, -1              ; <i32> [#uses=1]
  27         %tmp.upgrd.2 = icmp ugt i32 %tmp10, 2           ; <i1> [#uses=1]
  28         %tmp14 = load i32, ptr null             ; <i32> [#uses=1]
  29         %tmp15 = lshr i32 %tmp14, 31            ; <i32> [#uses=1]
  30         %tmp15.upgrd.3 = trunc i32 %tmp15 to i8         ; <i8> [#uses=1]
  31         %tmp16 = icmp ne i8 %tmp15.upgrd.3, 0           ; <i1> [#uses=1]
  32         br i1 %tmp.upgrd.2, label %cond_false25, label %cond_true
  33 cond_true:              ; preds = %0
  34         br i1 %tmp16, label %cond_true17, label %cond_false
  35 cond_true17:            ; preds = %cond_true
  36         ret void
  37 cond_false:             ; preds = %cond_true
  38         ret void
  39 cond_false25:           ; preds = %0
  40         ret void
  41 }
  42