1# RUN: llc -verify-machineinstrs -start-before=ppc-pre-emit-peephole %s -o - | FileCheck %s 2--- | 3 target datalayout = "e-m:e-i64:64-n32:64" 4 target triple = "powerpc64le-unknown-linux-gnu" 5 6 declare signext i32 @callee(i32 signext) local_unnamed_addr #1 7 8 define signext i32 @func(i32 signext %v) local_unnamed_addr #0 { 9 entry: 10 %call.i = tail call signext i32 @callee(i32 signext %v) 11 %tobool.i = icmp eq i32 %call.i, 0 12 br i1 %tobool.i, label %if.else.i, label %if.then.i 13 14 if.then.i: ; preds = %entry 15 %call2.i = tail call signext i32 @callee(i32 signext %call.i) 16 br label %_Z6calleei.exit 17 18 if.else.i: ; preds = %entry 19 %phitmp = icmp sgt i32 %v, -1 20 br label %_Z6calleei.exit 21 22 _Z6calleei.exit: ; preds = %if.else.i, %if.then.i 23 %call2.i.sink = phi i32 [ %call2.i, %if.then.i ], [ %v, %if.else.i ] 24 %.sink = phi i1 [ false, %if.then.i ], [ %phitmp, %if.else.i ] 25 br i1 %.sink, label %if.end, label %if.then 26 27 if.then: ; preds = %_Z6calleei.exit 28 %call1 = tail call signext i32 @callee(i32 signext 0) 29 br label %if.end 30 31 if.end: ; preds = %if.then, %_Z6calleei.exit 32 ret i32 %call2.i.sink 33 } 34 35 attributes #0 = { "correctly-rounded-divide-sqrt-fp-math"="false" "disable-tail-calls"="false" "less-precise-fpmad"="false" "frame-pointer"="none" "no-infs-fp-math"="false" "no-jump-tables"="false" "no-nans-fp-math"="false" "no-signed-zeros-fp-math"="false" "no-trapping-math"="false" "stack-protector-buffer-size"="8" "target-cpu"="ppc64le" "target-features"="+altivec,+bpermd,+crypto,+direct-move,+extdiv,+htm,+power8-vector,+vsx,-power9-vector" "unsafe-fp-math"="false" "use-soft-float"="false" } 36 attributes #1 = { "correctly-rounded-divide-sqrt-fp-math"="false" "disable-tail-calls"="false" "less-precise-fpmad"="false" "frame-pointer"="none" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "no-signed-zeros-fp-math"="false" "no-trapping-math"="false" "stack-protector-buffer-size"="8" "target-cpu"="ppc64le" "target-features"="+altivec,+bpermd,+crypto,+direct-move,+extdiv,+htm,+power8-vector,+vsx,-power9-vector" "unsafe-fp-math"="false" "use-soft-float"="false" } 37 38... 39--- 40name: func 41alignment: 16 42exposesReturnsTwice: false 43legalized: false 44regBankSelected: false 45selected: false 46failedISel: false 47tracksRegLiveness: true 48registers: 49liveins: 50 - { reg: '$x3', virtual-reg: '' } 51frameInfo: 52 isFrameAddressTaken: false 53 isReturnAddressTaken: false 54 hasStackMap: false 55 hasPatchPoint: false 56 stackSize: 48 57 offsetAdjustment: 0 58 maxAlignment: 0 59 adjustsStack: true 60 hasCalls: true 61 stackProtector: '' 62 maxCallFrameSize: 32 63 hasOpaqueSPAdjustment: false 64 hasVAStart: false 65 hasMustTailInVarArgFunc: false 66 localFrameSize: 0 67 savePoint: '' 68 restorePoint: '' 69fixedStack: 70 - { id: 0, type: spill-slot, offset: -16, size: 8, alignment: 16, stack-id: default, 71 callee-saved-register: '$x30', callee-saved-restored: true, debug-info-variable: '', 72 debug-info-expression: '', debug-info-location: '' } 73stack: 74constants: 75 76body: | 77 bb.0.entry: 78 successors: %bb.2(0x30000000), %bb.1(0x50000000) 79 liveins: $x3, $x30 80 81 ; bc should be converted into b, and creqv (CRSET) should be removed since it isn't used. 82 ; CHECK-LABEL: func 83 ; CHECK: # %bb.1 84 ; CHECK-NOT: creqv 85 ; CHECK-NOT: bc 86 ; CHECK: .LBB0_2 87 88 $x0 = MFLR8 implicit $lr8 89 STD killed $x0, 16, $x1 90 $x1 = STDU $x1, -48, $x1 91 STD killed $x30, 32, $x1 :: (store 8 into %fixed-stack.0, align 16) 92 $x30 = OR8 $x3, $x3 93 BL8_NOP @callee, csr_ppc64_altivec, implicit-def dead $lr8, implicit $rm, implicit killed $x3, implicit $x2, implicit-def $r1, implicit-def $x3 94 renamable $cr0 = CMPLWI renamable $r3, 0 95 BCC 76, killed renamable $cr0, %bb.2 96 97 bb.1.if.then.i: 98 successors: %bb.5(0x40000000), %bb.4(0x40000000) 99 liveins: $x3 100 101 renamable $x3 = EXTSW_32_64 killed renamable $r3, implicit $x3 102 BL8_NOP @callee, csr_ppc64_altivec, implicit-def dead $lr8, implicit $rm, implicit killed $x3, implicit $x2, implicit-def $r1, implicit-def $x3 103 renamable $cr0gt = CRSET implicit-def $cr0 104 $x30 = OR8 killed $x3, $x3 105 BC killed renamable $cr0gt, %bb.5 106 107 bb.4.if.then: 108 successors: %bb.5(0x80000000) 109 liveins: $x30 110 111 $x3 = LI8 0 112 BL8_NOP @callee, csr_ppc64_altivec, implicit-def dead $lr8, implicit $rm, implicit killed $x3, implicit $x2, implicit-def $r1, implicit-def dead $x3 113 114 bb.5.if.end: 115 liveins: $x30 116 117 renamable $x3 = EXTSW_32_64 killed renamable $r30, implicit $x30 118 $x30 = LD 32, $x1 :: (load 8 from %fixed-stack.0, align 16) 119 $x1 = ADDI8 $x1, 48 120 $x0 = LD 16, $x1 121 MTLR8 killed $x0, implicit-def $lr8 122 BLR8 implicit $lr8, implicit $rm, implicit killed $x3 123 124 bb.2.if.else.i: 125 successors: %bb.5(0x40000000), %bb.4(0x40000000) 126 liveins: $x30 127 128 renamable $cr0 = CMPWI renamable $r30, -1 129 BCn killed renamable $cr0gt, %bb.4 130 B %bb.5 131 132... 133