test/Transforms/InstCombine/sub-xor.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -instcombine -S < %s | FileCheck %s
   3
   4 define i32 @test1(i32 %x) {
   5 ; CHECK-LABEL: @test1(
   6 ; CHECK-NEXT:    [[AND:%.*]] = and i32 %x, 31
   7 ; CHECK-NEXT:    [[SUB:%.*]] = xor i32 [[AND]], 63
   8 ; CHECK-NEXT:    ret i32 [[SUB]]
   9 ;
  10   %and = and i32 %x, 31
  11   %sub = sub i32 63, %and
  12   ret i32 %sub
  13 }
  14
  15 define <2 x i32> @test1vec(<2 x i32> %x) {
  16 ; CHECK-LABEL: @test1vec(
  17 ; CHECK-NEXT:    [[AND:%.*]] = and <2 x i32> %x, <i32 31, i32 31>
  18 ; CHECK-NEXT:    [[SUB:%.*]] = xor <2 x i32> [[AND]], <i32 63, i32 63>
  19 ; CHECK-NEXT:    ret <2 x i32> [[SUB]]
  20 ;
  21   %and = and <2 x i32> %x, <i32 31, i32 31>
  22   %sub = sub <2 x i32> <i32 63, i32 63>, %and
  23   ret <2 x i32> %sub
  24 }
  25
  26 declare i32 @llvm.ctlz.i32(i32, i1) nounwind readnone
  27
  28 define i32 @test2(i32 %x) nounwind {
  29 ; CHECK-LABEL: @test2(
  30 ; CHECK-NEXT:    [[COUNT:%.*]] = tail call i32 @llvm.ctlz.i32(i32 %x, i1 true)
  31 ; CHECK-NEXT:    [[SUB:%.*]] = xor i32 [[COUNT]], 31
  32 ; CHECK-NEXT:    ret i32 [[SUB]]
  33 ;
  34   %count = tail call i32 @llvm.ctlz.i32(i32 %x, i1 true) nounwind readnone
  35   %sub = sub i32 31, %count
  36   ret i32 %sub
  37 }
  38
  39 define i32 @test3(i32 %x) {
  40 ; CHECK-LABEL: @test3(
  41 ; CHECK-NEXT:    [[AND:%.*]] = and i32 %x, 31
  42 ; CHECK-NEXT:    [[ADD:%.*]] = sub nuw nsw i32 73, [[AND]]
  43 ; CHECK-NEXT:    ret i32 [[ADD]]
  44 ;
  45   %and = and i32 %x, 31
  46   %sub = xor i32 31, %and
  47   %add = add i32 %sub, 42
  48   ret i32 %add
  49 }
  50