71 lines · plain
1# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py UTC_ARGS: --version 32# RUN: llc -mtriple=x86_64-- -run-pass=peephole-opt %s -o - | FileCheck %s3--- |4 define void @foldImmediate() { ret void }5...6---7# Check that immediates can be folded into ALU instructions.8name: foldImmediate9registers:10 - { id: 0, class: gr32 }11 - { id: 1, class: gr32 }12 - { id: 2, class: gr32 }13 - { id: 3, class: gr32 }14 - { id: 4, class: gr32 }15 - { id: 5, class: gr32 }16 - { id: 6, class: gr32 }17 - { id: 7, class: gr64 }18 - { id: 8, class: gr64 }19 - { id: 9, class: gr64 }20 - { id: 10, class: gr64 }21 - { id: 11, class: gr64 }22 - { id: 12, class: gr64 }23 - { id: 13, class: gr64 }24 - { id: 14, class: gr64 }25 - { id: 15, class: gr64 }26 - { id: 16, class: gr32 }27 - { id: 17, class: gr64 }28 - { id: 18, class: gr32 }29 30body: |31 bb.0:32 liveins: $rdi, $rsi33 34 ; CHECK-LABEL: name: foldImmediate35 ; CHECK: liveins: $rdi, $rsi36 ; CHECK-NEXT: {{ $}}37 ; CHECK-NEXT: [[MOV32ri:%[0-9]+]]:gr32 = MOV32ri 8138 ; CHECK-NEXT: [[COPY:%[0-9]+]]:gr32 = COPY $edi39 ; CHECK-NEXT: CTEST32ri [[COPY]], 81, 2, 10, implicit-def $eflags, implicit $eflags40 ; CHECK-NEXT: NOOP implicit $eflags41 ; CHECK-NEXT: CCMP32ri [[COPY]], 81, 2, 10, implicit-def $eflags, implicit $eflags42 ; CHECK-NEXT: NOOP implicit $eflags43 ; CHECK-NEXT: [[SUBREG_TO_REG:%[0-9]+]]:gr64 = SUBREG_TO_REG 0, killed [[MOV32ri]], %subreg.sub_32bit44 ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gr64 = COPY $rsi45 ; CHECK-NEXT: CTEST64ri32 [[COPY1]], 81, 2, 10, implicit-def $eflags, implicit $eflags46 ; CHECK-NEXT: NOOP implicit $eflags47 ; CHECK-NEXT: CCMP64ri32 [[COPY1]], 81, 2, 10, implicit-def $eflags, implicit $eflags48 ; CHECK-NEXT: NOOP implicit $eflags49 ; CHECK-NEXT: CCMP64rr [[SUBREG_TO_REG]], [[COPY1]], 2, 10, implicit-def $eflags, implicit $eflags50 ; CHECK-NEXT: NOOP implicit $eflags51 %0 = MOV32ri 8152 %1 = COPY $edi53 54 CTEST32rr %0, %1, 2, 10, implicit-def $eflags, implicit $eflags55 NOOP implicit $eflags56 57 CCMP32rr %1, %0, 2, 10, implicit-def $eflags, implicit $eflags58 NOOP implicit $eflags59 60 %7 = SUBREG_TO_REG 0, killed %0:gr32, %subreg.sub_32bit61 %8 = COPY $rsi62 63 CTEST64rr %8, %7, 2, 10, implicit-def $eflags, implicit $eflags64 NOOP implicit $eflags65 66 CCMP64rr %8, %7, 2, 10, implicit-def $eflags, implicit $eflags67 NOOP implicit $eflags68 CCMP64rr %7, %8, 2, 10, implicit-def $eflags, implicit $eflags69 NOOP implicit $eflags70...71