1# This file tests the scenario: ISEL RX, RY, R0, 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:       4
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 $r4, $r0, $cr0gt
49    ; CHECK: BC $cr0gt, %[[TRUE:bb.[0-9]+]]
50    ; CHECK: %[[FALSE:bb.[0-9]+]]
51    ; CHECK: $r3 = ORI $r0, 0
52    ; CHECK: B %[[SUCCESSOR:bb.[0-9]+]]
53    ; CHECK: [[TRUE]]
54    ; CHECK: $r3 = ADDI  $r4, 0
55
56    $x3 = EXTSW_32_64  $r3
57
58...
59