test/Transforms/SCCP/ubsan_overflow.ll

   1 ; RUN: opt -sccp -S %s | FileCheck %s
   2
   3 @0 = private unnamed_addr constant [16 x i8] c"\01\00\00\00\01\01\00\00\01\01\01\00\01\01\01\01"
   4
   5 ; CHECK-LABEL: @foo
   6 define i8 @foo() {
   7 entry:
   8   %0 = add nuw nsw i64 0, -1
   9   %1 = lshr i64 %0, 1
  10   %2 = getelementptr inbounds [4 x [4 x i8]], [4 x [4 x i8]]* bitcast ([16 x i8]* @0 to [4 x [4 x i8]]*), i64 0, i64 0, i64 %1
  11   %3 = load i8, i8* %2, align 1
  12   ret i8 %3
  13 }