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