Home | History | Annotate | Download | only in R600
      1 ; RUN: llc < %s -march=r600 -mcpu=redwood -mattr=disable-irstructurizer | FileCheck %s
      2 ; Test case for a crash in the AMDILCFGStructurizer from a CFG like this:
      3 ;
      4 ;                            entry
      5 ;                           /     \
      6 ;               diamond_head       branch_from
      7 ;                 /      \           |
      8 ;    diamond_false        diamond_true
      9 ;                 \      /
     10 ;                   done
     11 ;
     12 ; When the diamond_true branch had more than 100 instructions.
     13 ;
     14 ;
     15 
     16 ; CHECK-LABEL: @branch_into_diamond
     17 ; === entry block:
     18 ; CHECK: ALU_PUSH_BEFORE
     19 ; === Branch instruction (IF):
     20 ; CHECK: JUMP
     21   ; === branch_from block
     22   ; CHECK: ALU
     23   ; === Duplicated diamond_true block (There can be more than one ALU clause):
     24   ; === XXX: We should be able to optimize this so the basic block is not
     25   ; === duplicated.  See comments in
     26   ; === AMDGPUCFGStructurizer::improveSimpleJumpintoIf()
     27   ; CHECK: ALU
     28 ; === Branch instruction (ELSE):
     29 ; CHECK: ELSE
     30   ; === diamond_head block:
     31   ; CHECK: ALU_PUSH_BEFORE
     32   ; === Branch instruction (IF):
     33   ; CHECK: JUMP
     34     ; === diamond_true block (There can be more than one ALU clause):
     35     ; ALU
     36   ; === Branch instruction (ELSE):
     37   ; CHECK: ELSE
     38     ; === diamond_false block plus implicit ENDIF
     39     ; CHECK: ALU_POP_AFTER
     40 ; === Branch instruction (ENDIF):
     41 ; CHECK: POP
     42 ; === done block:
     43 ; CHECK: ALU
     44 ; CHECK: MEM_RAT_CACHELESS
     45 ; CHECK: CF_END
     46 
     47 
     48 define void @branch_into_diamond(i32 addrspace(1)* %out, i32 %a, i32 %b, i32 %c) {
     49 entry:
     50 %0 = icmp ne i32 %a, 0
     51   br i1 %0, label %diamond_head, label %branch_from
     52 
     53 diamond_head:
     54   %1 = icmp ne i32 %a, 1
     55   br i1 %1, label %diamond_true, label %diamond_false
     56 
     57 branch_from:
     58   %2 = add i32 %a, 1
     59   br label %diamond_true
     60 
     61 diamond_false:
     62   %3 = add i32 %a, 2
     63   br label %done
     64 
     65 diamond_true:
     66   %4 = phi i32 [%2, %branch_from], [%a, %diamond_head]
     67   ; This block needs to be > 100 ISA instructions to hit the bug,
     68   ; so we'll use udiv instructions.
     69   %div0 = udiv i32 %a, %b
     70   %div1 = udiv i32 %div0, %4
     71   %div2 = udiv i32 %div1, 11
     72   %div3 = udiv i32 %div2, %a
     73   %div4 = udiv i32 %div3, %b
     74   %div5 = udiv i32 %div4, %c
     75   %div6 = udiv i32 %div5, %div0
     76   %div7 = udiv i32 %div6, %div1
     77   br label %done
     78 
     79 done:
     80   %5 = phi i32 [%3, %diamond_false], [%div7, %diamond_true]
     81   store i32 %5, i32 addrspace(1)* %out
     82   ret void
     83 }
     84