58 lines · plain
1; RUN: llc -mtriple=hexagon -hexagon-eif=0 -ifcvt-limit=0 -hexagon-initial-cfg-cleanup=0 < %s | FileCheck %s2; Check that we constant extended instructions only when necessary.3 4define i32 @cext_test1(ptr %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)9entry:10 %0 = load i32, ptr %a, align 411 %tobool = icmp ne i32 %0, 012 br i1 %tobool, label %if.then, label %if.end13 14if.then:15 %arrayidx1 = getelementptr inbounds i32, ptr %a, i32 200016 %1 = load i32, ptr %arrayidx1, align 417 %add = add nsw i32 %1, 30000018 br label %return19 20if.end:21 %arrayidx2 = getelementptr inbounds i32, ptr %a, i32 102322 %2 = load i32, ptr %arrayidx2, align 423 %add3 = add nsw i32 %2, 30024 br label %return25 26return:27 %retval.0 = phi i32 [ %add, %if.then ], [ %add3, %if.end ]28 ret i32 %retval.029}30 31define i32 @cext_test2(ptr %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)36entry:37 %tobool = icmp ne ptr %a, null38 br i1 %tobool, label %if.then, label %if.end39 40if.then:41 %arrayidx = getelementptr inbounds i8, ptr %a, i32 102342 %0 = load i8, ptr %arrayidx, align 143 %conv = zext i8 %0 to i3244 %add = add nsw i32 %conv, 30000045 br label %return46 47if.end:48 %arrayidx1 = getelementptr inbounds i8, ptr %a, i32 102449 %1 = load i8, ptr %arrayidx1, align 150 %conv2 = zext i8 %1 to i3251 %add3 = add nsw i32 %conv2, 600052 br label %return53 54return:55 %retval.0 = phi i32 [ %add, %if.then ], [ %add3, %if.end ]56 ret i32 %retval.057}58