65 lines
1.5 KiB
LLVM
65 lines
1.5 KiB
LLVM
; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
|
|
; RUN: llc -mtriple=x86_64-- < %s | FileCheck %s
|
|
|
|
declare void @clobber()
|
|
|
|
define void @test(i1 %c, ptr %p, ptr noalias %p2) nounwind {
|
|
; CHECK-LABEL: test:
|
|
; CHECK: # %bb.0: # %entry
|
|
; CHECK-NEXT: pushq %rbp
|
|
; CHECK-NEXT: pushq %r14
|
|
; CHECK-NEXT: pushq %rbx
|
|
; CHECK-NEXT: movq %rdx, %rbx
|
|
; CHECK-NEXT: movl %edi, %ebp
|
|
; CHECK-NEXT: movq (%rsi), %r14
|
|
; CHECK-NEXT: xorl %eax, %eax
|
|
; CHECK-NEXT: jmpq *.LJTI0_0(,%rax,8)
|
|
; CHECK-NEXT: .LBB0_1: # %split.3
|
|
; CHECK-NEXT: testb $1, %bpl
|
|
; CHECK-NEXT: je .LBB0_3
|
|
; CHECK-NEXT: # %bb.2: # %clobber
|
|
; CHECK-NEXT: callq clobber@PLT
|
|
; CHECK-NEXT: .LBB0_3: # %sink
|
|
; CHECK-NEXT: movq %r14, (%rbx)
|
|
; CHECK-NEXT: .LBB0_4: # %latch
|
|
; CHECK-NEXT: # =>This Inner Loop Header: Depth=1
|
|
; CHECK-NEXT: xorl %eax, %eax
|
|
; CHECK-NEXT: jmpq *.LJTI0_0(,%rax,8)
|
|
entry:
|
|
%val = load i64, ptr %p, align 8
|
|
br label %loop
|
|
|
|
loop:
|
|
switch i8 undef, label %unreachable [
|
|
i8 0, label %latch
|
|
i8 1, label %split.1
|
|
i8 2, label %split.2
|
|
i8 3, label %split.3
|
|
]
|
|
|
|
unreachable:
|
|
unreachable
|
|
|
|
split.3:
|
|
br i1 %c, label %clobber, label %sink
|
|
|
|
split.1:
|
|
br label %latch
|
|
|
|
split.2:
|
|
br label %latch
|
|
|
|
clobber:
|
|
call void @clobber()
|
|
br label %sink
|
|
|
|
sink:
|
|
store i64 %val, ptr %p2, align 8
|
|
br label %latch
|
|
|
|
latch:
|
|
%phi = phi i64 [ 0, %sink ], [ 0, %split.2 ], [ 1, %split.1 ], [ 0, %loop ]
|
|
%phi.live = add i64 %phi, 0
|
|
br label %loop
|
|
}
|