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