[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / MIR / X86 / undefined-ir-block-slot-in-blockaddress.mir
blobbe0690b02a42849c99f83e4a5d50075d6f90a4c4
1 # RUN: not llc -march=x86-64 -run-pass none -o /dev/null %s 2>&1 | FileCheck %s
3 --- |
5   @addr = global i8* null
7   define void @test() {
8   entry:
9     store volatile i8* blockaddress(@test, %0), i8** @addr
10     %val = load volatile i8*, i8** @addr
11     indirectbr i8* %val, [label %0]
13     ret void
14   }
16 ...
17 ---
18 name:            test
19 body: |
20   bb.0.entry:
21     successors: %bb.1
22     ; CHECK: [[@LINE+1]]:51: use of undefined IR block '%ir-block.1'
23     $rax = LEA64r $rip, 1, _, blockaddress(@test, %ir-block.1), _
24     MOV64mr $rip, 1, _, @addr, _, killed $rax
25     JMP64m $rip, 1, _, @addr, _
27   bb.1 (address-taken):
28     RETQ
29 ...