152410815SAlexander Potapenko; Test -sanitizer-coverage-trace-compares=1 2eca01b03SLeonard Chan; RUN: opt < %s -passes='module(sancov-module)' -sanitizer-coverage-level=1 -sanitizer-coverage-trace-compares=1 -S | FileCheck %s 352410815SAlexander Potapenko 452410815SAlexander Potapenkotarget 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-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64" 552410815SAlexander Potapenkotarget triple = "x86_64-unknown-linux-gnu" 652410815SAlexander Potapenkodefine i32 @foo(i32 %a, i32 %b) #0 { 752410815SAlexander Potapenkoentry: 852410815SAlexander Potapenko 952410815SAlexander Potapenko; compare (non-const, non-const) 1052410815SAlexander Potapenko %cmp = icmp slt i32 %a, %b 1152410815SAlexander Potapenko; CHECK: call void @__sanitizer_cov_trace_cmp4 1252410815SAlexander Potapenko; CHECK-NEXT: icmp slt i32 %a, %b 1352410815SAlexander Potapenko 1452410815SAlexander Potapenko; compare (const, non-const) 1552410815SAlexander Potapenko icmp slt i32 %a, 1 16*47211fa8SArthur Eubanks; CHECK: call void @__sanitizer_cov_trace_const_cmp4(i32 1, i32 %a) 1752410815SAlexander Potapenko; CHECK-NEXT: icmp slt i32 %a, 1 1852410815SAlexander Potapenko 1952410815SAlexander Potapenko; compare (non-const, const) 2052410815SAlexander Potapenko icmp slt i32 1, %a 21*47211fa8SArthur Eubanks; CHECK: call void @__sanitizer_cov_trace_const_cmp4(i32 1, i32 %a) 2252410815SAlexander Potapenko; CHECK-NEXT: icmp slt i32 1, %a 2352410815SAlexander Potapenko 2452410815SAlexander Potapenko; compare (const, const) - should not be instrumented 2552410815SAlexander Potapenko icmp slt i32 1, 0 2652410815SAlexander Potapenko; CHECK-NOT: call void @__sanitizer_cov_trace 277c5d2becSJonathan Roelofs; CHECK: icmp slt i32 1, 0 2852410815SAlexander Potapenko 2952410815SAlexander Potapenko; compare variables of byte size 3052410815SAlexander Potapenko %x = trunc i32 %a to i8 3152410815SAlexander Potapenko 3252410815SAlexander Potapenko icmp slt i8 %x, 1 33*47211fa8SArthur Eubanks; CHECK: call void @__sanitizer_cov_trace_const_cmp1(i8 1, i8 %x) 3452410815SAlexander Potapenko; CHECK-NEXT: icmp slt i8 %x, 1 3552410815SAlexander Potapenko 3652410815SAlexander Potapenko icmp slt i8 1, %x 37*47211fa8SArthur Eubanks; CHECK: call void @__sanitizer_cov_trace_const_cmp1(i8 1, i8 %x) 3852410815SAlexander Potapenko; CHECK-NEXT: icmp slt i8 1, %x 3952410815SAlexander Potapenko 4052410815SAlexander Potapenko; compare variables of word size 4152410815SAlexander Potapenko %y = trunc i32 %a to i16 4252410815SAlexander Potapenko 4352410815SAlexander Potapenko icmp slt i16 %y, 1 44*47211fa8SArthur Eubanks; CHECK: call void @__sanitizer_cov_trace_const_cmp2(i16 1, i16 %y) 4552410815SAlexander Potapenko; CHECK-NEXT: icmp slt i16 %y, 1 4652410815SAlexander Potapenko 4752410815SAlexander Potapenko icmp slt i16 1, %y 48*47211fa8SArthur Eubanks; CHECK: call void @__sanitizer_cov_trace_const_cmp2(i16 1, i16 %y) 4952410815SAlexander Potapenko; CHECK-NEXT: icmp slt i16 1, %y 5052410815SAlexander Potapenko 5152410815SAlexander Potapenko; compare variables of qword size 5252410815SAlexander Potapenko %z = zext i32 %a to i64 5352410815SAlexander Potapenko 5452410815SAlexander Potapenko icmp slt i64 %z, 1 5552410815SAlexander Potapenko; CHECK: call void @__sanitizer_cov_trace_const_cmp8(i64 1, i64 %z) 5652410815SAlexander Potapenko; CHECK-NEXT: icmp slt i64 %z, 1 5752410815SAlexander Potapenko 5852410815SAlexander Potapenko icmp slt i64 1, %z 5952410815SAlexander Potapenko; CHECK: call void @__sanitizer_cov_trace_const_cmp8(i64 1, i64 %z) 6052410815SAlexander Potapenko; CHECK-NEXT: icmp slt i64 1, %z 6152410815SAlexander Potapenko 6252410815SAlexander Potapenko %conv = zext i1 %cmp to i32 6352410815SAlexander Potapenko ret i32 %conv 6452410815SAlexander Potapenko} 65