92 lines · plain
1; RUN: opt -O2 -mtriple=bpf-pc-linux %s | llvm-dis > %t12; RUN: llc %t1 -mcpu=v1 -o - | FileCheck -check-prefixes=CHECK %s3; RUN: opt -O2 -mtriple=bpf-pc-linux -bpf-disable-serialize-icmp %s | llvm-dis > %t14; RUN: llc %t1 -mcpu=v1 -o - | FileCheck -check-prefixes=CHECK-DISABLE %s5;6; Source:7; int foo();8; int bar(int);9; int test() {10; int ret = foo();11; if (ret <= 0)12; return 0;13; if (ret > 7)14; return 0;15; return bar(ret);16; }17; Compilation flag:18; clang -target bpf -O2 -S -emit-llvm -Xclang -disable-llvm-passes test.c19 20; Function Attrs: nounwind21define dso_local i32 @test() {22entry:23 %retval = alloca i32, align 424 %ret = alloca i32, align 425 %cleanup.dest.slot = alloca i32, align 426 call void @llvm.lifetime.start.p0(i64 4, ptr %ret)27 %call = call i32 @foo()28 store i32 %call, ptr %ret, align 4, !tbaa !229 %0 = load i32, ptr %ret, align 4, !tbaa !230 %cmp = icmp sle i32 %0, 031 br i1 %cmp, label %if.then, label %if.end32 33; CHECK: [[REG1:r[0-9]+]] <<= 3234; CHECK: [[REG1]] s>>= 3235; CHECK: [[REG2:r[0-9]+]] = 136; CHECK: if [[REG2]] s> [[REG1]] goto37; CHECK: if [[REG1]] s> 7 goto38 39; CHECK-DISABLE: [[REG1:r[0-9]+]] += -840; CHECK-DISABLE: [[REG1]] <<= 3241; CHECK-DISABLE: [[REG1]] >>= 3242; CHECK-DISABLE: [[REG2:r[0-9]+]] = 429496728943; CHECK-DISABLE: if [[REG2]] > [[REG1]] goto44 45if.then: ; preds = %entry46 store i32 0, ptr %retval, align 447 store i32 1, ptr %cleanup.dest.slot, align 448 br label %cleanup49 50if.end: ; preds = %entry51 %1 = load i32, ptr %ret, align 4, !tbaa !252 %cmp1 = icmp sgt i32 %1, 753 br i1 %cmp1, label %if.then2, label %if.end354 55if.then2: ; preds = %if.end56 store i32 0, ptr %retval, align 457 store i32 1, ptr %cleanup.dest.slot, align 458 br label %cleanup59 60if.end3: ; preds = %if.end61 %2 = load i32, ptr %ret, align 4, !tbaa !262 %call4 = call i32 @bar(i32 %2)63 store i32 %call4, ptr %retval, align 464 store i32 1, ptr %cleanup.dest.slot, align 465 br label %cleanup66 67cleanup: ; preds = %if.end3, %if.then2, %if.then68 call void @llvm.lifetime.end.p0(i64 4, ptr %ret)69 %3 = load i32, ptr %retval, align 470 ret i32 %371}72 73; Function Attrs: argmemonly nounwind willreturn74declare void @llvm.lifetime.start.p0(i64 immarg, ptr nocapture)75 76declare dso_local i32 @foo(...)77 78declare dso_local i32 @bar(i32)79 80; Function Attrs: argmemonly nounwind willreturn81declare void @llvm.lifetime.end.p0(i64 immarg, ptr nocapture)82 83!llvm.module.flags = !{!0}84!llvm.ident = !{!1}85 86!0 = !{i32 1, !"wchar_size", i32 4}87!1 = !{!"clang version 12.0.0 (https://github.com/llvm/llvm-project.git ca9c5433a6c31e372092fcd8bfd0e4fddd7e8784)"}88!2 = !{!3, !3, i64 0}89!3 = !{!"int", !4, i64 0}90!4 = !{!"omnipotent char", !5, i64 0}91!5 = !{!"Simple C/C++ TBAA"}92