|  | ; RUN: llc -verify-machineinstrs < %s -mattr=-vsx -mtriple=powerpc-apple-darwin | FileCheck %s | 
|  |  | 
|  | define double @fabs(double %f) { | 
|  | ; CHECK-LABEL: fabs: | 
|  | ; CHECK:       ; %bb.0: | 
|  | ; CHECK-NEXT:    fabs f1, f1 | 
|  | ; CHECK-NEXT:    blr | 
|  | ; | 
|  | %t = tail call double @fabs( double %f ) readnone | 
|  | ret double %t | 
|  | } | 
|  |  | 
|  | define float @bitcast_fabs(float %x) { | 
|  | ; CHECK-LABEL: bitcast_fabs: | 
|  | ; CHECK:       ; %bb.0: | 
|  | ; CHECK-NEXT:    stfs f1, -8(r1) | 
|  | ; CHECK:         lwz r2, -8(r1) | 
|  | ; CHECK-NEXT:    clrlwi r2, r2, 1 | 
|  | ; CHECK-NEXT:    stw r2, -4(r1) | 
|  | ; CHECK-NEXT:    lfs f1, -4(r1) | 
|  | ; CHECK-NEXT:    blr | 
|  | ; | 
|  | %bc1 = bitcast float %x to i32 | 
|  | %and = and i32 %bc1, 2147483647 | 
|  | %bc2 = bitcast i32 %and to float | 
|  | ret float %bc2 | 
|  | } | 
|  |  |