42 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 62; RUN: opt < %s -passes=dfsan -dfsan-add-global-name-suffix=0 -S | FileCheck %s3target 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-S128"4target triple = "x86_64-unknown-linux-gnu"5 6define {i32, i32} @test({i32, i32} %a, i1 %c) {7; CHECK-LABEL: define { i32, i32 } @test(8; CHECK-SAME: { i32, i32 } [[A:%.*]], i1 [[C:%.*]]) {9; CHECK-NEXT: [[ENTRY:.*:]]10; CHECK-NEXT: [[TMP0:%.*]] = load { i8, i8 }, ptr @__dfsan_arg_tls, align 211; CHECK-NEXT: br i1 [[C]], label %[[T:.*]], label %[[F:.*]]12; CHECK: [[T]]:13; CHECK-NEXT: [[TMP1:%.*]] = insertvalue { i8, i8 } [[TMP0]], i8 0, 014; CHECK-NEXT: [[AT:%.*]] = insertvalue { i32, i32 } [[A]], i32 1, 015; CHECK-NEXT: br label %[[DONE:.*]]16; CHECK: [[F]]:17; CHECK-NEXT: [[TMP2:%.*]] = insertvalue { i8, i8 } [[TMP0]], i8 0, 118; CHECK-NEXT: [[AF:%.*]] = insertvalue { i32, i32 } [[A]], i32 1, 119; CHECK-NEXT: br label %[[DONE]]20; CHECK: [[DONE]]:21; CHECK-NEXT: [[TMP3:%.*]] = phi { i8, i8 } [ [[TMP1]], %[[T]] ], [ [[TMP2]], %[[F]] ]22; CHECK-NEXT: [[B:%.*]] = phi { i32, i32 } [ [[AT]], %[[T]] ], [ [[AF]], %[[F]] ]23; CHECK-NEXT: store { i8, i8 } [[TMP3]], ptr @__dfsan_retval_tls, align 224; CHECK-NEXT: ret { i32, i32 } [[B]]25;26 27entry:28 br i1 %c, label %T, label %F29 30T:31 %at = insertvalue {i32, i32} %a, i32 1, 032 br label %done33 34F:35 %af = insertvalue {i32, i32} %a, i32 1, 136 br label %done37 38done:39 %b = phi {i32, i32} [%at, %T], [%af, %F]40 ret {i32, i32} %b41}42