[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / Mips / indirect-jump-hazard / guards-verify-tailcall.mir
blobe13c93bec248abdb1f488d1dd82aec38408446f5
1 # RUN: not llc -mtriple=mips-mti-linux-gnu -mcpu=mips32r2 %s \
2 # RUN:         -start-after=finalize-isel -stop-after=finalize-isel \
3 # RUN:         -verify-machineinstrs -mattr=+use-indirect-jump-hazard -o - 2>&1 \
4 # RUN:   | FileCheck %s
6 # That that tail calls are checked when using indirect jump guards (hazard variant).
8 # CHECK: Bad machine code: invalid instruction when using jump guards!
9 --- |
10   define i32 @fooTail(i32 (i32)* nocapture %f1) {
11   entry:
12     %0 = tail call i32 %f1(i32 14)
13     ret i32 %0
14   }
16 ...
17 ---
18 name:            fooTail
19 alignment:       4
20 exposesReturnsTwice: false
21 legalized:       false
22 regBankSelected: false
23 selected:        false
24 tracksRegLiveness: true
25 registers:
26   - { id: 0, class: gpr32, preferred-register: '' }
27   - { id: 1, class: gpr32, preferred-register: '' }
28 liveins:
29   - { reg: '$a0', virtual-reg: '%0' }
30 frameInfo:
31   isFrameAddressTaken: false
32   isReturnAddressTaken: false
33   hasStackMap:     false
34   hasPatchPoint:   false
35   stackSize:       0
36   offsetAdjustment: 0
37   maxAlignment:    1
38   adjustsStack:    false
39   hasCalls:        false
40   stackProtector:  ''
41   maxCallFrameSize: 4294967295
42   hasOpaqueSPAdjustment: false
43   hasVAStart:      false
44   hasMustTailInVarArgFunc: false
45   savePoint:       ''
46   restorePoint:    ''
47 fixedStack:
48 stack:
49 constants:
50 body:             |
51   bb.0.entry:
52     liveins: $a0
54     %0:gpr32 = COPY $a0
55     %1:gpr32 = ADDiu $zero, 14
56     $a0 = COPY %1
57     TAILCALLREG %0, csr_o32, implicit-def dead $at, implicit $a0
59 ...