200 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py2; RUN: llc -verify-machineinstrs -mtriple powerpc64-unknown-linux-gnu -mcpu pwr7 < %s | FileCheck %s3; RUN: llc -verify-machineinstrs -mtriple powerpc64-ibm-aix-xcoff -mcpu pwr7 -vec-extabi < %s | FileCheck %s4 5; Function Attrs: nounwind readnone6define zeroext i16 @test16(i16 zeroext %x, i16 zeroext %y) #0 {7; CHECK-LABEL: test16:8; CHECK: # %bb.0: # %entry9; CHECK-NEXT: cmpb 3, 4, 310; CHECK-NEXT: clrldi 3, 3, 4811; CHECK-NEXT: blr12entry:13 %0 = xor i16 %y, %x14 %1 = and i16 %0, 25515 %cmp = icmp eq i16 %1, 016 %cmp20 = icmp ult i16 %0, 25617 %conv25 = select i1 %cmp, i32 255, i32 018 %conv27 = select i1 %cmp20, i32 65280, i32 019 %or = or i32 %conv25, %conv2720 %conv29 = trunc i32 %or to i1621 ret i16 %conv2922}23 24define zeroext i16 @test16p1(i16 zeroext %x, i16 zeroext %y) #0 {25; CHECK-LABEL: test16p1:26; CHECK: # %bb.0: # %entry27; CHECK-NEXT: cmpb 3, 4, 328; CHECK-NEXT: andi. 3, 3, 6528529; CHECK-NEXT: blr30entry:31 %0 = xor i16 %y, %x32 %1 = and i16 %0, 25533 %cmp = icmp eq i16 %1, 034 %cmp20 = icmp ult i16 %0, 25635 %conv28 = select i1 %cmp, i32 5, i32 036 %conv30 = select i1 %cmp20, i32 65280, i32 037 %or = or i32 %conv28, %conv3038 %conv32 = trunc i32 %or to i1639 ret i16 %conv3240}41 42; Function Attrs: nounwind readnone43define zeroext i16 @test16p2(i16 zeroext %x, i16 zeroext %y) #0 {44; CHECK-LABEL: test16p2:45; CHECK: # %bb.0: # %entry46; CHECK-NEXT: cmpb 3, 4, 347; CHECK-NEXT: andi. 3, 3, 153548; CHECK-NEXT: blr49entry:50 %0 = xor i16 %y, %x51 %1 = and i16 %0, 25552 %cmp = icmp eq i16 %1, 053 %cmp20 = icmp ult i16 %0, 25654 %conv28 = select i1 %cmp, i32 255, i32 055 %conv30 = select i1 %cmp20, i32 1280, i32 056 %or = or i32 %conv28, %conv3057 %conv32 = trunc i32 %or to i1658 ret i16 %conv3259}60 61; Function Attrs: nounwind readnone62define zeroext i16 @test16p3(i16 zeroext %x, i16 zeroext %y) #0 {63; CHECK-LABEL: test16p3:64; CHECK: # %bb.0: # %entry65; CHECK-NEXT: cmpb 3, 4, 366; CHECK-NEXT: clrldi 3, 3, 5567; CHECK-NEXT: xori 3, 3, 128068; CHECK-NEXT: blr69entry:70 %0 = xor i16 %y, %x71 %1 = and i16 %0, 25572 %cmp = icmp eq i16 %1, 073 %cmp20 = icmp ult i16 %0, 25674 %conv27 = select i1 %cmp, i32 255, i32 075 %conv29 = select i1 %cmp20, i32 1024, i32 128076 %or = or i32 %conv27, %conv2977 %conv31 = trunc i32 %or to i1678 ret i16 %conv3179}80 81define zeroext i32 @test32(i32 zeroext %x, i32 zeroext %y) #0 {82; CHECK-LABEL: test32:83; CHECK: # %bb.0: # %entry84; CHECK-NEXT: cmpb 3, 4, 385; CHECK-NEXT: clrldi 3, 3, 3286; CHECK-NEXT: blr87entry:88 %0 = xor i32 %y, %x89 %1 = and i32 %0, 25590 %cmp = icmp eq i32 %1, 091 %2 = and i32 %0, 6528092 %cmp28 = icmp eq i32 %2, 093 %3 = and i32 %0, 1671168094 %cmp34 = icmp eq i32 %3, 095 %cmp40 = icmp ult i32 %0, 1677721696 %conv44 = select i1 %cmp, i32 255, i32 097 %conv45 = select i1 %cmp28, i32 65280, i32 098 %conv47 = select i1 %cmp34, i32 16711680, i32 099 %conv50 = select i1 %cmp40, i32 -16777216, i32 0100 %or = or i32 %conv45, %conv50101 %or49 = or i32 %or, %conv44102 %or52 = or i32 %or49, %conv47103 ret i32 %or52104}105 106define zeroext i32 @test32p1(i32 zeroext %x, i32 zeroext %y) #0 {107; CHECK-LABEL: test32p1:108; CHECK: # %bb.0: # %entry109; CHECK-NEXT: cmpb 3, 4, 3110; CHECK-NEXT: rldicl 3, 3, 40, 5111; CHECK-NEXT: rldicl 3, 3, 24, 32112; CHECK-NEXT: blr113entry:114 %0 = xor i32 %y, %x115 %1 = and i32 %0, 255116 %cmp = icmp eq i32 %1, 0117 %2 = and i32 %0, 65280118 %cmp28 = icmp eq i32 %2, 0119 %3 = and i32 %0, 16711680120 %cmp34 = icmp eq i32 %3, 0121 %cmp40 = icmp ult i32 %0, 16777216122 %conv47 = select i1 %cmp, i32 255, i32 0123 %conv48 = select i1 %cmp28, i32 65280, i32 0124 %conv50 = select i1 %cmp34, i32 458752, i32 0125 %conv53 = select i1 %cmp40, i32 -16777216, i32 0126 %or = or i32 %conv48, %conv53127 %or52 = or i32 %or, %conv47128 %or55 = or i32 %or52, %conv50129 ret i32 %or55130}131 132define zeroext i32 @test32p2(i32 zeroext %x, i32 zeroext %y) #0 {133; CHECK-LABEL: test32p2:134; CHECK: # %bb.0: # %entry135; CHECK-NEXT: cmpb 3, 4, 3136; CHECK-NEXT: rldicl 3, 3, 40, 8137; CHECK-NEXT: rldicl 3, 3, 24, 32138; CHECK-NEXT: blr139entry:140 %0 = xor i32 %y, %x141 %1 = and i32 %0, 255142 %cmp = icmp eq i32 %1, 0143 %2 = and i32 %0, 65280144 %cmp22 = icmp eq i32 %2, 0145 %cmp28 = icmp ult i32 %0, 16777216146 %conv32 = select i1 %cmp, i32 255, i32 0147 %conv33 = select i1 %cmp22, i32 65280, i32 0148 %conv35 = select i1 %cmp28, i32 -16777216, i32 0149 %or = or i32 %conv33, %conv35150 %or37 = or i32 %or, %conv32151 ret i32 %or37152}153 154define i64 @test64(i64 %x, i64 %y) #0 {155; CHECK-LABEL: test64:156; CHECK: # %bb.0: # %entry157; CHECK-NEXT: cmpb 3, 3, 4158; CHECK-NEXT: blr159entry:160 %shr19 = lshr i64 %x, 56161 %conv21 = trunc i64 %shr19 to i32162 %shr43 = lshr i64 %y, 56163 %conv45 = trunc i64 %shr43 to i32164 %0 = xor i64 %y, %x165 %1 = and i64 %0, 255166 %cmp = icmp eq i64 %1, 0167 %2 = and i64 %0, 65280168 %cmp52 = icmp eq i64 %2, 0169 %3 = and i64 %0, 16711680170 %cmp58 = icmp eq i64 %3, 0171 %4 = and i64 %0, 4278190080172 %cmp64 = icmp eq i64 %4, 0173 %5 = and i64 %0, 1095216660480174 %cmp70 = icmp eq i64 %5, 0175 %6 = and i64 %0, 280375465082880176 %cmp76 = icmp eq i64 %6, 0177 %7 = and i64 %0, 71776119061217280178 %cmp82 = icmp eq i64 %7, 0179 %cmp88 = icmp eq i32 %conv21, %conv45180 %conv92 = select i1 %cmp, i64 255, i64 0181 %conv93 = select i1 %cmp52, i64 65280, i64 0182 %or = or i64 %conv92, %conv93183 %conv95 = select i1 %cmp58, i64 16711680, i64 0184 %or97 = or i64 %or, %conv95185 %conv98 = select i1 %cmp64, i64 4278190080, i64 0186 %or100 = or i64 %or97, %conv98187 %conv101 = select i1 %cmp70, i64 1095216660480, i64 0188 %or103 = or i64 %or100, %conv101189 %conv104 = select i1 %cmp76, i64 280375465082880, i64 0190 %or106 = or i64 %or103, %conv104191 %conv107 = select i1 %cmp82, i64 71776119061217280, i64 0192 %or109 = or i64 %or106, %conv107193 %conv110 = select i1 %cmp88, i64 -72057594037927936, i64 0194 %or112 = or i64 %or109, %conv110195 ret i64 %or112196}197 198attributes #0 = { nounwind readnone }199 200