272 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 52; RUN: llc < %s -mtriple=x86_64-unknown | FileCheck %s --check-prefixes=X643 4; Test for https://github.com/llvm/llvm-project/issues/1232395 6define i1 @test_ult_trunc_add(i64 %x) {7; X64-LABEL: test_ult_trunc_add:8; X64: # %bb.0:9; X64-NEXT: shrq $48, %rdi10; X64-NEXT: addl $14, %edi11; X64-NEXT: movzwl %di, %eax12; X64-NEXT: cmpl $3, %eax13; X64-NEXT: setb %al14; X64-NEXT: retq15 %add = add i64 %x, 394064967394918416 %shr = lshr i64 %add, 4817 %conv = trunc i64 %shr to i3218 %res = icmp ult i32 %conv, 319 ret i1 %res20}21 22define i1 @test_ult_add(i64 %x) {23; X64-LABEL: test_ult_add:24; X64: # %bb.0:25; X64-NEXT: shrq $48, %rdi26; X64-NEXT: addl $14, %edi27; X64-NEXT: movzwl %di, %eax28; X64-NEXT: cmpl $3, %eax29; X64-NEXT: setb %al30; X64-NEXT: retq31 %add = add i64 3940649673949184, %x32 %cmp = icmp ult i64 %add, 84442493013196833 ret i1 %cmp34}35 36define i1 @test_ugt_trunc_add(i64 %x) {37; X64-LABEL: test_ugt_trunc_add:38; X64: # %bb.0:39; X64-NEXT: shrq $48, %rdi40; X64-NEXT: addl $14, %edi41; X64-NEXT: movzwl %di, %eax42; X64-NEXT: cmpl $4, %eax43; X64-NEXT: setae %al44; X64-NEXT: retq45 %add = add i64 %x, 394064967394918446 %shr = lshr i64 %add, 4847 %conv = trunc i64 %shr to i3248 %res = icmp ugt i32 %conv, 349 ret i1 %res50}51 52define i1 @test_ugt_add(i64 %x) {53; X64-LABEL: test_ugt_add:54; X64: # %bb.0:55; X64-NEXT: movabsq $3940649673949184, %rax # imm = 0xE00000000000056; X64-NEXT: addq %rdi, %rax57; X64-NEXT: movabsq $844424930131968, %rcx # imm = 0x300000000000058; X64-NEXT: cmpq %rcx, %rax59; X64-NEXT: seta %al60; X64-NEXT: retq61 %add = add i64 3940649673949184, %x62 %cmp = icmp ugt i64 %add, 84442493013196863 ret i1 %cmp64}65 66define i1 @test_eq_trunc_add(i64 %x) {67; X64-LABEL: test_eq_trunc_add:68; X64: # %bb.0:69; X64-NEXT: shrq $48, %rdi70; X64-NEXT: cmpl $65525, %edi # imm = 0xFFF571; X64-NEXT: sete %al72; X64-NEXT: retq73 %add = add i64 %x, 394064967394918474 %shr = lshr i64 %add, 4875 %conv = trunc i64 %shr to i3276 %res = icmp eq i32 %conv, 377 ret i1 %res78}79 80define i1 @test_eq_add(i64 %x) {81; X64-LABEL: test_eq_add:82; X64: # %bb.0:83; X64-NEXT: movabsq $-3096224743817216, %rax # imm = 0xFFF500000000000084; X64-NEXT: cmpq %rax, %rdi85; X64-NEXT: sete %al86; X64-NEXT: retq87 %add = add i64 3940649673949184, %x88 %cmp = icmp eq i64 %add, 84442493013196889 ret i1 %cmp90}91 92define i1 @test_ne_trunc_add(i64 %x) {93; X64-LABEL: test_ne_trunc_add:94; X64: # %bb.0:95; X64-NEXT: shrq $48, %rdi96; X64-NEXT: cmpl $65525, %edi # imm = 0xFFF597; X64-NEXT: setne %al98; X64-NEXT: retq99 %add = add i64 %x, 3940649673949184100 %shr = lshr i64 %add, 48101 %conv = trunc i64 %shr to i32102 %res = icmp ne i32 %conv, 3103 ret i1 %res104}105 106define i1 @test_ne_add(i64 %x) {107; X64-LABEL: test_ne_add:108; X64: # %bb.0:109; X64-NEXT: movabsq $-3096224743817216, %rax # imm = 0xFFF5000000000000110; X64-NEXT: cmpq %rax, %rdi111; X64-NEXT: setne %al112; X64-NEXT: retq113 %add = add i64 3940649673949184, %x114 %cmp = icmp ne i64 %add, 844424930131968115 ret i1 %cmp116}117 118define i32 @test_trunc_add(i64 %x) {119; X64-LABEL: test_trunc_add:120; X64: # %bb.0:121; X64-NEXT: shrq $48, %rdi122; X64-NEXT: addl $14, %edi123; X64-NEXT: movzwl %di, %eax124; X64-NEXT: retq125 %add = add i64 %x, 3940649673949184126 %shr = lshr i64 %add, 48127 %conv = trunc i64 %shr to i32128 ret i32 %conv129}130 131define i32 @test_trunc_sub(i64 %x) {132; X64-LABEL: test_trunc_sub:133; X64: # %bb.0:134; X64-NEXT: shrq $49, %rdi135; X64-NEXT: leal 32762(%rdi), %eax136; X64-NEXT: andl $32767, %eax # imm = 0x7FFF137; X64-NEXT: retq138 %sub = sub i64 %x, 3377699720527872139 %shr = lshr i64 %sub, 49140 %conv = trunc i64 %shr to i32141 ret i32 %conv142}143 144define i32 @test_trunc_and_1(i64 %x) {145; X64-LABEL: test_trunc_and_1:146; X64: # %bb.0:147; X64-NEXT: movq %rdi, %rax148; X64-NEXT: shrq $50, %rax149; X64-NEXT: andl $3, %eax150; X64-NEXT: # kill: def $eax killed $eax killed $rax151; X64-NEXT: retq152 %and = and i64 %x, 3940649673949184153 %shr = lshr i64 %and, 50154 %conv = trunc i64 %shr to i32155 ret i32 %conv156}157 158define i32 @test_trunc_or_1(i64 %x) {159; X64-LABEL: test_trunc_or_1:160; X64: # %bb.0:161; X64-NEXT: movq %rdi, %rax162; X64-NEXT: shrq $50, %rax163; X64-NEXT: orl $3, %eax164; X64-NEXT: # kill: def $eax killed $eax killed $rax165; X64-NEXT: retq166 %or = or i64 %x, 3940649673949184167 %shr = lshr i64 %or, 50168 %conv = trunc i64 %shr to i32169 ret i32 %conv170}171 172define i32 @test_trunc_xor_1(i64 %x) {173; X64-LABEL: test_trunc_xor_1:174; X64: # %bb.0:175; X64-NEXT: movq %rdi, %rax176; X64-NEXT: shrq $50, %rax177; X64-NEXT: xorl $3, %eax178; X64-NEXT: # kill: def $eax killed $eax killed $rax179; X64-NEXT: retq180 %xor = xor i64 %x, 3940649673949184181 %shr = lshr i64 %xor, 50182 %conv = trunc i64 %shr to i32183 ret i32 %conv184}185 186define i32 @test_trunc_and_2(i64 %x) {187; X64-LABEL: test_trunc_and_2:188; X64: # %bb.0:189; X64-NEXT: movq %rdi, %rax190; X64-NEXT: shrq $45, %rax191; X64-NEXT: andl $111, %eax192; X64-NEXT: # kill: def $eax killed $eax killed $rax193; X64-NEXT: retq194 %and = and i64 %x, 3940649673949183195 %shr = lshr i64 %and, 45196 %conv = trunc i64 %shr to i32197 ret i32 %conv198}199 200define i32 @test_trunc_or_2(i64 %x) {201; X64-LABEL: test_trunc_or_2:202; X64: # %bb.0:203; X64-NEXT: movq %rdi, %rax204; X64-NEXT: shrq $45, %rax205; X64-NEXT: orl $111, %eax206; X64-NEXT: # kill: def $eax killed $eax killed $rax207; X64-NEXT: retq208 %or = or i64 %x, 3940649673949183209 %shr = lshr i64 %or, 45210 %conv = trunc i64 %shr to i32211 ret i32 %conv212}213 214define i32 @test_trunc_xor_2(i64 %x) {215; X64-LABEL: test_trunc_xor_2:216; X64: # %bb.0:217; X64-NEXT: movq %rdi, %rax218; X64-NEXT: shrq $45, %rax219; X64-NEXT: xorl $111, %eax220; X64-NEXT: # kill: def $eax killed $eax killed $rax221; X64-NEXT: retq222 %xor = xor i64 %x, 3940649673949183223 %shr = lshr i64 %xor, 45224 %conv = trunc i64 %shr to i32225 ret i32 %conv226}227 228; Make sure we don't crash on this test case.229 230define i32 @pr128158(i64 %x) {231; X64-LABEL: pr128158:232; X64: # %bb.0: # %entry233; X64-NEXT: movabsq $-4294967296, %rax # imm = 0xFFFFFFFF00000000234; X64-NEXT: addq %rdi, %rax235; X64-NEXT: shrq $32, %rax236; X64-NEXT: .p2align 4237; X64-NEXT: .LBB16_1: # %for.body238; X64-NEXT: # =>This Inner Loop Header: Depth=1239; X64-NEXT: cmpl $9, %eax240; X64-NEXT: jb .LBB16_1241; X64-NEXT: # %bb.2: # %exit242; X64-NEXT: xorl %eax, %eax243; X64-NEXT: retq244entry:245 br label %for.body246 247for.body:248 %add = add i64 %x, -4294967296249 %cmp = icmp ult i64 %add, 38654705664250 br i1 %cmp, label %for.body, label %exit251 252exit:253 ret i32 0254}255 256define i64 @pr128309(i64 %x) {257; X64-LABEL: pr128309:258; X64: # %bb.0: # %entry259; X64-NEXT: movl %edi, %eax260; X64-NEXT: andl $18114, %eax # imm = 0x46C2261; X64-NEXT: addl $6, %eax262; X64-NEXT: andl %edi, %eax263; X64-NEXT: retq264entry:265 %shl = shl i64 %x, 48266 %and = and i64 %shl, 5098637728136822784267 %add = add i64 %and, 1688849860263936268 %lshr = lshr i64 %add, 48269 %res = and i64 %lshr, %x270 ret i64 %res271}272