llvm/test/CodeGen/X86/pr34137.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc < %s -mtriple=x86_64-unknown-linux-gnu | FileCheck %s
   3
   4 @var_3 = external dso_local global i16, align 2
   5 @var_13 = external dso_local global i16, align 2
   6 @var_212 = external dso_local global i64, align 8
   7
   8 define void @pr34127() {
   9 ; CHECK-LABEL: pr34127:
  10 ; CHECK:       # %bb.0: # %entry
  11 ; CHECK-NEXT:    movzwl var_3(%rip), %eax
  12 ; CHECK-NEXT:    movzwl var_13(%rip), %ecx
  13 ; CHECK-NEXT:    andl %eax, %ecx
  14 ; CHECK-NEXT:    xorl %edx, %edx
  15 ; CHECK-NEXT:    andl %eax, %ecx
  16 ; CHECK-NEXT:    movzwl %cx, %ecx
  17 ; CHECK-NEXT:    movl %ecx, -{{[0-9]+}}(%rsp)
  18 ; CHECK-NEXT:    sete %dl
  19 ; CHECK-NEXT:    andl %eax, %edx
  20 ; CHECK-NEXT:    movq %rdx, var_212(%rip)
  21 ; CHECK-NEXT:    movw $0, (%rax)
  22 ; CHECK-NEXT:    retq
  23 entry:
  24   %a = alloca i32, align 4
  25   %0 = load i16, i16* @var_3, align 2
  26   %conv = zext i16 %0 to i32
  27   %1 = load i16, i16* @var_3, align 2
  28   %conv1 = zext i16 %1 to i32
  29   %2 = load i16, i16* @var_13, align 2
  30   %conv2 = zext i16 %2 to i32
  31   %and = and i32 %conv1, %conv2
  32   %and3 = and i32 %conv, %and
  33   store i32 %and3, i32* %a, align 4
  34   %3 = load i16, i16* @var_3, align 2
  35   %conv4 = zext i16 %3 to i32
  36   %4 = load i16, i16* @var_3, align 2
  37   %conv5 = zext i16 %4 to i32
  38   %5 = load i16, i16* @var_13, align 2
  39   %conv6 = zext i16 %5 to i32
  40   %and7 = and i32 %conv5, %conv6
  41   %and8 = and i32 %conv4, %and7
  42   %tobool = icmp ne i32 %and8, 0
  43   %lnot = xor i1 %tobool, true
  44   %conv9 = zext i1 %lnot to i32
  45   %6 = load i16, i16* @var_3, align 2
  46   %conv10 = zext i16 %6 to i32
  47   %and11 = and i32 %conv9, %conv10
  48   %conv12 = sext i32 %and11 to i64
  49   store i64 %conv12, i64* @var_212, align 8
  50   %conv14 = zext i1 undef to i16
  51   store i16 %conv14, i16* undef, align 2
  52   ret void
  53 }