1 ; RUN: opt < %s -S -instcombine | FileCheck %s 2 ; Note: This is testing functionality in computeKnownBits. I'd have rather 3 ; used instsimplify, but the bit test folding is apparently only in instcombine. 4 5 declare i16 @llvm.bswap.i16(i16) 6 declare i32 @llvm.bswap.i32(i32) 7 8 define i1 @test1(i16 %arg) { 9 ; CHECK-LABEL: @test1 10 ; CHECK: ret i1 true 11 %a = or i16 %arg, 511 12 %b = call i16 @llvm.bswap.i16(i16 %a) 13 %and = and i16 %b, 256 14 %res = icmp eq i16 %and, 256 15 ret i1 %res 16 } 17 18 define i1 @test2(i16 %arg) { 19 ; CHECK-LABEL: @test2 20 ; CHECK: ret i1 true 21 %a = or i16 %arg, 1 22 %b = call i16 @llvm.bswap.i16(i16 %a) 23 %and = and i16 %b, 256 24 %res = icmp eq i16 %and, 256 25 ret i1 %res 26 } 27 28 29 define i1 @test3(i16 %arg) { 30 ; CHECK-LABEL: @test3 31 ; CHECK: ret i1 true 32 %a = or i16 %arg, 256 33 %b = call i16 @llvm.bswap.i16(i16 %a) 34 %and = and i16 %b, 1 35 %res = icmp eq i16 %and, 1 36 ret i1 %res 37 } 38 39 define i1 @test4(i32 %arg) { 40 ; CHECK-LABEL: @test4 41 ; CHECK: ret i1 true 42 %a = or i32 %arg, 2147483647 ; i32_MAX 43 %b = call i32 @llvm.bswap.i32(i32 %a) 44 %and = and i32 %b, 127 45 %res = icmp eq i32 %and, 127 46 ret i1 %res 47 } 48
