[MIParser] Set RegClassOrRegBank during instruction parsing
[llvm-complete.git] / test / CodeGen / Hexagon / cext-check.ll
blob38dfa9ca03563ca3cc4653ae2ea82b828299f02e
1 ; RUN: llc -march=hexagon -hexagon-eif=0 -ifcvt-limit=0 -hexagon-initial-cfg-cleanup=0 < %s | FileCheck %s
2 ; Check that we constant extended instructions only when necessary.
4 define i32 @cext_test1(i32* %a) nounwind {
5 ; CHECK: r{{[0-9]+}} = memw(r{{[0-9]+}}+##8000)
6 ; CHECK: r{{[0-9]+}} = add(r{{[0-9]+}},##300000)
7 ; CHECK-NOT: r{{[0-9]+}} = memw(r{{[0-9]+}}+##4092)
8 ; CHECK-NOT: r{{[0-9]+}} = add(r{{[0-9]+}},##300)
9 entry:
10   %0 = load i32, i32* %a, align 4
11   %tobool = icmp ne i32 %0, 0
12   br i1 %tobool, label %if.then, label %if.end
14 if.then:
15   %arrayidx1 = getelementptr inbounds i32, i32* %a, i32 2000
16   %1 = load i32, i32* %arrayidx1, align 4
17   %add = add nsw i32 %1, 300000
18   br label %return
20 if.end:
21   %arrayidx2 = getelementptr inbounds i32, i32* %a, i32 1023
22   %2 = load i32, i32* %arrayidx2, align 4
23   %add3 = add nsw i32 %2, 300
24   br label %return
26 return:
27   %retval.0 = phi i32 [ %add, %if.then ], [ %add3, %if.end ]
28   ret i32 %retval.0
31 define i32 @cext_test2(i8* %a) nounwind {
32 ; CHECK-NOT: r{{[0-9]+}} = memub(r{{[0-9]+}}+##1023)
33 ; CHECK: r{{[0-9]+}} = add(r{{[0-9]+}},##300000)
34 ; CHECK: r{{[0-9]+}} = memub(r{{[0-9]+}}+##1024)
35 ; CHECK-NOT: r{{[0-9]+}} = add(r{{[0-9]+}},##6000)
36 entry:
37   %tobool = icmp ne i8* %a, null
38   br i1 %tobool, label %if.then, label %if.end
40 if.then:
41   %arrayidx = getelementptr inbounds i8, i8* %a, i32 1023
42   %0 = load i8, i8* %arrayidx, align 1
43   %conv = zext i8 %0 to i32
44   %add = add nsw i32 %conv, 300000
45   br label %return
47 if.end:
48   %arrayidx1 = getelementptr inbounds i8, i8* %a, i32 1024
49   %1 = load i8, i8* %arrayidx1, align 1
50   %conv2 = zext i8 %1 to i32
51   %add3 = add nsw i32 %conv2, 6000
52   br label %return
54 return:
55   %retval.0 = phi i32 [ %add, %if.then ], [ %add3, %if.end ]
56   ret i32 %retval.0