917b3d13b5
This patch intersects poison-generating flags after CSE to fix assertion failure reported in https://github.com/llvm/llvm-project/pull/112354#issuecomment-2452369552. Co-authored-by: Antonio Frighetto <me@antoniofrighetto.com>
24 lines
849 B
LLVM
24 lines
849 B
LLVM
; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 5
|
|
; RUN: llc -mtriple=arm-eabi -o - %s | FileCheck %s
|
|
|
|
; Ensure poison-generating flags are stripped by the time a freeze operand is visited.
|
|
|
|
define i1 @drop_flags(i32 noundef %numentries, i64 %cond, i64 %arg) {
|
|
; CHECK-LABEL: drop_flags:
|
|
; CHECK: @ %bb.0: @ %entry
|
|
; CHECK-NEXT: ldm sp, {r1, r12}
|
|
; CHECK-NEXT: subs r1, r2, r1
|
|
; CHECK-NEXT: sbcs r1, r3, r12
|
|
; CHECK-NEXT: movlo r0, r2
|
|
; CHECK-NEXT: rsbs r1, r0, #0
|
|
; CHECK-NEXT: adc r0, r0, r1
|
|
; CHECK-NEXT: mov pc, lr
|
|
entry:
|
|
%cmp4 = icmp samesign ult i64 %cond, %arg
|
|
%conv6 = trunc nuw i64 %cond to i32
|
|
%spec.select = select i1 %cmp4, i32 %conv6, i32 %numentries
|
|
%spec.select.fr = freeze i32 %spec.select
|
|
%cmpz = icmp eq i32 %spec.select.fr, 0
|
|
ret i1 %cmpz
|
|
}
|