1 # RUN: not llc -march=x86-64 -start-after branch-folder -stop-after branch-folder -o /dev/null %s 2>&1 | FileCheck %s 2 # This test ensures that an error is reported when an invalid machine basic 3 # block index is used. 4 5 6 --- | 7 8 define i32 @foo(i32* %p) { 9 entry: 10 %a = load i32, i32* %p 11 %b = icmp sle i32 %a, 10 12 br i1 %b, label %0, label %1 13 14 ; <label>:0 15 ret i32 0 16 17 ; <label>:1 18 ret i32 %a 19 } 20 21 ... 22 --- 23 name: foo 24 body: | 25 bb.0.entry: 26 %eax = MOV32rm %rdi, 1, _, 0, _ 27 CMP32ri8 %eax, 10, implicit-def %eflags 28 ; CHECK: [[@LINE+1]]:10: use of undefined machine basic block #4 29 JG_1 %bb.4, implicit %eflags 30 31 bb.1: 32 %eax = MOV32r0 implicit-def %eflags 33 34 bb.2: 35 RETQ %eax 36 ... 37
