| ; RUN: llc -mcpu=generic -mtriple=powerpc64le-unknown-unknown -O0 < %s \  | 
 | ; RUN:   -verify-machineinstrs | FileCheck %s --check-prefix=GENERIC | 
 | ; RUN: llc -mcpu=ppc -mtriple=powerpc64le-unknown-unknown -O0 < %s \ | 
 | ; RUN:   -verify-machineinstrs | FileCheck %s | 
 |  | 
 | define i32 @bad(double %x) { | 
 |   %1 = fptoui double %x to i32 | 
 |   ret i32 %1 | 
 |  | 
 | ; CHECK: fctidz [[REG0:[0-9]+]], 1 | 
 | ; CHECK: stfd [[REG0]], [[OFF:.*]](1) | 
 | ; CHECK: lwz {{[0-9]*}}, [[OFF]](1) | 
 | ; GENERIC: xscvdpuxws [[REG0:[0-9]+]], 1 | 
 | ; GENERIC: mffprwz  {{[0-9]*}}, [[REG0]] | 
 | } | 
 |  | 
 | define i32 @bad1(float %x) { | 
 | entry: | 
 |   %0 = fptosi float %x to i32 | 
 |   ret i32 %0 | 
 |  | 
 | ; CHECK: fctiwz [[REG0:[0-9]+]], 1 | 
 | ; CHECK: stfd [[REG0]], [[OFF:.*]](1) | 
 | ; CHECK: lwa {{[0-9]*}}, [[OFF]](1) | 
 | ; GENERIC: xscvdpsxws [[REG0:[0-9]+]], 1 | 
 | ; GENERIC: mffprwz  {{[0-9]*}}, [[REG0]] | 
 | } |