blob: 8e9c3a25e60c6b05d4f42a0f95215cda46b71984 [file] [log] [blame]
Tony Jiang8e8c4442017-01-16 20:12:26 +00001# This file tests the scenario: ISEL RX, ZERO, RY, CR (X != 0 && Y != 0)
2# RUN: llc -ppc-gen-isel=false -run-pass ppc-expand-isel -o - %s | FileCheck %s
3
4--- |
5 target datalayout = "E-m:e-i64:64-n32:64"
6 target triple = "powerpc64-unknown-linux-gnu"
7 define signext i32 @testExpandISEL(i32 signext %i, i32 signext %j) {
8 entry:
9 %cmp = icmp sgt i32 %i, 0
10 %add = add nsw i32 %i, 1
11 %cond = select i1 %cmp, i32 %add, i32 %j
12 ret i32 %cond
13 }
14
15...
16---
17name: testExpandISEL
18alignment: 2
19exposesReturnsTwice: false
20legalized: false
21regBankSelected: false
22selected: false
23tracksRegLiveness: true
24liveins:
25 - { reg: '%x0' }
26 - { reg: '%x3' }
27 - { reg: '%x4' }
28frameInfo:
29 isFrameAddressTaken: false
30 isReturnAddressTaken: false
31 hasStackMap: false
32 hasPatchPoint: false
33 stackSize: 0
34 offsetAdjustment: 0
35 maxAlignment: 0
36 adjustsStack: false
37 hasCalls: false
38 maxCallFrameSize: 0
39 hasOpaqueSPAdjustment: false
40 hasVAStart: false
41 hasMustTailInVarArgFunc: false
42body: |
43 bb.0.entry:
44 liveins: %x0, %x3, %x4
45
46 %r5 = ADDI %r3, 1
47 %cr0 = CMPWI %r3, 0
48 %r3 = ISEL %zero, %r4, %cr0gt
49 ; CHECK: BC %cr0gt, %[[TRUE:bb.[0-9]+]]
50 ; CHECK: %[[FALSE:bb.[0-9]+]]
51 ; CHECK: %r3 = ORI %r4, 0
52 ; CHECK: B %[[SUCCESSOR:bb.[0-9]+]]
53 ; CHECK: [[TRUE]]
54 ; CHECK: %r3 = ADDI %zero, 0
55
56 %x3 = EXTSW_32_64 %r3
57...