1; RUN: opt -O2 -mtriple=bpf-pc-linux %s | llvm-dis > %t1 2; RUN: llc %t1 -o - | FileCheck -check-prefixes=CHECK-COMMON,CHECK %s 3; RUN: opt -O2 -mtriple=bpf-pc-linux -bpf-disable-avoid-speculation %s | llvm-dis > %t1 4; RUN: llc %t1 -o - | FileCheck -check-prefixes=CHECK-COMMON,CHECK-DISABLE %s 5; 6; Source: 7; unsigned long foo(); 8; void *test(void *p) { 9; unsigned long ret = foo(); 10; if (ret <= 7) 11; p += ret; 12; return p; 13; } 14; Compilation flag: 15; clang -target bpf -O2 -S -emit-llvm -Xclang -disable-llvm-passes test.c 16 17; Function Attrs: nounwind 18define dso_local i8* @test(i8* %p) #0 { 19entry: 20 %p.addr = alloca i8*, align 8 21 %ret = alloca i64, align 8 22 store i8* %p, i8** %p.addr, align 8, !tbaa !2 23 %0 = bitcast i64* %ret to i8* 24 call void @llvm.lifetime.start.p0i8(i64 8, i8* %0) #3 25 %call = call i64 bitcast (i64 (...)* @foo to i64 ()*)() 26 store i64 %call, i64* %ret, align 8, !tbaa !6 27 %1 = load i64, i64* %ret, align 8, !tbaa !6 28 %cmp = icmp ule i64 %1, 7 29 br i1 %cmp, label %if.then, label %if.end 30 31if.then: ; preds = %entry 32 %2 = load i64, i64* %ret, align 8, !tbaa !6 33 %3 = load i8*, i8** %p.addr, align 8, !tbaa !2 34 %add.ptr = getelementptr i8, i8* %3, i64 %2 35 store i8* %add.ptr, i8** %p.addr, align 8, !tbaa !2 36 br label %if.end 37 38if.end: ; preds = %if.then, %entry 39 %4 = load i8*, i8** %p.addr, align 8, !tbaa !2 40 %5 = bitcast i64* %ret to i8* 41 call void @llvm.lifetime.end.p0i8(i64 8, i8* %5) #3 42 ret i8* %4 43} 44; CHECK-COMMON: [[REG6:r[0-9]+]] = r1 45; CHECK-COMMON: call foo 46 47; CHECK: if r0 > 7 goto [[LABEL:.*]] 48; CHECK: [[REG6]] += r0 49; CHECK: [[LABEL]]: 50; CHECK: r0 = [[REG6]] 51 52; CHECK-DISABLE: r0 = [[REG6]] 53; CHECK-DISABLE: r0 += [[REG1:r[0-9]+]] 54; CHECK-DISABLE: [[REG2:r[0-9]+]] = 8 55; CHECK-DISABLE: if [[REG2]] > [[REG1]] goto [[LABEL:.*]] 56; CHECK-DISABLE: r0 = [[REG6]] 57; CHECK-DISABLE: [[LABEL]]: 58 59; CHECK-COMMON: exit 60 61; Function Attrs: argmemonly nounwind willreturn 62declare void @llvm.lifetime.start.p0i8(i64 immarg, i8* nocapture) #1 63 64declare dso_local i64 @foo(...) #2 65 66; Function Attrs: argmemonly nounwind willreturn 67declare void @llvm.lifetime.end.p0i8(i64 immarg, i8* nocapture) #1 68 69attributes #0 = { nounwind "disable-tail-calls"="false" "frame-pointer"="all" "less-precise-fpmad"="false" "min-legal-vector-width"="0" "no-infs-fp-math"="false" "no-jump-tables"="false" "no-nans-fp-math"="false" "no-signed-zeros-fp-math"="false" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "unsafe-fp-math"="false" "use-soft-float"="false" } 70attributes #1 = { argmemonly nounwind willreturn } 71attributes #2 = { "disable-tail-calls"="false" "frame-pointer"="all" "less-precise-fpmad"="false" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "no-signed-zeros-fp-math"="false" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "unsafe-fp-math"="false" "use-soft-float"="false" } 72attributes #3 = { nounwind } 73 74!llvm.module.flags = !{!0} 75!llvm.ident = !{!1} 76 77!0 = !{i32 1, !"wchar_size", i32 4} 78!1 = !{!"clang version 12.0.0 (https://github.com/llvm/llvm-project.git ca9c5433a6c31e372092fcd8bfd0e4fddd7e8784)"} 79!2 = !{!3, !3, i64 0} 80!3 = !{!"any pointer", !4, i64 0} 81!4 = !{!"omnipotent char", !5, i64 0} 82!5 = !{!"Simple C/C++ TBAA"} 83!6 = !{!7, !7, i64 0} 84!7 = !{!"long", !4, i64 0} 85