xref: /llvm-project/llvm/test/CodeGen/PowerPC/rlwimi-and.ll (revision 5403c59c608c08c8ecd4303763f08eb046eb5e4d)
1; RUN: llc -verify-machineinstrs -mcpu=pwr7 -mattr=-crbits -mtriple=powerpc64-unknown-linux-gnu < %s | FileCheck %s
2
3define void @test() align 2 {
4entry:
5  br i1 undef, label %codeRepl1, label %codeRepl31
6
7codeRepl1:                                        ; preds = %entry
8  br i1 undef, label %codeRepl4, label %codeRepl29
9
10codeRepl4:                                        ; preds = %codeRepl1
11  br i1 undef, label %codeRepl12, label %codeRepl17
12
13codeRepl12:                                       ; preds = %codeRepl4
14  unreachable
15
16codeRepl17:                                       ; preds = %codeRepl4
17  %0 = load i8, ptr undef, align 2
18  %1 = and i8 %0, 1
19  %not.tobool.i.i.i = icmp eq i8 %1, 0
20  %2 = select i1 %not.tobool.i.i.i, i16 0, i16 256
21  %3 = load i8, ptr undef, align 1
22  %4 = and i8 %3, 1
23  %not.tobool.i.1.i.i = icmp eq i8 %4, 0
24  %rvml38.sroa.1.1.insert.ext = select i1 %not.tobool.i.1.i.i, i16 0, i16 1
25  %rvml38.sroa.0.0.insert.insert = or i16 %rvml38.sroa.1.1.insert.ext, %2
26  store i16 %rvml38.sroa.0.0.insert.insert, ptr undef, align 2
27  unreachable
28
29; CHECK: @test
30; CHECK: clrlwi [[R1:[0-9]+]], {{[0-9]+}}, 31
31; CHECK: rlwimi [[R1]], {{[0-9]+}}, 8, 23, 23
32
33codeRepl29:                                       ; preds = %codeRepl1
34  unreachable
35
36codeRepl31:                                       ; preds = %entry
37  ret void
38}
39
40