1# RUN: llc -o - %s -mtriple=x86_64-- -verify-machineinstrs -run-pass branch-folder | FileCheck %s
2# Check that we do not generate invalid MIR when optimizing condjumps with undef
3# flags on the eflags input (currently we should just bail out).
4---
5# CHECK-LABEL: name: fallundef
6name: fallundef
7tracksRegLiveness: true
8body: |
9  bb.0:
10    JCC_1 %bb.1, 4, implicit undef $eflags
11    ; CHECK: JCC_1 %bb.1, 4, implicit undef $eflags
12    JMP_1 %bb.2
13  bb.1:
14    RET 2, undef $eax
15
16  bb.2:
17    RET 0, undef $eax
18...
19