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