1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --check-globals 2; This test checks to make sure that constant exprs fold in some simple 3; situations 4 5; RUN: opt -S < %s | FileCheck %s 6; RUN: llvm-as < %s | llvm-dis | FileCheck %s 7; RUN: verify-uselistorder %s 8 9@A = global i64 0 10 11@add = global ptr inttoptr (i64 add (i64 ptrtoint (ptr @A to i64), i64 0) to ptr) ; X + 0 == X 12@sub = global ptr inttoptr (i64 sub (i64 ptrtoint (ptr @A to i64), i64 0) to ptr) ; X - 0 == X 13@mul = global ptr inttoptr (i64 mul (i64 ptrtoint (ptr @A to i64), i64 0) to ptr) ; X * 0 == 0 14@xor = global ptr inttoptr (i64 xor (i64 ptrtoint (ptr @A to i64), i64 0) to ptr) ; X ^ 0 == X 15 16%Ty = type { i32, i32 } 17@B = external global %Ty 18 19; PR2206 20@cons = weak global i32 0, align 8 ; <ptr> [#uses=1] 21 22@gep1 = global <2 x ptr> getelementptr(i8, <2 x ptr> undef, <2 x i64> <i64 1, i64 1>) 23@gep2 = global <2 x ptr> getelementptr({ i8 }, <2 x ptr> undef, <2 x i64> <i64 1, i64 1>, <2 x i32> <i32 0, i32 0>) 24@gep3 = global <2 x ptr> getelementptr(i8, <2 x ptr> zeroinitializer, <2 x i64> <i64 0, i64 0>) 25@gep4 = global <2 x ptr> getelementptr({ i8 }, <2 x ptr> zeroinitializer, <2 x i64> <i64 0, i64 0>, <2 x i32> <i32 0, i32 0>) 26 27@bitcast1 = global <2 x i32> bitcast (<4 x i16> <i16 -1, i16 -1, i16 -1, i16 -1> to <2 x i32>) 28@bitcast2 = global <4 x i16> bitcast (<2 x i32> <i32 -1, i32 -1> to <4 x i16>) 29 30 31; Need a function to make update_test_checks.py work. 32;. 33; CHECK: @A = global i64 0 34; CHECK: @add = global ptr @A 35; CHECK: @sub = global ptr @A 36; CHECK: @mul = global ptr null 37; CHECK: @xor = global ptr @A 38; CHECK: @B = external global %Ty 39; CHECK: @cons = weak global i32 0, align 8 40; CHECK: @gep1 = global <2 x ptr> undef 41; CHECK: @gep2 = global <2 x ptr> undef 42; CHECK: @gep3 = global <2 x ptr> zeroinitializer 43; CHECK: @gep4 = global <2 x ptr> zeroinitializer 44; CHECK: @bitcast1 = global <2 x i32> splat (i32 -1) 45; CHECK: @bitcast2 = global <4 x i16> splat (i16 -1) 46;. 47define void @dummy() { 48; CHECK-LABEL: @dummy( 49; CHECK-NEXT: ret void 50; 51 ret void 52} 53