test/Transforms/InstSimplify/bswap.ll

   1 ; NOTE: Assertions have been autogenerated by update_test_checks.py
   2 ; RUN: opt < %s -S -instsimplify | FileCheck %s
   3
   4 declare i16 @llvm.bswap.i16(i16)
   5
   6 define i1 @test1(i16 %arg) {
   7 ; CHECK-LABEL: @test1(
   8 ; CHECK:         ret i1 false
   9 ;
  10   %a = or i16 %arg, 1
  11   %b = call i16 @llvm.bswap.i16(i16 %a)
  12   %res = icmp eq i16 %b, 0
  13   ret i1 %res
  14 }
  15
  16 define i1 @test2(i16 %arg) {
  17 ; CHECK-LABEL: @test2(
  18 ; CHECK:         ret i1 false
  19 ;
  20   %a = or i16 %arg, 1024
  21   %b = call i16 @llvm.bswap.i16(i16 %a)
  22   %res = icmp eq i16 %b, 0
  23   ret i1 %res
  24 }
  25
  26 define i1 @test3(i16 %arg) {
  27 ; CHECK-LABEL: @test3(
  28 ; CHECK:         ret i1 false
  29 ;
  30   %a = and i16 %arg, 1
  31   %b = call i16 @llvm.bswap.i16(i16 %a)
  32   %and = and i16 %b, 1
  33   %res = icmp eq i16 %and, 1
  34   ret i1 %res
  35 }
  36
  37 define i1 @test4(i16 %arg) {
  38 ; CHECK-LABEL: @test4(
  39 ; CHECK:         ret i1 false
  40 ;
  41   %a = and i16 %arg, 511
  42   %b = call i16 @llvm.bswap.i16(i16 %a)
  43   %and = and i16 %b, 256
  44   %res = icmp eq i16 %and, 1
  45   ret i1 %res
  46 }