1# RUN: llc -mtriple=x86_64-unknown-linux-gnu -run-pass x86-fixup-bw-insts %s -o - | FileCheck %s 2 3--- | 4 define void @test1() { ret void } 5 define void @test2() { ret void } 6 7 define i16 @test3(ptr readonly %p) { 8 ; Keep original IR to show how the situation like this might happen 9 ; due to preceding CG passes. 10 ; 11 ; %0 is used in %if.end BB (before tail-duplication), so its 12 ; corresponding super-register (EAX) is live-in into that BB (%if.end) 13 ; and also has an implicit-def EAX flag. Make sure that we still change 14 ; the movw into movzwl because EAX is not live before the load (which 15 ; can be seen by the fact that implicit EAX flag is missing). 16 entry: 17 %tobool = icmp eq ptr %p, null 18 br i1 %tobool, label %if.end, label %if.then 19 20 if.then: ; preds = %entry 21 %0 = load i16, ptr %p, align 2 22 br label %if.end 23 24 if.end: ; preds = %if.then, %entry 25 %i.0 = phi i16 [ %0, %if.then ], [ 0, %entry ] 26 ret i16 %i.0 27 } 28 29 define i16 @test4() { 30 entry: 31 %t1 = zext i1 undef to i16 32 %t2 = or i16 undef, %t1 33 ret i16 %t2 34 } 35 36 define void @test5() {ret void} 37 38... 39--- 40# CHECK-LABEL: name: test1 41name: test1 42alignment: 16 43tracksRegLiveness: true 44liveins: 45 - { reg: '$rax' } 46# Verify that "movw ($rax), $ax" is changed to "movzwl ($rax), $rax". 47# 48# For that to happen, the liveness information after the MOV16rm 49# instruction should be used, not before it because $rax is live 50# before the MOV and is killed by it. 51body: | 52 bb.0: 53 liveins: $rax 54 55 $ax = MOV16rm killed $rax, 1, $noreg, 0, $noreg 56 ; CHECK: $eax = MOVZX32rm16 killed $rax 57 58 RET64 $ax 59 60... 61--- 62# CHECK-LABEL: name: test2 63name: test2 64alignment: 16 65tracksRegLiveness: true 66liveins: 67 - { reg: '$rax' } 68# Imp-use of any super-register means the register is live before the MOV 69body: | 70 bb.0: 71 liveins: $dl, $rbx, $rcx, $r14 72 73 $cl = MOV8rr killed $dl, implicit killed $rcx, implicit-def $rcx 74 ; CHECK: $cl = MOV8rr killed $dl, implicit killed $rcx, implicit-def $rcx 75 JMP_1 %bb.1 76 bb.1: 77 liveins: $rcx 78 79 RET64 $cl 80 81... 82--- 83# CHECK-LABEL: name: test3 84name: test3 85alignment: 16 86tracksRegLiveness: true 87liveins: 88 - { reg: '$rdi' } 89# After MOV16rm the whole $eax is not *really* live, as can be seen by 90# missing implicit-uses of it in that MOV. Make sure that MOV is 91# transformed into MOVZX. 92# See the comment near the original IR on what preceding decisions can 93# lead to that. 94body: | 95 bb.0.entry: 96 successors: %bb.1(0x30000000), %bb.2.if.then(0x50000000) 97 liveins: $rdi 98 99 TEST64rr $rdi, $rdi, implicit-def $eflags 100 JCC_1 %bb.1, 4, implicit $eflags 101 102 bb.2.if.then: 103 liveins: $rdi 104 105 $ax = MOV16rm killed $rdi, 1, $noreg, 0, $noreg, implicit-def $eax :: (load (s16) from %ir.p) 106 ; CHECK: $eax = MOVZX32rm16 killed $rdi, 1, $noreg, 0, $noreg, implicit-def $eax :: (load (s16) from %ir.p) 107 $ax = KILL $ax, implicit killed $eax 108 RET64 $ax 109 110 bb.1: 111 $eax = XOR32rr undef $eax, undef $eax, implicit-def dead $eflags 112 $ax = KILL $ax, implicit killed $eax 113 RET64 $ax 114 115... 116--- 117# CHECK-LABEL: name: test4 118name: test4 119alignment: 16 120tracksRegLiveness: true 121liveins: 122 - { reg: '$r9d' } 123# This code copies r10b into r9b and then uses r9w. We would like to promote 124# the copy to a 32-bit copy, but because r9w is used this is not acceptable. 125body: | 126 bb.0.entry: 127 liveins: $r9d 128 129 $r9b = MOV8rr undef $r10b, implicit-def $r9d, implicit killed $r9d, implicit-def $eflags 130 ; CHECK: $r9b = MOV8rr undef $r10b, implicit-def $r9d, implicit killed $r9d, implicit-def $eflags 131 132 $ax = OR16rr undef $ax, $r9w, implicit-def $eflags 133 RET64 $ax 134 135... 136--- 137# CHECK-LABEL: name: test5 138name: test5 139alignment: 16 140tracksRegLiveness: true 141liveins: 142 - { reg: '$ch' } 143 - { reg: '$bl' } 144body: | 145 bb.0: 146 liveins: $ch, $bl 147 148 $cl = MOV8rr $bl, implicit-def $cx, implicit killed $ch, implicit-def $eflags 149 ; CHECK: $cl = MOV8rr $bl, implicit-def $cx, implicit killed $ch, implicit-def $eflags 150 151 RET64 $cx 152 153... 154