# 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
...