| ; RUN: llc -outline-optional-branches -O2 < %s | FileCheck %s |
| target datalayout = "e-m:e-i64:64-n32:64" |
| target triple = "powerpc64le-grtev4-linux-gnu" |
| |
| ; Intended layout: |
| ; The outlining flag produces the layout |
| ; test1 |
| ; test2 |
| ; test3 |
| ; test4 |
| ; exit |
| ; optional1 |
| ; optional2 |
| ; optional3 |
| ; optional4 |
| ; Tail duplication puts test n+1 at the end of optional n |
| ; so optional1 includes a copy of test2 at the end, and branches |
| ; to test3 (at the top) or falls through to optional 2. |
| ; The CHECK statements check for the whole string of tests and exit block, |
| ; and then check that the correct test has been duplicated into the end of |
| ; the optional blocks and that the optional blocks are in the correct order. |
| ;CHECK-LABEL: f: |
| ; test1 may have been merged with entry |
| ;CHECK: mr [[TAGREG:[0-9]+]], 3 |
| ;CHECK: andi. {{[0-9]+}}, [[TAGREG]], 1 |
| ;CHECK-NEXT: bc 12, 1, [[OPT1LABEL:[._0-9A-Za-z]+]] |
| ;CHECK-NEXT: [[TEST2LABEL:[._0-9A-Za-z]+]]: # %test2 |
| ;CHECK-NEXT: rlwinm. {{[0-9]+}}, [[TAGREG]], 0, 30, 30 |
| ;CHECK-NEXT: bne 0, [[OPT2LABEL:[._0-9A-Za-z]+]] |
| ;CHECK-NEXT: [[TEST3LABEL:[._0-9A-Za-z]+]]: # %test3 |
| ;CHECK-NEXT: rlwinm. {{[0-9]+}}, [[TAGREG]], 0, 29, 29 |
| ;CHECK-NEXT: bne 0, .[[OPT3LABEL:[._0-9A-Za-z]+]] |
| ;CHECK-NEXT: [[TEST4LABEL:[._0-9A-Za-z]+]]: # %test4 |
| ;CHECK-NEXT: rlwinm. {{[0-9]+}}, [[TAGREG]], 0, 28, 28 |
| ;CHECK-NEXT: bne 0, .[[OPT4LABEL:[._0-9A-Za-z]+]] |
| ;CHECK-NEXT: [[EXITLABEL:[._0-9A-Za-z]+]]: # %exit |
| ;CHECK: blr |
| ;CHECK-NEXT: [[OPT1LABEL]] |
| ;CHECK: rlwinm. {{[0-9]+}}, [[TAGREG]], 0, 30, 30 |
| ;CHECK-NEXT: beq 0, [[TEST3LABEL]] |
| ;CHECK-NEXT: [[OPT2LABEL]] |
| ;CHECK: rlwinm. {{[0-9]+}}, [[TAGREG]], 0, 29, 29 |
| ;CHECK-NEXT: beq 0, [[TEST4LABEL]] |
| ;CHECK-NEXT: [[OPT3LABEL]] |
| ;CHECK: rlwinm. {{[0-9]+}}, [[TAGREG]], 0, 28, 28 |
| ;CHECK-NEXT: beq 0, [[EXITLABEL]] |
| ;CHECK-NEXT: [[OPT4LABEL]] |
| ;CHECK: b [[EXITLABEL]] |
| |
| define void @f(i32 %tag) { |
| entry: |
| br label %test1 |
| test1: |
| %tagbit1 = and i32 %tag, 1 |
| %tagbit1eq0 = icmp eq i32 %tagbit1, 0 |
| br i1 %tagbit1eq0, label %test2, label %optional1 |
| optional1: |
| call void @a() |
| call void @a() |
| call void @a() |
| call void @a() |
| br label %test2 |
| test2: |
| %tagbit2 = and i32 %tag, 2 |
| %tagbit2eq0 = icmp eq i32 %tagbit2, 0 |
| br i1 %tagbit2eq0, label %test3, label %optional2 |
| optional2: |
| call void @b() |
| call void @b() |
| call void @b() |
| call void @b() |
| br label %test3 |
| test3: |
| %tagbit3 = and i32 %tag, 4 |
| %tagbit3eq0 = icmp eq i32 %tagbit3, 0 |
| br i1 %tagbit3eq0, label %test4, label %optional3 |
| optional3: |
| call void @c() |
| call void @c() |
| call void @c() |
| call void @c() |
| br label %test4 |
| test4: |
| %tagbit4 = and i32 %tag, 8 |
| %tagbit4eq0 = icmp eq i32 %tagbit4, 0 |
| br i1 %tagbit4eq0, label %exit, label %optional4 |
| optional4: |
| call void @d() |
| call void @d() |
| call void @d() |
| call void @d() |
| br label %exit |
| exit: |
| ret void |
| } |
| |
| declare void @a() |
| declare void @b() |
| declare void @c() |
| declare void @d() |