141 lines · plain
1; XFAIL: *2; FIXME: This test is broken due to https://bugs.llvm.org/show_bug.cgi?id=500353; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py4; RUN: llc -mtriple=x86_64-linux-gnu -global-isel -verify-machineinstrs < %s -o - | FileCheck %s --check-prefix=X645; RUN: llc -mtriple=i386-linux-gnu -global-isel -verify-machineinstrs < %s -o - | FileCheck %s --check-prefix=X326 7define i8 @test_zext_i1toi8(i32 %a) {8; X64-LABEL: test_zext_i1toi8:9; X64: # %bb.0:10; X64-NEXT: movl %edi, %eax11; X64-NEXT: andb $1, %al12; X64-NEXT: # kill: def $al killed $al killed $eax13; X64-NEXT: retq14;15; X32-LABEL: test_zext_i1toi8:16; X32: # %bb.0:17; X32-NEXT: movl {{[0-9]+}}(%esp), %eax18; X32-NEXT: andb $1, %al19; X32-NEXT: # kill: def $al killed $al killed $eax20; X32-NEXT: retl21 %val = trunc i32 %a to i122 %r = zext i1 %val to i823 ret i8 %r24}25 26define i16 @test_zext_i1toi16(i32 %a) {27; X64-LABEL: test_zext_i1toi16:28; X64: # %bb.0:29; X64-NEXT: movl %edi, %eax30; X64-NEXT: andw $1, %ax31; X64-NEXT: # kill: def $ax killed $ax killed $eax32; X64-NEXT: retq33;34; X32-LABEL: test_zext_i1toi16:35; X32: # %bb.0:36; X32-NEXT: movl {{[0-9]+}}(%esp), %eax37; X32-NEXT: andw $1, %ax38; X32-NEXT: # kill: def $ax killed $ax killed $eax39; X32-NEXT: retl40 %val = trunc i32 %a to i141 %r = zext i1 %val to i1642 ret i16 %r43}44 45define i32 @test_zext_i1(i32 %a) {46; X64-LABEL: test_zext_i1:47; X64: # %bb.0:48; X64-NEXT: movl %edi, %eax49; X64-NEXT: andl $1, %eax50; X64-NEXT: retq51;52; X32-LABEL: test_zext_i1:53; X32: # %bb.0:54; X32-NEXT: movl {{[0-9]+}}(%esp), %eax55; X32-NEXT: andl $1, %eax56; X32-NEXT: retl57 %val = trunc i32 %a to i158 %r = zext i1 %val to i3259 ret i32 %r60}61 62define i32 @test_zext_i8(i8 %val) {63; X64-LABEL: test_zext_i8:64; X64: # %bb.0:65; X64-NEXT: movzbl %dil, %eax66; X64-NEXT: retq67;68; X32-LABEL: test_zext_i8:69; X32: # %bb.0:70; X32-NEXT: movzbl {{[0-9]+}}(%esp), %eax71; X32-NEXT: retl72 %r = zext i8 %val to i3273 ret i32 %r74}75 76define i32 @test_zext_i16(i16 %val) {77; X64-LABEL: test_zext_i16:78; X64: # %bb.0:79; X64-NEXT: movzwl %di, %eax80; X64-NEXT: retq81;82; X32-LABEL: test_zext_i16:83; X32: # %bb.0:84; X32-NEXT: movzwl {{[0-9]+}}(%esp), %eax85; X32-NEXT: retl86 %r = zext i16 %val to i3287 ret i32 %r88}89 90define i32 @test_sext_i8(i8 %val) {91; X64-LABEL: test_sext_i8:92; X64: # %bb.0:93; X64-NEXT: movl %edi, %eax94; X64-NEXT: shll $24, %eax95; X64-NEXT: sarl $24, %eax96; X64-NEXT: retq97;98; X32-LABEL: test_sext_i8:99; X32: # %bb.0:100; X32-NEXT: movsbl {{[0-9]+}}(%esp), %eax101; X32-NEXT: retl102 %r = sext i8 %val to i32103 ret i32 %r104}105 106define i32 @test_sext_i16(i16 %val) {107; X64-LABEL: test_sext_i16:108; X64: # %bb.0:109; X64-NEXT: movl %edi, %eax110; X64-NEXT: shll $16, %eax111; X64-NEXT: sarl $16, %eax112; X64-NEXT: retq113;114; X32-LABEL: test_sext_i16:115; X32: # %bb.0:116; X32-NEXT: movswl {{[0-9]+}}(%esp), %eax117; X32-NEXT: retl118 %r = sext i16 %val to i32119 ret i32 %r120}121 122define i16 @test_zext_i8_to_i16(i8 %x, i8 %y) {123; X64-LABEL: test_zext_i8_to_i16:124; X64: # %bb.0:125; X64-NEXT: addb %dil, %sil126; X64-NEXT: movzbl %sil, %eax127; X64-NEXT: # kill: def $ax killed $ax killed $eax128; X64-NEXT: retq129;130; X32-LABEL: test_zext_i8_to_i16:131; X32: # %bb.0:132; X32-NEXT: movb {{[0-9]+}}(%esp), %al133; X32-NEXT: addb {{[0-9]+}}(%esp), %al134; X32-NEXT: movzbl %al, %eax135; X32-NEXT: # kill: def $ax killed $ax killed $eax136; X32-NEXT: retl137 %a = add i8 %x, %y138 %b = zext i8 %a to i16139 ret i16 %b140}141