150
|
1 ; RUN: opt -S -codegenprepare -disable-complex-addr-modes=false -addr-sink-new-phis=true -addr-sink-new-select=true %s | FileCheck %s
|
252
|
2
|
150
|
3 target triple = "x86_64-unknown-linux-gnu"
|
252
|
4 target 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-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128"
|
|
5
|
|
6 @gv = global [2 x i16] undef
|
|
7
|
150
|
8 define void @f2() {
|
|
9 entry:
|
252
|
10 %arrayidx1 = getelementptr inbounds [2 x i16], ptr @gv, i16 0, i16 1
|
150
|
11 br label %for.body
|
|
12
|
|
13 for.body: ; preds = %for.body, %entry
|
252
|
14 %e.03 = phi ptr [ @gv, %entry ], [ %arrayidx1, %for.body ]
|
150
|
15 %tobool = icmp eq i16 undef, 0
|
252
|
16 br i1 %tobool, label %for.body, label %for.end
|
150
|
17
|
|
18 for.end: ; preds = %for.body
|
|
19 ; CHECK: sunkaddr
|
252
|
20 %e.1.le = select i1 %tobool, ptr %arrayidx1, ptr %e.03
|
|
21 store i16 0, ptr %e.1.le, align 1
|
150
|
22 ret void
|
|
23 }
|