blob: 78af936a4d3d56393c88abede00139da1dbc883d [file] [log] [blame]
Benjamin Kramer51bf9342012-07-12 09:36:29 +00001; RUN: llc < %s -march=x86-64 -mattr=+rdrand | FileCheck %s
Benjamin Kramerb9bee042012-07-12 09:31:43 +00002declare {i16, i32} @llvm.x86.rdrand.16()
3declare {i32, i32} @llvm.x86.rdrand.32()
4declare {i64, i32} @llvm.x86.rdrand.64()
5
6define i32 @_rdrand16_step(i16* %random_val) {
7 %call = call {i16, i32} @llvm.x86.rdrand.16()
8 %randval = extractvalue {i16, i32} %call, 0
9 store i16 %randval, i16* %random_val
10 %isvalid = extractvalue {i16, i32} %call, 1
11 ret i32 %isvalid
12; CHECK: _rdrand16_step:
13; CHECK: rdrandw %ax
NAKAMURA Takumi223875e2012-07-12 10:22:57 +000014; CHECK: movw %ax, (%r[[A0:di|cx]])
Benjamin Kramerb9bee042012-07-12 09:31:43 +000015; CHECK: movzwl %ax, %ecx
16; CHECK: movl $1, %eax
17; CHECK: cmovael %ecx, %eax
18; CHECK: ret
19}
20
21define i32 @_rdrand32_step(i32* %random_val) {
22 %call = call {i32, i32} @llvm.x86.rdrand.32()
23 %randval = extractvalue {i32, i32} %call, 0
24 store i32 %randval, i32* %random_val
25 %isvalid = extractvalue {i32, i32} %call, 1
26 ret i32 %isvalid
27; CHECK: _rdrand32_step:
NAKAMURA Takumi223875e2012-07-12 10:22:57 +000028; CHECK: rdrandl %e[[T0:[a-z]+]]
29; CHECK: movl %e[[T0]], (%r[[A0]])
Benjamin Kramerb9bee042012-07-12 09:31:43 +000030; CHECK: movl $1, %eax
NAKAMURA Takumi223875e2012-07-12 10:22:57 +000031; CHECK: cmovael %e[[T0]], %eax
Benjamin Kramerb9bee042012-07-12 09:31:43 +000032; CHECK: ret
33}
34
35define i32 @_rdrand64_step(i64* %random_val) {
36 %call = call {i64, i32} @llvm.x86.rdrand.64()
37 %randval = extractvalue {i64, i32} %call, 0
38 store i64 %randval, i64* %random_val
39 %isvalid = extractvalue {i64, i32} %call, 1
40 ret i32 %isvalid
41; CHECK: _rdrand64_step:
NAKAMURA Takumi223875e2012-07-12 10:22:57 +000042; CHECK: rdrandq %r[[T1:[[a-z]+]]
43; CHECK: movq %r[[T1]], (%r[[A0]])
Benjamin Kramerb9bee042012-07-12 09:31:43 +000044; CHECK: movl $1, %eax
NAKAMURA Takumi223875e2012-07-12 10:22:57 +000045; CHECK: cmovael %e[[T1]], %eax
Benjamin Kramerb9bee042012-07-12 09:31:43 +000046; CHECK: ret
47}