Mercurial > hg > CbC > CbC_llvm

comparison test/Transforms/InstCombine/apint-shift-simplify.ll @ 0:95c75e76d11b LLVM3.4

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
LLVM 3.4
author Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
date Thu, 12 Dec 2013 13:56:28 +0900
parents
children
comparison
equal deleted inserted replaced
-1:000000000000 0:95c75e76d11b
1 ; RUN: opt < %s -instcombine -S | FileCheck %s
2
3 define i41 @test0(i41 %A, i41 %B, i41 %C) {
4 %X = shl i41 %A, %C
5 %Y = shl i41 %B, %C
6 %Z = and i41 %X, %Y
7 ret i41 %Z
8 ; CHECK-LABEL: @test0(
9 ; CHECK-NEXT: and i41 %A, %B
10 ; CHECK-NEXT: shl i41
11 ; CHECK-NEXT: ret
12 }
13
14 define i57 @test1(i57 %A, i57 %B, i57 %C) {
15 %X = lshr i57 %A, %C
16 %Y = lshr i57 %B, %C
17 %Z = or i57 %X, %Y
18 ret i57 %Z
19 ; CHECK-LABEL: @test1(
20 ; CHECK-NEXT: or i57 %A, %B
21 ; CHECK-NEXT: lshr i57
22 ; CHECK-NEXT: ret
23 }
24
25 define i49 @test2(i49 %A, i49 %B, i49 %C) {
26 %X = ashr i49 %A, %C
27 %Y = ashr i49 %B, %C
28 %Z = xor i49 %X, %Y
29 ret i49 %Z
30 ; CHECK-LABEL: @test2(
31 ; CHECK-NEXT: xor i49 %A, %B
32 ; CHECK-NEXT: ashr i49
33 ; CHECK-NEXT: ret
34 }