[RISCV][VLOPT] Add vector narrowing integer right shift instructions to isSupportedIn...
[llvm-project.git] / llvm / test / CodeGen / Hexagon / loop-idiom / lcssa.ll
blobe5bcc2b9aebf6e50496fc78212ef29272abb2639
1 ; RUN: opt -mtriple hexagon-- -S -passes='loop(hexagon-loop-idiom,loop-deletion),gvn'
2 ; REQUIRES: asserts
4 ; This tests that the HexagonLoopIdiom pass does not mark LCSSA information
5 ; as preserved. The pass calls SimplifyInstruction is a couple of places,
6 ; which can invalidate LCSSA. Specifically, the uses of a LCSSA phi variable
7 ; are replaced by the incoming value.
9 define hidden void @test() local_unnamed_addr #0 {
10 entry:
11   br label %if.then63
13 if.then63:
14   br i1 undef, label %do.body311, label %if.end375
16 do.body311:
17   br i1 undef, label %do.end318, label %do.body311
19 do.end318:
20   br i1 undef, label %if.end322, label %if.end375
22 if.end322:
23   %sub325 = sub i32 undef, undef
24   br i1 undef, label %do.end329, label %do.body311
26 do.end329:
27   %sub325.lcssa = phi i32 [ %sub325, %if.end322 ]
28   br label %do.body330
30 do.body330:
31   %row_width.7 = phi i32 [ %sub325.lcssa, %do.end329 ], [ %dec334, %do.body330 ]
32   %sp.5 = phi ptr [ undef, %do.end329 ], [ %incdec.ptr331, %do.body330 ]
33   %dp.addr.5 = phi ptr [ undef, %do.end329 ], [ %incdec.ptr332, %do.body330 ]
34   %0 = load i8, ptr %sp.5, align 1
35   store i8 %0, ptr %dp.addr.5, align 1
36   %incdec.ptr332 = getelementptr inbounds i8, ptr %dp.addr.5, i32 1
37   %incdec.ptr331 = getelementptr inbounds i8, ptr %sp.5, i32 1
38   %dec334 = add i32 %row_width.7, -1
39   %cmp335 = icmp eq i32 %dec334, 0
40   br i1 %cmp335, label %if.end375, label %do.body330
42 if.end375:
43   ret void
46 attributes #0 = { nounwind }