blob: cef01ce2f4d237cb74d41fb56985dee29039b504 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
; RUN: llc < %s | FileCheck %s
; Phi lowering should check for dependency cycles, including looking through
; bitcasts, and emit extra copies as needed.
target datalayout = "e-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-p:32:32:32-v128:32:128-n32-S128"
target triple = "asmjs-unknown-emscripten"
; CHECK: while(1) {
; CHECK: $k$phi = $j;$j$phi = $k;$k = $k$phi;$j = $j$phi;
; CHECK: }
define void @foo(float* nocapture %p, i32* %j.init, i32* %k.init) {
entry:
br label %for.body
for.body:
%j = phi i32* [ %j.init, %entry ], [ %k.cast, %more ]
%k = phi i32* [ %k.init, %entry ], [ %j.cast, %more ]
br label %more
more:
%j.cast = bitcast i32* %j to i32*
%k.cast = bitcast i32* %k to i32*
br label %for.body
}
|
