test/CodeGen/X86/shl-crash-on-legalize.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ;RUN: llc < %s | FileCheck %s
   3
   4 ; This test case failed on legalization of "shl" node. PR29058.
   5
   6 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
   7 target triple = "x86_64-unknown-linux-gnu"
   8
   9 @structMember = external local_unnamed_addr global i64, align 8
  10
  11 define i32 @PR29058(i8 %x, i32 %y) {
  12 ; CHECK-LABEL: PR29058:
  13 ; CHECK:       # %bb.0: # %entry
  14 ; CHECK-NEXT:    movl %esi, %ecx
  15 ; CHECK-NEXT:    testb %dil, %dil
  16 ; CHECK-NEXT:    movl $2147483646, %eax # imm = 0x7FFFFFFE
  17 ; CHECK-NEXT:    cmovnel %esi, %eax
  18 ; CHECK-NEXT:    xorl %edx, %edx
  19 ; CHECK-NEXT:    cmpb $1, %dil
  20 ; CHECK-NEXT:    sbbb %dl, %dl
  21 ; CHECK-NEXT:    orb %dl, %cl
  22 ; CHECK-NEXT:    # kill: def $cl killed $cl killed $ecx
  23 ; CHECK-NEXT:    shll %cl, %eax
  24 ; CHECK-NEXT:    movq %rax, {{.*}}(%rip)
  25 ; CHECK-NEXT:    # kill: def $eax killed $eax killed $rax
  26 ; CHECK-NEXT:    retq
  27 entry:
  28   %bool_1 = icmp ne i8 %x, 0
  29   %bool_2 = icmp eq i8 %x, 0
  30   %0 = select i1 %bool_2, i32 2147483646, i32 %y
  31   %or_1 = select i1 %bool_1, i32 %y, i32 -1
  32   %shl_1 = shl i32 %0, %or_1
  33   %conv = zext i32 %shl_1 to i64
  34   store i64 %conv, i64* @structMember, align 8
  35   %tmp = select i1 %bool_2, i32 2147483646, i32 %y
  36   %lnot = icmp eq i8 %x, 0
  37   %or_2 = select i1 %lnot, i32 -1, i32 %y
  38   %shl_2 = shl i32 %tmp, %or_2
  39   ret i32 %shl_2
  40 }
  41