llvm/test/CodeGen/X86/ubsan-trap-merge.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 5
   2 ; RUN: llc -O3 -mtriple x86_64 -filetype asm -o - %s | FileCheck %s
   3 ;
   4 ; This test shows that ubsantrap can, in the absence of nomerge, be merged by
   5 ; the backend into a single ud1 instruction (thus making debugging difficult).
   6 ;
   7 ; The LLVM IR was generated from clang/test/CodeGen/ubsan-trap-merge.c with
   8 ; 'nomerge' manually removed from ubsantraps.
   9 ;
  10 ; ModuleID = '../clang/test/CodeGen/ubsan-trap-merge.c'
  11 source_filename = "../clang/test/CodeGen/ubsan-trap-merge.c"
  12 target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128"
  13 target triple = "x86_64-unknown-linux-gnu"
  14
  15 ; Function Attrs: nounwind uwtable
  16 define dso_local range(i32 -2147483523, -2147483648) i32 @f(i32 noundef %x) local_unnamed_addr #0 {
  17 ; CHECK-LABEL: f:
  18 ; CHECK:       # %bb.0: # %entry
  19 ; CHECK-NEXT:    addl $125, %edi
  20 ; CHECK-NEXT:    jo .LBB0_1
  21 ; CHECK-NEXT:  # %bb.2: # %cont
  22 ; CHECK-NEXT:    movl %edi, %eax
  23 ; CHECK-NEXT:    retq
  24 ; CHECK-NEXT:  .LBB0_1: # %trap
  25 ; CHECK-NEXT:    ud1l (%eax), %eax
  26 entry:
  27   %0 = tail call { i32, i1 } @llvm.sadd.with.overflow.i32(i32 %x, i32 125), !nosanitize !5
  28   %1 = extractvalue { i32, i1 } %0, 1, !nosanitize !5
  29   br i1 %1, label %trap, label %cont, !nosanitize !5
  30
  31 trap:                                             ; preds = %entry
  32   tail call void @llvm.ubsantrap(i8 0) #4, !nosanitize !5
  33   unreachable, !nosanitize !5
  34
  35 cont:                                             ; preds = %entry
  36   %2 = extractvalue { i32, i1 } %0, 0, !nosanitize !5
  37   ret i32 %2
  38 }
  39
  40 ; Function Attrs: mustprogress nocallback nofree nosync nounwind speculatable willreturn memory(none)
  41 declare { i32, i1 } @llvm.sadd.with.overflow.i32(i32, i32) #1
  42
  43 ; Function Attrs: cold noreturn nounwind
  44 declare void @llvm.ubsantrap(i8 immarg) #2
  45
  46 ; Function Attrs: nounwind uwtable
  47 define dso_local range(i32 -2147483521, -2147483648) i32 @g(i32 noundef %x) local_unnamed_addr #0 {
  48 ; CHECK-LABEL: g:
  49 ; CHECK:       # %bb.0: # %entry
  50 ; CHECK-NEXT:    addl $127, %edi
  51 ; CHECK-NEXT:    jo .LBB1_1
  52 ; CHECK-NEXT:  # %bb.2: # %cont
  53 ; CHECK-NEXT:    movl %edi, %eax
  54 ; CHECK-NEXT:    retq
  55 ; CHECK-NEXT:  .LBB1_1: # %trap
  56 ; CHECK-NEXT:    ud1l (%eax), %eax
  57 entry:
  58   %0 = tail call { i32, i1 } @llvm.sadd.with.overflow.i32(i32 %x, i32 127), !nosanitize !5
  59   %1 = extractvalue { i32, i1 } %0, 1, !nosanitize !5
  60   br i1 %1, label %trap, label %cont, !nosanitize !5
  61
  62 trap:                                             ; preds = %entry
  63   tail call void @llvm.ubsantrap(i8 0) #4, !nosanitize !5
  64   unreachable, !nosanitize !5
  65
  66 cont:                                             ; preds = %entry
  67   %2 = extractvalue { i32, i1 } %0, 0, !nosanitize !5
  68   ret i32 %2
  69 }
  70
  71 ; Function Attrs: nounwind uwtable
  72 define dso_local range(i32 -2147483521, -2147483648) i32 @h(i32 noundef %x, i32 noundef %y) local_unnamed_addr #0 {
  73 ; CHECK-LABEL: h:
  74 ; CHECK:       # %bb.0: # %entry
  75 ; CHECK-NEXT:    addl $127, %edi
  76 ; CHECK-NEXT:    jo .LBB2_3
  77 ; CHECK-NEXT:  # %bb.1: # %cont
  78 ; CHECK-NEXT:    addl $129, %esi
  79 ; CHECK-NEXT:    jo .LBB2_3
  80 ; CHECK-NEXT:  # %bb.2: # %cont2
  81 ; CHECK-NEXT:    cmpl %esi, %edi
  82 ; CHECK-NEXT:    cmovll %edi, %esi
  83 ; CHECK-NEXT:    movl %esi, %eax
  84 ; CHECK-NEXT:    retq
  85 ; CHECK-NEXT:  .LBB2_3: # %trap
  86 ; CHECK-NEXT:    ud1l (%eax), %eax
  87 entry:
  88   %0 = tail call { i32, i1 } @llvm.sadd.with.overflow.i32(i32 %x, i32 127), !nosanitize !5
  89   %1 = extractvalue { i32, i1 } %0, 1, !nosanitize !5
  90   br i1 %1, label %trap, label %cont, !nosanitize !5
  91
  92 trap:                                             ; preds = %entry
  93   tail call void @llvm.ubsantrap(i8 0) #4, !nosanitize !5
  94   unreachable, !nosanitize !5
  95
  96 cont:                                             ; preds = %entry
  97   %2 = tail call { i32, i1 } @llvm.sadd.with.overflow.i32(i32 %y, i32 129), !nosanitize !5
  98   %3 = extractvalue { i32, i1 } %2, 1, !nosanitize !5
  99   br i1 %3, label %trap1, label %cont2, !nosanitize !5
 100
 101 trap1:                                            ; preds = %cont
 102   tail call void @llvm.ubsantrap(i8 0) #4, !nosanitize !5
 103   unreachable, !nosanitize !5
 104
 105 cont2:                                            ; preds = %cont
 106   %4 = extractvalue { i32, i1 } %2, 0, !nosanitize !5
 107   %5 = extractvalue { i32, i1 } %0, 0, !nosanitize !5
 108   %cond = tail call i32 @llvm.smin.i32(i32 %5, i32 %4)
 109   ret i32 %cond
 110 }
 111
 112 ; Function Attrs: nounwind uwtable
 113 define dso_local noundef i32 @m(i32 noundef %x, i32 noundef %y) local_unnamed_addr #0 {
 114 ; CHECK-LABEL: m:
 115 ; CHECK:       # %bb.0: # %entry
 116 ; CHECK-NEXT:    addl $125, %edi
 117 ; CHECK-NEXT:    jo .LBB3_4
 118 ; CHECK-NEXT:  # %bb.1: # %f.exit
 119 ; CHECK-NEXT:    addl $127, %esi
 120 ; CHECK-NEXT:    jo .LBB3_4
 121 ; CHECK-NEXT:  # %bb.2: # %g.exit
 122 ; CHECK-NEXT:    addl %esi, %edi
 123 ; CHECK-NEXT:    jo .LBB3_4
 124 ; CHECK-NEXT:  # %bb.3: # %cont
 125 ; CHECK-NEXT:    movl %edi, %eax
 126 ; CHECK-NEXT:    retq
 127 ; CHECK-NEXT:  .LBB3_4: # %trap.i
 128 ; CHECK-NEXT:    ud1l (%eax), %eax
 129 entry:
 130   %0 = tail call { i32, i1 } @llvm.sadd.with.overflow.i32(i32 %x, i32 125), !nosanitize !5
 131   %1 = extractvalue { i32, i1 } %0, 1, !nosanitize !5
 132   br i1 %1, label %trap.i, label %f.exit, !nosanitize !5
 133
 134 trap.i:                                           ; preds = %entry
 135   tail call void @llvm.ubsantrap(i8 0) #4, !nosanitize !5
 136   unreachable, !nosanitize !5
 137
 138 f.exit:                                           ; preds = %entry
 139   %2 = tail call { i32, i1 } @llvm.sadd.with.overflow.i32(i32 %y, i32 127), !nosanitize !5
 140   %3 = extractvalue { i32, i1 } %2, 1, !nosanitize !5
 141   br i1 %3, label %trap.i2, label %g.exit, !nosanitize !5
 142
 143 trap.i2:                                          ; preds = %f.exit
 144   tail call void @llvm.ubsantrap(i8 0) #4, !nosanitize !5
 145   unreachable, !nosanitize !5
 146
 147 g.exit:                                           ; preds = %f.exit
 148   %4 = extractvalue { i32, i1 } %0, 0, !nosanitize !5
 149   %5 = extractvalue { i32, i1 } %2, 0, !nosanitize !5
 150   %6 = tail call { i32, i1 } @llvm.sadd.with.overflow.i32(i32 %4, i32 %5), !nosanitize !5
 151   %7 = extractvalue { i32, i1 } %6, 1, !nosanitize !5
 152   br i1 %7, label %trap, label %cont, !nosanitize !5
 153
 154 trap:                                             ; preds = %g.exit
 155   tail call void @llvm.ubsantrap(i8 0) #4, !nosanitize !5
 156   unreachable, !nosanitize !5
 157
 158 cont:                                             ; preds = %g.exit
 159   %8 = extractvalue { i32, i1 } %6, 0, !nosanitize !5
 160   ret i32 %8
 161 }
 162
 163 ; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none)
 164 declare i32 @llvm.smin.i32(i32, i32) #3
 165
 166 attributes #0 = { nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
 167 attributes #1 = { mustprogress nocallback nofree nosync nounwind speculatable willreturn memory(none) }
 168 attributes #2 = { cold noreturn nounwind }
 169 attributes #3 = { nocallback nofree nosync nounwind speculatable willreturn memory(none) }
 170 attributes #4 = { noreturn nounwind }
 171
 172 !llvm.module.flags = !{!0, !1, !2, !3}
 173 !llvm.ident = !{!4}
 174
 175 !0 = !{i32 1, !"wchar_size", i32 4}
 176 !1 = !{i32 8, !"PIC Level", i32 2}
 177 !2 = !{i32 7, !"PIE Level", i32 2}
 178 !3 = !{i32 7, !"uwtable", i32 2}
 179 !4 = !{!"clang version 20.0.0git (https://github.com/llvm/llvm-project.git fe3c23b439b9a2d00442d9bc6a4ca86f73066a3d)"}
 180 !5 = !{}