[InstCombine] Signed saturation patterns
[llvm-core.git] / test / Transforms / ConstProp / bswap.ll
blobf601deb73db2508245542a4c318554dbf5b6c219
1 ; bswap should be constant folded when it is passed a constant argument
3 ; RUN: opt < %s -constprop -S | FileCheck %s
5 declare i16 @llvm.bswap.i16(i16)
7 declare i32 @llvm.bswap.i32(i32)
9 declare i64 @llvm.bswap.i64(i64)
11 declare i80 @llvm.bswap.i80(i80)
13 ; CHECK-LABEL: define i16 @W(
14 define i16 @W() {
15         ; CHECK: ret i16 256
16         %Z = call i16 @llvm.bswap.i16( i16 1 )          ; <i16> [#uses=1]
17         ret i16 %Z
20 ; CHECK-LABEL: define i32 @X(
21 define i32 @X() {
22         ; CHECK: ret i32 16777216
23         %Z = call i32 @llvm.bswap.i32( i32 1 )          ; <i32> [#uses=1]
24         ret i32 %Z
27 ; CHECK-LABEL: define i64 @Y(
28 define i64 @Y() {
29         ; CHECK: ret i64 72057594037927936
30         %Z = call i64 @llvm.bswap.i64( i64 1 )          ; <i64> [#uses=1]
31         ret i64 %Z
34 ; CHECK-LABEL: define i80 @Z(
35 define i80 @Z() {
36         ; CHECK: ret i80 -450681596205739728166896
37         ;                0xA0908070605040302010
38         %Z = call i80 @llvm.bswap.i80( i80 76151636403560493650080 )
39         ;                                  0x102030405060708090A0
40         ret i80 %Z