llvm/test/CodeGen/X86/rdrand.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc < %s -mtriple=i686-unknown-unknown -mcpu=core-avx-i -mattr=+rdrnd | FileCheck %s --check-prefix=X86
   3 ; RUN: llc < %s -mtriple=x86_64-unknown-unknown -mcpu=core-avx-i -mattr=+rdrnd | FileCheck %s --check-prefix=X64
   4
   5 declare {i16, i32} @llvm.x86.rdrand.16()
   6 declare {i32, i32} @llvm.x86.rdrand.32()
   7
   8 define i32 @_rdrand16_step(ptr %random_val) {
   9 ; X86-LABEL: _rdrand16_step:
  10 ; X86:       # %bb.0:
  11 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %ecx
  12 ; X86-NEXT:    rdrandw %ax
  13 ; X86-NEXT:    movzwl %ax, %edx
  14 ; X86-NEXT:    movl $1, %eax
  15 ; X86-NEXT:    cmovael %edx, %eax
  16 ; X86-NEXT:    movw %dx, (%ecx)
  17 ; X86-NEXT:    retl
  18 ;
  19 ; X64-LABEL: _rdrand16_step:
  20 ; X64:       # %bb.0:
  21 ; X64-NEXT:    rdrandw %ax
  22 ; X64-NEXT:    movzwl %ax, %ecx
  23 ; X64-NEXT:    movl $1, %eax
  24 ; X64-NEXT:    cmovael %ecx, %eax
  25 ; X64-NEXT:    movw %cx, (%rdi)
  26 ; X64-NEXT:    retq
  27   %call = call {i16, i32} @llvm.x86.rdrand.16()
  28   %randval = extractvalue {i16, i32} %call, 0
  29   store i16 %randval, ptr %random_val
  30   %isvalid = extractvalue {i16, i32} %call, 1
  31   ret i32 %isvalid
  32 }
  33
  34 define i32 @_rdrand32_step(ptr %random_val) {
  35 ; X86-LABEL: _rdrand32_step:
  36 ; X86:       # %bb.0:
  37 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %ecx
  38 ; X86-NEXT:    rdrandl %edx
  39 ; X86-NEXT:    movl $1, %eax
  40 ; X86-NEXT:    cmovael %edx, %eax
  41 ; X86-NEXT:    movl %edx, (%ecx)
  42 ; X86-NEXT:    retl
  43 ;
  44 ; X64-LABEL: _rdrand32_step:
  45 ; X64:       # %bb.0:
  46 ; X64-NEXT:    rdrandl %ecx
  47 ; X64-NEXT:    movl $1, %eax
  48 ; X64-NEXT:    cmovael %ecx, %eax
  49 ; X64-NEXT:    movl %ecx, (%rdi)
  50 ; X64-NEXT:    retq
  51   %call = call {i32, i32} @llvm.x86.rdrand.32()
  52   %randval = extractvalue {i32, i32} %call, 0
  53   store i32 %randval, ptr %random_val
  54   %isvalid = extractvalue {i32, i32} %call, 1
  55   ret i32 %isvalid
  56 }
  57
  58 ; Check that MachineCSE doesn't eliminate duplicate rdrand instructions.
  59 define i32 @CSE() nounwind {
  60 ; X86-LABEL: CSE:
  61 ; X86:       # %bb.0:
  62 ; X86-NEXT:    rdrandl %ecx
  63 ; X86-NEXT:    rdrandl %eax
  64 ; X86-NEXT:    addl %ecx, %eax
  65 ; X86-NEXT:    retl
  66 ;
  67 ; X64-LABEL: CSE:
  68 ; X64:       # %bb.0:
  69 ; X64-NEXT:    rdrandl %ecx
  70 ; X64-NEXT:    rdrandl %eax
  71 ; X64-NEXT:    addl %ecx, %eax
  72 ; X64-NEXT:    retq
  73  %rand1 = tail call { i32, i32 } @llvm.x86.rdrand.32() nounwind
  74  %v1 = extractvalue { i32, i32 } %rand1, 0
  75  %rand2 = tail call { i32, i32 } @llvm.x86.rdrand.32() nounwind
  76  %v2 = extractvalue { i32, i32 } %rand2, 0
  77  %add = add i32 %v2, %v1
  78  ret i32 %add
  79 }
  80
  81 ; Check that MachineLICM doesn't hoist rdrand instructions.
  82 define void @loop(ptr %p, i32 %n) nounwind {
  83 ; X86-LABEL: loop:
  84 ; X86:       # %bb.0: # %entry
  85 ; X86-NEXT:    pushl %esi
  86 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %eax
  87 ; X86-NEXT:    testl %eax, %eax
  88 ; X86-NEXT:    je .LBB3_3
  89 ; X86-NEXT:  # %bb.1: # %while.body.preheader
  90 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %ecx
  91 ; X86-NEXT:    xorl %edx, %edx
  92 ; X86-NEXT:    .p2align 4
  93 ; X86-NEXT:  .LBB3_2: # %while.body
  94 ; X86-NEXT:    # =>This Inner Loop Header: Depth=1
  95 ; X86-NEXT:    rdrandl %esi
  96 ; X86-NEXT:    movl %esi, (%ecx,%edx,4)
  97 ; X86-NEXT:    incl %edx
  98 ; X86-NEXT:    cmpl %edx, %eax
  99 ; X86-NEXT:    jne .LBB3_2
 100 ; X86-NEXT:  .LBB3_3: # %while.end
 101 ; X86-NEXT:    popl %esi
 102 ; X86-NEXT:    retl
 103 ;
 104 ; X64-LABEL: loop:
 105 ; X64:       # %bb.0: # %entry
 106 ; X64-NEXT:    testl %esi, %esi
 107 ; X64-NEXT:    je .LBB3_3
 108 ; X64-NEXT:  # %bb.1: # %while.body.preheader
 109 ; X64-NEXT:    movl %esi, %eax
 110 ; X64-NEXT:    xorl %ecx, %ecx
 111 ; X64-NEXT:    .p2align 4
 112 ; X64-NEXT:  .LBB3_2: # %while.body
 113 ; X64-NEXT:    # =>This Inner Loop Header: Depth=1
 114 ; X64-NEXT:    rdrandl %edx
 115 ; X64-NEXT:    movl %edx, (%rdi,%rcx,4)
 116 ; X64-NEXT:    incq %rcx
 117 ; X64-NEXT:    cmpl %ecx, %eax
 118 ; X64-NEXT:    jne .LBB3_2
 119 ; X64-NEXT:  .LBB3_3: # %while.end
 120 ; X64-NEXT:    retq
 121 entry:
 122   %tobool1 = icmp eq i32 %n, 0
 123   br i1 %tobool1, label %while.end, label %while.body
 124
 125 while.body:                                       ; preds = %entry, %while.body
 126   %p.addr.03 = phi ptr [ %incdec.ptr, %while.body ], [ %p, %entry ]
 127   %n.addr.02 = phi i32 [ %dec, %while.body ], [ %n, %entry ]
 128   %dec = add nsw i32 %n.addr.02, -1
 129   %incdec.ptr = getelementptr inbounds i32, ptr %p.addr.03, i64 1
 130   %rand = tail call { i32, i32 } @llvm.x86.rdrand.32() nounwind
 131   %v1 = extractvalue { i32, i32 } %rand, 0
 132   store i32 %v1, ptr %p.addr.03, align 4
 133   %tobool = icmp eq i32 %dec, 0
 134   br i1 %tobool, label %while.end, label %while.body
 135
 136 while.end:                                        ; preds = %while.body, %entry
 137   ret void
 138 }