1 ; XFAIL: * 2 ; RUN: llc -verify-machineinstrs -mcpu=pwr7 < %s | FileCheck %s 3 target datalayout = "E-m:e-i64:64-n32:64" 4 target triple = "powerpc64-unknown-linux-gnu" 5 6 ; Function Attrs: nounwind 7 define void @foo(i32 signext %a, i32 signext %b) #0 { 8 entry: 9 %cmp = icmp sgt i32 %a, 5 10 %cmp1 = icmp slt i32 %b, 3 11 %or.cond = or i1 %cmp, %cmp1 12 br i1 %or.cond, label %if.then, label %if.else 13 14 ; CHECK-LABEL: @foo 15 ; CHECK: li 16 ; CHECK: li 17 ; CHECK: sub 18 ; CHECK: sub 19 ; CHECK: rldicl 20 ; CHECK: rldicl 21 ; CHECK: or. 22 ; CHECK: blr 23 24 if.then: ; preds = %entry 25 tail call void bitcast (void (...)* @bar to void ()*)() #0 26 br label %if.end 27 28 if.else: ; preds = %entry 29 tail call void bitcast (void (...)* @car to void ()*)() #0 30 br label %if.end 31 32 if.end: ; preds = %if.else, %if.then 33 ret void 34 } 35 36 declare void @bar(...) 37 38 declare void @car(...) 39 40 attributes #0 = { nounwind } 41 42
