1 # RUN: llc -verify-machineinstrs -start-before=ppc-pre-emit-peephole %s -o - | FileCheck %s
3 target datalayout = "e-m:e-i64:64-n32:64"
4 target triple = "powerpc64le-unknown-linux-gnu"
6 declare signext i32 @callee(i32 signext) local_unnamed_addr #1
8 define signext i32 @func(i32 signext %v) local_unnamed_addr #0 {
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
14 if.then.i: ; preds = %entry
15 %call2.i = tail call signext i32 @callee(i32 signext %call.i)
16 br label %_Z6calleei.exit
18 if.else.i: ; preds = %entry
19 %phitmp = icmp sgt i32 %v, -1
20 br label %_Z6calleei.exit
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
27 if.then: ; preds = %_Z6calleei.exit
28 %call1 = tail call signext i32 @callee(i32 signext 0)
31 if.end: ; preds = %if.then, %_Z6calleei.exit
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" }
42 exposesReturnsTwice: false
44 regBankSelected: false
47 tracksRegLiveness: true
50 - { reg: '$x3', virtual-reg: '' }
52 isFrameAddressTaken: false
53 isReturnAddressTaken: false
63 hasOpaqueSPAdjustment: false
65 hasMustTailInVarArgFunc: false
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: '' }
78 successors: %bb.2(0x30000000), %bb.1(0x50000000)
81 ; bc should be converted into b, and creqv (CRSET) should be removed since it isn't used.
88 $x0 = MFLR8 implicit $lr8
89 STD killed $x0, 16, $x1
90 $x1 = STDU $x1, -48, $x1
91 STD killed $x30, 32, $x1 :: (store (s64) into %fixed-stack.0, align 16)
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
98 successors: %bb.5(0x40000000), %bb.4(0x40000000)
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
108 successors: %bb.5(0x80000000)
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
117 renamable $x3 = EXTSW_32_64 killed renamable $r30, implicit $x30
118 $x30 = LD 32, $x1 :: (load (s64) from %fixed-stack.0, align 16)
121 MTLR8 killed $x0, implicit-def $lr8
122 BLR8 implicit $lr8, implicit $rm, implicit killed $x3
125 successors: %bb.5(0x40000000), %bb.4(0x40000000)
128 renamable $cr0 = CMPWI renamable $r30, -1
129 BCn killed renamable $cr0gt, %bb.4