blob: e8fc4095275880a838aa9ab63fee2c2089de33e7 [file] [log] [blame]
Ehsan Amiria538b0f2016-08-03 18:17:35 +00001; RUN: llc -verify-machineinstrs -mcpu=pwr7 -mattr=-crbits < %s | FileCheck %s
Hal Finkel4ca70102013-06-28 20:00:07 +00002target datalayout = "E-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-f128:128:128-v128:128:128-n32:64"
3target triple = "powerpc64-bgq-linux"
4
5define void @test() align 2 {
6entry:
7 br i1 undef, label %codeRepl1, label %codeRepl31
8
9codeRepl1: ; preds = %entry
10 br i1 undef, label %codeRepl4, label %codeRepl29
11
12codeRepl4: ; preds = %codeRepl1
13 br i1 undef, label %codeRepl12, label %codeRepl17
14
15codeRepl12: ; preds = %codeRepl4
16 unreachable
17
18codeRepl17: ; preds = %codeRepl4
David Blaikiea79ac142015-02-27 21:17:42 +000019 %0 = load i8, i8* undef, align 2
Hal Finkel4ca70102013-06-28 20:00:07 +000020 %1 = and i8 %0, 1
21 %not.tobool.i.i.i = icmp eq i8 %1, 0
22 %2 = select i1 %not.tobool.i.i.i, i16 0, i16 256
David Blaikiea79ac142015-02-27 21:17:42 +000023 %3 = load i8, i8* undef, align 1
Hal Finkel4ca70102013-06-28 20:00:07 +000024 %4 = and i8 %3, 1
25 %not.tobool.i.1.i.i = icmp eq i8 %4, 0
26 %rvml38.sroa.1.1.insert.ext = select i1 %not.tobool.i.1.i.i, i16 0, i16 1
27 %rvml38.sroa.0.0.insert.insert = or i16 %rvml38.sroa.1.1.insert.ext, %2
28 store i16 %rvml38.sroa.0.0.insert.insert, i16* undef, align 2
29 unreachable
30
31; CHECK: @test
Hal Finkel7c5cb062015-04-23 18:30:38 +000032; CHECK: clrlwi [[R1:[0-9]+]], {{[0-9]+}}, 31
Hal Finkel8adf2252014-12-16 05:51:41 +000033; CHECK: rlwimi [[R1]], {{[0-9]+}}, 8, 23, 23
Hal Finkel4ca70102013-06-28 20:00:07 +000034
35codeRepl29: ; preds = %codeRepl1
36 unreachable
37
38codeRepl31: ; preds = %entry
39 ret void
40}
41