llvm/test/CodeGen/X86/pr35763.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc -mtriple=x86_64-linux-gnu %s -o - | FileCheck %s
   3
   4 %struct.S = type <{ i16, i24, [5 x i8], i8, i16, [2 x i8] }>
   5
   6 @z = dso_local global { i16, i8, i8, i8, i8, i8, i8, i8, i8, i8, [5 x i8] } { i16 -724, i8 94, i8 -18, i8 5, i8 undef, i8 96, i8 104, i8 -24, i8 10, i8 0, [5 x i8] undef }, align 8
   7 @tf_3_var_136 = dso_local global i64 0, align 8
   8 @.str = private unnamed_addr constant [6 x i8] c"%llu\0A\00", align 1
   9
  10 define dso_local void @PR35763() {
  11 ; CHECK-LABEL: PR35763:
  12 ; CHECK:       # %bb.0: # %entry
  13 ; CHECK-NEXT:    movzwl z(%rip), %eax
  14 ; CHECK-NEXT:    movzwl z+2(%rip), %ecx
  15 ; CHECK-NEXT:    orl %eax, %ecx
  16 ; CHECK-NEXT:    movq %rcx, tf_3_var_136(%rip)
  17 ; CHECK-NEXT:    movl z+6(%rip), %eax
  18 ; CHECK-NEXT:    movzbl z+10(%rip), %ecx
  19 ; CHECK-NEXT:    shlq $32, %rcx
  20 ; CHECK-NEXT:    orq %rax, %rcx
  21 ; CHECK-NEXT:    movabsq $1090921758719, %rax # imm = 0xFE0000FFFF
  22 ; CHECK-NEXT:    andq %rcx, %rax
  23 ; CHECK-NEXT:    movl %eax, z+6(%rip)
  24 ; CHECK-NEXT:    shrq $32, %rax
  25 ; CHECK-NEXT:    movb %al, z+10(%rip)
  26 ; CHECK-NEXT:    retq
  27 entry:
  28   %0 = load i16, ptr @z, align 8
  29   %conv = sext i16 %0 to i32
  30   %bf.load = load i32, ptr getelementptr inbounds (%struct.S, ptr @z, i32 0, i32 1), align 2
  31   %bf.clear = and i32 %bf.load, 2097151
  32   %bf.cast = zext i32 %bf.clear to i64
  33   %conv1 = trunc i64 %bf.cast to i32
  34   %or = or i32 %conv, %conv1
  35   %conv2 = trunc i32 %or to i16
  36   %conv3 = zext i16 %conv2 to i64
  37   store i64 %conv3, ptr @tf_3_var_136, align 8
  38   %bf.load4 = load i40, ptr getelementptr inbounds (%struct.S, ptr @z, i32 0, i32 2), align 2
  39   %bf.clear5 = and i40 %bf.load4, -8589869057
  40   store i40 %bf.clear5, ptr getelementptr inbounds (%struct.S, ptr @z, i32 0, i32 2), align 2
  41   ret void
  42 }