Bump version to 19.1.0-rc3
[llvm-project.git] / llvm / test / CodeGen / PowerPC / early-ret.ll
blob26923c231e28f8dc05cbabf36e7df08ef6af95b4
1 ; RUN: llc -verify-machineinstrs < %s -mtriple=powerpc64-unknown-linux-gnu | FileCheck %s
2 target datalayout = "E-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-f128:128:128-v128:128:128-n32:64"
3 target triple = "powerpc64-unknown-linux-gnu"
5 define void @foo(ptr %P) #0 {
6 entry:
7   %tobool = icmp eq ptr %P, null
8   br i1 %tobool, label %if.end, label %if.then
10 if.then:                                          ; preds = %entry
11   store i32 0, ptr %P, align 4
12   br label %if.end
14 if.end:                                           ; preds = %entry, %if.then
15   ret void
17 ; CHECK: @foo
18 ; CHECK: beqlr
19 ; CHECK: blr
22 define void @bar(ptr %P, ptr %Q) #0 {
23 entry:
24   %tobool = icmp eq ptr %P, null
25   br i1 %tobool, label %if.else, label %if.then
27 if.then:                                          ; preds = %entry
28   store i32 0, ptr %P, align 4
29   %tobool1 = icmp eq ptr %Q, null
30   br i1 %tobool1, label %if.end3, label %if.then2
32 if.then2:                                         ; preds = %if.then
33   store i32 1, ptr %Q, align 4
34   br label %if.end3
36 if.else:                                          ; preds = %entry
37   store i32 0, ptr %Q, align 4
38   br label %if.end3
40 if.end3:                                          ; preds = %if.then, %if.then2, %if.else
41   ret void
43 ; CHECK: @bar
44 ; CHECK: beqlr
45 ; CHECK: blr
49 @.str0 = private unnamed_addr constant [2 x i8] c"a\00"
50 @.str1 = private unnamed_addr constant [2 x i8] c"b\00"
51 @.str2 = private unnamed_addr constant [2 x i8] c"c\00"
52 @.str3 = private unnamed_addr constant [2 x i8] c"d\00"
53 @.str4 = private unnamed_addr constant [2 x i8] c"e\00"
54 define ptr @dont_assert(i32 %x) {
55 ; LLVM would assert due to moving an early return into the jump table block and
56 ; removing one of its predecessors despite that block ending with an indirect
57 ; branch.
58 entry:
59   switch i32 %x, label %sw.epilog [
60     i32 1, label %return
61     i32 2, label %sw.bb1
62     i32 3, label %sw.bb2
63     i32 4, label %sw.bb3
64     i32 255, label %sw.bb4
65   ]
66 sw.bb1: br label %return
67 sw.bb2: br label %return
68 sw.bb3: br label %return
69 sw.bb4: br label %return
70 sw.epilog: br label %return
71 return:
72   %retval.0 = phi ptr [ null, %sw.epilog ],
73                       [ @.str4, %sw.bb4 ],
74                       [ @.str3, %sw.bb3 ],
75                       [ @.str2, %sw.bb2 ],
76                       [ @.str1, %sw.bb1 ],
77                       [ @.str0, %entry ]
78   ret ptr %retval.0
81 attributes #0 = { nounwind }