Alina Sbirlea | 7153f27 | 2019-07-31 18:22:22 +0000 | [diff] [blame] | 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 | } |