| // RUN: %clang_cc1 -std=c++2a -emit-llvm %s -o - -triple x86_64-linux-gnu | FileCheck %s --check-prefixes=CHECK,REGULAR |
| // RUN: %clang_cc1 -std=c++2a -fsanitize=shift-base,shift-exponent -emit-llvm %s -o - -triple x86_64-linux-gnu | FileCheck %s --check-prefixes=CHECK,SANITIZED |
| |
| // CHECK-LABEL: @_Z12lsh_overflow |
| int lsh_overflow(int a, int b) { |
| // SANITIZED: %[[RHS_INBOUNDS:.*]] = icmp ule i32 %[[RHS:.*]], 31 |
| // SANITIZED-NEXT: br i1 %[[RHS_INBOUNDS]], label %[[VALID:.*]], label |
| |
| // SANITIZED: call void @__ubsan_handle_shift_out_of_bounds |
| |
| // No check for the LHS here. |
| // SANITIZED: [[VALID]]: |
| // SANITIZED-NEXT: shl i32 % |
| // SANITIZED-NEXT: ret i32 |
| |
| // Just ensure there's no nsw nuw flags here. |
| // REGULAR: shl i32 % |
| return a << b; |
| } |
