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 5declare i16 @llvm.bswap.i16(i16) 6declare i32 @llvm.bswap.i32(i32) 7 8define 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 18define 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 29define 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 39define 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