2016-06-28 04:32:13 +08:00
|
|
|
; RUN: llc -march=r600 -mcpu=redwood -r600-if-convert=0 < %s | FileCheck %s
|
2013-11-19 03:43:38 +08:00
|
|
|
|
|
|
|
|
; This tests for abug where the AMDILCFGStructurizer was crashing on loops
|
|
|
|
|
; like this:
|
|
|
|
|
;
|
|
|
|
|
; for (i = 0; i < x; i++) {
|
|
|
|
|
; if (cond0) {
|
|
|
|
|
; if (cond1) {
|
|
|
|
|
;
|
|
|
|
|
; } else {
|
|
|
|
|
;
|
|
|
|
|
; }
|
|
|
|
|
; if (cond2) {
|
|
|
|
|
;
|
|
|
|
|
; }
|
|
|
|
|
; }
|
|
|
|
|
; }
|
|
|
|
|
|
2014-10-02 01:15:17 +08:00
|
|
|
; CHECK-LABEL: {{^}}if_inside_loop:
|
2013-11-19 03:43:38 +08:00
|
|
|
; CHECK: LOOP_START_DX10
|
|
|
|
|
; CHECK: END_LOOP
|
|
|
|
|
define void @if_inside_loop(i32 addrspace(1)* %out, i32 %a, i32 %b, i32 %c, i32 %d) {
|
|
|
|
|
entry:
|
|
|
|
|
br label %for.body
|
|
|
|
|
|
|
|
|
|
for.body:
|
|
|
|
|
%0 = phi i32 [0, %entry], [%inc, %for.inc]
|
|
|
|
|
%val = phi i32 [0, %entry], [%val.for.inc, %for.inc]
|
|
|
|
|
%inc = add i32 %0, 1
|
|
|
|
|
%1 = icmp ult i32 10, %a
|
|
|
|
|
br i1 %1, label %for.inc, label %if.then
|
|
|
|
|
|
|
|
|
|
if.then:
|
|
|
|
|
%2 = icmp ne i32 0, %b
|
|
|
|
|
br i1 %2, label %if.then.true, label %if.then.false
|
|
|
|
|
|
|
|
|
|
if.then.true:
|
|
|
|
|
%3 = add i32 %a, %val
|
|
|
|
|
br label %if
|
|
|
|
|
|
|
|
|
|
if.then.false:
|
|
|
|
|
%4 = mul i32 %a, %val
|
|
|
|
|
br label %if
|
|
|
|
|
|
|
|
|
|
if:
|
|
|
|
|
%val.if = phi i32 [%3, %if.then.true], [%4, %if.then.false]
|
|
|
|
|
%5 = icmp ne i32 0, %c
|
|
|
|
|
br i1 %5, label %if.true, label %for.inc
|
|
|
|
|
|
|
|
|
|
if.true:
|
|
|
|
|
%6 = add i32 %a, %val.if
|
|
|
|
|
br label %for.inc
|
|
|
|
|
|
|
|
|
|
for.inc:
|
|
|
|
|
%val.for.inc = phi i32 [%val, %for.body], [%val.if, %if], [%6, %if.true]
|
|
|
|
|
%7 = icmp ne i32 0, %d
|
|
|
|
|
br i1 %7, label %for.body, label %exit
|
|
|
|
|
|
|
|
|
|
exit:
|
|
|
|
|
store i32 %val.for.inc, i32 addrspace(1)* %out
|
|
|
|
|
ret void
|
|
|
|
|
}
|
