llvm/test/CodeGen/X86/pr33290.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc < %s -mtriple=i686-unknown-unknown | FileCheck %s --check-prefix=X86
   3 ; RUN: llc < %s -mtriple=x86_64-unknown-unknown | FileCheck %s --check-prefix=X64
   4
   5 @a = common dso_local global i32 0, align 4
   6 @c = common dso_local local_unnamed_addr global i8 0, align 1
   7 @b = common dso_local local_unnamed_addr global ptr null, align 8
   8
   9 define dso_local void @e() {
  10 ; X86-LABEL: e:
  11 ; X86:       # %bb.0: # %entry
  12 ; X86-NEXT:    movl b, %eax
  13 ; X86-NEXT:    .p2align 4
  14 ; X86-NEXT:  .LBB0_1: # %for.cond
  15 ; X86-NEXT:    # =>This Inner Loop Header: Depth=1
  16 ; X86-NEXT:    movzbl c, %ecx
  17 ; X86-NEXT:    movb $0, c
  18 ; X86-NEXT:    leal a+2(%ecx), %ecx
  19 ; X86-NEXT:    movl %ecx, (%eax)
  20 ; X86-NEXT:    jmp .LBB0_1
  21 ;
  22 ; X64-LABEL: e:
  23 ; X64:       # %bb.0: # %entry
  24 ; X64-NEXT:    movq b(%rip), %rax
  25 ; X64-NEXT:    .p2align 4
  26 ; X64-NEXT:  .LBB0_1: # %for.cond
  27 ; X64-NEXT:    # =>This Inner Loop Header: Depth=1
  28 ; X64-NEXT:    movzbl c(%rip), %ecx
  29 ; X64-NEXT:    addq $a, %rcx
  30 ; X64-NEXT:    setb %dl
  31 ; X64-NEXT:    addq $2, %rcx
  32 ; X64-NEXT:    adcb $0, %dl
  33 ; X64-NEXT:    movb %dl, c(%rip)
  34 ; X64-NEXT:    movl %ecx, (%rax)
  35 ; X64-NEXT:    jmp .LBB0_1
  36 entry:
  37   %0 = load ptr, ptr @b, align 8
  38   br label %for.cond
  39
  40 for.cond:
  41   %1 = load i8, ptr @c, align 1
  42   %conv = zext i8 %1 to i128
  43   %add = add nuw nsw i128 %conv, add (i128 ptrtoint (ptr @a to i128), i128 2)
  44   %2 = lshr i128 %add, 64
  45   %conv1 = trunc i128 %2 to i8
  46   store i8 %conv1, ptr @c, align 1
  47   %conv2 = trunc i128 %add to i32
  48   store i32 %conv2, ptr %0, align 4
  49   br label %for.cond
  50 }