Skip to content

Commit 1b9f288

Browse files
committed
Precommit test for propogate disjoint.NFC
Signed-off-by: feng.feng <[email protected]>
1 parent 478c420 commit 1b9f288

File tree

1 file changed

+22
-0
lines changed

1 file changed

+22
-0
lines changed
Lines changed: 22 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,22 @@
1+
; NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
2+
; RUN: llc -mtriple=x86_64 %s -start-before=x86-isel -o - -stop-after=x86-isel | FileCheck %s
3+
4+
define void @add_shl_or_disjoint(i32 %x, ptr addrspace(1) %o) {
5+
; CHECK-LABEL: name: add_shl_or_disjoint
6+
; CHECK: bb.0 (%ir-block.0):
7+
; CHECK-NEXT: liveins: $edi, $rsi
8+
; CHECK-NEXT: {{ $}}
9+
; CHECK-NEXT: [[COPY:%[0-9]+]]:gr64 = COPY $rsi
10+
; CHECK-NEXT: [[COPY1:%[0-9]+]]:gr32 = COPY $edi
11+
; CHECK-NEXT: [[SHL32ri:%[0-9]+]]:gr32 = SHL32ri [[COPY1]], 2, implicit-def dead $eflags
12+
; CHECK-NEXT: [[OR32ri:%[0-9]+]]:gr32 = OR32ri [[SHL32ri]], -1069531068, implicit-def dead $eflags
13+
; CHECK-NEXT: [[ADD32ri:%[0-9]+]]:gr32 = ADD32ri [[OR32ri]], 1234567890, implicit-def dead $eflags
14+
; CHECK-NEXT: MOV32mr [[COPY]], 1, $noreg, 0, $noreg, killed [[ADD32ri]] :: (store (s32) into %ir.o, addrspace 1)
15+
; CHECK-NEXT: RET 0
16+
%or = or disjoint i32 %x, 4027584529
17+
%shl = shl i32 %or, 2
18+
%add = add i32 %shl, 1234567890
19+
store i32 %add, ptr addrspace(1) %o
20+
ret void
21+
}
22+

0 commit comments

Comments
 (0)